Proposition 3
Tag 0BWV, permanent. Cite it as [Bourbaki, Tag 0BWV].
General Topology, chapter VI, § 2. Euclidean distance, balls and spheres
The space is homeomorphic to the product of and the space of real numbers .
For every point can be written uniquely in the form , where and , since implies and . Since is continuous on the product and hence a fortiori on , and since and are continuous on , the proposition is proved.
The mapping is called the central projection of onto . One defines in the same way the central projection of the complement of a point onto a sphere with centre .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.