Diese Seite ist Teil des geogebra-books Kugel-Kegel-Schnitte (August 2018)
Die einfachsten Schnitte der Kugel mit einer anderen Fläche sind die
Ebenen-Schnitte, die Schnittkurven sind
Kreise. Dies ist uns ein Indiz, dass es sich lohnt, Schnittkurven mit der Kugel unter
möbiusgeometrischen Gesichtspunkten zu untersuchen.
Der einfachste Fall eines Schnitts der Kugel mit einer anderen Quadrik ist der Schnitt mit zwei Ebenen, das ist eine zerfallende Quadrik. Die Schnittkurve besteht aus
zwei Kreisen.
Im Folgenden wollen wir
möbiusgeometrische Grundlagen skizzieren, wohl eher für Experten.
Zu Details und zu Begründungen verweisen wir auf das demnächst öffentliche
ge
gebra-book über
Ebene Möbiusgeometrie.
Man kann Möbiusgeometrie auch in der
Euklidischen Ebene betreiben, störend sind hier die Unterscheidungen von
Kreis und
Gerade, und vieles rechnet sich schneller komplex, in der
Gaussschen Zahlenebene
.
Vier Punkte liegen auf einem Kreis, wenn ihr Doppelverhältnis
reell ist. Kreisgleichungen sind vom Typ
mit
und
. Möbiustransformationen sind die gebrochen-linearen Abbildungen
mit komplexen Koeffizienten: sie sind
kreis- und
winkeltreu.
Auch hier fehlt ein Punkt:
.
Dieses Manko kann man beheben, indem man zur komplexen projektiven Geraden übergeht, die Gruppe der Möbiustransformationen ist dann im Wesentlichen die Gruppe
.
Oder man geht mit Hilfe der
stereographischen Projektion auf die
Kugel: projektiv befindet man sich damit in einem projektiven Raum über einem reellen Vektorraum
V4, in welchem eine
symmetrische quadratische Form vom Typ der Kugel (+,+,+,-) ausgezeichnet ist.
Kreise sind Ebenenschnitte mit der Kugel ... .
Die Möbiusgruppe ist damit isomorph zur Gruppe der gleichsinnigen
Lorentz-Transformationen
.
Kreisbüschel sind dann
Geraden in diesem projektiven Raum - genauer: betrachtet man die Ebenen durch eine Gerade und ihre Schnitte mit der Kugel, so erhält man
- hyperbolische Kreisbüschel durch die zwei Schnitt-Punkte, wenn die Gerade die Kugel in zwei Punkten schneidet
- elliptische Kreisbüschel um zwei Grundpunkte, wenn die Gerade außerhalb der Kugel liegt
- parabolische Kreisbüschel, wenn die Gerade eine Berührgerade ist.
Seltener begegnete uns eine weitere Darstellungsmöglichkeit der
Ebenen Möbiusgeometrie:
Im reell 6-dimensionalen
Geradenvektorraum , den man als äußeres Produkt (
Grassmann-Produkt)
erhält, gibt es 2 quadratische Formen: die
Plückerform und die
induzierte Möbiusform.
Diese verbinden sich zu einer komplexen symmetrischen Bililearform
, die zusammen mit der Polarität
I den Geradenraum zu einem komplexen 3-dimensionalen Vektorraum mit nicht-ausgearteter komplexer Bilinearform ergänzt. Zusätzlich gibt es in diesem Raum eine komplexe Version des
Kreuzprodukts, der Geradenraum wird zur komplexen
LIE-Algebra. Die Gruppe der gleichsinnigen Möbiustransformationen ist isomorph zur
LIE-Gruppe
; der Geradenraum ist die zugehörige komplexe
Lie-Algebra. Vektoren
sind Geraden, also Kreisbüschel, wenn
reell ist, die Art des Kreisbüschels ergibt sich aus dem Vorzeichen.
Man kann diese Darstellung der Möbiusebene auch auf anderem Wege erhalten: in einer Art komplexen stereographischen Projektion wird die komplexe projektive Gerade auf eine nicht-ausgeartete Quadrik der komplexen projektiven Ebene projiziert.
Wie man in dieser Darstellung der Möbiusebene rechnen kann, wird auf der nächsten Seite dieses Buches angedeutet.