Bourbaki

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 x→1r(x−x0)x \to \frac{1}{r}(x - x_0) transforms the sphere (resp. open ball, closed ball) with centre x0x_0 and radius rr into the sphere (resp. open ball, closed ball) with centre oo and radius 11; this sphere is denoted by Sn−1S_{n-1} and is called the unit sphere in Rn\mathbf{R}^n. Likewise, the closed ball with centre oo and radius 11 is denoted by BnB_n and is called the unit ball in Rn\mathbf{R}^n. The topological study of a sphere of (n−1)(n - 1) dimensions (resp. a closed ball of nn dimensions) is thus reduced to that of Sn−1S_{n-1} (resp. BnB_n). 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.

Transcribed from the printed volume. Not translated.