Reeller projektiver Raum

Ein reeller projektiver Raum ist in der Mathematik der projektive Raum eines reellen Vektorraumes, welcher als Punkte sämtliche reelle Ursprungsgeraden (eindimensionale Untervektorräume) von diesem enthält. ${\displaystyle \mathbb {R} P^{n}}$ notiert dabei den projektiven Raum von ${\displaystyle \mathbb {R} ^{n+1}}$ und wird ${\displaystyle n}$-ter reeller projektiver Raum genannt. Ein reeller projektiver Raum ist ein Spezialfall einer Graßmann-Mannigfaltigkeit durch ${\displaystyle \mathbb {R} P^{n}=\operatorname {Gr} _{1}(\mathbb {R} ^{n+1})}$.