Zusammenhänge
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 gegebra-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.
Stereographische Projektion: komplex. Reell dargestellt!
Was soll das nützen?
Der Geradenraum steckt voller Beziehungen zwischen den Objekten der Möbiusebene:
die isotropen Vektoren können als Möbiuspunkte gedeutet werden, oder als parabolische Kreisbüschel, oder als Tangentialvektoren an die Kugel oder als Infinitesimale Erzeugende von parabolischen Bewegungen. Die Vektoren können als Kreisbüschel gedeutet werden, wenn das Quadrat reell ist oder als Infinitesimale Möbiusbewegung: die Bahnkurven der Bewegung sind die Kreise eines Kreisbüschels oder die dazu isogonalen Kurven - das sind die Loxodromen. Durch werden zu für die isotropen Vektoren lineare Vektorfelder auf der Kugel definiert, deren Bahnkurven die Kreise von Kreisbüscheln oder ihre Isogonaltrajektorien sind.
Zurück zur Ausgangsfrage dieses Buches:
Schnitte der Kugel mit einer 2. Quadrik werden im Geradenraum beschieben als Nullstellen HERMITEscher Formen auf der Möbiusquadrik. In Gleichungen ergibt dies bizirkulare Quartiken. Das Quadrat einer HERMITEschen Abbildung ist eine komplexe symmetrische quadratische Form. Die Lösungskurven des hierdurch erklärten quadratischen Vektorfeldes sind konfokale bizirkulare Quartiken, die auch die Lösungskurven elliptischer Differentialgleichungen sind (man vergleiche auch die Aktivität zu bizirkularen Quartiken).
Elliptische Differentialgleichungen der Art erzeugen quadratische Vektorfelder.
Quadratische Vektorfelder besitzen 4, möglicherweise zusammenfallende, Nullstellen. Lösungskurven dieser Vektorfelder können nur dann konfokale bizirkulare Quartiken sein, wenn die absolute Invariante
- mit
- die Nullstellen auf einem Kreis liegen:
- oder paarweise symmetrisch auf zwei orthogonalen Kreisen liegen:
- oder Nullstellen zusammenfallen
Diese Seite ist Teil des geogebra-books Kugel-Kegel-Schnitte (August 2018)
Wir erlauben uns, auf die gegebra-books Kegelschnitt-Werkzeuge, Sechseck-Netze und 2 Kreise hinzuweisen, die um dieselben Themen kreisen.