Kurve/Euklidischer Raum/Isometrie auf Bild/Bogenparametrisiert/Aufgabe

Aus Wikiversity

Es sei ein offenes Intervall und

eine injektive stetig differenzierbare Kurve. Wir fassen sowohl als auch über ihre euklidische Struktur als riemannsche Mannigfaltigkeit auf. Es sei vorausgesetzt, dass mit offen eine abgeschlossene Untermannigfaltigkeit ist. Zeige, dass genau dann eine Isometrie

vorliegt, wenn bogenparametrisiert

ist.