Nach
Aufgabe
ist mit auch hausdorffsch. Für eine offene Teilmenge
,
die homöomorph auf abgebildet wird, muss die komplexe Struktur auf die von zurückgezogene holomorphe Struktur sein. Dies ergibt sich aus
Fakt,
da eine holomorphe bijektive Abbildung bereits biholomorph ist. Es kann also höchstens eine komplexe Struktur auf derart geben, dass die Abbildung holomorph wird. Zur Existenz überdecken wir mit offenen Mengen
, ,
über denen trivialisiert und wobei die
zusammenhängende
Kartengebiete mit Karten
-
sind. Es sei
, ,
die disjunkte Zerlegung von . Wir definieren Karten auf durch
-
Seien
und
zwei solche Mengen. Dann ist
-
und die Holomorphie der Übergangsabbildung folgt aus der Holomorphie der Kartenwechsel auf .