Ovoid (Projektive Geometrie)

Zur Definition eines Ovoids:
t Tangente, s Sekante

Ein Ovoid ist in der projektiven Geometrie eine kugelähnliche Punktmenge (Fläche) in einem projektiven Raum der Dimension $n\geq 3$. Ein Ovoid ist das räumliche Analogon zu einem Oval in einer projektiven Ebene. Die einfachsten Beispiele in reellen projektiven Räumen sind Hyperkugeln (Quadriken).

Die wesentlichen geometrischen Eigenschaften eines Ovoids ${\mathcal {O}}$ sind:

1) Eine Gerade trifft ${\mathcal {O}}$ in höchstens 2 Punkten,

2) die Tangenten in einem Punkt überdecken eine Hyperebene (und nicht mehr),

3) ${\mathcal {O}}$ enthält keine Geraden.

Eigenschaft 2) schließt ausgeartete Fälle (Kegel, …) aus. Eigenschaft 3) schließt Regelflächen (z. B. einschalige Hyperboloide) aus.

Auf der einen Seite macht die Tatsache, dass es keine nicht-desarguesschen projektiven Räume gibt, die Diskussion gegenüber dem ebenen Fall (es gibt nicht-desarguessche Ebenen) einfacher, andererseits gibt es nicht in jedem pappusschen Raum (projektiver Raum über einem Körper) eine Quadrik, die ein Ovoid ist. (In jeder pappusschen Ebene aber gibt es ovale Kegelschnitte!)

Ein Ovoid ist aufgrund der Definition eine spezielle quadratische Menge.

Ovoide spielen bei der Konstruktion von Möbius-Ebenen bzw. Möbius-Räumen eine wesentliche Rolle.

Definition eines Ovoids

• Eine Menge ${\mathcal {O}}$ von Punkten in einem projektiven Raum der Dimension $\geq 3$ heißt Ovoid, wenn gilt:

(1) Eine beliebige Gerade $g$ trifft ${\mathcal {O}}$ in höchstens 2 Punkten.
Falls $|g\cap {\mathcal {O}}|=0$ ist, heißt $g$ Passante, falls $|g\cap {\mathcal {O}}|=1$ ist, heißt $g$ Tangente und falls $|g\cap {\mathcal {O}}|=2$ ist, heißt $g$ Sekante.

(2) Für jeden Punkt $P\in {\mathcal {O}}$ gilt: Die Tangenten in $P$ überdecken genau eine Hyperebene, die Tangential-Hyperebene, (projektiver Unterraum der Dimension $n-1$).

(3) ${\mathcal {O}}$ enthält keine Geraden.

Ein Ovoid ist bezüglich der Hyperebenenschnitte eine homogene Struktur, denn es gilt

• Ist ${\mathcal {O}}$ ein Ovoid und $\varepsilon$ eine Hyperebene, die wenigstens 2 Punkte von ${\mathcal {O}}$ enthält, so ist $\varepsilon \cap {\mathcal {O}}$ ein Ovoid (Oval, falls d=3) in der Hyperebene $\varepsilon$.

Für endliche projektive Räume der Dimension $d\geq 3$ (d. h., Punktmenge und Geradenmenge sind endlich, der Raum ist über einem Körper koordinatisierbar) gilt:

• Ist ${\mathcal {O}}$ ein Ovoid in einem endlichen projektiven Raum der Dimension $d\geq 3$, so ist ${\color {red}d=3}$.

(Es gibt also im endlichen Fall nur im 3-dimensionalen Raum Ovoide !)

• In einem projektiven Raum der Ordnung $n>2$ (d. h., jede Gerade enthält $n+1$ Punkte) und Dimension Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d={\color{red}3}} ist eine Menge von Punkten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O} genau dann ein Ovoid, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle |\mathcal O|=n^2+1} ist und keine drei Punkte von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O} kollinear (auf einer Gerade) liegen.

Ersetzt man in der Definition das Wort projektiv durch affin, so erhält man die Definition eines affinen Ovoids.

Gibt es zu einem (projektiven) Ovoid eine passante Hyperebene, so kann man diese als Fernhyperebene erklären und das Ovoid ist in dem zugehörigen affinen Raum ein affines Ovoid. Umgekehrt ist jedes affine Ovoid in dem projektiven Abschluss (Zufügen einer Fernhyperebene) ein (projektives) Ovoid.

Beispiele

Im reellen projektiven Raum (inhomogene Darstellung)

1. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O=\{(x_1,...,x_d)\in \R^d \; |\; x_1^2+\cdots +x_d^2=1\}\ ,} (Hyperkugel)
2. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O=\{(x_1,...,x_d)\in \R^d \; | x_d=x_1^2+\cdots +x_{d-1}^2\; \} \; \cup \; \{\text{Fernpunkt der } x_d\text{-Achse}\}}

Die beiden Beispiele sind Quadriken und projektiv äquivalent. (Siehe hierzu auch die Beispiele in Oval.)

Wie bei Ovalen erhält man hier einfache Beispiele, die keine Quadriken sind:

(a) Man füge eine halbe Hyperkugel und ein halbes Hyperellipsoid glatt zusammen.

(b) Man ersetze in den ersten beiden Beispielen den Term Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x_1^2} durch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x_1^4} .

Bemerkung: Die reellen Beispiele lassen sich nicht auf den komplexen Fall (Räume über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Complex} ) übertragen. In komplexen projektiven Räumen der Dimension Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d\ge 3} gibt es keine ovoidalen Quadriken. Im komplexen Fall liegen auf einer nichtausgearteten Quadrik immer Geraden.

Aber es gilt:

• In jedem nicht-endlichen projektiven Raum lassen sich mit Hilfe transfiniter Induktion Ovoide nachweisen.

Endliche Beispiele

• Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O} ein Ovoid in einem endlichen projektiven Raum der Dimension Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d=3} über einem Körper Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} der Charakteristik Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {\color{red}\ne} 2} , so ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O} eine Quadrik.

Dass das letzte Resultat im geraden Fall falsch ist, zeigen die folgenden Beispiele:

• Es sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K=GF(2^m),\; m } ungerade und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sigma} der Automorphismus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x \mapsto x^{(2^{\frac{m+1}{2}})}\; .}

Dann ist

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O=\{(x,y,z)\in K^3 \; |\; z=xy+x^2x^\sigma+y^\sigma \} \; \cup \; \{\text{Fernpunkt der } z\text{-Achse}\}} ein Ovoid im 3-dimensionalen projektiven Raum über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} (in inhomogenen Koordinaten).

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O} ist nur im Fall Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m=1} eine Quadrik.

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O} heißt Tits-Suzuki-Ovoid.

Wann ist ein Ovoid eine Quadrik?

Eine ovoidale Quadrik zeichnet sich durch besonders viele Symmetrien aus. Es gilt:

• Es sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O} ein Ovoid in einem projektiven Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathfrak P} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varepsilon} eine Hyperebene eines mindestens 2-dimensionalen desargueschen projektiven Raums (im 2-dim. Fall ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O} ein Oval) der Charakteristik Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ne 2} . Liegt das Ovoid symmetrisch zu jedem Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P \in \varepsilon \setminus \mathcal O} (d. h., es gibt eine involutorische Perspektivität mit Zentrum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} , die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O} invariant lässt), so ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathfrak P} pappussch und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O} eine Quadrik.

• Ein Ovoid Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O} in einem pappusschen projektiven Raum ist eine Quadrik, wenn die Gruppe der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O} invariant lassenden Projektivitäten auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O} 3-fach transitiv operiert, d. h., zu 2 Tripeln von Punkten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A_1,A_2,A_3,\; B_1,B_2,B_3} gibt es eine Projektivität Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi(A_i)=B_i,\; i=1,2,3} .

Im endlichen Fall folgt aus dem Satz von Segre:

• Es sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O} ein Ovoid in einem endlichen desargueschen projektiven 3-dimensionalen Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathfrak P} ungerader Ordnung. Dann ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathfrak P} pappussch und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O} eine Quadrik.

Verallgemeinerung: Halbovoid

Lässt man bei der Definition eines Ovoids die Bedingung (1) weg, so erhält man die Definition eines Halbovoids:

Eine Punktmenge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O} eines projektiven Raums heißt Halbovoid (engl.: semi ovoid), wenn gilt:

(HO1) Für jeden Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P \in \mathcal O} gilt: Die Tangenten (Geraden, die mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O} nur einen Punkt gemeinsam haben) in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} überdecken genau eine Hyperebene.

(HO2) Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O} enthält keine Geraden.

Halb hat also hier keine mengenmäßige Bedeutung, sondern bedeutet schwächere Voraussetzungen.

Ein Halbovoid ist eine spezielle hermitesche Menge (engl.: semi quadratic set), die eine Verallgemeinerung der quadratischen Menge ist. Die Eigenschaft, die eine hermitesche von einer quadratischen Menge unterscheidet, ist, dass eine Gerade mit einer hermiteschen Menge mehr als 2 Punkte gemeinsam haben kann ohne, dass sie ganz enthalten ist.

Beispiele von Halbovoiden sind isotrope Punktmengen von hermiteschen Formen, sog. hermitesche Quadriken.

Auch für Halbovoide findet man in der Literatur Kriterien, wann ein Halbovoid eine hermitesche Quadrik ist. (z. B.)

Halbovoide werden analog den ovoidalen Möbiusebenen, zur Konstruktion von Möbius-Geometrien verwendet.

Weblinks

• E. Hartmann: Planar Circle Geometries, an Introduction to Moebius-, Laguerre- and Minkowski Planes. Skript, TH Darmstadt (PDF; 891 kB), S. 121–123.

Siehe auch

• Oval (Projektive Geometrie)
• Möbius-Ebene