Projektiver Raum/R oder C/Kompakt/Fakt/Beweis

Beweis

Es gibt eine surjektive stetige Abbildung von einer Sphäre auf einen jeden projektiven Raum. Die Sphäre ist eine abgeschlossene und beschränkte Teilmenge eines reellen endlichdimensionalen Vektorraumes und daher nach dem Satz von Heine-Borel kompakt. Da das Bild einer kompakten Menge unter einer stetigen Abbildung nach Fakt wieder kompakt ist, folgt, dass die projektiven Räume kompakt sind.

Für die Hausdorff-Eigenschaft seien ${}P,Q\in {\mathbb {P} }_{\mathbb {K} }^{n}$ zwei verschiedene Punkte. Man kann annehmen, dass sie beide auf einem der affinen überdeckenden Räume ${}D_{+}(X_{i})$ liegen. Damit gibt es nach Fakt trennende Umgebungen.

Zur bewiesenen Aussage