This is another insight gained from Wheels, Life and Other Mathematical Amusements– this time about the transfinite numbers.

The smallest transfinite number, so -called is that of the countable infinity, or the counting numbers (the integers). Start at 1 (or 0) and keep going.

But how many sets can one make from the counting numbers? Well we know that for a set with members there are possible subsets including the empty set and the original set itself. Therefore we have subsets of the integers.

So how big is ? The same size as the continuum, Georg Cantor‘s hypothesised (i.e., the next biggest transfinite number) – though this hypothesis has never been proved and work continues on demonstrating there is a smaller transfinite number between and the cardinality of the continuum.

Normally one sees the continuum explained as uncountable via the “diagonalisation argument” but the book makes a slightly different, if ultimately equivalent proof via contradiction:

Take all the subsets and assign an integer to each one.

If the integer is assigned to the subset containing the integer which it has been assigned then label it ‘blue’, if the integer is assigned to a subset it does not contain then label it ‘red’.

So all the red integers themselves form a subset of the original set, can it be matched to a blue integer? No because then it would match to a subset that contained the integer, but as its red it cannot.

So can it then be matched with a red element? No because then a red element would be matched with a red element and should therefore be blue … a contradiction.

If you think about this for a bit you will also see it is directly equivalent to the diagonalisation argument and thus the cardinality of the subsets of the countable numbers is the same as that of the continuum.

###### Related articles

- Is two to the power of infinity more than infinity? (igoro.com)
- How Big is Infinity? (thequantumfantastic.wordpress.com)
- Thinking Out of the Notation Box (rjlipton.wordpress.com)
- The wheels of Aristotle (cartesianproduct.wordpress.com)
- What are dense Sidon subsets of {1,2,…,n} like? (gowers.wordpress.com)
- Can Things Be Counted? (maverickphilosopher.typepad.com)

Pingback: Not a proof that aleph null and the order of the continuum are the same « cartesian product