Riemannscher Hebbarkeitssatz

Der Riemannsche Hebbarkeitssatz (nach Bernhard Riemann) ist ein grundlegendes Ergebnis des mathematischen Teilgebietes der Funktionentheorie. Der Satz besagt, dass eine isolierte Singularität einer holomorphen Funktion genau dann entfernt („behoben“) werden kann, wenn die Funktion in einer Umgebung der Singularität beschränkt ist. Eine solche Singularität heißt hebbar.

Satz

Es sei <math>G \subseteq \Complex</math> ein Gebiet und <math>z_0 \in G</math>, weiter sei <math>f \colon G {\setminus} \{z_0\} \to \Complex</math> eine holomorphe Funktion.

Existiert eine Umgebung <math>U</math> von <math>z_0</math> in <math>G</math>, sodass <math>f</math> auf <math>U {\setminus} \{z_0\}</math> beschränkt ist, dann gibt es eine auf ganz <math>G</math> holomorphe Funktion <math>\tilde f</math> mit <math>\tilde f|_{G {\setminus} \{ z_0 \}} = f</math>.

Die Existenz von <math>\tilde f</math> besagt, dass sich <math>f</math> durch <math>z_0\mapsto \tilde f(z_0)</math> holomorph auf <math>z_0</math> fortsetzen lässt. Dadurch wird die „Lücke“ im Definitionsbereich von <math>f</math> gewissermaßen „aufgehoben“. Nach dem Identitätssatz für holomorphe Funktionen kann es nur ein solches <math>\tilde f</math> geben.

Beweis

Der riemannsche Hebbarkeitssatz lässt sich aus der Cauchy-Abschätzung der Laurentreihenkoeffizienten folgern:

Nach Voraussetzung gibt es ein <math>\varepsilon > 0</math> klein genug, sodass die punktierte Umgebung <math>\dot B_{\varepsilon}(z_0) = \{z \in \Complex \mid 0 < |z-z_0| < \varepsilon\}</math> noch ganz in <math>G</math> liegt und <math>|f(z)| \le M</math> für ein <math>M \in \R</math> und alle <math>z \in \dot B_{\varepsilon}(z_0)</math> gilt. Da <math>f</math> auf <math>\dot B_{\varepsilon}(z_0)</math> holomorph ist, lässt es sich dort in eine konvergente Laurentreihe entwickeln. Mit anderen Worten: Es gibt (genau) eine Folge <math>(a_n)_{n \in \Z}</math> komplexer Zahlen, sodass für alle <math>z \in \dot B_{\varepsilon}(z_0)</math> gilt:

<math>f(z) = \sum_{n = -\infty}^{\infty} a_n (z-z_0)^n</math>

Die Funktion <math>f</math> ist natürlich auch auf jeder Teilmenge von <math>\dot B_{\varepsilon}(z_0)</math> durch <math>M</math> (betragsmäßig) beschränkt, nach der Cauchy-Abschätzung gilt also für <math>n \in \Z</math> und jedes <math>0< \delta < \varepsilon</math>:

<math>|a_n| \le \frac{M}{\delta^n}</math>

Ist <math>n < 0</math>, so lässt sich dies als <math>|a_n| \le M \cdot \delta^{|n|}</math> schreiben, nach dem Grenzübergang <math>\delta \to 0</math> ergibt sich <math>|a_n| = 0</math>. Der Hauptteil der Laurentreihe verschwindet also identisch <math>0</math>, weshalb die Singularität von <math>f</math> in <math>z_0</math> hebbar sein muss. Diese Hebung erfolgt dann gerade durch den Wert <math>\tilde f(z_0) = a_0</math>.

Verallgemeinerungen

Eine einfache Verallgemeinerung besteht darin, die Voraussetzung der Beschränktheit aufzugeben und lediglich zu fordern, dass

Die Fortsetzbarkeit von <math>f</math> folgt nun leicht aus der obigen Formulierung durch Anwendung auf die in einer Umgebung von <math>z_0</math> beschränkte Funktion <math>g(z)=(z-z_0)f(z)</math>.

Umkehrung

Die Aussage des Hebbarkeitssatzes lässt sich auch umkehren, das heißt, es gilt:

Hat eine holomorphe Funktion <math>f</math> in <math>z_0</math> eine hebbare Singularität, so ist sie in einer Umgebung von <math>z_0</math> beschränkt.

Dies ist eine einfache Folge der Stetigkeit der holomorphen Fortsetzung <math>\tilde f</math> an der Stelle <math>z_0</math>. Durch diese lokale Beschränktheit unterscheiden sich hebbare Singularitäten fundamental von Polstellen und wesentlichen Singularitäten.

Nichtexistenz einer holomorphen Wurzelfunktion

Der Hebbarkeitssatz dient in der Funktionentheorie auch als Hilfssatz in anderen Beweisen. Beispielsweise lässt sich dadurch die Nichtexistenz einer holomorphen Wurzelfunktion beweisen.

Es gibt keine auf <math>\mathbb C {\setminus} \{0\}</math> holomorphe Funktion <math>f</math>, die <math>f(z)^2=z</math> für alle <math>z\ne 0</math> erfüllt.

Angenommen doch, für ihren Betrag muss dann <math>|f(z)| = \sqrt{|z|}</math> gelten. Demnach ist <math>f</math> ist in einer Umgebung von <math>0</math> beschränkt und also nach dem riemannschen Hebbarkeitssatz sogar auf ganz <math>\Complex</math> holomorph. Insbesondere ist <math>f</math> stetig differenzierbar in <math>0</math> mit der Ableitung <math>f'(0)</math>. Nach dem Identitätssatz müssen <math>f</math> und ihre Ableitungsfunktion <math>f'</math> auf <math>\R^+ \subset \Complex</math> jeweils mit der reellen Wurzelfunktion und deren Ableitung übereinstimmen. Für positive reelle Argumente <math>x \in \R^+</math> wächst aber die Ableitung bei Annäherung an 0 über alle Grenzen, sodass ein (eigentlicher) Grenzwert nicht existiert:

<math>\lim_{x \searrow 0} f'(x) = \lim_{x \searrow 0} \frac{1}{2 \sqrt{x}} = \infty \neq f'(0)</math>

Mehrere Veränderliche

In der Funktionentheorie mehrerer Veränderlicher nennt man eine Teilmenge <math>X</math> eines Gebietes <math>G\subset \Complex^n</math> dünn, wenn sie lokal in nicht-trivialen Nullstellenmengen enthalten ist, das heißt genauer, wenn es zu jedem Punkt <math>z\in G</math> einen offenen Polykreis <math>\Delta(z;r)\subset G</math> und eine von 0 verschiedene holomorphe Funktion <math>g:\Delta(z;r) \rightarrow \Complex</math> gibt, so dass <math>X\cap \Delta(z;r) \subset \{\zeta\in \Delta(z;r)\mid g(\zeta)=0\}</math>.

Ist weiter <math>G\subset \Complex^n</math> ein Gebiet, <math>X\subset G</math>, so nennt man eine Funktion <math>f\colon G\setminus X\rightarrow \Complex</math> lokal beschränkt, wenn es zu jedem Punkt <math>z\in G</math> einen offenen Polykreis <math>\Delta(z;r)\subset G</math> gibt, so dass <math>\sup\{|f(\zeta)|\, \mid \zeta\in \Delta(z;r)\setminus X\} < \infty</math>.

Der riemannsche Hebbarkeitssatz hat folgende Verallgemeinerung auf mehrere Dimensionen:<ref>Gunning-Rossi: Analytic functions of several complex variables, Prentice-Hall 1965, Kap. I.C, Theorem 3</ref>

Es sei <math>X</math> eine dünne Menge eines Gebietes <math>G\subset \Complex^n</math> und <math>f\colon G\setminus X \rightarrow \Complex</math> eine holomorphe Funktion, die in <math>G</math> lokal beschränkt ist. Dann gibt es eine holomorphe Funktion <math>\tilde{f}\colon G\rightarrow \Complex</math>, die auf <math>G\setminus X</math> mit <math>f</math> übereinstimmt.

Für den eindimensionalen Fall <math>n=1</math> erhält man obige klassische Version des riemannschen Hebbarkeitssatzes zurück, denn im eindimensionalen Fall sind dünne Mengen wegen des Identitätssatzes diskret. Anders formuliert heißt das, Singularitäten in <math>G</math> sind stets isoliert. Für mehrere Variable <math>n\ge 2</math> sind diese Situationen stets trivial, denn es gilt:<ref>Gunning-Rossi: Analytic functions of several complex variables, Prentice-Hall 1965, Kap. I.C, Corollary 6</ref>

Jede isolierte Singularität einer holomorphen Funktion mit mehr als einer Variable ist hebbar.

Literatur

Klaus Jänich: Funktionentheorie. 6. Auflage. Springer, 2008.
Steven G. Krantz: Handbook of Complex Variables. Birkhäuser, 1999, ISBN 978-1-4612-1588-2.

Weblinks

Beweis des Riemannschen Hebbarkeitssatzes (engl.)

Einzelnachweise

ja:リーマンの定理 (除去可能な特異点)