Biholomorphe Abbildung

In der Funktionentheorie ist eine biholomorphe oder schlichte Abbildung eine bijektive holomorphe Abbildung mit holomorpher Umkehrabbildung. Manchmal versteht man jedoch unter einer schlichten Abbildung auch eine injektive (nicht notwendigerweise bijektive), holomorphe Abbildung.

Eigenschaften

Eindimensionale Beispiele

Die lineare Funktion

w=f(z)=mz+n (mit m,n,w,z als komplexen Zahlen) ergibt
Abb. 1 Polarkoordinaten von z
z=r_{z}(\cos(\phi )+i\sin(\phi ))

ist, erhält man mit der Eulerformel

e^{{i\phi }}=\cos(\phi )+i\sin(\phi )
w=mz=r_{m}e^{{i\phi _{m}}}\cdot r_{z}e^{{i\phi _{z}}}.

Wenn |m|=1 gesetzt wird, ist r_{m}=1 und somit

w=r_{z}e^{{i\phi _{m}+\phi _{u}}}.

Der Punkt z (mit dem Argument (Bogenmaß) φz und dem Betrag r = rz) geht somit in den Punkt w (mit φaz) und dem Betrag rz über, das ist eine Drehung.

Beispielsweise führt die Drehstreckung w=(1+i)z den Punkt z=2+3i in den Bildpunkt w=(1+i)(2+3i)=-1+5i über. Die Bildpunkte zweier weiterer Punkte, die mit dem ersten ein Dreieck bilden können, lassen sich ebenso berechnen, so dass das Bilddreieck gezeichnet werden kann und damit diese Drehstreckung sich leicht veranschaulichen lässt.

Inversion

Die Abbildung

w=f(z)=1/z

heißt Inversion oder Kreisspiegelung. Bei ihr wird das Innere des Kreises mit Radius = 1 (sog. Einheitskreis) auf das Äußere, das Äußere in das Innere abgebildet, der Rand des Kreises geht in sich selber über. 1 und -1 werden auf 1 und -1 abgebildet, das sind die beiden Fixpunkte der Inversion.

Quadratfunktion

Bei der Quadratfunktion

w=f(z)=z^{2}

ist f' nicht Null, wenn z nicht Null ist. Wählt man Definitions- und Zielbereich so, dass die Null nicht enthalten ist und die Einschränkung von f bijektiv ist, erhält man folglich eine biholomorphe Abbildung. Man kann beispielsweise

f\colon \{z\in {\mathbb  C}\mid \operatorname {Re}z>0\}\to {\mathbb  C}\setminus \{z\in {\mathbb  R}\mid z\leq 0\}

wählen, also als Definitionsbereich die rechte Halbebene und als Zielbereich die entlang der negativen reellen Achse geschlitzte Ebene.

Aus w = u + iv = (x + iy)2 = x2 - y2 + (2xy)i ergibt der Vergleich der Koeffizienten bei Real- und Imaginärteil

u = x2 - y2 und v = 2xy.

Die zur x-Achse symmetrisch liegenden Hyperbeln (vgl. Abb. 2)

Abb. 2 Hyperbelschar und Parallelenschar

x2 - y2 = const gehen in vertikale Parallelen u = const über. Die zur ersten Winkelhalbierenden symmetrisch liegenden Hyperbeln 2xy = const gehen in waagrecht verlaufende Parallelen über.

Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung:  Jena, den: 22.12. 2020