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

Bearbeiten
 
Zur Definition der Polarwinkelfunktion
 
Tangentenrichtungen

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

Bearbeiten

Ist   eine zweimal stetig differenzierbare, einfach geschlossene, reguläre Kurve, so gilt  .[2][3]

Bemerkungen

Bearbeiten
 
Eine Kurve mit Umlaufzahl > 1 muss einen Doppelpunkt haben.

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

Bearbeiten
  1. Wolfgang Kühnel: Kurven – Flächen – Mannigfaltigkeiten. Friedr. Vieweg & Sohn Verlag, 2008, ISBN 978-3-8348-0411-2, Satz und Definition 2.24
  2. Wolfgang Kühnel: Kurven – Flächen – Mannigfaltigkeiten. Friedr. Vieweg & Sohn Verlag, 2008, ISBN 978-3-8348-0411-2, Satz 2.28
  3. Christian Bär: Elementary Differential Geometry. Cambridge University Press 2010, ISBN 978-0-521-89671-9, Theorem 2.2.10
  4. Bernhard Riemann: Theorie der Abel'schen Functionen. In: Journal für die reine und angewandte Mathematik. (1857), Band 54, S. 101–155.
  5. Heinz Hopf: Über die Drehung der Tangenten und Sehnen ebener Kurven. Composito Math. (1935), Band 2, S. 50–62.
  6. Peter Dombrowski: Differentialgeometrie. In: Ein Jahrhundert Mathematik 1890–1990: Festschrift zum Jubiläum der DMV. S. 342.