Projektiver Raum/R oder C/Kompakt/Fakt

Die reell-projektiven und die komplex-projektiven Räume sind kompakt und hausdorffsch in der natürlichen Topologie.