Topologie/Topologische Räume/Reell projektiver Raum/Beispiel

Aus Wikiversity

Es sei und . Der euklidische Raum ist ein reeller Vektorraum, wobei die Skalarmultiplikation von und mit bezeichnet wird. Es sei weiter

Dies ist eine Äquivalenzrelation, denn
  1. ,
  2. ,
  3. , und
  4. die Skalarmultiplikation ist assoziativ.

Die Quotientenmenge, versehen mit der Quotiententopologie, heißt reell-projektiver Raum (der reellen Dimension ) und wird mit bezeichnet. Einen Punkt im kann man sich als Gerade durch den Nullpunkt im vorstellen.