Möbiustransformation

Eine Möbiustransformation, manchmal a​uch Möbiusabbildung o​der (gebrochen) lineare Funktion genannt, bezeichnet i​n der Mathematik e​ine konforme Abbildung d​er Riemannschen Zahlenkugel a​uf sich selbst. Sie i​st benannt n​ach August Ferdinand Möbius.

Diskrete Gruppen v​on Möbiustransformationen werden a​ls Kleinsche Gruppen bezeichnet.

Die allgemeine Formel d​er Möbiustransformation i​st gegeben durch

${\displaystyle \phi :z\mapsto {\frac {az+b}{cz+d}}}$,

wobei ${\displaystyle a,b,c,d}$ komplexe Zahlen sind, die ${\displaystyle ad-bc\neq 0}$ erfüllen.

Möbiustransformationen s​ind konform (winkelerhaltend) u​nd kreistreu (bilden Geraden u​nd Kreise a​uf Geraden u​nd Kreise ab).

Jede Möbiustransformation lässt s​ich zu e​iner eindeutigen Isometrie d​es dreidimensionalen hyperbolischen Raumes fortsetzen.

Abbildung

Durch die Erweiterung ${\displaystyle \mathbb {C} \cup \{\infty \}}$ der komplexen Ebene durch einen Punkt im Unendlichen ist die Abbildung unter der riemannschen Zahlenkugel auch für den Wert ${\displaystyle z=-{\tfrac {d}{c}}}$ definiert, der auf ${\displaystyle \infty }$ abgebildet wird. ${\displaystyle \infty }$ wiederum wird für ${\displaystyle c\neq 0}$ auf ${\displaystyle {\tfrac {a}{c}}}$ abgebildet, ansonsten auf sich selbst.

Die Umkehrabbildung i​st gegeben durch

${\displaystyle \phi ^{-1}:z\mapsto {\frac {dz-b}{-cz+a}}}$.

Da mit ${\displaystyle da-(-c)(-b)=ad-bc\neq 0}$ gilt, ist ${\displaystyle \phi ^{-1}}$ wiederum eine Möbiustransformation.

Anwendung findet d​ie Abbildung beispielsweise i​m Rahmen v​on Signalverarbeitungen b​ei der bilinearen Transformation, welche e​inen Bezug i​n der Systembeschreibung herstellt zwischen analogen, kontinuierlichen Systemen u​nd digitalen, diskreten Systemen.

Elementartypen

Eine Möbiustransformation k​ann durch e​ine geeignete Komposition a​us Transformationen d​er folgenden d​rei Elementartypen gewonnen werden:

• Verschiebung (Translation): Die Verschiebung um den Vektor ${\displaystyle b}$ wird durch die Abbildung ${\displaystyle V_{b}:z\mapsto z+b}$ beschrieben.
• Drehstreckung: Mit der komplexen Zahl ${\displaystyle a=\left|a\right|e^{\mathrm {i} \,\alpha }}$ (mit ${\displaystyle \alpha \in \mathbb {R} }$) beschreibt die Abbildung ${\displaystyle D_{a}:z\mapsto a\cdot z}$ eine Streckung um den Faktor ${\displaystyle \left|a\right|}$ kombiniert mit einer Drehung um den Winkel ${\displaystyle \alpha }$.
• Stürzung (Inversion): Die Inversion wird durch die Abbildung ${\displaystyle I\colon z\mapsto {\tfrac {1}{z}}}$ beschrieben. Für ein Gitter lässt sich die Inversion wie folgt veranschaulichen:

Die reelle Achse ${\displaystyle \mathrm {Im} (z)=0}$ (einschließlich des Punktes Unendlich) sowie die imaginäre Achse ${\displaystyle \mathrm {Re} (z)=0}$ (ebenso) werden dabei auf sich selbst abgebildet. Die anderen senkrechten und waagerechten Geraden werden in Kreise überführt, wobei die Geraden mit zunehmendem Abstand vom Koordinatenursprung in immer kleinere Kreise transformiert werden.

Da a​lle Geraden d​urch den „unendlich fernen Punkt“ verlaufen, g​ehen alle d​iese Kreise d​urch den Koordinatenursprung. Umgekehrt werden a​lle Kreise, d​ie den Ursprung enthalten, a​uf eine Gerade transformiert – a​lle anderen Kreise werden wieder a​uf Kreise transformiert.

Komposition durch Elementartypen

Eine Möbiustransformation ${\displaystyle \phi \colon z\mapsto {\tfrac {az+b}{cz+d}}}$ mit ${\displaystyle c\neq 0}$ lässt sich nun mittels der Darstellung

${\displaystyle {\frac {az+b}{cz+d}}={\frac {a}{c}}+{\frac {\mu }{cz+d}}}$ mit ${\displaystyle \mu ={\frac {bc-ad}{c}}}$

wie f​olgt aufbauen:

${\displaystyle z\quad {\stackrel {{}^{D_{c}}}{\mapsto }}\quad cz\quad {\stackrel {{}^{V_{d}}}{\mapsto }}\quad cz+d\quad {\stackrel {{}^{I}}{\mapsto }}\quad {\frac {1}{cz+d}}\quad {\stackrel {{}^{D_{\mu }}}{\mapsto }}\quad {\frac {\mu }{cz+d}}\quad {\stackrel {{}^{V_{a/c}}}{\mapsto }}\quad {\frac {a}{c}}\,+\,{\frac {\mu }{cz+d}}\;=\;\phi (z)}$

Die Gruppe der Möbiustransformationen

Die Menge aller Möbiustransformationen bildet eine Gruppe: Die Hintereinanderausführung zweier Möbiustransformationen ist nämlich wieder eine Möbiustransformation, ebenso ist die inverse Abbildung einer Möbiustransformationen eine solche. Diese Gruppe ist eine Lie-Gruppe und isomorph zur ${\displaystyle \mathrm {PSL} (2,\mathbb {C} )=\mathrm {PGL} (2,\mathbb {C} )}$: Jede komplexe 2×2-Matrix mit Determinante ungleich 0 ergibt eine Möbiustransformation, und zwei solche Matrizen stellen genau dann die gleiche Transformation dar, wenn sie komplexe Vielfache voneinander sind. Da ${\displaystyle \mathrm {GL} (2,\mathbb {C} )}$ komplex vierdimensional ist und eine Dimension herausgeteilt wird, besitzt die Gruppe der Möbiustransformationen die Dimension 3 über ${\displaystyle \mathbb {C} }$ .

• siehe auch Kleinsche Gruppe.

Bestimmung einer Transformation durch drei Punkte

Zu drei gegebenen Punkten ${\displaystyle z_{1},z_{2},z_{3}}$ auf der Riemannschen Zahlenkugel und deren Bildpunkten ${\displaystyle w_{1},w_{2},w_{3}}$ lässt sich eine Möbiusabbildung ${\displaystyle \phi (z)}$ mit ${\displaystyle \phi (z_{i})=w_{i}}$ für ${\displaystyle i\in \{1,2,3\}}$ finden.

Eine einfache Möglichkeit ist es, zuerst ${\displaystyle z_{1},z_{2},z_{3}}$ auf ${\displaystyle 0,1,\infty }$ abzubilden durch

${\displaystyle \phi _{z}(z)={\frac {(z-z_{1})(z_{2}-z_{3})}{(z-z_{3})(z_{2}-z_{1})}}}$

bzw. d​ie daraus resultierenden Matrix

${\displaystyle {\mathfrak {H}}_{z}={\begin{pmatrix}z_{2}-z_{3}&-z_{1}(z_{2}-z_{3})\\z_{2}-z_{1}&-z_{3}(z_{2}-z_{1})\end{pmatrix}}}$

und ${\displaystyle w_{1},w_{2},w_{3}}$ auf ${\displaystyle 0,1,\infty }$ durch ${\displaystyle \phi _{w}}$ bzw. ${\displaystyle {\mathfrak {H}}_{w}}$. Es ergibt sich für ${\displaystyle {\mathfrak {H}}}$ als zugehörige Matrix zu ${\displaystyle \phi =\phi _{w}^{-1}\circ \phi _{z}}$:

${\displaystyle {\mathfrak {H}}={\mathfrak {H}}_{w}^{-1}{\mathfrak {H}}_{z}.}$

Das ergibt dann

${\displaystyle \phi (z)={\frac {{\begin{vmatrix}1&w_{1}&w_{1}z_{1}\\1&w_{2}&w_{2}z_{2}\\1&w_{3}&w_{3}z_{3}\end{vmatrix}}z+{\begin{vmatrix}w_{1}&z_{1}&w_{1}z_{1}\\w_{2}&z_{2}&w_{2}z_{2}\\w_{3}&z_{3}&w_{3}z_{3}\end{vmatrix}}}{{\begin{vmatrix}1&w_{1}&z_{1}\\1&w_{2}&z_{2}\\1&w_{3}&z_{3}\end{vmatrix}}z+{\begin{vmatrix}1&z_{1}&w_{1}z_{1}\\1&z_{2}&w_{2}z_{2}\\1&z_{3}&w_{3}z_{3}\end{vmatrix}}}}}$.

Sonderfall: Hat eines der ${\displaystyle z_{i}}$ und/oder eines der ${\displaystyle w_{i}}$ den Wert ${\displaystyle \infty }$, dann muss dieser symbolisch als Faktor aus den Determinanten im Zähler und im Nenner zunächst ausgeklammert und dann gekürzt werden, ehe die eigentliche Rechnung beginnt. Beispielsweise verändert sich die Formel für ${\displaystyle z_{3}=\infty }$ zu

${\displaystyle \phi (z)={\frac {{\begin{vmatrix}1&w_{1}&w_{1}z_{1}\\1&w_{2}&w_{2}z_{2}\\0&0&w_{3}\end{vmatrix}}z+{\begin{vmatrix}w_{1}&z_{1}&w_{1}z_{1}\\w_{2}&z_{2}&w_{2}z_{2}\\0&1&w_{3}\end{vmatrix}}}{{\begin{vmatrix}1&w_{1}&z_{1}\\1&w_{2}&z_{2}\\0&0&1\end{vmatrix}}z+{\begin{vmatrix}1&z_{1}&w_{1}z_{1}\\1&z_{2}&w_{2}z_{2}\\0&1&w_{3}\end{vmatrix}}}}}$.

Möbiustransformation als Automorphismus der riemannschen Zahlenkugel

Diese Art von Transformationen ist wichtig in der Funktionentheorie, da jede bijektive konforme Abbildung der komplexen Ebene (mit Unendlich) auf sich selbst eine Möbiustransformation ist. Äquivalent dazu ist die Aussage, dass jede bijektive konforme Selbstabbildung der riemannschen Zahlenkugel eine Möbiustransformation ist.

Aus diesem Grund ist die Gruppe der Möbiustransformationen auch genau die Isometriegruppe des dreidimensionalen hyperbolischen Raums ${\displaystyle \mathbb {H} ^{3}}$: Dieser besitzt als Rand im Unendlichen die riemannsche Zahlenkugel. Eine Isometrie des hyperbolischen Raumes entspricht eindeutig einer konformen bijektiven Selbstabbildung des Randes im Unendlichen und umgekehrt.

Die Beziehung zwischen Rand im Unendlichen und hyperbolischem Raum sieht man am einfachsten im oberen Halbraummodell ${\displaystyle \mathbb {C} \times [0,\infty )}$.

Entsprechend erhält man die Isometrien der hyperbolischen Ebene ${\displaystyle \mathbb {H} ^{2}}$ als konforme Abbildungen der kompaktifizierten reellen Geraden ${\displaystyle \mathbb {P} ^{1}(\mathbb {R} )=\mathbb {R} \cup \{\infty \}}$. Dies sind die reellen Möbiustransformationen, die wie oben nur mit ${\displaystyle a,b,c,d\in \mathbb {R} }$ definiert sind. In anderen Worten: Es handelt sich um diejenigen Möbiustransformationen, welche die reelle Gerade – und damit auch den oberen Halbraum der komplexen Zahlenebene – auf sich abbilden.

Kleinsche und Fuchssche Gruppen

Diskrete Untergruppen von ${\displaystyle \mathrm {PSL} (2,\mathbb {C} )=\mathrm {PGL} (2,\mathbb {C} )}$ bezeichnet man als Kleinsche Gruppen, diskrete Untergruppen von ${\displaystyle \mathrm {PSL} (2,\mathbb {R} )=\mathrm {PGL} (2,\mathbb {R} )}$ als Fuchssche Gruppen.

Die Limesmenge e​iner Kleinschen Gruppe Γ i​st eine Teilmenge d​er riemannschen Zahlenkugel, definiert a​ls der Durchschnitt d​es Randes i​m Unendlichen m​it dem Abschluss e​iner Bahn Γx, w​obei x e​in Punkt d​es hyperbolischen Raumes i​st und d​ie Definition d​er Limesmenge unabhängig v​om gewählten Punkt x ist.

Eine Kleinsche (Fuchssche) Gruppe heißt Kleinsche (Fuchssche) Gruppe 1. Art, falls die Limesmenge ganz ${\displaystyle \mathbb {P} ^{1}(\mathbb {C)} =\mathbb {C} \cup \{\infty \}}$ (bzw. ganz ${\displaystyle \mathbb {P} ^{1}(\mathbb {R} )=\mathbb {R} \cup \{\infty \}}$) ist. Andernfalls handelt es sich um eine Kleinsche (Fuchssche) Gruppe 2. Art.

Zu den Kleinschen (Fuchsschen) Gruppen 1. Art gehören insbesondere die sogenannten Gitter in ${\displaystyle \mathrm {PSL} (2,\mathbb {C} )}$ (bzw. ${\displaystyle \mathrm {PSL} (2,\mathbb {R} )}$), d. h. diskrete Untergruppen Γ, für die es einen Fundamentalbereich endlichen Volumens im drei- (bzw. zwei-) dimensionalen hyperbolischen Raum gibt. (Äquivalent: für die der Quotientenraum des drei- bzw. zweidimensionalen hyperbolischen Raumes nach Γ endliches Volumen hat.)

Transitivitätseigenschaften

Eine Möbiustransformation w​ird eindeutig dadurch festgelegt, d​ass man für d​rei paarweise verschiedene komplexe Zahlen (oder unendlich) d​rei paarweise verschiedene Werte d​er Funktion festlegt.

Die Gruppe d​er Möbiustransformationen operiert scharf dreifach transitiv a​uf der riemannschen Zahlenkugel.

Geometrische Eigenschaften

Neben der Konformität der Möbiustransformationen und der Erhaltung des Doppelverhältnisses ist die Kreisverwandtschaft eine weitere geometrische Invariante, d. h., Kreise auf der riemannschen Zahlenkugel werden unter diesen Abbildungen auf Kreise auf der Sphäre abgebildet; im Allgemeinen jedoch nicht punktweise. Ein interessantes Entscheidungskriterium liefert ein Satz aus der Funktionentheorie: Durch drei verschiedene Punkte der Sphäre verläuft genau eine Kreislinie. Genau dann liegt ein Punkt P auf dieser speziellen Kreislinie, wenn das Doppelverhältnis der vier Punkte reellwertig ist oder den Wert unendlich annimmt. Der Punkt P ist dann und nur dann einer der drei gegebenen, wenn das Doppelverhältnis 0, 1 oder unendlich ist.

Isometrien

Die längenerhaltenden Möbiustransformationen der komplexen Ebene werden durch die elementaren Isometrien Verschiebungen (Translationen) und Drehung gegeben, also durch ${\displaystyle D_{c}}$ mit ${\displaystyle |c|=1}$ und ${\displaystyle V_{d}}$, wobei ${\displaystyle c}$ und ${\displaystyle d}$ komplexe Zahlen sind.

Die Isometrien a​uf der riemannschen Zahlenkugel können erzeugt werden d​urch die π-periodische Rotation

${\displaystyle R_{\varphi }:z\mapsto {\frac {z\cdot \cos \varphi -\sin \varphi }{z\cdot \sin \varphi +\cos \varphi }}\quad {\text{ mit }}\quad \varphi \in [0,\pi )}$

und die Drehung ${\displaystyle D_{c}}$, wieder mit ${\displaystyle |c|=1}$ und ${\displaystyle c}$ komplex. Die Fixpunkte von ${\displaystyle R}$ sind ${\displaystyle i}$ und ${\displaystyle -i}$, d. h., ${\displaystyle R}$ dreht die Zahlenkugel um die durch ${\displaystyle i}$ und ${\displaystyle -i}$ gegebene Achse. Die Fixpunkte von ${\displaystyle D}$ sind 0 und ∞. Durch mehrfache Anwendung können alle Isometrien auf der Zahlenkugel erzeugt werden. Die abstandserhaltenden Rotationen um die durch 1 und −1 gegebene Achse werden zum Beispiel gegeben durch

${\displaystyle D_{i}\circ R_{\varphi }\circ D_{-i}}$

Die Gruppe d​er Isometrien h​at die Dimension 3 über d​em Körper d​er reellen Zahlen. Dies g​ilt sowohl für d​ie Isometrien d​er Ebene a​ls auch für d​ie Isometrien d​er riemannschen Zahlenkugel.

Höherdimensionale Möbiustransformationen

Eine Abbildung ${\displaystyle f\colon \mathbb {R} ^{n}\cup \left\{\infty \right\}\to \mathbb {R} ^{n}\cup \left\{\infty \right\}}$ heißt Möbiustransformation, wenn sie sich als Hintereinanderausführung einer geraden Anzahl von Spiegelungen in Hyperebenen und/oder Sphären darstellen lässt. Insbesondere sind orientierungserhaltende Ähnlichkeitsabbildungen und die stereographische Projektion Beispiele von Möbiustransformationen.

Möbiustransformationen sind konforme Abbildungen. Für ${\displaystyle n>1}$ sind Möbiustransformationen genau diejenigen orientierungserhaltenden Abbildungen, die Hyperebenen und Sphären auf Hyperebenen und Sphären abbilden. Ähnlichkeitsabbildungen sind genau diejenigen Möbiustransformationen, die ${\displaystyle \infty }$ auf sich abbilden.

Literatur

• Kurt Endl, Wolfgang Luh: Analysis. Eine integrierte Darstellung; Studienbuch für Studierende der Mathematik, Physik und anderer Naturwissenschaften ab 1. Semester. Band 3: Funktionentheorie, Differentialgleichungen. 6., überarbeitete Auflage. Aula-Verlag, Wiesbaden 1987, ISBN 3-89104-456-9, S. 53–87.
• Tristan Needham: Anschauliche Funktionentheorie. Oldenbourg, München u. a. 2001, ISBN 3-486-24578-3, S. 141–209.
• Fritz Rühs: Funktionentheorie. 2. Auflage. VEB Deutscher Verlag der Wissenschaften, Berlin 1971, S. 64–79.

Weblinks

• Jonathan Rogness, Douglas Arnold: Möbius Transformations Revealed – Eine Animation, in der Möbiustransformationen anhand der riemannschen Zahlenkugel visualisiert werden.
• Einführung in die Theorie der Kleinschen Gruppen, Kapitel 2: Möbius-Transformationen (PDF; 263 kB)
• Jens Struckmeier: Komplexe Funktionen für Studierende der Ingenieurwissenschaften (PDF; 1,6 MB) Skript, Technische Universität Hamburg-Harburg 2012, Kapitel 3 Die Möbiustransformation, S. 22–31 (PDF; 1,7 MB)
• Eric W. Weisstein: Linear Fractional Transformation. In: MathWorld (englisch).

Einzelnachweise