Riemannscher Abbildungssatz
aus Wikipedia, der freien Enzyklopädie
Der (kleine) Riemannsche Abbildungssatz (nach Bernhard Riemann) aus dem Jahr 1851 ist ein Satz der Funktionentheorie und besagt:
Jedes einfach zusammenhängende Gebiet G, das eine echte Teilmenge der komplexen Zahlenebene C ist, lässt sich biholomorph auf die Einheitskreisscheibe E abbilden.
Zur Klärung der in diesem Satz verwendeten Begriffe:
Die (offene) Einheitskreisscheibe (der offene Einheitskreis) E ist definiert als
.
Bereiche sind nichtleere offene Mengen in C.
Zusammenhängende Bereiche von C werden als Gebiete bezeichnet.
"Echte Teilmenge" besagt, dass das Gebiet G ungleich C sein muss.
Eine offene Menge in C kann man dadurch charakterisieren, dass jeden ihrer Punkte eine Kreisscheibe umgibt, die ganz in dieser Menge liegt.
Eine offene Menge ist zusammenhängend, wenn sie nicht als disjunkte Vereinigung zweier offener Mengen geschrieben werden kann. Eine offene Menge ist bogenzusammenhängend wenn es von jedem Punkt zu jedem anderen einen stetigen Weg gibt. Für offene Teilmengen von C stimmen die Begriffe zusammenhängend und bogenzusammenhängend überein. Eine bogenzusammenhängende Menge heißt einfach zusammenhängend wenn jede Schleife (ein Weg dessen Start- auch der Endpunkt ist) auf einen Punkt zusammengezogen werden kann, d.h. die Menge "hat keine Löcher". Einfach zusammenhängende offene Teilmengen von C sind zusammenziehbar. Siehe auch Zusammenhang (Topologie) und Fundamentalgruppe.
Eine Abbildung ist biholomorph, wenn sie holomorph ist, und wenn ihre Umkehrabbildung existiert und diese ebenfalls holomorph ist. Insbesondere sind solche Abbildungen topologische Abbildungen. Hieraus und unter Verwendung des Riemannschen Abbildungssatzes kann man schließen, dass alle einfach zusammenhängenden Gebiete, die echte Teilmengen von C sind, topologisch äquivalent sind.
Für jeden Punkt z des einfach zusammenhängenden Gebietes G gilt: es gibt genau eine biholomorphe Funktion h von G auf E mit h(z) = 0 und h'(z) < 0.
Alternativ lässt sich die obenstehende Aussage auch so formulieren: Zu frei wählbaren Punkten z aus G, s aus dem Rand von G und t aus dem Rand von E gibt es genau eine biholomorphe Funktion h von G auf E mit h(z) = 0 und h(s) = t.
Riemann skizzierte einen Beweis 1851 in seiner Dissertation. 1922 wurde er dann endgültig durch Lipot Fejer und Frigyes Riesz bewiesen.
Ein heute weit verbreiteter Beweis (der mit dem Satz von Montel erfolgt) stammt von Alexander Markowitsch Ostrowski aus dem Jahre 1929.
[Bearbeiten] Großer Riemannscher Abbildungssatz
Der große Riemannsche Abbildungssatz ist eine Verallgemeinerung des oben genannten Satzes. Er besagt:
- Jede einfach zusammenhängende Riemannsche Fläche ist analytisch äquivalent zu
- der Einheitskreisscheibe E oder
- der komplexen Zahlenebene
, - der Riemannschen Zahlenkugel
