Teilmenge/R^n/Gradientenfeld/Charakterisierung mit Wegintegralen/Fakt/Beweis

Beweis

Die Implikation folgt aus Fakt.
Es sei umgekehrt die Eigenschaft erfüllt. Wir geben eine auf definierte Funktion an, die differenzierbar ist und deren Gradientenfeld gleich dem vorgegebenen Vektorfeld ist. Dazu sei ein Punkt fixiert. Für jeden Punkt gibt es einen stetig differenzierbaren Weg

mit und . Wir setzen

Aufgrund der vorausgesetzten Wegunabhängigkeit des Integrals ist wohldefiniert. Wir müssen zeigen, dass diese so definierte Funktion in jedem Punkt und in jede Richtung differenzierbar ist und die Richtungsableitung mit übereinstimmt. Dazu betrachten wir

wobei der verbindende lineare Weg von nach auf sei (und hinreichend klein sei, so dass ist). Für den Differentialquotienten ist

Somit existiert die Richtungsableitung von in Richtung und hängt stetig von ab. Diese Gleichung zeigt ferner

so dass das Gradientenfeld zu ist.