An infinite quantity is boundlessly large. The mathematician Georg Cantor realized that all infinite sets don’t have the same size, or cardinality. Some infinite sets are countable, meaning that each member of the set can be mapped to a member of the natural numbers (1, 2, 3, …). For example, every odd number can be placed in an ordered list:
- 1
- 3
- 5
- 7
- 9
And so on. Even though intuitively, there should be half as many odd numbers as there are natural (counting) numbers, being infinite, both sets are the same size. Natural numbers, odd numbers, multiples of 18, prime numbers, and even rational numbers (fractions) all have the same cardinality.
The set of real numbers includes both rational (expressible as a fraction) and irrational (infinitely long, non-repeating decimal) numbers. It turns out that the real numbers cannot be made to correspond in a 1-to-1 fashion with the natural numbers, making them uncountable. This means that the real set is infinitely larger than the previously mentioned, already infinite sets.
Cantor developed transfinite numbers to distinguish between the sizes of different types of infinite sets. He was able to demonstrate that, in addition to countably and uncountably infinite sets, there are infinitely more degrees of infinity, each, in some sense, larger than the previous one. Each degree of infinity is assigned a separate transfinite cardinal number.
Infinity is symbolized by a lemniscate:
. Transfinite numbers are represented by the Hebrew letter aleph, followed by a subscript:
,
,
, …
Platonic Realms on infinity