Diskussion über koordinatenlose Differentialgeometrie. (Q560027)

Es wird folgender Satz mitgeteilt: Es sei \[ x=x(u,v),\quad y=y(u,v), \quad z=z(u,v) \] eine Fläche im euklidischen \(R_3\); ferner seien \(x,y,z\) zweimal stetig differenzierbar, \(p_0\) ein Punkt von \(F\), wo nicht alle drei Funktionaldeterminanten \(\dfrac {\partial (x,y)}{\partial (u,v)}\), \(\dfrac {\partial (y,z)}{\partial (u,v)}\), \(\dfrac {\partial (z,x)}{\partial (u,v)}\) verschwinden, und \(p_i^n\) \((i=1,2,3,4; n=1,2,\dots )\) eine Folge von Punktequadrupeln der Fläche, die gegen \(p_0\) konvergieren. Dann gilt \[ \lim \limits _{n\to \infty } \frac {D(p_1^n,p_2^n,p_3^n,p_4^n)}{S_6(p_1^n,p_2^n,p_3^n,p_4^n)}=0; \] dabei ist \(D(p_1^n,p_2^n,p_3^n,p_4^n)\) die aus den Abstandsquardaten \((p_i^np_j^n)^2\) der Punkte gebildete fünfreihige Determinante \(\begin{vmatrix} 0 & 1\\ 1 & (p_ip_j)^2 \end{vmatrix} \) \((i,j=1,2,3,4)\) und \(S_6(p_1^n,p_2^n,p_3^n,p_4^n)\) die Summe der sechsten Potenzen der Abstände \((p_ip_j)\). In der vorangehenden Ausführungen wird angedeutet, daß\ die Güte der Konvergenz der Determinante \(D(p_1^n,p_2^n,p_3^n,p_4^n)\) und ihrer mehrdimensionalen Analoga für die Kennzeichnung der im Kleinen euklidischen Räume im Sinne einer koordinatenlosen Differentialgeometrie von Wichtigkeit sein kann.