Reeller projektiver Raum
aus Wikipedia, der freien encyclopedia
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. notiert dabei den projektiven Raum von
und wird
-ter reeller projektiver Raum genannt. Ein reeller projektiver Raum ist ein Spezialfall einer Graßmann-Mannigfaltigkeit durch
.