Mannigfaltigkeit/Vektorbündel/R/Zusammenhang/Weg/Teilliftbarkeit/Fakt
Es sei eine differenzierbare Mannigfaltigkeit und ein differenzierbares Vektorbündel auf , das mit einem Zusammenhang versehen sei. Es sei ein Intervall,
ein differenzierbarer Weg, ein Punkt und ein Punkt in der Faser über .
Dann gibt es ein offenes Teilintervall , , und eine horizontale Liftung
mit .