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 stetig differenzierbare Funktion
ist genau dann ein
horizontaler Schnitt
über bezüglich , wenn eine
Stammform
zu über ist.
- Die Form ist genau dann
geschlossen,
wenn der Zusammenhang
lokal integrabel
ist.
- Die Form ist genau dann
exakt,
wenn der Zusammenhang
global integrabel
ist.