How Large Is Infinity?: General Questions
How Large Is Infinity?: General Questions
last expression, you need to divide a by a sequence bn with limit 0. But when
bn goes to zero,
a
bn
a
0
25
26
all the remaining an are bigger than M. It is important to notice that this
definition only mentions finite numbers M and n0 and refers to a procedure
that can be repeated in the same way when M is made larger and larger. This
is characteristic of potential infinityit always refers to finite quantities,
which, however, may be arbitrarily large.
In contrast, actual infinity (or completed infinity) refers to mathematical
situations where infinity is actually achieved. This notion has been rejected
by Aristotle and other mathematicians until modern times, where, for example, Carl Friedrich Gauss (17771855) vehemently protested against the
usage of infinity in the sense of a completed quantity. But when Georg
Cantor (18451918) invented set theory, he also felt the need to deal with
actual infinities. In set theory, actual infinity is just the number of elements
(the cardinality) of infinite sets, and an infinite set can simply be defined as
one that is not finite. For example, the set of all natural numbers is considered as a single, well-defined mathematical object that is given once and for
all and does not change any more. It is an infinite set as has been shown
before. Here infinity has been reached, as it refers to a property of a completely well-defined set. Cantor introduced the symbol 0 (aleph-null) to
describe the (infinite) cardinality of the set of all natural numbers, and he
was even able to distinguish among different types of infinity. In this context,
the cardinality 0 of the integers is also called countable infinity.
Actual infinity may lead to statements that appear paradoxical at first
sight. Two sets are said to have the same cardinality when there exists a oneto-one mapping (a bijection) between them. For infinite sets, this notion
leads to some quite amazing and unexpected results: An infinite set A will
have a proper subset B that has the same cardinality as the set A. For example, the set of square integers {0, 1, 4, 9, 16, 25,...} has the same cardinality as the set = {0, 1, 2, 3, 4, 5,...} of all nonnegative integers (because
there is a one-to-one correspondence between nonnegative integers and their
squares, n n 2 ). Indeed, Cantor (and before him Dedekind) used this property to give an alternative definition of infinite sets: An infinite set is one that
has the same cardinality as one of its proper subsets.
Another strange result is that an infinite set A has the same cardinality as
the Cartesian product A A = {(x, y ) | x, y A} . An example of a one-to-one
mapping between and is (n, m) 2n (2m + 1) , because every
natural number can be written in a unique way as a product of a power of
two and an odd number. Similarly, the one-dimensional line contains the
same number of elements as the two-dimensional plane 2 = . Of
course, this could not happen with a finite set.
The counterintuitive aspects of (countable) infinite sets are paraphrased
in the story of Hilberts hotel: In a world inhabited by infinitely many people,
in one of its infinitely many cities there is a hotel called Hilberts Grand
General Questions
27