Oval (Projektive Geometrie)

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen
Zur Definition eines Ovals:
p: Passante,
t: Tangente,
s: Sekante

Ein Oval ist in der projektiven Geometrie eine kreisähnliche Kurve in einer projektiven Ebene. Die Standardbeispiele sind die nichtausgearteten Kegelschnitte. Während ein Kegelschnitt nur in einer pappusschen Ebene definiert ist, kann es Ovale in beliebigen projektiven Ebenen geben. In der Literatur findet man viele Kriterien dafür, wann ein Oval ein Kegelschnitt (in einer pappusschen Ebene) ist. Ein bemerkenswertes Resultat ist der Satz von Buekenhout: Falls ein Oval die Pascal-Eigenschaft (vergleichbar mit dem Satz von Pappus) besitzt, ist die projektive Ebene pappussch und das Oval ein Kegelschnitt.

Ein Oval wird in der projektiven Geometrie mit Hilfe von Inzidenzeigenschaften definiert (s. u.). Im Gegensatz zu einem Oval in der Differenzialgeometrie, wo man zur Definition Differenzierbarkeit verwendet.

Das höherdimensionale Analogon zum Oval ist das Ovoid in projektiven Räumen.

Definition eines Ovals

[Bearbeiten | Quelltext bearbeiten]
  • Eine Menge von Punkten in einer projektiven Ebene heißt Oval, wenn gilt:
(1) Eine beliebige Gerade trifft in höchstens 2 Punkten.
Falls ist, heißt Passante, falls ist, heißt Tangente und falls ist, heißt Sekante.
(2) Zu jedem Punkt gibt es genau eine Tangente , d. h. .

Für endliche projektive Ebenen (d. h. die Punktmenge und Geradenmenge sind endlich) gilt

  • In einer projektiven Ebene der Ordnung (d. h. jede Gerade enthält Punkte) ist eine Menge genau dann ein Oval, wenn ist und keine drei Punkte von kollinear (auf einer Gerade) liegen.

Der Beweis dieser Charakterisierung im endlichen Fall folgt aus der Eigenschaft einer projektiven Ebene der Ordnung , dass jede Gerade Punkte enthält und durch jeden Punkt Geraden gehen. Die Gesamtzahl der Punkte ist . Ist die Ebene eine pappussche Ebene über einem Körper , so gilt .

Ist eine Punktmenge einer affinen Ebene mit den definierenden Eigenschaften (1),(2) eines Ovals (jetzt mit affinen Geraden), so nennt man ein affines Oval.

Ein affines Oval ist im projektiven Abschluss (Zufügung einer Ferngerade) auch immer ein projektives Oval.

Ein Oval kann man auch als spezielle quadratische Menge definieren.

Projektiver Kegelschnitt in inhomogenen Koordinaten: Parabel und Fernpunkt der Achse
Projektiver Kegelschnitt in inhomogenen Koordinaten: Hyperbel und Fernpunkte der Asymptoten

In jeder pappusschen Ebene gibt es nicht ausgeartete Kegelschnitte und jeder nicht ausgearteter Kegelschnitt ist ein Oval. Am einfachsten rechnet man dies an einem der beiden inhomogenen Darstellungen eines projektiven Kegelschnitts (s. Bilder) nach.

Nichtausgartete Kegelschnitte sind Ovale mit besonderen Eigenschaften:

  • Es gilt der Satz von Pascal und seine Ausartungen.
  • Es gibt viele Symmetrien (Kollineationen, die den Kegelschnitt invariant lassen).

Ein nichtausgearteter Kegelschnitt lässt sich immer in inhomogenen Koordinaten als Parabel + Fernpunkt der Achse oder Hyperbel + Fernpunkte der Asymptoten darstellen. (Die Darstellung als Kreis (affines Oval) im affinen Teil ist nur möglich, falls der projektive Kegelschnitt Passanten besitzt, was z. B. in der komplexen Ebene nicht der Fall ist.)

Ovale, die keine Kegelschnitte sind

[Bearbeiten | Quelltext bearbeiten]
in der reellen projektiven Ebene
  1. Setzt man einen Halbkreis glatt (tangentenstetig) mit einer Halbellipse zusammen, so entsteht ein Oval, das kein Kegelschnitt ist.
  2. Ersetzt man in der inhomogenen Darstellung eines nichtausgearteten Kegelschnitts als Parabel + Fernpunkt den Term durch , so entsteht ein Oval.
  3. Ersetzt man in der inhomogenen Darstellung eines nichtausgearteten Kegelschnitts als Hyperbel + Fernpunkte den Term durch , so entsteht ein Oval, das kein Kegelschnitt ist.
  4. Die implizite Kurve ist ein Oval.
in einer endlichen Ebene gerader Ordnung
  1. In einer endlichen pappusschen Ebene gerader Ordnung hat ein Kegelschnitt einen Nukleus (s. Satz von Qvist), den man mit irgendeinem Punkt des Kegelschnitts vertauschen kann. Dadurch entsteht ein Oval, das kein Kegelschnitt ist.
  2. Ist der Körper mit Elementen, so ist
für und zu teilerfremd, ein Oval, das kein Kegelschnitt ist.[1][2]

Weitere endliche Beispiele: [3]

Wann ist ein Oval ein Kegelschnitt?

[Bearbeiten | Quelltext bearbeiten]

Damit ein Oval in einer projektiven Ebene ein nicht ausgearteter Kegelschnitt ist, muss das Oval und eventuell die projektive Ebene weitere Bedingungen erfüllen. Hier einige Resultate:

  1. Ein Oval in einer beliebigen projektiven Ebene, das die 6-Punkte oder 5-Punkte Pascal-Bedingung erfüllt, ist ein Kegelschnitt (in einer pappusschen Ebene) (s. Satz von Pascal).
  2. Ein Oval in einer pappusschen projektiven Ebene ist ein Kegelschnitt, wenn die Gruppe der invariant lassenden Projektivitäten auf 3-fach transitiv operiert, d. h. zu 2 Tripeln von Punkten gibt es eine Projektivität mit . Im endlichen Fall genügt 2-fach-transitiv.[4]
  3. Ein Oval in einer pappusschen projektiven Ebene der Charakteristik ist ein Kegelschnitt, wenn es zu jedem Punkt einer Tangente (oder Sekante) eine involutorische Perspektivität mit Zentrum gibt, die invariant lässt.[5]
  4. Ein Oval in einer endlichen pappusschen projektiven Ebene ungerader Ordnung ist ein Kegelschnitt (Satz von Segre).

Für topologische Ovale gilt:

5. Jedes abgeschlossene Oval der komplexen projektiven Ebene ist ein Kegelschnitt.[6]

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. B. Segre: Sui k-Archi nei Piani Finiti di Caracteristica Due, Re. Math. Pures Appl. 2 (1957)S. 289–300.
  2. P. Dembowski: Finite Geometries. Springer-Verlag, 1968, ISBN 3-540-61786-8, S. 51
  3. E. Hartmann: Planar Circle Geometries, an Introduction to Moebius-, Laguerre- and Minkowski Planes. Skript, TH Darmstadt (PDF; 891 kB), S. 45.
  4. J. Tits: Ovoides à Translations, Rend. Mat. 21 (1962), S. 37–59.
  5. H. Mäurer: Ovoide mit Symmetrien an den Punkten einer Hyperebene, Abh. Math. Sem. Hamburg 45 (1976), S. 237–244.
  6. Th. Buchanan: Ovale und Kegelschnitte in der komplexen projektiven Ebene, Math.-phys. Semesterberichte 26, 1979, S. 244–260.