t Tangente, s Sekante
Ein Ovoid ist in der projektiven Geometrie eine kugelähnliche Punktmenge (Fläche) in einem projektiven Raum der Dimension . 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 sind:
1) Eine Gerade trifft in höchstens 2 Punkten,
2) die Tangenten in einem Punkt überdecken eine Hyperebene (und nicht mehr),
3) 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.