A glimpse of Cantor's paradise
This is an article I wrote for a maths newsletter
Modern ideas about infinity provide a wonderful playground for mathematicians and philosophers. I want to lead you through this garden of intellectual delights and tell you about the man who created it — Georg Cantor.
George Ludwig Phillipp Cantor was born St. Petersburg, Russia in 1845. When he was eleven years old his family moved to Germany and settled in Frankfurt, the home city of his father. Cantor ultimately became famous because of the mathematical talent on his father's side.
First he attended Polytechnic college, Zurich to study engineering because his father wanted him to be a shining star in Engineering firmament. After a semester, he asked his father's permission to transfer to University of Berlin, where he could study mathematics. As a university student in Berlin he was president of the mathematical society and met his friends every week in a wine house...to discuss mathematics! Within four years he completed both undergraduate and doctorate degrees. In 1872 he was appointed extraordinary professor at Halle, and began his life-long study of infinite sets.
A mathematical challenge by a colleague at Halle led Cantor to his study of the infinite in 1870s. Cantor was not the first mathematician to formalize the concept of the infinite. Prior to Cantor, Richard Dedekind made the first step by introducing the concept of recognizing the infinite rather than constructing it. Dedekind took the natural numbers 1,2,3,4,..... as the paradigm example of an infinite set and defined a set as infinite if the natural numbers an be put into a one-to-one correspondence with the that set, or a subset of it. Thus the natural numbers are infinite by definition and so are the integers, rational numbers and the real numbers.
The simplest infinite set is the set of natural numbers
N = {1, 2, 3, 4,......}
Let's see how does this compare to other infinite sets.
Consider this example
{1001, 1001, 1002, ….}
You might say this set is smaller than N, hence it contains 1000 fewer numbers.
But according to Dedekind's concept of infinite, an one-to-one correspondence can be made with N as follows.
1 -------------> 1001
2 -------------> 1002
3 -------------> 1003
. .
. .
Since each element in N pairs off with one element in {1001, 1002, 1003,....} and vice versa, the sets must have the same "size", or, to use Cantor's language, the same cardinality.
Cantor had two interesting questions : First, can infinity be recognized without making reference to the natural numbers? Second, are there different degrees of infinity?
Cantor answered his first question by defining a set as infinite if it can be put into an one-to-one correspondence with a proper subset of itself, that is a subset other than itself. Set of natural numbers obviously satisfies this condition.
Just consider this mapping
0->1, 1->2, 2->3,.........
This shows that any set that satisfies Dedekind's definition automatically satisfies Cantor's definition. His answer to the first question opened the possibility of there being different degrees of the infinite. He introduced two new terms to distinguish different sets, cardinality, that is, how many members it has and order type. He noted that although the positive and negative integers have equal cardinality, they differ in order-type. So Cantor used Hebrew letter 
, (pronounced "aleph") to denote cardinality and Greek letter ω to denote order-type. Order-type is the attribute which distinguishes the sets that has a least element, but a greatest and sets that has a greatest element, but a least.
, (pronounced "aleph") to denote cardinality and Greek letter ω to denote order-type. Order-type is the attribute which distinguishes the sets that has a least element, but a greatest and sets that has a greatest element, but a least. He defined two sets as equinumerous if they could be put to an one-to-one correspondence. Then he showed positive rational numbers are equinumerous with positive integers. But positive rational numbers couldn't be put into a less-than/ greater-than relation as in natural numbers, so he arranged in an ingenious way!
So all the rational numbers can be written as a list as follows:
1/1, 2/1, 1/2, 1/3, …...
Then he tackled the problem of finding the cardinality of the set of real numbers and proved that they are not equinumerous with integers. There are strictly more real numbers than integers.
If the real numbers between zero and one are equinumerous with the positive integers, than they can be listed out in a sequence like this
- 0.12034
- 0.41233
- 0.398554
- 0.777776
- 0.146231
- 0.238765
Here comes Cantor's great insight. What he did was take a diagonal of digits as which are highlighted above and add 1 to each digit. This constructs a new real number 0.229846.... that can't be in the table because it differs from each number listed. This contradicts our first assumption that the set of real numbers and the set of natural numbers have the same cardinality — is false.
The next question asked by Cantor remains open to this day : Are there only two types of infinite subsets of the real numbers, those equinumerous to the real numbers and those equinumerous to the integers? He believed that there are only two types, but he couldn't prove it. This conjecture known as Continuum hypothesis is not yet proven or dis-proven.
Twenty two years after Cantor's death Kurt Gödel showed that the continuum hypothesis cannot be disproved using standard mathematics, and after another 23 years Paul Cohen showed that neither can it be proved. Today mathematicians and logicians are still debating this fascinating question.
Posts
