Kurs:Riemannsche Flächen (Osnabrück 2022)/Vorlesung 2/kontrolle

Lokale Beschreibung von holomorphen Funktionen

Satz Satz 2.1 ändern

Es sei ${}U\subseteq {\mathbb {C} }$ eine zusammenhängende offene Teilmenge, ${}P\in U$ ein Punkt und ${}f\colon U\rightarrow {\mathbb {C} }$ eine nichtkonstante holomorphe Funktion.

Dann gibt es eine offene Umgebung ${}P\in V\subseteq U$ derart, dass die Einschränkung von ${}f$ auf ${}V$ biholomorph äquivalent zu einer Potenzabbildung ist.

Das bedeutet, dass es ein ${}k\in \mathbb {N} _{+}$ und biholomorphe Abbildungen

$\theta \colon V\longrightarrow V'$

mit ${}V'\subseteq {\mathbb {C} }$ eine offene Kreisscheibe um ${}0$ und eine Verschiebung

$\varphi \colon {\mathbb {C} }\longrightarrow {\mathbb {C} }$

derart gibt, dass

${}\varphi \circ f\circ \theta ^{-1}=w^{k}\,$

auf ${}V'$ gilt (wobei ${}w$ die Variable auf ${}V'$ bezeichnet).

Beweis

Wir wählen für ${}V$ eine Kreisscheibenumgebung von ${}P$, auf der ${}f$ durch eine Potenzreihe dargestellt wird. Die Potenzreihe sei ${}c_{0}+\sum _{n=k}^{\infty }c_{n}(z-P)^{n}$ mit ${}c_{1},\ldots ,c_{k-1}=0$ und ${}c_{k}\neq 0$. Durch eine Verschiebung im Ausgangsbereich und im Bildbereich können wir ${}P=0$ und ${}c_{0}=0$ annehmen. Die Potenzreihe kann man also als

${}\sum _{n=k}^{\infty }c_{n}z^{n}=z^{k}{\left(\sum _{m=0}^{\infty }c_{m+k}z^{m}\right)}=z^{k}g(z)\,$

mit ${}g(0)\neq 0$ schreiben. Nach Satz 1.13 gibt es eine holomorphe Funktion ${}h$ mit ${}g=h^{k}$ und damit ist auch ${}f=(zh)^{k}$. Die Abbildung ${}\theta (z)=zh(z)$ besitzt die Ableitung ${}h(z)+zh'(z)$ und hat in ${}0$ den Wert ${}h(0)\neq 0$. Daher ist ${}\theta$ nach Korollar 1.11 in einer geeigneten offenen Umgebung ${}V$ von ${}0$ biholomorph zu einer offenen Kreisscheibe ${}V'$. Mit der Variablen ${}w$ auf ${}V'$ ist dann

${}f(\theta ^{-1}(w))={\left(\theta ^{-1}(w)h(\theta ^{-1}(w))\right)}^{k}={\left(\theta {\left(\theta ^{-1}(w)\right)}\right)}^{k}=w^{k}\,.$

$\Box$

Man kann also sagen, dass nach einem biholomorphen Koordinatenwechsel lokal jede holomorphe Abbildung ${}\neq 0$ eine Potenzierung ist. Diese lokale Beschreibung der Funktion nennen wir ihre lokale Normalform, und das ${}k$ nennen wir den lokalen Exponenten der Funktion im Punkt ${}P$. Man spricht, je nach Kontext, auch vom Verzweigungsindex oder von der Ordnung. Wenn die Ableitung ${}f'(P)\neq 0$ ist, so kann man den Satz über die lokale Umkehrabbildung anwenden und in einem solchen Punkt ist ${}k=1$, dies ist der Standardfall. Nur für die Punkte einer diskreten Teilmenge kann ${}k\geq 2$ sein, siehe Aufgabe 2.5.

Satz Satz 2.2 ändern

Es sei ${}f\colon U\rightarrow {\mathbb {C} }$ eine nichtkonstante holomorphe Funktion auf einer zusammenhängenden offenen Teilmenge ${}U\subseteq {\mathbb {C} }$.

Dann ist ${}f$ offen.

Beweis

Der Zusammenhang stellt in Verbindung mit Satz 1.3 sicher, dass die Funktion nirgendwo konstant ist. Es sei ${}V\subseteq U$ eine offene Teilmenge und ${}P\in V$ ein Punkt. Aufgrund von Satz 2.1 gibt es eine offene Umgebung ${}P\in W\subseteq V$, auf der die Abbildung biholomorph äquivalent zu einer Potenzabbildung ist. Das Bild einer Kreisscheibe ${}U{\left(0,r\right)}$ unter ${}z\mapsto z^{k}$ ist aber

${}{\left\{z^{k}\mid \vert {z}\vert <r\right\}}={\left\{w\mid \vert {w}\vert <r^{k}\right\}}\,$

und somit selbst eine offene Kreisscheibe. Daher ist ${}\varphi (W)$ offen in ${}{\mathbb {C} }$. Die Vereinigung solcher offener Mengen zeigt, dass das Bild von ${}V$ offen ist.

$\Box$

Satz Satz 2.3 ändern

Es seien ${}U,V\subseteq {\mathbb {C} }$ offen und sei ${}f\colon U\rightarrow V$ eine bijektive holomorphe Funktion.

Dann ist auch die Umkehrfunktion ${}f^{-1}\colon V\rightarrow U$ holomorph.

Beweis

Aufgrund der Bijektivität ist die Funktion ${}f$ nirgendwo konstant, wir können also Satz 2.1 anwenden. Da die Funktionen ${}z\mapsto z^{k}$ bei ${}k\geq 2$ in keiner offenen Umgebung des Nullpunktes injektiv sind, muss stets ${}k=1$ sein. Damit ist nach Lemma 15.6 (Funktionentheorie (Osnabrück 2023-2024)) ${}f'(P)\neq 0$ in jedem Punkt ${}P\in U$ und somit ist nach Korollar 1.11 die Umkehrfunktion ebenfalls holomorph.

$\Box$

Riemannsche Flächen

Definition Referenznummer erstellen

Ein topologischer Hausdorff-Raum ${}M$ zusammen mit einer offenen Überdeckung ${}M=\bigcup _{i\in I}U_{i}$ und Homöomorphismen

$\alpha _{i}\colon U_{i}\longrightarrow V_{i}$

mit ${}V_{i}\subseteq {\mathbb {C} }^{n}$ derart, dass die Übergangsabbildungen

$\alpha _{j}\circ (\alpha _{i})^{-1}\colon V_{i}\cap \alpha _{i}(U_{i}\cap U_{j})\longrightarrow V_{j}\cap \alpha _{j}(U_{i}\cap U_{j})$

Diffeomorphismen sind, heißt komplexe Mannigfaltigkeit der Dimension ${}n$. Die Menge der Karten ${}(U_{i},\alpha _{i})$, ${}i\in I$, nennt man auch den Atlas der Mannigfaltigkeit.

Die Abbildungen ${}\alpha _{i}$ nennt man die Karten der Mannigfaltigkeit und ${}U_{i}$ heißt auch das Kartengebiet und ${}V_{i}$ das Kartenbild. Die passende Vorstellung ist, dass die Mannigfaltigkeit die (komplizierte, gekrümmte) „Wirklichkeit“ ist, die man ausschnittsweise mit der Hilfe von flachen Karten erfassen kann. Einen Homöomorphismus

$\alpha \colon U\longrightarrow V$

mit ${}U\subseteq X$ und ${}V\subseteq {\mathbb {C} }^{n}$ offen nennt man eine (zu dem gegebenen Atlas) kompatible Karte, wenn für jedes Kartengebiet ${}U_{i}$

$\alpha \circ \alpha _{i}^{-1}\colon V_{i}\cap \alpha _{i}(U_{i}\cap U)\longrightarrow V$

komplex-differenzierbar ist. Die Hinzunahme von kompatiblen Karten ändert die Mannigfaltigkeit nur unwesentlich, allerdings brauchen wir den Holomorphiebegriff für komplexe Mannigfaltigkeiten, um dies präzise zu machen.

Lokal sieht also eine komplexe Mannigfaltigkeit wie eine offene Teilmenge im ${}{\mathbb {C} }^{n}$ aus. Eine komplexe Mannigfaltigkeit ist insbesondere eine reelle Mannigfaltigkeit der reellen Dimension ${}2n$. Hiervon gilt nicht die Umkehrung, da entscheidend bei einer komplexen Mannigfaltigkeit ist, dass die Übergangsabbildungen komplex-differenzierbar ist. Dies ist eine deutlich stärkere Forderung, als dass die Übergangsabbildungen reell-differenzierbar sind.

Definition Referenznummer erstellen

Eine riemannsche Fläche ist eine komplexe Mannigfaltigkeit der (komplexen) Dimension ${}1$.

Eine riemannsche Fläche hat die komplexe Dimension ${}1$ und die reelle Dimension ${}2$, deshalb spricht man von Flächen. Es handelt sich somit um zweidimensionale Gebilde, bei denen zusätzlich eine komplexe Struktur vorliegt und fixiert ist. Jede offene Teilmenge von ${}{\mathbb {C} }$, und insbesondere ${}{\mathbb {C} }$ selbst und ein offener Ball ${}U{\left(P,r\right)}$ ist eine riemannsche Fläche. Es sei schon jetzt erwähnt, dass ${}{\mathbb {C} }\cong \mathbb {R} ^{2}$ und ${}U{\left(0,1\right)}$ als topologische Räume und als reelle Mannigfaltigkeiten homöomorph bzw. diffeomorph sind, aber nicht als riemannsche Flächen isomorph (das nennt man dann biholomorph) sind. Die komplexe Struktur ist also eine neue entscheidende Struktur. Andererseits ist jeder offene Ball ${}U{\left(P,r\right)}$ zur Standardkreisscheibe ${}U{\left(0,1\right)}$ biholomorph, da man das eine durch verschieben und strecken ineinander überführen kann.

Wenn eine Karte mit dem Kartenbild ${}U\subseteq {\mathbb {C} }$ gegeben ist und ${}z$ die Variable auf ${}{\mathbb {C} }$ ist, so nennt man ${}z$ auch einen lokalen Parameter für ${}X$, insbesondere dann, wenn man sich auf einen Punkt ${}P\in X$ bezieht, für den ${}z$ den Wert ${}0$ besitzt.

Die komplexe Struktur verkompliziert einerseits die topologische bzw. reelle Situation, indem topologisch äquivalente Sachen verschiedene komplexe Strukturen haben können, andererseits vereinfacht sie aber auch die Situation, da man beispielsweise die Übergangsabbildungen und die relevanten Funktionen mit nur einer komplexen Variablen beschreiben kann und da die komplexe Differenzierbarkeit bereits die Analytizität, also die lokale Entwickelbarkeit in einer Potenzreihe, bedeutet. In der Welt der riemannschen Flächen gibt es eine viele engere Beziehung zwischen dem lokalen und dem globalen Verhalten von Funktionen.

Beispiel Beispiel 2.6 ändern

Auf der reell zweidimensionalen Sphäre ${}S^{2}\subseteq \mathbb {R} ^{3}$ erhält man über die stereographischen Projektionen (${}N$ und ${}S$ steht für Nordpol und Südpol)

$\alpha \colon S^{2}\setminus \{N\}\longrightarrow {\mathbb {C} }\cong \mathbb {R} ^{2}$

und

$\beta \colon S^{2}\setminus \{S\}\longrightarrow {\mathbb {C} }\cong \mathbb {R} ^{2}$

die Übergangsabbildung

${\mathbb {C} }\setminus \{0\}\longrightarrow {\mathbb {C} }\setminus \{0\},\,z\longmapsto z^{-1},$

die komplex differenzierbar ist und reell durch ${}(x,y)\mapsto \left({\frac {x}{x^{2}+y^{2}}},\,{\frac {-y}{x^{2}+y^{2}}}\right)$ gegeben ist (bei den in Beispiel 75.1 (Analysis (Osnabrück 2014-2016)) beschriebenen Projektionen muss man einmal komplex konjugieren, damit alles passt). Dadurch ist auf der Kugeloberfläche die Struktur einer eindimensionalen komplexen Mannigfaltigkeit gegeben. Diese heißt die komplex-projektive Gerade ${}{\mathbb {P} }_{\mathbb {C} }^{1}$ oder auch die riemannsche Zahlenkugel. Die Überdeckung mit den beiden zu ${}{\mathbb {C} }$ biholomorphen offenen Mengen nennt man auch die affine Standardüberdeckung, siehe auch Satz 5.6. Wenn man eine dieser offenen Mengen fixiert hat, so nennt man den einzigen fehlenden Punkt auch den unendlich fernen Punkt. In der anderen offenen Menge ist dieser der Nullpunkt.

Oft fixiert man eine komplexe Ebene ${}{\mathbb {C} }$ und bezeichnet dann den einzigen Punkt, der bei der Einbettung ${}{\mathbb {C} }\subseteq {\mathbb {P} }_{\mathbb {C} }^{1}$ hinzukommt, als unendlich fernen Punkt ${}\infty$.

Eine wichtige Quelle für komplexe Mannigfaltigkeiten eröffnet sich durch den Satz über implizite Abbildungen.

Satz Satz 2.7 ändern

Es sei ${}G\subseteq {\mathbb {C} }^{n}$ offen und sei

$\varphi \colon G\longrightarrow {\mathbb {C} }^{m}$

eine stetig differenzierbare Abbildung. Es sei ${}Z=\varphi ^{-1}(Q)$ die Faser über einem Punkt ${}Q\in {\mathbb {C} }^{m}$. Das totale Differential ${}\left(D\varphi \right)_{P}$ sei surjektiv für jeden Punkt ${}P\in Z$.

Dann ist ${}Z$ eine komplexe Mannigfaltigkeit der Dimension ${}n-{m}$.

Dabei ergibt sich eine riemannsche Fläche, wenn die Differenz der Dimensionen gleich ${}1$ ist. Wir erwähnen speziell die folgende Situation.

Korollar Korollar 2.8 ändern

Es sei ${}f\in {\mathbb {C} }[Z]$ ein Polynom ohne mehrfache Nullstelle.

Dann ist ${}V={\left\{(z,w)\mid w^{2}=f(z)\right\}}\subseteq {\mathbb {C} }^{2}$ eine riemannsche Fläche.

Beweis

Es ist ${}V$ die Nullstellenmenge der polynomialen Abbildung

$\varphi \colon {\mathbb {C} }^{2}\longrightarrow {\mathbb {C} },\,(z,w)\longmapsto f(z)-w^{2}.$

Die Jacobi-Matrix von ${}\varphi$ ist ${}\left(f'(z),\,2w\right)$. Sei ${}(z,w)\in V$. Bei ${}f'(z)=0$ ist ${}f(z)\neq 0$ und damit ist ${}w\neq 0$. Die Jacobi-Matrix ist also auf ganz ${}V$ regulär und damit zeigt der Satz über implizite Abbildungen, dass ${}V$ eine komplexe Mannigfaltigkeit ist.

$\Box$

Durch die Projektion auf die erste Komponente liegt eine fixierte Abbildung ${}V\longrightarrow {\mathbb {C} }$, ${}(z,w)\longmapsto z$, vor. Diese ist surjektiv und besitzt über den Nullstellen von ${}f$ ein Urbild und sonst überall zwei Urbilder. Man spricht von der Wurzelfläche zu ${}f$ und sagt, dass diese „ausgebreitet“ über ${}{\mathbb {C} }$ vorliegt. Solche mit einer festen Projektion auf ${}{\mathbb {C} }$ versehenen riemannschen Flächen nennt man auch konkrete riemannsche Flächen, während man dann die durch einen Atlas gegebenen Flächen abstrakte riemannsche Flächen nennt. Diesen Unterschied sollte man aber nicht überbewerten. Wir werden uns in Lemma 14.13 mit der Frage beschäftigen, inwiefern man eine solche Wurzelfläche zu einer riemannschen Fläche über die projektive Gerade ${}{\mathbb {P} }_{\mathbb {C} }^{1}$ fortsetzen kann.