ein projektiver Raum ℙ(E), wobei E ein (n+1)-dimensionaler reeller Vektorraum ist.

Als algebraisches Schema ist dies die Menge der reellen Punkte von ℙ(E⊗ℂ) bzgl. der reellen Struktur auf ℙ(E⊗ℂ), die durch die komplexe Konjugation induziert wird.

Für gerade n ist ℙ(E) ⊂ ℙ(E⊗ℂ)^an eine reellanalytische zusammenhängende Untermannigfaltigkeit der Dimension n, die nicht orientierbar ist. Für ungerade n besitzt ℙ(E⊗ℂ) eine weitere reelle Struktur: Man wähle eine ℝ-lineare Abbildung J : E → E mit J² = −Id. Die durch E⊗ℂ → E⊗ℂ, \(z\mapsto J(\bar{z})\) induzierte Involution F auf ℙ(E⊗ℂ) definiert dann eine reelle Struktur, für die keine reellen Punkte (reelle algebraische Varietäten) existieren.

Bis auf Konjugation mit Automorphismen von ℙ(E⊗ℂ) sind dies die einzigen reellen Strukturen auf ℙ(E⊗ℂ).