Bourbaki

Proposition 11

Tag 03KW, permanent. Cite it as [Bourbaki, Tag 03KW].

Theory of Sets, chapter III, § 3. Equipotent sets. Cardinals

Let a\mathfrak{a} be a cardinal. Then a0=1\mathfrak{a}^0 = 1, a1=a\mathfrak{a}^1 = \mathfrak{a}, 1a=11^{\mathfrak{a}} = 1; and 0a=00^{\mathfrak{a}} = 0 if a≠0\mathfrak{a} \neq 0.

For there exists a unique mapping of ∅\varnothing into any given set (namely, the mapping whose graph is the empty set); the set of mappings of a set consisting of a single element into an arbitrary set X is equipotent to X (Chapter II, § 5, no. 3); there exists a unique mapping of an arbitrary set into a set consisting of a single element; and, finally, there is no mapping of a non-empty set into ∅\varnothing.

¶ Note in particular that 00=10^0 = 1.

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

Transcribed from the printed edition, 2004, Springer. Not translated.