Wegintegral/Mannigfaltigkeit/Differenzierbare Abbildung/Aufgabe

Es seien $L$ und $M$ differenzierbare Mannigfaltigkeiten und

$\phi :L⟶M$

eine differenzierbare Abbildung. Es sei  $\omega \in {ℰ}^1(M)$  eine messbare Differentialform mit der zurückgezogenen Differentialform  ${\phi }^{\ast }\omega \in {ℰ}^1(L)$  und es sei

$\gamma :I⟶L$

eine stetig differenzierbare Kurve ($I$ ein reelles Intervall). Zeige, dass für die Wegintegrale die Gleichheit

${\int }_{\gamma }{\phi }^{\ast }\omega ={\int }_{\phi \circ \gamma }\omega$

gilt.

Eine Lösung erstellen