Linearer Zusammenhang/Vertikale Ableitung/Längs Abbildung/Metrisch/Fakt
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.