On a covariant differentiation process. (Q574333)

Im gewöhnlichen Tensorkalkül (der affinen oder der \textit{Riemann}schen Übertragung) erscheinen die Komponenten eines Tensors im allgemeinen als Ortsfunktionen und gehen als solche in alle bekannten Prozesse, insbesondere in die Formeln der ``kovarianten Differentiation'', ein. Mit der Untersuchung allgemein metrischer Räume im Sinne von \textit{Finsler-Berwald-Synge-Taylor} (Verf. zitiert insbesondere \textit{J. H. Taylor}, 1925; F. d. M. 51, 574) begann auch die Verwendung von Tensoren, welche (z. B. längs Kurven) keine Ortsfunktionen mehr sind, sondern noch Ableitungen der Koordinaten bis zu einer gewissen Ordnung enthalten, z. B: \[ T_\beta^\alpha = T_\beta^\alpha(x, x', x''). \] Unter Verwendung \textit{Taylor}scher formaler Hilfsmittel wird am Beispiel \[ \bar T_j^i (y, y', y'') = T_\alpha^\beta(x, x', x'') \dfrac{\partial y^i}{\partial x^\alpha} \dfrac{\partial x^\beta}{\partial y^j} \] gezeigt: Die Größe \[ \bar T_{jy'k}^i - 2 \bar T_{jy''l}^i \bigg\{ \overline{{l}\atop{k}}\bigg\} \] ist ein \(\bar T_j^i\) zugeordneter Tensor mit einer um eine Einheit erhöhten kovarianten Stufenzahl. Der so definierte Prozeß wird mit der gewöhnlichen partiellen Differentiation (nach \(y'^k\)) identisch, wenn \(\bar T_j^i y''\) nicht enthält. Die Differentiationsregeln für Summen und Produkte gelten wie im gewöhnlichen Kalkül. Dagegen ist zum Unterschied gegenüber der kovarianten Differentiation im \textit{Ricci}-Kalkül der hier eingeführte Prozeß (be Iteration) kommutativ.