Mannigfaltigkeit/Vektorbündel/K/Linearer Zusammenhang/Horizontale Schnitte/Untervektorraum/Fakt
Leibnizregel für lineare Zusammenhänge
Es sei eine differenzierbare Mannigfaltigkeit und ein (reelles oder komplexes) differenzierbares Vektorbündel vom Rang auf , das mit einem linearen Zusammenhang versehen sei.
Dann ist für jede zusammenhängende offene Teilmenge die Menge der horizontalen Schnitte ein -Untervektorraum von der Dimension .