Bourbaki

Remark

Tag 0BW4, permanent. Cite it as [Bourbaki, Tag 0BW4].

General Topology, chapter VI, § 1. Real number space R^n

The space R0\mathbf{R}^0 consists of a single point.

From Set Theory, Chapter III, § 6, no. 3, Theorem 2, Corollary I, we know that, if E is an infinite set, EnE^n is equipotent with E for all integers n>0n > 0; hence, if n>0n > 0, Rn\mathbf{R}^n is equipotent with R\mathbf{R}, that is, Rn\mathbf{R}^n has the power of the continuum (cf. Exercises 1 and 2).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.