Biholomorph

In der Funktionentheorie ist eine biholomorphe Abbildung eine bijektive holomorphe Abbildung mit holomorpher Umkehrabbildung.

Eigenschaften

• Eine bijektive holomorphe Abbildung ist immer biholomorph. Im eindimensionalen Fall folgt dies direkt aus dem Satz über implizite Funktionen, in höheren Dimensionen aus dem Satz von Osgood.
• Im eindimensionalen Fall ist eine biholomorphe Abbildung eine konforme Abbildung. Umgekehrt ist eine bijektive, stetig differenzierbare Abbildung von Gebieten der komplexen Ebene, die konform und orientierungserhaltend ist und deren Ableitung nicht verschwindet, ebenfalls biholomorph.

Eindimensionale Beispiele

Die lineare Funktion

w = f(z) = az + b (mit a, b, w, z als komplexen Zahlen der Form z = x + iy) ergibt

• für a = 1 und b nicht gleich Null eine Verschiebung (Translation)
  
• für $a\not=1$ reell und positiv eine zentrische Streckung mit dem Streckfaktor a und Streckzentrum $\frac b{1-a}$;
• für | a | = 1 und b = 0 eine Drehung. Verwendet man nämlich Polarkoordinaten für die Zahl z, so kann der "Punkt"z durch (r_z,φ_z) gekennzeichnet werden (s. Abb. 1). Weil
  

  Abb. 1 Polarkoordinaten von z

z = r_z (cos φ + i sin φ)

ist, erhält man mit der Eulerformel

e^iφ = cos φ + i sin φ

w = az = r_ae^iφ_a. r_ze^iφ_z.

Wenn |a|=1 gesetzt wird, ist r_a = 1 und somit

w = r_z e^i(φ_a+φ_z).

Der Punkt Z (mit dem Argument (Bogenmaß) φ_z und dem Betrag r = r_z) geht somit in den Punkt W (mit φ_a+φ_z) und dem Betrag r_z über, das ist eine Drehung.

• für |a| ungleich 1 und b = 0 eine Drehstreckung.
  

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 daß das Bilddreieck gezeichnet werden kann und damit diese Drehstreckung sich leicht veranschaulichen lässt.

• für |a| nicht gleich 1, und b nicht gleich 0 eine Drehstreckung mit Verschiebung.

Inversion

Die Abbildung

w = f(z) = 1/z

heißt Inversion. 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²

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\leq0\}$

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)² = x² - y² + (2xy)i ergibt der Vergleich der Koeffizienten bei Real- und Imaginärteil

u = x² - y² und v = 2xy.

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

Abb. 2 Hyperbelschar und Parallelenschar

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