Proposition 5
Tag 0BXN, permanent. Cite it as [Bourbaki, Tag 0BXN].
General Topology, chapter VI, § 3. Real projective spaces
In a projective space (), the complement of a projective hyperplane is homeomorphic to .
By making a projective linear transformation we may assume that is the hyperplane whose equation is . The set of points of such that is open and saturated with respect to ; its canonical image in , which is the complement of in , is therefore homeomorphic to the quotient of by the equivalence relation induced on by (Lemma 1). Let be the hyperplane whose equation is in . To each point let correspond the point where the line through and cuts (Fig. 4); in this way we define a continuous mapping of onto such that is the only point of congruent to modulo . It follows that is homeomorphic to (Lemma 2), hence to ; since is homeomorphic to , the proof is complete.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.