
“Infinity is a floorless room, without walls and ceilings.”
This description of the vast expanse that is infinity would leave most of us clueless, if not a little frightened. How does one begin to deal with something that never ends – infinity seems to defy all our logic and attempts to tame it. A few, however, saw in infinity not a vast expanse of frightening proportions, but a world of endless possibilities, free to be explored and delved into. The realms of infinity represented a world where anything and everything could happen, and a few of the greatest minds reveled in this freedom.
One such mind was Georg Cantor (although he was eventually placed in an asylum). He was the inventor of set theory, a mathematical way of expressing collections of objects. His most important work came with the definition and classification of infinite collections of objects. He defined infinity, and proved several results, including the fact that there are an infinite number of infinites.
The easiest way of thinking about infinity is to think of the largest number you can think of, then add one, and repeat the process. What Cantor aimed to do was to define infinity mathematically, and prove some of the counter-intuitive aspects of it. We can explain some of these aspects using the idea of a hotel with an infinite number of rooms – an analogy developed by David Hilbert, the great German mathematician, in his attempt to explain Cantor’s work.
Hilbert asks us to imagine a hotel with an infinite number of rooms, and that each room is occupied. The rooms are numbered 1, 2, 3, 4… and so on. Remember, there is no room labelled infinity, since there will always be another room. He tells us that every single room in the hotel is occupied – not one room is unoccupied. He then asks what happens if another customer comes along asking for a stay at the hotel? Can we accommodate them?
In fact we can. All we do is ask the person in room 1 to move to room 2, and the person in room 2 to move to room 3 and so on. You might ask where the person in room infinity moves to – there is no room infinity! And so, the first room is left unoccupied and we are able to accommodate the extra customer. And yet, at the start, every single room in the hotel was occupied. We can extend this argument to any number of customers that arrive wanting to stay at the hotel. If two customers arrive, we ask the person in room 1 to move to room 3, the person in room 2 to move to room 4, and so on. If n customers arrive, we ask the person in room 1 to move to room n+1, the person in room 2 to move to room n+2, and so on, freeing up n rooms. This defines the operation infinity+n = infinity, which is rather counter-intuitive.
Hilbert then asks what happens if an infinite number of new customers arrive. Is it still possible to accommodate the all? Incredibly, it is. Before you look at how it can be done, think about it for a few minutes. What we do is move the person in room 1 to room 2, the person in room 2 to room 4, the person in room 3 to room 6, and so on (move the person in room n to room 2n). Thus, all the odd numbered rooms are left unoccupied, and since there is an infinite number of odd numbers, we can accommodate the infinite number of new customers – again quite paradoxical. The operation is thus defined as infinity+infinity = infinity. What happens if two buses carrying an infinite number of people each arrive – we can use a similar argument, and accommodate all the new customers. Thus, we can extend the operation to infinity+ n infinities = infinity.
What happens then if an infinite number of buses come carrying an infinite number of people arrive? The mathematics here is a little complex – it is however, still possible to accommodate all the customers! Cantor, using a method known as the diagonalisation argument, shows that this incredible notion is indeed true. He was, however, stumped when asked whether it would be possible to accommodate all the rational numbers, another infinite set. Surely this was possible? Through some clever logic, Cantor established that it was not, and herein lays his greatest and most paradoxical of achievements. He had proven that infinity had size – that some infinites were larger than others. Two sets that were infinite did not necessarily have to be the same size as each other.
As paradoxical as it seems, it is indeed true – the mathematical proof is absolute. It is little wonder that Cantor was fascinated by the world of infinity, with its incredible and surprising quirks. Some might ask what is all the use of this, where can any of this be put to practical use. What is the point of it all? The point is, does it have to have a point?
Raaghav Ramani











![P(n)=1/(pisqrt(2))sum_(k=1)^inftyA_k(n)sqrt(k)d/(dn)[(sinh(pi/ksqrt(2/3(n-1/(24)))))/(sqrt(n-1/(24)))],](http://mathworld.wolfram.com/images/equations/PartitionFunctionP/NumberedEquation10.gif)