Vektorraum/Offen/Vektorwertige 1-Form/Exakt/Charakterisierung mit Wegintegralen/Fakt

Es seien ${}V,W$ endlichdimensionale ${}{\mathbb {K} }$-Vektorräume, sei ${}U\subseteq V$ eine zusammenhängende offene Teilmenge und sei ${}\omega$ eine ${}W$-wertige stetige ${}1$-Differentialform auf ${}U$. Dann sind folgende Aussagen äquivalent.

1. Es ist ${}\omega$ exakt.
2. Für jeden stetig differenzierbaren Weg ${}\gamma \colon [a,b]\rightarrow U$ hängt das Wegintegral ${}\int _{\gamma }\omega$ nur vom Anfangspunkt ${}\gamma (a)$ und Endpunkt ${}\gamma (b)$ ab.

Zum Beweis, Alternativen Beweis erstellen