Corollary
Tag 0BXO, permanent. Cite it as [Bourbaki, Tag 0BXO].
General Topology, chapter VI, § 3. Real projective spaces
Every point of has an open neighbourhood homeomorphic to .
It follows in particular that the real projective spaces are locally connected (this follows also from Chapter I, § II, no. 6, Proposition 12).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.