Zur Differentialgeometrie der Flächen. I: Eine neue Definition der Flächenkrümmung. (Q2613276)

Sind \(p_0,\ldots, p_3\) Punkte eines metrischen Raumes und \(p_ip_j\) ihre Abstände, so ist die Gleichung \[ \dfrac{1}{r^2} = -\dfrac{2D_r}{E_r}; \;D_r = \left|\begin{matrix} 0 & 1 \\ 1 & \left(2r\sin\dfrac{p_ip_j}{2r}\right)^2\end{matrix} \right|_{i,j=0,\cdots,3}; \;E_r =\left|\left(2r\sin\dfrac{p_ip_j}{2r}\right)^2\right| \tag{1} \] die Bedingung dafür, daß das Quadrupel einem auf der Kugelfläche des Halbmessers \(r\) kongruent ist (Abstände werden hier durch kürzeste Bögen, nicht durch Sehnen gemessen). Nicht immer gibt es ein reelles oder rein imaginäres \(r\), das (1) erfüllt, und nicht immer nur eines. Eine Folge von Tripeln (\(p_1(t), p_2(t), p_3(t)\)) heißt \(p\)-Folge, wenn (1) \(\lim\limits_{t\to 0} p_i(t) = p_0\) ist (\(i = 1, 2, 3\)), (2) die Abstandsverhältnisse sich nicht gegen das Abstandsverhältnis von vier Punkten einer Geraden oder eines Kreises häufen, und (3) für keine Teilfolge bei jedem \(r\) die Beziehung \(\lim\left(\dfrac{-2D_r}{E_r}\right)=\dfrac{1}{r^2}\) gilt. Wenn es eine \(p\)-Folge zu \(p_0\) gibt und sich bei jeder \(p\)-Folge ein Wert \(r(t)\) (für ``fast alle \(t\)'') gemäß (1) und mit der Eigenschaft lim \(\left(\dfrac{1}{r^2}\right) = \varkappa\) bestimmen läßt, so ist hierdurch \(\varkappa\) eindeutig festgelegt und heißt die Flächenkrümmung des metrischen Raumes in \(p_0\). Eine dreimal stetig differenzierbare Fläche im dreidimensionalen Zahlenraum hat in jedem Punkt eine Flächenkrümmung; der Wert ist die \textit{Gauß}sche Krümmung.