Professional Documents
Culture Documents
1
1.1
Properties
Uncountability
c = |P (N)| = 20 .
2 Beth numbers
Main article: Beth number
c2 = (20 )2 = 220 = 20 = c.
c = 1 .
The third beth number, beth-two, is the cardinality of the
power set of R (i.e. the set of all subsets of the real line):
cc = (20 )c = 2c0 = 2c ,
where 2c is the cardinality of the power set of R, and 2c = .
2
2c > c .
1.3
Every real number has at least one innite decimal ex- Main article: Continuum hypothesis
pansion. For example,
1/2 = 0.50000...
1/3 = 0.33333...
= 3.14159....
(This is true even when the expansion repeats as in the
rst two examples.) In any given case, the number of
digits is countable since they can be put into a one-to-one
correspondence with the set of natural numbers N . This
fact makes it sensible to talk about (for example) the rst,
the one-hundredth, or the millionth digit of . Since the
natural numbers have cardinality 0 , each real number
has 0 digits in its expansion.
This statement is now known to be independent of the axioms of ZermeloFraenkel set theory with the axiom of
choice (ZFC). That is, both the hypothesis and its negation are consistent with these axioms. In fact, for every
nonzero natural number n, the equality c = n is indepenSince each real number can be broken into an integer part dent of ZFC (the case n = 1 is the continuum hypothesis). The same is true for most other alephs, although in
and a decimal fraction, we get
some cases equality can be ruled out by Knigs theorem
on the grounds of conality, e.g., c = . In particular, c
0
0
4 0
0 +40
0
could
be either 1 or 1 , where 1 is the rst uncountc 0 10 2 (2 ) = 2
=2
able ordinal, so it could be either a successor cardinal or
since
a limit cardinal, and either a regular cardinal or a singular
cardinal.
0 + 4 0 = 0 .
c.
and thus
c = 20 .
3
For instance, for all a, b R such that a < b
we can dene the bijection
f : R (a, b)
arctan x + 2
(b a) + a
x 7
Now we show the cardinality of an innite interval. For all a R we can dene the bijection
f : R (a, )
{
arctan x + 2 + a if x < 0
x 7
if x 0
x + 2 + a
if x < 0
+ b if x 0
6 References
[1] Was Cantor Surprised?, Fernando Q. Gouva
7.1
Text
7.2
Images
7.3
Content license