Corollary 1
Tag 0BX0, permanent. Cite it as [Bourbaki, Tag 0BX0].
General Topology, chapter VI, § 2. Euclidean distance, balls and spheres
The sphere is homeomorphic to the quotient space of the ball obtained by identifying all the points of the sphere .
The ball is a regular space (Chapter I, § 8, no. 4); hence the quotient space of obtained by identifying all the points of is Hausdorff (Chapter I, § 8, no. 6, Proposition 15). Since is compact, so is , and is therefore homeomorphic to an open ball of dimensions made compact by adjoining a point at infinity, by Alexandroff's theorem (Chapter I, § 9, no. 8, Theorem 4). The result therefore follows from Propositions 2 and 4.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.