In creating the number x in Example, where we proved that the set of real numbers between...

In creating the number x in Example, where we proved that the set of real numbers between 0 and 1 cannot be put in a one-to-one correspondence with the natural numbers, how did we decide what to put in the third decimal place?

We will reproduce Cantor’s argument that the set of real numbers between 0 and 1 has cardinal number greater than ℵ0. We begin by assuming that we can put the set of numbers between 0 and 1 in a one-to-one correspondence with the natural numbers and show that no matter how hard we try, there will always be some number that we could not have listed.

Although we would not actually know what the listing would be, for the sake of argument, let us assume that we had listed all the numbers between 0 and 1 as follows:

1 ↔ 0.6348291347 …;

2 ↔ 0.2373261008 …;

3 ↔ 0.4821063391 …;

4 ↔ 0.6824537128 …;

5 ↔ 0.4657189233 …;

Although we have assumed that all numbers between 0 and 1 are listed, we will now show you how to construct a number x between 0 and 1 that is not on this list. We want x to be different from the first number on the list, so we will begin the decimal expansion of x with a digit other than a 6 in the tenths place, say x = 0.5 …. By constructing x in this fashion, it cannot be the first number on the list, or the second, or the third, and so on. In fact, x will differ from every number on the list in at least one decimal place, so it cannot be any of the numbers on the list.

This means that our assumption that we were able to match the numbers between 0 and 1 with the natural numbers is wrong. So the cardinal number of this set is not ℵ0. Cantor used the letter c, for the word continuum, for this cardinal number. Because there is a number between 0 and 1 that cannot be matched with a natural number, we can argue as we did in our discussion of the seats and the students that the cardinal number c is greater than the cardinal number ℵ0.