Mannigfaltigkeit/Vektorbündel/R/Linearer Zusammenhang/Fasertransport ist linear/Lokal integrabel/Fakt

Es sei eine differenzierbare Mannigfaltigkeit und ein differenzierbares Vektorbündel auf , das mit einem linearen Zusammenhang versehen sei. Es sei ein Intervall,

ein differenzierbarer Weg, ein Punkt und ein Punkt in der Faser über .

Dann gelten folgende Aussagen.

  1. Es gibt eine horizontale Liftung

    mit .

  2. Für zwei Punkte ist die Abbildung

    linear.

  3. Es sei lokal integrabel. Dann hängt die in (2) angegebene Abbildung nur von der Homotopieklasse von ab.