Umlaufsatz
Der Umlaufsatz von Hopf, benannt nach Heinz Hopf, ist ein mathematischer Lehrsatz aus der elementaren Differentialgeometrie. Es handelt sich um die anschaulich sofort einsichtige Aussage, dass eine ebene Kurve ohne Selbstdurchdringungen einen Punkt höchstens einmal umlaufen kann.
Definitionen
Es sei eine stetig differenzierbare Kurve. Man nennt eine solche Kurve
- geschlossen, falls ,
- regulär, falls die Ableitung stets ungleich 0 ist,
- einfach, falls injektiv ist.
Bezeichnet die euklidische Norm, also den Abstand eines Vektors von 0, so gibt es eine stetige Funktion , so dass
für alle .[1] ist der Winkel, den die x-Achse mit dem Vektor zum Kurvenpunkt einschließt. Die Besonderheit besteht darin, dass man die sogenannte Polarwinkelfunktion stetig wählen kann, das heißt, dass der Winkel keine Sprünge macht. Dann ist eine Größe, die misst, wie oft der Winkel einen Vollwinkel durchläuft. Man kann zeigen, dass es sich im Falle geschlossener Kurven tatsächlich um eine ganze Zahl handelt, die man die Umlaufzahl von nennt.
Ist nun eine zweimal stetig differenzierbare, reguläre und geschlossene Kurve mit Tangentenvektor , so gilt , da regulär ist. Also ist die Umlaufzahl wie oben für erklärt und misst, um wie viel volle Winkel sich die Tangenten bei einem Kurvenumlauf drehen. Diese Zahl wird die Tangentenumlaufzahl der Kurve genannt, oder einfach ihre Tangentendrehzahl.
Formulierung des Satzes
Ist eine zweimal stetig differenzierbare, einfach geschlossene, reguläre Kurve, so gilt .[2][3]
Bemerkungen
Da die Umlaufzahl bei Änderung des Umlaufsinns der Kurve das Vorzeichen wechselt, kann die Tangentenumlaufzahl in obigem Satz nicht weiter eingeschränkt werden.
Umläuft eine stetig differenzierbare, geschlossene, reguläre Kurve den Nullpunkt mehrfach, das heißt, ist , so kann die Kurve nach dem Umlaufsatz nicht einfach sein, das heißt, es muss mindestens einen Doppelpunkt geben. Anschaulich ist diese Aussage klar, denn um den Anfangspunkt wieder zu erreichen, muss man die Kurventeile bereits erfolgter Umrundungen überschreiten. Der mathematische Beweis verwendet im Wesentlichen die Existenz der Polarwinkelfunktion.
Schon 1857 schrieb Bernhard Riemann: „Es findet nun bei einer einfach zusammenhängenden über einen endlichen Theil der z-Ebene ausgebreiteten Fläche zwischen Anzahl ihrer einfachen Verzweigungspunkte und der Anzahl der Umdrehungen, welche die Richtung ihrer Begrenzlinie macht, die Relation statt, dass letztere um eine Einheit größer ist, als die erstere.; ...“[4] Mit Fläche ist das gemeint, was man heute eine riemannsche Fläche nennt. Eine Fläche, die ganz in der Ebene liegt, hat keine Verzweigungspunkte, so dass die Tangentendrehzahl (= Anzahl der Umdrehungen, welche die Richtung ihrer Begrenzslinie macht) gleich 1 sein muss. In der präzisen differentialgeometrischen Form wurde der Satz erstmals 1916 von George Neville Watson formuliert und bewiesen. Der heutige Standardbeweis geht auf Heinz Hopf zurück,[5] der auch den Begriff Umlaufsatz einführte.[6]
Einzelnachweise
- ↑ Wolfgang Kühnel: Kurven – Flächen – Mannigfaltigkeiten. Friedr. Vieweg & Sohn Verlag, 2008, ISBN 978-3-8348-0411-2, Satz und Definition 2.24
- ↑ Wolfgang Kühnel: Kurven – Flächen – Mannigfaltigkeiten. Friedr. Vieweg & Sohn Verlag, 2008, ISBN 978-3-8348-0411-2, Satz 2.28
- ↑ Christian Bär: Elementary Differential Geometry. Cambridge University Press 2010, ISBN 978-0-521-89671-9, Theorem 2.2.10
- ↑ Bernhard Riemann: Theorie der Abel'schen Functionen. In: Journal für die reine und angewandte Mathematik. (1857), Band 54, S. 101–155.
- ↑ Heinz Hopf: Über die Drehung der Tangenten und Sehnen ebener Kurven. Composito Math. (1935), Band 2, S. 50–62.
- ↑ Peter Dombrowski: Differentialgeometrie. In: Ein Jahrhundert Mathematik 1890–1990: Festschrift zum Jubiläum der DMV. S. 342.