Corollary
Tag 0BWT, permanent. Cite it as [Bourbaki, Tag 0BWT].
General Topology, chapter VI, § 2. Euclidean distance, balls and spheres
Every Euclidean sphere is a compact set and is the frontier of the open and closed balls with the same centre and the same radius.
The mapping transforms the sphere (resp. open ball, closed ball) with centre and radius into the sphere (resp. open ball, closed ball) with centre and radius ; this sphere is denoted by and is called the unit sphere in . Likewise, the closed ball with centre and radius is denoted by and is called the unit ball in . The topological study of a sphere of dimensions (resp. a closed ball of dimensions) is thus reduced to that of (resp. ). For the open balls, we have the following proposition:
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.