Sopra un'operazione introdotta nel calcolo assoluto. (Q576575)

Sind in derselben \(n\)-dimensionalen Mannigfaltigkeit \(W\) zwei \textit{Riemann}sche Metriken mit den metrischen Fundamentaltensoren \(a_{ij}\), \(a_{ij}'\) gegeben, so betrachtet die Verf. in \(W\) zwei von einem Punkte \(P\) ausgehende Kurven \(PM\), \(PM'\) und zwei durch diese Kurven gehende Flächen \(S\), \(S'\), auf denen Doppelsysteme von Kurven \(s' =\) const, \(s =\) const gezogen seien, denen auch die Kurven \(PM\), \(PM'\) angehören. Die Verf. nimmt an, daß auf \(S'\) der Parameter \(s\) längs jeder Kurve \(s' =\) const die vom Schnitt mit \(PM'\) an gemessene Bogenlänge in bezug auf die Metrik \((a_{ij})\), und daß analog auf \(S\) der Parameter \(s'\) längs jeder Kurve \(s=\) const die vom Schnitt mit \(PM\) an gemessene Bogenlänge in bezug auf die Metrik \((a_{ij}')\) sei. (Dadurch werden insbesondere auf \(S\) die Kurven \(s =\) const und auf \(S\) die Kurven \(s' =\) const zur Wahl der übrigen Kurvensysteme in Beziehung gesetzt.) Nunmehr sei in \(P\) eine Größe \(F\) erklärt, und es sei eine Vorschrift gegeben, durch die man \(F\) in die Punkte von \(S\) und \(S'\) fortsetzen kann; dabei sollen die Fortsetzungen längs \(PM\) und \(PM'\) zusammenfallen. Sind nun \(F(s,s')\) und \(F'(s',s)\) die beiden Funktionen, die sich so auf \(S\) und \(S'\) ergeben, so setzt die Verf: \[ DF =\left(\frac{\partial^2(F(s,s')-F'(s',s))}{\partial s\partial s'}\right)_{_{\substack{ s=0,\\ s'=0 }}}. \] Die Verf. betrachtet dann den besonderen Fall, in dem die Folge der Richtungen der Kurven \(s =\) const, die von der Kurve \(PM\) in \(S\), und die Folge der Richtungen der Kurven \(s'=\) const, die von der Kurve \(PM'\) in \(S'\) ausgehen, in bezug auf die Metriken \((a_{ij})\) bzw. \((a_{ij}')\) nach \textit{Levi-Civita} parallel seien; für eine \textit{Ortsfunktion} (funzione del posto) seien die Fortsetzungen \(F(s,s')\) und \(F'(s',s)\) in \(W\) diejenigen Werte, die diese Funktion in den einzelnen Punkten von \(S\) und \(S'\) annimmt; für einen Tensor in \(W\), der nur in \(P\) erklärt ist, erhalte man die Werte durch \textit{Levi-Civita}sche Übertragung längs der Kurve \(PM\) nach der Metrik \((a_{ij})\) und dann längs einer Kurve \(s =\) const (die in \(S\) durch den betrachteten Punkt gehe) nach der Metrik \((a_{ij}')\) oder, entsprechend, längs der Kurve \(PM'\) nach der Metrik \((a_{ij}')\) und dann längs einer Kurve \(s' =\) const nach der Metrik \((a_{ij})\). Schließlich werde für eine Funktion \(F\), die in \(P\) gleich dem Produkt zweier Funktionen \(F_1\), \(F_2\) mit bereits erklärten Fortsetzungen sei, die Fortsetzung durch das Produkt der Fortsetzungen erklärt. Unter diesen Annahmen ist \(DF\) vollständig bestimmt, und wenn die Metriken \((a_{ij})\), \((a_{ij}')\) zusammenfallen, so reduziert sich \(DF\) als \(ds'\) auf die Operation, die \textit{Levi-Civita} als \(\varDelta F\) bezeichnet, und durch die die zyklische Übertragung längs eines Elementarparallelogramms dargestellt wird (vgl. \textit{Levi-Civita}; Lezioni di calcolo differenziale assoluto (1925; F. d. M. 51, 565 (JFM 51.0565.*)-566), p. 198; Der absolute Differentialkalkül (1928; F. d. M. 54, 754-755), S. 90). Die Verf. wendet den Operator \(D\) an, um im Falle zweier in einem Punkte schmiegender \textit{Riemann}scher Mannigfaltigkeiten einen Tensor \(P_{i,hk}^j\) zu bestimmen, der in den \textit{Riemann}schen Krümmungstensor übergeht, wenn die Mannigfaltigkeiten zusammenfallen; sie gibt dann noch ein andres Verfahren an, das zu einem ebenfalls den \textit{Riemann}schen Krümmungstensor verallgemeinernden Tensor \(T_{i,hk}^j\) führt, und bespricht eine Anwendung dieses Tensors auf den Fall, in dem \(W\) eine Fläche ist.