Bogenparametrisierte Kurve/Gerade darüber/Isometrie/Beispiel

Es sei eine differenzierbare bogenparametrisierte injektive Kurve mit der Bildkurve

die in der offenen Teilmenge abgeschlossen sei. Dann ist die Abbildung

eine Isometrie, wobei die natürliche euklidische Struktur und die riemannsche Untermannigfaltigkeitsstruktur trägt. Die Abbildung bedeutet im Wesentlichen, dass ein Blatt Papier längs einer Basiskurve ausgebreitet wird. Die vertikalen Fasern ändern sich dabei nicht und die horizontalen Faser sind eine Kopie der Basiskurve. Das einfachste nichttriviale Beispiel ist die Verbiegung des Blattes zu einem geschlitzten Zylindermantel. Es ist anschaulich klar, dass sich dabei die Kurvenlängen auf den Flächen und Flächeninhalte nicht ändern. Dass eine Isometrie vorliegt, kann man wie folgt zeigen. Sei dazu . Dann ist

und

die beiden Bildvektoren der Standardvektoren haben also die Länge und stehen senkrecht aufeinander. Somit ist

eine Isometrie.