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

Beweis

Die zweite Gleichung ergibt sich einfach durch Auswertung des Standardskalarproduktes auf dem . Nach Definition der metrischen Fundamentalmatrix ist für

da ja der Tangentialraum das induzierte Skalarprodukt des trägt, da die Tangentialabbildung im lokalen Fall das totale Differential ist und da man dessen Einträge mit den partiellen Ableitungen ausdrücken kann. Daher ergibt sich die Behauptung aus Fakt.