Corollary 4.9:

The projective spaces $ \mathbb{R}P^n$ are Hausdorff.

nisha 2012-03-20