Proposition 2
Tag 0BXK, permanent. Cite it as [Bourbaki, Tag 0BXK].
General Topology, chapter VI, § 3. Real projective spaces
The projective space is compact and connected, and is homeomorphic to the quotient of the sphere by the equivalence relation induced on the sphere by .
Let be the equivalence relation induced on by (the equivalence classes of are pairs of diametrically opposite points of ). The mapping of onto is continuous, hence (Lemma 2) is homeomorphic to . Since is compact and connected, every Hausdorff quotient space of is also compact and connected (Chapter I, § 9, no. 4, Theorem 2, Corollary 1; § 11, no. 3, Proposition 7).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.