One of the most important mathematical objects is the set with its many useful properties. We can look at the size of the set by wondering how many members it embraces. The answer obviously can be found by counting them.

Then we can take another set and compare its size with the first one, again by counting the members. We call this size the cardinality of the set.

One can wonder, do I have as many fingers on my left hand as on my right hand?

Well, by counting first left and then right we find that our hands have an equal number of fingers. But there are or have been primitive cultures that couldn’t count beyond three. Now what?

They could solve the problem by putting the fingers of the left hand against those of the right hand. Where after they would find that there were no fingers left without a counterpart. So even these primitives would have found the right answer: the number of fingers left and right is equal.

This conclusion has been achieved by the simple researchers without counting. They did this by applying what mathematicians call a one-to-one correspondence. Or even more trivial: by mapping the members of the left hand set to the members of the right hand set.

George Cantor started around 1870 his research on infinite sets. He of course was aware of the fact that an infinite set could not be counted. Nevertheless he would compare the size of infinite sets with each other and realized that this should be done by mapping the members of the sets in question.

Maybe we should pause here shortly to ponder about infinity, since it is not an easy to grasp subject. It is in fact rather counterintuitive. Most of this is caused by our inclination to consider infinity as a quantity or a number.

It is not. You can’t calculate with it, cannot multiply or divide by it.

But let’s look at the set of natural numbers. And from there to the set of even numbers. It seems obvious that the latter set is smaller than the first. Half of it one should say.

For every quantity up to the number N no matter how big N is, this is true, the even numbers in such a set are half the quantity of the natural numbers. But when we go to infinity all the way, it no longer is true. The sets are of equal size. We say that the sets have the same cardinality.

The set of primes looks even more pronounced. Primes are ‘thinning out’ further on the number line. The further we go, the rarer the primes get. But the mathematicians state that the cardinality of the set of primes is the same of that of the set of the natural numbers.

How can this be?

Well, the answer lies in the fact that all these sets are countable. What can we say for instance about the set of primes? This: there is no biggest prime number. There is a simple proof that there is no limit of primes. There is always a bigger one. We never run out.

And because of this, the primes can be mapped one by one to the natural numbers. Another prime? Here is another natural number to map it with. And so on, up to infinity.

This is what countable means when we are comparing sets. Hilberts hotel is an entertaining lesson about grasping infinity.

Cantor knew all this of course. But still he pondered about the cardinality of infinite sets.

The ‘smaller’ sets of even numbers and primes appeared to be of equal cardinality as the set of natural numbers. But what about the rationals?

The rationals seemed to be abundant. We can make any number of fractions by combining any number of natural numbers in the numerators and denominators. Shouldn’t that scale out the cardinality of counting numbers?

Cantor, who else, showed us it didn’t. By writing the rationals systematically down in a square of infinite horizontal and of vertical length, he could draw a line through them without missing a single one, thus mapping all the rationals to the counting numbers.

What more numbers are out there? The irrationals of course.

The numbers that we can’t trap into a simple form like the naturals or the rationals.

Now we are in the realm of the real numbers. A lot of these numbers are to be represented in a decimal form, since there is no simple way to write them down.

Cantor took up the challenge of ‘counting’ the real numbers. He observed the interval (0,1) and found infinitely many real numbers in there. A closer look dazzled him and he used his now well known method of writing all those numbers down in his infinite square (horizontal infinite and vertical infinite). After writing this infinite number of reals down, this took him a while indeed, he tried to ‘count’ them, which is the same as mapping them to the set of natural numbers. But then he found that he could create a new real number by drawing the diagonal of this enormous square. Starting at the left, top and proceeding to the right, bottom, he changed the number of each crossing. Doing so, he had created a new real number that was not previously on the list. The number could not be the same as the first number, as it differs at the first position. It could not be the same as the second number, since it differs at the second position. It could not be the same as the third number since… And on and on.

Of course this new number could be added to the list but then a new diagonal would repeat the trick. And so infinitely many times.

Cantor discovered and proved that the infinity of real numbers is bigger than the infinity of natural numbers hence cannot be counted.

He then gave a ranking order to these infinities and he stamped the first set (the counting set) as aleph-0. And the set of the real numbers as aleph-1. He said that the cardinality of the set of real numbers is greater than that of the natural numbers.

Zooming in on this interval or (0,1) Cantor found that there is no gap between the numbers in this interval. It isn’t like the natural numbers that you have to step over to the next number. In the realm of the real numbers there is always a next number tightly pressed against the previous and against the next number. No gap here, just fluently passing by.

Hence he called this a **continuum**. Like dimensionless points on a geometric line.

Now Cantor was wondering: does a set exist with higher cardinality than aleph-0 and lower than aleph-1, so that the ranking order should change into aleph-2 for the real numbers?

He thought there isn’t and exactly that is his Continuum Hypothesis.

Cantor also thought that the cardinality of the real numbers is equal to that of the power set of the set of natural numbers.

Each set has a power set. That is the number of subsets that can be made out of the original set. E.g. {1,2,3} has {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1,2,3}, {Ø} as subsets.

The power set appears to be 2^{n} where n is the number of members in a set.

So, {1,2,3,4,5} has 2^{5} = 32 members in its power set.

The power set of the set of natural numbers is 2^{aleph-0} which is quite a quantity.

So when aleph-1 is equal to the power set of aleph-0, it is huge!

Naturally Cantor was puzzling which numbers made aleph-1 so huge. He gave it a further look. The rationals had been covered already and found countable. What about the irrationals? These numbers merely can be written in decimal form, while no recurring pattern in the decimals ever occur.

We know that for instance √2 can’t be written as a fraction. Wasn’t it Euler who laid down the proof for that? Anyway the rationals and irrationals together form the set of real numbers and since the rationals are countable, it’s obvious that the irrationals are responsible for the extreme abundancy of the real numbers.

Cantor realized that all those numbers, natural numbers, rationals and most irrationals are in fact algebraic numbers. Such a number is the root of a polynomial of finite degree in x, with rational coefficients. This sounds more intimidating than it is.

Here is one: ax^{5}+ bx^{4}+ cx^{3} + dx^{2} + ex + C.

And here is another: ax^{2} + C.

The terms higher in x disappeared because their coefficient is 0, when a coefficient is 0 the term drops out.

We pick up the expression x^{2} – 2 = 0 => x = √2.

Hence the root of the polynomial x^{2} – 2 = √2 which makes √2 an algebraic number.

Likewise we find that 6x-2 gives the rational 1/3 as an algebraic number and even the imaginary number i as the root of x^{2} + 1 = 0 is algebraic.

Lots and lots of numbers have now been covered and they all belong to the set of real numbers. But unfortunately Cantor could proof (this proof goes beyond the intent of this essay) that the set of algebraic numbers is countable, hence has cardinality aleph-0.

And cardinality aleph-0 means, equal to the cardinality of the set of natural numbers, the counting set. In other words, it are not the algebraic numbers that give the continuum its higher cardinality.

So what did he have left? There were of course still some transcendental numbers but that seemed like a joke. Joseph Liouville proved in 1844 the existence of transcendental numbers. These numbers are no roots of any polynomial, meaning they are not algebraic numbers. But although the proof of their existence was there, there weren’t any known. The numbers π and e were under suspicion but it would take until 1882 before π was proved to be transcendental, years after Cantor’s struggle with the matter.

This is what the mathematicians report these days about transcendental numbers:

< *Although there are infinitely many transcendental numbers, only a few of them are known. Strangely, it is not so hard to prove they exist, but it is ferociously hard to prove that a number is transcendental. */>

Cantor’s final conclusion was (and had to be) that the tremendous flood of real numbers was not caused by the natural numbers, not by the rational numbers, not by the algebraic numbers but by the elusive transcendentals. Highly unexpected, but true nevertheless.

It is important to underline that his Continuum Hypothesis does not express the ‘size’ of the set of real numbers but foremost the order of infinities. The set of natural numbers has cardinality aleph-0 and the continuum has cardinality aleph-1. There is no set with cardinality > aleph-0 and < aleph-1. And that’s the hypothesis.

It may seem that Cantor’s interval (0,1) however big is dwarfed by the total size of the set of real numbers. But that is not true. We can make a one-to-one correspondence from the numbers in the interval to each number in the set of real numbers. Odd things are going on in infinity and applying our intuition to these matters leads to wrong conclusions.

How can the CH be proven?

Kurt Gödel, an annoying bloke who earlier ruined the day of Bertrand Russell by his incompleteness theorems that turned years of fatigue into worthless fiddling, showed in 1938 that the Continuum Hypothesis cannot be disproved within the formal axiomatic framework on which the hypothesis was based. Gödel believed the CH to be false and that we should wait for an extension of the framework to proof this. In 1963 Paul Cohen showed that the CH also cannot be proved within the aforementioned formal framework and that is where we are today.

Not until the formal axiomatic base is properly extended, the CH can be proved or disproved.

Eef, October 2022

Click here for all math essays on this site