Eingebetteter Torus/Drehung/Isometrie/Aufgabe/Lösung


Die Abbildung ist auf

das Produkt einer ebenen Drehung mit der Identität. Daher liegt eine euklidische Isometrie des vor. Es sei und

Dann ist

also . Es ist also

ein Diffeomorphismus und eine Isometrie, da die induzierte riemannsche Struktur trägt.