Möbiustransformation

konforme Abbildung
(Weitergeleitet von Möbius-Transformation)

Eine Möbiustransformation, manchmal auch Möbiusabbildung oder (gebrochen) lineare Funktion genannt, bezeichnet in der Mathematik eine konforme Abbildung der Riemannschen Zahlenkugel auf sich selbst. Sie ist benannt nach August Ferdinand Möbius.

Diskrete Gruppen von Möbiustransformationen werden als Kleinsche Gruppen bezeichnet.

Die allgemeine Formel der Möbiustransformation ist gegeben durch

,

wobei komplexe Zahlen sind, die erfüllen.

Möbiustransformationen sind konform (winkelerhaltend) und kreistreu (bilden Geraden und Kreise auf Geraden und Kreise ab).

Jede Möbiustransformation lässt sich zu einer eindeutigen Isometrie des dreidimensionalen hyperbolischen Raumes fortsetzen.

Abbildung

Bearbeiten

Durch die Erweiterung   der komplexen Ebene durch einen Punkt im Unendlichen ist die Abbildung unter der riemannschen Zahlenkugel auch für den Wert   definiert, der auf   abgebildet wird.   wiederum wird für   auf   abgebildet, ansonsten auf sich selbst.

Die Umkehrabbildung ist gegeben durch

 .

Da mit   gilt, ist   wiederum eine Möbiustransformation.

Anwendung findet die Abbildung beispielsweise im Rahmen von Signalverarbeitungen bei der bilinearen Transformation, welche einen Bezug in der Systembeschreibung herstellt zwischen analogen, kontinuierlichen Systemen und digitalen, diskreten Systemen.

Elementartypen

Bearbeiten

Eine Möbiustransformation kann durch eine geeignete Komposition aus Transformationen der folgenden drei Elementartypen gewonnen werden:

  • Verschiebung (Translation): Die Verschiebung um den Vektor   wird durch die Abbildung   beschrieben.
  • Drehstreckung: Mit der komplexen Zahl   (mit  ) beschreibt die Abbildung   eine Streckung um den Faktor   kombiniert mit einer Drehung um den Winkel  .
  • Stürzung (Inversion): Die Inversion wird durch die Abbildung   beschrieben. Für ein Gitter lässt sich die Inversion wie folgt veranschaulichen:

 

Die reelle Achse   (einschließlich des Punktes Unendlich) sowie die imaginäre Achse   (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 alle Geraden durch den „unendlich fernen Punkt“ verlaufen, gehen alle diese Kreise durch den Koordinatenursprung. Umgekehrt werden alle Kreise, die den Ursprung enthalten, auf eine Gerade transformiert – alle anderen Kreise werden wieder auf Kreise transformiert.

Komposition durch Elementartypen

Bearbeiten

Eine Möbiustransformation   mit   lässt sich nun mittels der Darstellung

  mit  

wie folgt aufbauen:

 

Die Gruppe der Möbiustransformationen

Bearbeiten

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  : 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   komplex vierdimensional ist und eine Dimension herausgeteilt wird, besitzt die Gruppe der Möbiustransformationen die Dimension 3 über  .

Bestimmung einer Transformation durch drei Punkte

Bearbeiten

Zu drei gegebenen Punkten   auf der Riemannschen Zahlenkugel und deren Bildpunkten   lässt sich eine Möbiusabbildung   mit   für   finden.

Eine einfache Möglichkeit ist es, zuerst   auf   abzubilden durch

 

bzw. die daraus resultierenden Matrix

 

und   auf   durch   bzw.  . Es ergibt sich für   als zugehörige Matrix zu  :

 

Das ergibt dann

 .

Sonderfall: Hat eines der   und/oder eines der   den Wert  , 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   zu

 .

Möbiustransformation als Automorphismus der riemannschen Zahlenkugel

Bearbeiten

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  : 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  .

Entsprechend erhält man die Isometrien der hyperbolischen Ebene   als konforme Abbildungen der kompaktifizierten reellen Geraden  . Dies sind die reellen Möbiustransformationen, die wie oben nur mit   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

Bearbeiten

Diskrete Untergruppen von   bezeichnet man als Kleinsche Gruppen, diskrete Untergruppen von   als Fuchssche Gruppen.

Die Limesmenge einer Kleinschen Gruppe Γ ist eine Teilmenge der riemannschen Zahlenkugel, definiert als der Durchschnitt des Randes im Unendlichen mit dem Abschluss einer Bahn Γx, wobei x ein Punkt des hyperbolischen Raumes ist und die Definition der Limesmenge unabhängig vom gewählten Punkt x ist.

Eine Kleinsche (Fuchssche) Gruppe heißt Kleinsche (Fuchssche) Gruppe 1. Art, falls die Limesmenge ganz   (bzw. ganz  ) 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   (bzw.  ), 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

Bearbeiten

Eine Möbiustransformation wird eindeutig dadurch festgelegt, dass man für drei paarweise verschiedene komplexe Zahlen (oder unendlich) drei paarweise verschiedene Werte der Funktion festlegt.

Die Gruppe der Möbiustransformationen operiert scharf dreifach transitiv auf der riemannschen Zahlenkugel.

Geometrische Eigenschaften

Bearbeiten

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

Bearbeiten

Die längenerhaltenden Möbiustransformationen der komplexen Ebene werden durch die elementaren Isometrien Verschiebungen (Translationen) und Drehung gegeben, also durch   mit   und  , wobei   und   komplexe Zahlen sind.

Die Isometrien auf der riemannschen Zahlenkugel können erzeugt werden durch die π-periodische Rotation

 

und die Drehung  , wieder mit   und   komplex. Die Fixpunkte von   sind   und  , d. h.,   dreht die Zahlenkugel um die durch   und   gegebene Achse. Die Fixpunkte von   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

 

Die Gruppe der Isometrien hat die Dimension 3 über dem Körper der reellen Zahlen. Dies gilt sowohl für die Isometrien der Ebene als auch für die Isometrien der riemannschen Zahlenkugel.

Höherdimensionale Möbiustransformationen

Bearbeiten

Eine Abbildung   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   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   auf sich abbilden.

Literatur

Bearbeiten
  • 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.
Bearbeiten