January 22, 2013 | 12

Ashutosh (Ash) Jogalekar is a chemist interested in the history and philosophy of science. He considers science to be a seamless and all-encompassing part of the human experience. Follow on Twitter Ashutosh (Ash) Jogalekar is a chemist interested in the history and philosophy of science. He considers science to be a seamless and all-encompassing part of the human experience. Follow on Twitter

Contact Ashutosh Jogalekar via email.

Follow Ashutosh Jogalekar on Twitter as @curiouswavefn. Or visit their website.

Follow Ashutosh Jogalekar on Twitter as @curiouswavefn. Or visit their website.

The biggest intellectual shock I ever received was in high school. Someone gifted me a copy of the physicist George Gamow’s classic book “One two three…infinity”. Gamow was not only a brilliant scientist but also one of the best science popularizers of the late twentieth century. In his book I encountered the deepest and most utterly fascinating pure intellectual fact I have ever known; the fact that mathematics allows us to compare ‘different infinities’. This idea will forever strike awe and wonder in me and I think is the ultimate tribute to the singularly bizarre and completely counter-intuitive worlds that science and especially mathematics can uncover.

Gamow starts by alerting us to the Hottentot tribe in Africa. Members of this tribe cannot formally count beyond three. How then do they compare commodities such as animals whose numbers are greater than three? By employing one of the most logical and primitive methods of counting- the method of counting by one-to-one correspondences or put more simply, by pairing objects with each other. So if a Hottentot has ten animals and she wishes to compare these with animals from a rival tribe, she will pair off each animal with its counterpart. If animals are left over in her own collection, she wins. If they are left over in her rival’s collection, she has to admit the rival tribe’s superiority in sheep.What is remarkable is that this simplest of counting methods allowed the great German mathematician Georg Cantor to discover one of the most stunning and counter-intuitive facts ever divined by pure thinking. Consider the set of natural numbers 1, 2, 3… Now consider the set of even numbers 2, 4, 6…If asked which set is greater, commonsense would quickly point to the former. After all the set of natural numbers contains both even *and* odd numbers and this would of course be greater than just the set of even numbers, wouldn’t it? But if modern science and mathematics have revealed one thing about the universe, it’s that the universe often makes commonsense stand on its head. And so it is the case here. Let’s use the Hottentot method. Line up the natural numbers and the even numbers next to each other and pair them up.

1 2 3 4 5…

2 4 6 8 10…

So 1 pairs up with 2, 2 pairs up with 4, 3 pairs up with 6 and so on. It’s now obvious that every natural number n will always pair up with an even number 2n. Thus the set of natural numbers is equal to the set of even numbers, a conclusion that seems to fly in the face of commonsense and shatters its visage. We can extend this conclusion even further. For instance consider the set of squares of natural numbers, a set that would seem even ‘smaller’ than the set of even numbers. By similar pairings we can show that every natural number n can be paired with its square n^{2}, again demonstrating the equality of the two sets. Now you can play around with this method and establish all kinds of equalities, for instance that of whole numbers (all positive and negative numbers) with squares.

But what Cantor did with this technique was much deeper than amusing pairings. The set of natural numbers is infinite. The set of even numbers is also infinite. Yet they can be compared. Cantor showed that two infinities can actually be compared and can be shown to be equal to each other. Before Cantor infinity was just a place card for ‘unlimited’, a vague notion that exceeded man’s imagination to visualize. But Cantor showed that infinity can be mathematically precisely quantified, captured in simple notation and expressed more or less like a finite number. In fact he found a precise mapping technique with which a certain kind of infinity can be defined. By Cantor’s definition, any infinite set of objects which has a one-to-one mapping or correspondence with the natural numbers is called a ‘countably’ infinite set of objects. The correspondence needs to be strictly one-to-one and it needs to be exhaustive, that is, for every object in the first set there must be a corresponding object in the second one. The set of natural numbers is thus a ruler with which to measure the ‘size’ of other infinite sets. This countable infinity was quantified by a measure called the ‘cardinality’ of the set. The cardinality of the set of natural numbers and all others which are equivalent to it through one-to-one mappings is called ‘aleph-naught’, denoted by the symbol ℵ_{0}.

The set of natural numbers and the set of odd and even numbers constitute the ‘smallest’ infinity and they all have a cardinality of ℵ_{0}. Sets which seemed disparately different in size could all now be declared equivalent to each other and pared down to a single classification. This was a towering achievement.

The perplexities of Cantor’s infinities led the great mathematician David Hilbert to propose an amusing situation called ‘Hilbert’s Hotel’. Let’s say you are on a long journey and, weary and hungry, you come to a fine-looking hotel. The hotel looks like any other but there’s a catch: much to your delight, it contains a countably infinite number of rooms. So now when the manager at the front desk says “Sorry, but we are full”, you have a response ready for him. You simply tell him to move the first guest into the second room, the second guest into the third room and so on, with the n^{th} guest moving into the (n+1)^{th} room. Easy! But now what if you are accompanied by your friends? In fact, what if you are so popular that you are accompanied by a countably infinite number of friends? No problem! You simply ask the manager to move the first guest into the second room, the second guest into the fourth room, the third guest into the sixth room…and the n^{th} guest into the 2n^{th} room. Now all the odd-numbered rooms are empty, and since we already know that the set of odd numbers is countably infinite, these rooms will easily accommodate all your countably infinite guests, making you even more popular. Mathematics can bend the laws of the material world like nothing else.

But the previous discussion leaves a nagging question. Since all our infinities are countably infinite, is there something like an ‘uncountably’ infinite set? In fact, what would such an infinity even look like? The ensuing discussion probably constitutes the gem in the crown of infinities and it struck infinite wonder in my heart when I read it.

Let’s consider the set of real numbers, numbers defined with a decimal point as a.bcdefg… The real numbers consist of the rational and the irrational numbers. Is this set countably infinite? By Cantor’s definition, to demonstrate this we would have to prove that there is a one-to-one mapping between the set of real numbers and the set of natural numbers. Is this possible? Well, let’s say we have an endless list of rational numbers, for instance 2.823, 7.298, 4.001 etc. Now pair up each one of these with the natural numbers 1, 2, 3…, in this case simply by counting them. For instance:

S1 = 2.823

S2 = 7.298

S3 = 4.001

S4 = …

Have we proved that the rational numbers are countably infinite? Not really. This is because I can construct a new real number not on the list using the following prescription: construct a new real number such that it differs from the first real number in the first decimal place, the second real number in the second decimal place, the third real number in the third decimal place…and the nth real number in the nth decimal place. So for the example of three numbers above the new number can be:

S0 = 3.942

(9 is different from 8 in S1, 4 is different from 9 in S2 and 2 is different from 1 in S3)

Thus, given an endless list of real numbers counted from 1, 2, 3…onwards, one can *always* construct a number which is not on the list since it will differ from the 1^{st} number in the first decimal place, 2^{nd} number in the second decimal place…and from the nth number in the nth decimal place.

Cantor called this argument the ‘diagonal argument’ since it really constructs a new real number from a line that’s diagonally drawn across all the relevant numbers after the decimal points in each of the listed numbers. The image from the Wikipedia page makes the picture clearer:

In this picture, the new number is constructed from the red numbers on the diagonal. It’s obvious that the new number Eu will be different from every single number E1…En on the list. The diagonal argument is an astonishingly simple and elegant technique that can be used to prove a deep truth.

With this comparison Cantor achieved something awe-inspiring. He showed that one infinity can be greater than another, and in fact it can be infinitely greater than another. This really drives the nail in the coffin of commonsense, since a ‘comparison of two infinities’ appears absurd to the uninformed mind. But our intuitive ideas about sets break down in the face of infinity. A similar argument can demonstrate that while the rational numbers are countably infinite, the irrational numbers are uncountably so. This leads to another shattering comparison; it tells us that the tiny line segment between 0 and 1 on the number line containing real numbers (denoted by [0, 1]) is ‘larger’ than the entire set of natural numbers. A more spectacular case of David obliterating Goliath I have never seen.

The uncountably infinite set of reals comprises a separate cardinality from the cardinality of countably infinite objects like the naturals which was denoted by ℵ_{0}. Thus one might logically expect the cardinality of the reals to be denoted by ℵ1. But as usual reality thwarts logic. This cardinality is actually denoted by ‘c’ and not by the expected ℵ1. Why this is so is beyond my capability to understand, but it is fascinating. While it can be proven that 2^ℵ_{0} = c, the hypothesis that c = ℵ1 is actually just a hypothesis, not a proven and obvious fact of mathematics. This hypothesis is called the ‘continuum hypothesis’ and happens to be one of the biggest unsolved problems in pure mathematics. The problem was in fact the first of the 23 famous problems for the new century proposed by David Hilbert in 1900 during the International Mathematical Congress in France (among others on the list were the notorious Riemann hypothesis and the fond belief that the axioms of arithmetic are consistent, later demolished by Kurt Gödel). The brilliant English mathematician G H Hardy put the continuum at the top of his list of things to do before he died (he did not succeed). A corollary of the hypothesis is that there are no sets with cardinality between ℵ_{0} and c. Unfortunately the continuum hypothesis may be forever beyond our reach. The same Gödel and the Princeton mathematician Paul Cohen damned the hypothesis by proving that, assuming the consistency of the basic foundation of set theory, the continuum hypothesis is undecidable and therefore it cannot be proved nor disproved. This is assuming that there are no contradictions in the basic foundation of set theory, something that itself is ‘widely believed’ but not proven. Of course all this is meat and drink for mathematicians wandering around in the most abstract reaches of thought and it will undoubtedly keep them busy for years.

But it all starts with the Hottentots, Cantor and the most primitive methods of counting and comparison. I happened to chance upon Gamow’s little gem yesterday, and all this came back to me in a rush. The comparison of infinities is simple to understand and is a fantastic device for introducing children to the wonders of mathematics. It drives home the essential weirdness of the mathematical universe and raises penetrating questions not only about the nature of this universe but about the nature of the human mind that can comprehend it. One of the biggest questions concerns the nature of reality itself. Physics has also revealed counter-intuitive truths about the universe like the curvature of space-time, the duality of waves and particles and the spooky phenomenon of entanglement, but these truths undoubtedly have a real existence as observed through exhaustive experimentation. But what do the bizarre truths revealed by mathematics actually mean? Unlike the truths of physics they can’t exactly be touched and seen. Can some of these such as the perceived differences between two kinds of infinities simply be a function of human perception, or do these truths point to an objective reality ‘out there’? If they are only a function of human perception, what is it exactly in the structure of the brain that makes such wondrous creations possible? In the twenty-first century when neuroscience promises to reveal more of the brain than was ever possible, the investigation of mathematical understanding could prove to be profoundly significant.

Blake was probably not thinking about the continuum hypothesis when he wrote the following lines:

*To see a world in a grain of sand,
And a heaven in a wild flower,
Hold infinity in the palm of your hand,
And eternity in an hour.*

But mathematics would have validated his thoughts. It is through mathematics that we can hold not one but an infinity of infinities in the palm of our hand, for all of eternity.

Rights & Permissions

Add a Comment

You must sign in or register as a ScientificAmerican.com member to submit a comment.

nice summary of Cantorian thought… further mind-blowing is the “Cantor Set” or “Cantor’s Dust” which simultaneously ‘seems’ to contain ‘nothing’ or an infinity of elements:

http://www.mathacademy.com/pr/prime/articles/cantset/

Link to this“Blake was probably not thinking about the continuum hypothesis when he wrote the following lines:

To see a world in a grain of sand,

And a heaven in a wild flower,

Hold infinity in the palm of your hand,

And eternity in an hour. ”

————————————-

No, probably he was thinking about nature.

Which brings up an interesting application of Canor’s method to the physical world.

If the cosmos is a discrete self-similar (i.e., fractal)hierarchy, an important question would be whether or not the hierarchy was infinite in scale, or whether the hierarchy had cutoffs.

It might seem like one could never scientifically test the finite vs infinite issue, but there is a way to do so in the specific case of exact self-similarity. In this special case, the fractal hierarchy must be infinite and this can be tested using a limited region of the hierarchy. Only for an infinite hierarchy can a specific higher-level system and its specific self-similar lower-scale analogue have exact self-similarity.

The proof involves Cantor’s matching technique applied to the number of subsystem levels contained within the higher-level system and its lower-scale analogue. Only for an infinite hierarchy can analogue systems at different levels have the same number of levels of subsystems.

Robert L. Oldershaw

Link to thishttp://www3.amherst.edu/~rloldershaw

Discrete Scale Relativity/Fractal Cosmology

Let’s try out this famous Hilbert’s Hotel and ask the manager to move all his guests by one room. How is he going to do that? He can’t possibly walk down the corridor, knock on each door and ask the residents to move to the next room because that would take an infinite time and I would never be able to move in. Ok, so maybe the manager has previously installed a PA system in his hotel by which he now orders all his guests at once to move to the next room. But wait, the signal that travels from his mike to the speakers in all the rooms will take longer and longer the further down the corridor it goes. It will again take an infinite time until it reaches the guests at the (non-existing) end of the corridor. Hm… last try: The manager knocks at the first door, asks the resident to (please) step out, go to the next room and ask the guest there to do the same. While the first guest does as she was told I move into the first room – mission accomplished! Uh… but now there is still always (i.e. for an infinite time) at least one person who does not have a room. So I can’t really think of a practical way to fit one additional guest into Hilbert’s Hotel without kicking one out. But I guess “practical” is not a requirement here…

Link to thisIf I’m following:

((1,2,3…) + (1,2,3…) + (1,2,3…) …) > (1,2,3…)

and assuming:

(1,2,3…) = (2,4,6…)

then I’m not sure what > means in the first case, the cardinality is greater in what way ?

Link to thisCorrection

((1,2,3…), (1,2,3…), (1,2,3…)…) > (1,2,3…)

Link to thisRe:

“The problem was in fact the first of the 23 famous problems for the new century proposed by David Hilbert in 1900 during the International Mathematical Congress in France (among others on the list were the notorious Riemann hypothesis and the fond belief that the axioms of arithmetic are consistent, later demolished by Kurt Gödel)”

Slightly misleading way of putting it. Gödel didn’t demolish the belief that the axioms of arithmetic are consistent in his famous 1931 paper (his later work contains two proofs that the axioms of (first order Peano) Arithmetic are consistent): he demolished Hilbert’s hope that this consistency itself could be proved by certain restricted means.

Not to distract people from the main point though. Is Gamow’s book still in print, preferably as a cheap paperback? The leading mathematician of MY high school class had it, shared ideas with me: we both learned from it. It’s a book bright high school students should be able to come across!

Link to thisThanks. Yes, Gamow’s book is still available as a cheap, nice Dover paperback.

Link to thisIt’s a pity that Gamow wrote his book long before Archimedes’ palimpsest was re-discovered. Because, somewhere between our Hottentot-like past and Cantor, there is an interesting tidbit from Siracuse. We didn’t know it in the ’90s, but now we know that Archimedes anticipated Cantor in at least two things: First, he dealt with “actual infinities” (instead of the “potential” infinity of unbounded things, usually supposed to be the ceiling over Greek thought and still the only notion of infinity allowed by many of Cantor’s contemporaries). Second, when he happened to extend a proportion by means of equating two infinite sets, he felt the need to first show… that those sets could be put in a one-to-one relationship! Alas, his intuition was way too ahead of his time, and two millennia had to pass before the ideas reappeared.

The story of the re-discovery and the analysis of the palimpsest, around ~2000, is wonderfully told in “The Archimedes Codex”.

Link to thisPower and beauty of mathematics is well known to all.

Link to thisMathematics is the queen of all subjects.

God is mathematician, hence mathematics is beautiful and powerful.

S. N. Tiwary

Director

While many have attempted to prove that real numbers are countable by putting forth “proofs” that

Georg Cantor’s Diagonal proof is flawed, it also seems that nearly every attempt to do so has

involved complicated explanations that tend to cloud the clarity of the assertion. After much

analysis and contemplation about the problem, I will now make my attempt at showing clearly and

concisely why Cantor’s proof is flawed, and why real numbers are indeed infinitely countable.

Link to Google Doc with explanation:

Link to thishttps://docs.google.com/file/d/0BzsB8NcKtj7ucDNiY1Y0c3p2X2c/edit

Actually, the entire notion that an infinity has any “size” at all or that one is smaller or larger than another is just erroneous. By its very definition, SIZE is a limit, while infinity has no limits. It is like talking about the density of air in a total vacuum…there is no such thing! To say there are “less” even or odd integers than the number of total integers is just as wrong. There is NO number of even integers and NO number of integers. When it comes to infinity, the concept of NO-THING and EVERY-THING is equivalent, and that is precisely what makes infinity…NO count, NO quantity.

Link to thisAnd of course there is a one-to-one matching between the members of different infinities, and while that may imply they are countable, they are not quantifiable. And for fractions, we are actually talking about a single infinite sequence of finite sets, where each set is made up of a finite number of progressively smaller parts, as follows: 1/2, 1/3, 2/3, 1/4, 2/4, 3/4, 1/5, 2/5, 3/5, 4/5, 1/6, 2/6, 3/6, 4/6, 5/6, etc., so while the size of each piece gets infinitely smaller, the number of pieces increases infinitely. So, in reality, the infinite sequence is a linear set of values representing how many times the whole is divided into equal parts. Then for each of those values, there is a finite number representing how many of those equal parts there are.

Link to this