05.10.2013 Aufrufe

Analysis

Analysis

Analysis

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

1. HOLOMORPHE FUNKTIONEN 1371<br />

1. Das Bild jedes Punktes liegt mindestens ebenso nah am Ursprung wie<br />

besagter Punkt selbst und die Ableitung unserer Abbildung im Ursprung<br />

hat höchstens den Betrag Eins.<br />

2. Hat für mindestens einen Punkt sein Bild denselben Abstand zum Ursprung<br />

wie der besagte Punkt selbst oder hat die Ableitung im Ursprung<br />

den Betrag Eins, so ist unsere Abbildung eine Drehung.<br />

Beweis. Wir betrachten die offene Einheitskreisscheibe E = {z ∈ C | |z| <<br />

1}. Für eine holomorphe Abbildung f : E → E mit f(0) = 0 behauptet<br />

unser Satz also in Formeln<br />

|f(z)| ≤ |z| für alle z ∈ E und |f ′ (0)| ≤ 1.<br />

Des weiteren behauptet er für den Fall, daß in einer dieser Ungleichungen<br />

Gleichheit gilt, d.h. |f(z)| = |z| für ein z ∈ E oder |f ′ (0)| = 1, daß f eine<br />

Drehung ist. Für jedes ε > 0 gibt es, wenn f die offene Einheitskreisscheibe<br />

in sich selber abbildet, sicher ein δ ∈ (0, 1) mit |z| ≥ δ ⇒ |f(z)/z| ≤ 1 + ε.<br />

Dieser Quotient kann also salopp gesprochen “betragsmäßig um so weniger<br />

über die Eins hinauskommen, je näher z am Rand der Einheitskreisscheibe<br />

liegt”. Nun erhält man nach dem Satz über die Potenzreihenentwicklung<br />

1.7.7 eine holomorphe Funktion durch die Vorschrift z ↦→ f(z)/z für z = 0<br />

bzw. z ↦→ f ′ (0) für z = 0. Da diese Funktion nach 1.8.19 auf keiner offenen<br />

Kreisscheibe ihr Betragsmaximum annehmen kann, wenn sie nicht konstant<br />

ist, folgt |f(z)/z| ≤ 1 für alle z ∈ E\0 sowie |f ′ (0)| ≤ 1. Steht hier an einer<br />

Stelle eine Gleichheit, so ist f(z)/z konstant und folglich f eine Drehung.<br />

Übung 1.8.21. Man konstruiere eine bijektive holomorphe Abbildung von<br />

der offenen Einheitskreisscheibe in die Halbebene aller komplexen Zahlen<br />

mit positivem Imaginärteil, der sogenannten “oberen Halbebene”. Hinweis:<br />

Möbius-Geometrie ??, ??. Man zeige, daß die in ?? eingeführte Operation<br />

von SL(2; R) auf der oberen Halbebene die Restklassengruppe PSL(2; R) :=<br />

SL(2; R)/{± id} identifiziert mit der Gruppe aller bijektiven holomorphen<br />

Abbildung von der oberen Halbebene auf sich selber. Hinweis: Schwarz’sches<br />

Lemma 1.8.20.

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!