Riemannsche Untermannigfaltigkeit des R^n/Einbettung/Volumenform/Fakt

Es sei  ${}G\subseteq \mathbb {R} ^{m}$  offen und sei  ${}M\subseteq G$  eine ${}n$-dimensionale abgeschlossene Untermannigfaltigkeit, die orientiert und mit der induzierten riemannschen Struktur und der kanonischen Volumenform ${}\omega$ versehen sei. Es sei  ${}W\subseteq \mathbb {R} ^{n}$  offen und es sei

$\varphi \colon W\longrightarrow U$

ein Diffeomorphismus mit der offenen Menge  ${}U\subseteq M$. 

Dann ist ${}\varphi ^{-1}$ eine Karte von ${}M$, und auf ${}W$ gilt

${}{\begin{aligned}\varphi ^{*}{\left(\omega {|}_{U}\right)}&=\left(\det \left(\left\langle {\begin{pmatrix}{\frac {\partial \varphi _{1}}{\partial x_{i}}}\\\vdots \\{\frac {\partial \varphi _{m}}{\partial x_{i}}}\end{pmatrix}},{\begin{pmatrix}{\frac {\partial \varphi _{1}}{\partial x_{j}}}\\\vdots \\{\frac {\partial \varphi _{m}}{\partial x_{j}}}\end{pmatrix}}\right\rangle \right)_{1\leq i,j\leq n}\right)^{1/2}dx_{1}\wedge \ldots \wedge dx_{n}\\&=\left(\det {\left({\frac {\partial \varphi _{1}}{\partial x_{i}}}{\frac {\partial \varphi _{1}}{\partial x_{j}}}+\cdots +{\frac {\partial \varphi _{m}}{\partial x_{i}}}{\frac {\partial \varphi _{m}}{\partial x_{j}}}\right)}_{1\leq i,j\leq n}\right)^{1/2}dx_{1}\wedge \ldots \wedge dx_{n}.\end{aligned}}$

Zum Beweis, Alternativen Beweis erstellen