Bourbaki

Example

Tag 01RX, permanent. Cite it as [Bourbaki, Tag 01RX].

Topologie algébrique, chapter I, § 6. Espaces simplement connexes

The set [0,1]n[0,1]^n is a convex, compact subset with nonempty interior of Rn\mathbf{R}^n. It follows from proposition 2 of I, p. 123 that it is homeomorphic to the closed euclidean ball. More precisely, for every point xx of the interior ]0,1[n]0,1[^n and every point bb of the open euclidean ball, there exists a homeomorphism of [0,1]n[0,1]^n onto Bn\mathbf{B}_n which maps xx to bb and induces, by passing to subspaces, a homeomorphism of ]0,1[n]0,1[^n onto the open euclidean ball, and also a homeomorphism of the boundary of [0,1]n[0,1]^n onto the sphere Sn−1\mathbf{S}_{n-1}.

It follows that every convex, compact subset with nonempty interior of Rn\mathbf{R}^n is homeomorphic to a cube (loc. cit.).

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5.4, against glossary version 34. Not checked by a person.