Next: Gödel's Incompleteness Theorem Up: Mathematical structure Previous: Infinity   Contents

# Cardinal numbers

The cardinal numbers originated from Cantor's proof that there are `more' real numbers than integers. This was the start of the modern concept of mathematical infinity.

Cantor used a diagonalization argument to show there does not exist a function3.3that assigned a unique integer to every real number. He assumed such a function, , exists and used it to construct a real, , not in the range of the function .

This technique is proof my contradiction. If an assumption leads to a contradiction then the assumption must be false.

If there is a function that maps a unique integer onto each element of a set then that set is said to be countable. Cantor proved the reals are not countable.

We can limit the reals we consider to those between 0 and 1 since if we cannot map the integers unto these reals we obviously cannot map them onto all reals. A real number in this range can be represented as an infinitely long decimal fraction with the first digit just to the right of the decimal point as shown in Table 3.3.

Cantor showed how to construct a real, , whose th digit differed from the th digit of the the real that was a mapped from by (). We will write for the th digit of real . Thus the the th digit of the real we are constructing is written as . The th digit of the real is written as . The real Cantor defined satisfies the following:

differs in its th digit from for every integer . Thus it differs from every real in the range of . An example is shown in Table 3.3. The assumption that is a function that has the integers as its domain and all reals as its range is false.

In Section 4.9 we describe the counter point to Cantor's proof known as the Lowenheim Skolem Theorem. This shows that no matter how large the infinite sets a formal system claims to define there is a countable model that satisfies the axioms of the system if there is any model that does so. A model is a collection of sets for which the axioms of the formal system hold.

The reals have cardinality greater than the integers by Cantor's argument. It is unknown if there are cardinals larger than the integers and smaller than the reals. The assertion that there are none is called the Continuum Hypothesis. Cantor went mad trying to prove this. We know today it cannot be proved or disproved from the standard axioms of mathematics[10]. We think the Continuum Hypothesis is neither true nor false in an absolute sense. It may be true false or undecidable in a particular formal system.

The hierarchy of cardinal numbers is of practical importance because axioms asserting the existence of such sets solve problems that almost everyone agrees are meaningful like instances of the Halting Problem. So we now turn our attention to Gödel's result that leads to the hierarchy of unsolvable problems and suggests the creative nature of mathematics.

Table 3.3: Trying to map the integers onto the reals
 tries to map integers to reals 0 .0000000000000000... 1 .1111111111111111... 2 .2222222222222222... 3 .3333333333333333... 4 .4444444444444444... 5 .5555555555555555... 6 .6666666666666666... 7 .7777777777777777... 8 .8888888888888888... 9 .9999999999999999... 10 .1010101010010101... 11 .1212121212112121... 12 .1313131313133131... 13 .1414141414141141... 14 .1515151515151551... ... ...

The above shows the start of a possible map from integers onto the reals. The digits along the diagonal have a line above them (). We can construct a real that is different from every real in the list by making its th digit different from the th digit of the th real in the list. The digits that we have to differ from are .012345678912141... Any real that differs in every decimal position from this number cannot be in the list. Thus the real .101111111101010... constructed by putting 1 in every position that was not 1 on the diagonal and 0 in the remaining positions. This real will differ in at least one digit from every number in the list.