Riemannsche Mannigfaltigkeit/Orientiert/Kanonische Volumenform/Lokale Berechnung/Fakt/Beweis

Beweis

Gemäß der Definition müssen wir die Differentialform ${}{\left(\alpha ^{-1}\right)}^{*}\omega$ für jeden Punkt ${}Q\in V$ berechnen. Diese Form besitzt die Gestalt ${}c_{Q}dx_{1}\wedge \ldots \wedge dx_{n}$ und ist durch ihren Wert auf ${}e_{1}\wedge \ldots \wedge e_{n}$ festgelegt. Es ist

${\left(\alpha ^{-1}\right)}^{*}\omega {\left(Q,e_{1}\wedge \ldots \wedge e_{n}\right)}=\omega {\left(\alpha ^{-1}(Q),T_{Q}{\left(\alpha ^{-1}\right)}(e_{1})\wedge \ldots \wedge T_{Q}{\left(\alpha ^{-1}\right)}(e_{n})\right)}\,.$

Nach Definition der metrischen Fundamentalmatrix ist

${}g_{ij}(Q)=\left\langle T_{Q}{\left(\alpha ^{-1}\right)}(e_{i}),T_{Q}{\left(\alpha ^{-1}\right)}(e_{j})\right\rangle _{\alpha ^{-1}(Q)}\,.$

Nach Fakt ist

${}{\begin{aligned}\omega {\left(\alpha ^{-1}(Q),T_{Q}{\left(\alpha ^{-1}\right)}(e_{1})\wedge \ldots \wedge T_{Q}{\left(\alpha ^{-1}\right)}(e_{n})\right)}&={\left(\det {\left(\left\langle T_{Q}{\left(\alpha ^{-1}\right)}(e_{i}),T_{Q}{\left(\alpha ^{-1}\right)}(e_{j})\right\rangle \right)}_{1\leq i,j\leq n}\right)}^{1/2}\\&={\left(\det {\left(g_{ij}(Q)\right)}_{1\leq i,j\leq n}\right)}^{1/2}\\&={\sqrt {g(Q)}}.\,\end{aligned}}$

Zur bewiesenen Aussage