Wir betrachten die
holomorphe Funktion
-
Wegen
-
ist die Abbildung überall
unverzweigt
und nach
Fakt
ein
lokaler Homöomorphismus.
Die entsprechende polynomiale Abbildung auf ist surjektiv, sie hat an der Stelle den Wert und an der Stelle den Wert . Es ist
-
und
-
daher ist auch selbst surjektiv. Es liegt keine
Überlagerung
vor, da über und über je ein Punkt und sonst stets drei Punkte liegen. Aus
Fakt
folgt, dass nicht
endlich
ist. Dies kann man auch direkt und explizit sehen. Die Folge konvergiert gegen und die Teilmenge
ist
kompakt.
Die Urbildmenge von unter der polynomialen Abbildung ist kompakt, durch die Herausnahme der beiden Punkte geht die Kompaktheit verloren.