Es sei eine
differenzierbare Mannigfaltigkeit
und
das triviale Vektorbündel über vom
Rang
. Es sei eine
-Differentialform
auf . Zeige die folgenden Aussagen.
- Die Abbildung
-
definiert einen
Zusammenhang.
- Die vertikale Ableitung zu dem Zusammenhang ist für stetig differenzierbare Funktionen
auf einer offenen Menge
durch
-
gegeben
(hierbei identifizieren wir auf beiden Seiten eine reellwertige Funktion mit dem Schnitt
, .)
- Eine nullstellenfreie stetig differenzierbare Funktion
ist genau dann ein
horizontaler Schnitt
über bezüglich , wenn eine
Stammform
zu über ist.