Eine Möbius-Ebene, benannt nach August Ferdinand Möbius, ist im klassischen Fall eine Inzidenzstruktur, die im Wesentlichen die Geometrie der Geraden und Kreise in der reellen Anschauungsebene beschreibt: Eine Gerade ist durch 2 Punkte, ein Kreis durch 3 Punkte eindeutig bestimmt. Eine Gerade oder Kreis schneidet/berührt einen Kreis in 0, 1 oder 2 Punkten. Um die besondere Rolle der Geraden aufzuheben, fügt man jeder Geraden einen gemeinsamen neuen Punkt hinzu und nennt Kreise und die so erweiterten Geraden Zykel. Die neue Inzidenzstruktur hat jetzt die einfacheren Eigenschaften:
- (A1): Zu je 3 Punkten gibt es genau einen Zykel , der diese enthält. (Liegen die Punkte auf einer Geraden , so ist die um erweiterte Gerade der gesuchte Zykel, liegen sie nicht auf einer Geraden, so gibt es genau einen Kreis durch .)
- (A2): Zu einem Zykel , einem Punkt auf und einem Punkt nicht auf gibt es genau einen Zykel durch und , der in berührt. (Um diese Eigenschaft nachzuweisen, muss man die verschiedenen Möglichkeiten für und durchspielen, was allerdings ohne Mühe möglich ist (s. Bild).)
Es ist aber nicht zu erwarten, dass die hier beschriebene Geometrie der erweiterten Geraden und Kreise die einzige Inzidenzstruktur ist, die die Eigenschaften (A1), (A2) besitzt. Ersetzt man die reellen Zahlen durch die rationalen Zahlen , so bleiben (A1), (A2) gültig. Allerdings geht die Gültigkeit von (A1), (A2) bei Verwendung der komplexen Zahlen (statt der reellen) verloren. Das heißt, nur die Verwendung gewisser Zahlkörper (s. u.) erhält die Eigenschaften (A1), (A2).
Neben dem formal inhomogenen Modell (es gibt Geraden und Kreise) erhält man mit Hilfe der Umkehrung einer geeigneten stereografischen Projektion ein homogenes räumliches Modell: Die Punkte der neuen Inzidenzstruktur sind die Punkte auf der Kugeloberfläche und die Zykel sind die Kreise auf der Kugel. Die klassische reelle Möbius-Ebene kann also auch als die Geometrie der ebenen Schnitte (Kreise) auf einer Kugel aufgefasst werden. Der Nachweis von (A1) und (A2) verlangt im räumlichen Modell keine lästigen Fallunterscheidungen.
Eine Möbius-Ebene ist eine der drei Benz-Ebenen: Möbius-Ebene, Laguerre-Ebene und Minkowski-Ebene. Die klassische Laguerre-Ebene ist die Geometrie der Parabeln und die klassische Minkowski-Ebene die Geometrie der Hyperbeln.
Die Axiome einer Möbius-Ebene Bearbeiten
Aufgrund der Inzidenzeigenschaften (A1), (A2) der klassischen reellen Möbius-Ebene definiert man:
Eine Inzidenzstruktur mit der Menge der Punkte und der Menge der Zykeln heißt Möbius-Ebene, wenn die folgenden Axiome erfüllt sind:
Vier Punkte heißen konzyklisch, wenn es einen Zykel gibt, der enthält.
Wie oben schon erwähnt, erfüllt nicht nur die klassische reelle Möbius-Ebene die Axiome (A1), (A2), (A3). Es gibt sehr viele Beispiele von Möbius-Ebenen, die vom klassischen Modell verschieden sind (s. u.). Ähnlich zum Minimalmodell einer affinen oder projektiven Ebene gibt es auch ein Minimalmodell einer Möbius-Ebene. Es besteht aus 5 Punkten:
Also ist .
Die enge Beziehung der klassischen Möbius-Ebene zur reellen affinen Ebene ist auch zwischen dem Minimalmodell einer Möbius-Ebene und dem Minimalmodell einer affinen Ebene zu erkennen. Diese enge Beziehung ist sogar typisch für Möbius-Ebenen:
Für eine Möbius-Ebene und definieren wir die Inzidenzstruktur und nennen sie Ableitung im Punkt P.
Beim klassischen Modell ist die Ableitung am Punkt die zugrunde liegende reelle affine Ebene (s. u.). Die große Bedeutung einer Ableitung in einem Punkt besteht in der leicht zu beweisenden Aussage:
- Jede Ableitung einer Möbius-Ebene ist eine affine Ebene.
Diese Eigenschaft erlaubt die Verwendung vieler Resultate über affine Ebenen und ist auch der Grund für eine alternative Definition einer Möbius-Ebene:
Satz: Eine Inzidenzstruktur ist genau dann eine Möbius-Ebene, wenn gilt:
Für endliche Möbius-Ebenen, d. h. , gilt (ähnlich wie bei affinen Ebenen):
- Je zwei Zykel enthalten dieselbe Anzahl von Punkten.
Diese Eigenschaft gibt Anlass zur folgenden Definition:
- Für eine endliche Möbius-Ebene und einen Zykel heißt die natürliche Zahl die Ordnung von .
Aus kombinatorischen Überlegungen ergibt sich:
- Für eine endliche Möbius-Ebene der Ordnung gilt:
Die klassische reelle Möbius-Ebene Bearbeiten
Wir gehen von der reellen affine Ebene aus und erhalten mit der quadratischen Form die reelle Euklidische Ebene: ist die Menge der Punkte, Geraden werden durch Gleichungen oder beschrieben und ein Kreis ist eine Punktmenge, die eine Gleichung
erfüllt.
Die Geometrie der Geraden und Kreise kann homogenisiert werden (ähnlich der Erweiterung einer affinen Ebene zu einer projektiven Ebene), indem man sie einbettet in die Inzidenzstruktur mit
Innerhalb der neuen Inzidenzstruktur spielen die erweiterten Geraden geometrisch keine Sonderrolle mehr und erfüllt die Axiome (A1) und (A2).
Die übliche Beschreibung der reellen Ebene durch komplexe Zahlen (z bezeichnet jetzt keine Zykel!)
liefert die folgende Beschreibung von ( ist die zu konjugiert komplexe Zahl):
Der große Vorteil dieser Beschreibung ist die einfache Möglichkeit, Automorphismen (Permutationen von , die Zykel auf Zykel abbilden) anzugeben. Die folgenden Abbildungen sind Automorphismen von
Betrachtet man als die projektive Gerade über den komplexen Zahlen , so erkennt man, dass die Abbildungen (1)–(3) die Gruppe der Möbiustransformationen erzeugen. Die Geometrie ist also eine sehr homogene Struktur. Z. B. kann man die reelle Achse mit einem Automorphismus auf jeden anderen Zykel abbilden. Zusammen mit der Abbildung (4) ergibt sich:
An jedem Zykel gibt es eine Spiegelung, auch Inversion genannt. Zum Beispiel: ist die Inversion am Einheitskreis . Diese Eigenschaft begründet den in der englischen Literatur gebräuchlichen Namen inversive plane.
Ähnlich dem räumlichen Modell einer projektiven Ebene gibt es auch ein räumliches Modell der klassischen Möbius-Ebene , das den formalen Unterschied zwischen Kreisen und erweiterten Geraden aufhebt: Die Geometrie ist isomorph zur Geometrie der Kreise auf einer Kugel. Den zugehörigen Isomorphismus vermittelt eine geeignete stereografische Projektion. Zum Beispiel:
projiziert vom Punkt aus
- die x-y-Ebene auf die Kugel mit der Gleichung . Diese Kugel hat den Mittelpunkt und den Radius .
- den Kreis mit der Gleichung in die Ebene . D. h., das Bild des Kreises ist ein ebener Schnitt mit der Kugel und damit wieder ein Kreis (auf der Kugel). Die Abbildung ist also kreistreu. Die Kreisebenen gehen alle nicht durch das Projektionszentrum .
- die Gerade in die Ebene . D. h., eine Gerade wird auf einen um den Punkt verminderten Kugelkreis in einer Ebene durch das Projektionszentrum abgebildet.
Für die Umkehrabbildung (von der in N punktierten Kugel auf die x-y-Ebene) gilt:
Miquelsche Möbius-Ebenen Bearbeiten
Bei der Suche nach weiteren Beispielen einer Möbius-Ebene lohnt es sich, das klassische Modell zu verallgemeinern: Wir gehen von einer affinen Ebene über einem Körper und einer geeigneten quadratischen Form auf aus, um Kreise zu definieren. Aber einfach die reellen Zahlen durch einen beliebigen Körper zu ersetzen und die klassische quadratische Form zur Beschreibung der Kreise beizuhalten, funktioniert nicht immer. Nur für geeignete Paare von Körpern und quadratischen Formen erhält man Möbius-Ebenen . Diese sind (wie das klassische Modell) durch eine große Homogenität (viele Automorphismen) und den folgenden Satz von Miquel ausgezeichnet.
Satz (MIQUEL):
Die Stärke dieser Schließungsfigur zeigt sich in der Gültigkeit der Umkehrung des Satzes von Miquel:
Satz (CHEN):
Aufgrund des letzten Satzes nennt man eine Möbius-Ebene miquelsch.
Bemerkung: Das Minimalmodell einer Möbius-Ebene ist miquelsch. Es ist isomorph zur Möbius-Ebene
Bemerkung:
Bemerkung:
- Eine stereografische Projektion zeigt: ist isomorph zur Geometrie der ebenen Schnitte einer Kugel (projektive Quadrik vom Index 1) im 3-dimensionalen projektiven Raum über dem Körper
- Eine miquelsche Möbius-Ebene lässt sich, analog zum klassischen reellen Fall, immer als projektive Gerade über einem Erweiterungskörper von beschreiben.
Bemerkung: Im klassischen Fall lässt sich der Satz von Miquel mit elementaren Mitteln (Kreisviereck) beweisen, s. Satz von Miquel.
Ovoidale Möbius-Ebenen Bearbeiten
Es gibt viele Möbius-Ebenen, die nicht miquelsch sind (s. Weblink). Eine große Klasse von Möbius-Ebenen, die die miquelschen enthält, bilden die ovoidalen Möbius-Ebenen. Eine ovoidale Möbius-Ebene ist die Geometrie der ebenen Schnitte auf einem Ovoid. Ein Ovoid ist eine quadratische Menge und besitzt dieselben geometrischen Eigenschaften wie eine Kugel im reellen 3-dimensionalen Raum: 1) Eine Gerade trifft ein Ovoid in 0, 1 oder 2 Punkten. 2) Die Menge der Tangenten in einem Punkt überdeckt eine Ebene (die Tangentialebene in diesem Punkt). Im reellen 3-dimensionalen Raum kann man z. B. eine Halbkugel in geeigneter Weise glatt mit einer Hälfte eines Ellipsoids verkleben, um ein Ovoid zu erhalten, das keine Quadrik ist. Selbst im endlichen Fall gibt es Ovoide, die keine Quadriken sind (s. quadratische Menge). Für die Klasse der ovoidalen Möbius-Ebenen gibt es einen dem Satz von Miquel ähnlichen Schließungssatz, den Büschelsatz (engl.: Bundle Theorem). Er charakterisiert die ovoidalen Möbius-Ebenen. Der Satz von Miquel und der Büschelsatz haben für Möbius-Ebenen eine ähnliche Bedeutung wie die Sätze von Pappos und Desargues für projektive Ebenen.
Klassifikation der Möbiusebenen Bearbeiten
1965 publizierte Christoph Hering eine zur Klassifikation der projektiven Ebenen (Lenz-Barlotti-Klassifikation) analoge Klassifikation der Möbiusebenen, die auf der Reichhaltigkeit der jeweiligen Automorphismengruppe beruht.
Einzelnachweise Bearbeiten
- P. Dembowski: Finite Geometries. Springer-Verlag, 1968, ISBN 3-540-61786-8, S. 252.
- Erich Hartmann: Planar Circle Geometries, an Introduction to Moebius-, Laguerre- and Minkowski Planes. Skript, TH Darmstadt (PDF; 891 kB), S. 60.
- Erich Hartmann: Planar Circle Geometries, an Introduction to Moebius-, Laguerre- and Minkowski Planes. Skript, TH Darmstadt (PDF; 891 kB), S. 50.
- Yi Chen: Der Satz von Miquel in der Möbius-Ebene. Mathemat. Annalen 186, (1970), S. 81–100.
- Erich Hartmann: Planar Circle Geometries, an Introduction to Moebius-, Laguerre- and Minkowski Planes. Skript, TH Darmstadt (PDF; 891 kB), S. 59.
- Erich Hartmann: Planar Circle Geometries, an Introduction to Moebius-, Laguerre- and Minkowski Planes. Skript, TH Darmstadt (PDF; 891 kB), S. 51.
- ↑ Erich Hartmann: Planar Circle Geometries, an Introduction to Moebius-, Laguerre- and Minkowski Planes. Skript, TH Darmstadt (PDF; 891 kB), S. 61.
- C. H. Hering: Eine Klassifikation der Möbius-Ebenen. Math. Z., 87 (1965), S. 252–262.
- P. Dembowski: Finite Geometries. Springer-Verlag, 1968, ISBN 3-540-61786-8, S. 261.
Literatur Bearbeiten
- W. Benz: Vorlesungen über Geometrie der Algebren. Springer, 1973, S. 1.
- Albrecht Beutelspacher: Einführung in die endliche Geometrie. Bd. 2: Projektive Räume. Bibliographisches Institut, Mannheim u. a. 1983, ISBN 3-411-01648-5, S. 116.
- F. Buekenhout (Hrsg.): Handbook of Incidence Geometry. Elsevier, 1995, ISBN 0-444-88355-X, S. 1336.
- P. Dembowski: Finite Geometries. Springer-Verlag, 1968, ISBN 3-540-61786-8, S. 252, 261.