Mannigfaltigkeit/Vektorbündel/Zusammenhang/Weg/Teilliftbarkeit/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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 .