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.