Linearer Zusammenhang/Vertikale Ableitung/Längs Abbildung/Metrisch/Fakt

Aus Wikiversity

Es sei ein differenzierbares Vektorbündel über einer differenzierbaren Mannigfaltigkeit , das mit einem metrischen linearen Zusammenhang versehen sei. Es sei eine differenzierbare Abbildung mit dem zurückgezogenen Zusammenhang auf dem zurückgezogenen Vektorbündel über .

Dann ist auch metrisch.