Riemannsche Mannigfaltigkeit/Karte/Isometrie/Fakt

Es sei eine riemannsche Mannigfaltigkeit und sei

eine Karte auf .

Dann ist eine Isometrie zwischen und , wenn mit den durch die metrischen Fundamentalfunktionen festgelegten Skalarprodukt versehen wird.