Riemannsche Mannigfaltigkeit/Abgeschlossene Untermannigfaltigkeit/Riemannsch/Fakt/Beweis

Beweis

Für jeden Punkt ist ein Untervektorraum nach Fakt. Daher induziert das Skalarprodukt auf ein Skalarprodukt auf . Für die stetige Differenzierbarkeit des Skalarproduktes sei

eine Karte von mit , die eine Bijektion zwischen und induziere (mit ). Unter dieser Identifizierung ist mit den Basisvektoren , . Für Paare , , von solchen Vektoren gelten dann für die Gleichheiten

da ja das Skalarprodukt auf einfach die Einschränkung des Skalarproduktes auf ist und da die Einschränkung von ist.