Holy Thursday (or is it Maundy Thursday?) 2001 
I was going to put this up on livejournal (what is liverjournal, asks the 
unsuspecting reader?  Go over to meep.livejournal.com (if it's working.  Be 
patient.) and you'll find out (oh Lord!  she writes =more=?  Lord help 
us.)), but I've decided it would be too long, and as you've shown patience 
before in me explaining math/physics/whatever concepts, I'm going to put 
this here. 
Unlike most tirades, this one gets a title: 
Infinity is NOT a Number  (and you may quote me on that) 
Long long ago, when people decided it would be a "good thing" to keep track 
of how many wapiti they killed during the season, people, ingenious 
problem-solvers that they are, put marks on a stone or cut notches in a 
stick.  And it was good. 
Someone noticed that if it was an extremely productive year, the stick or 
stone could be saturated, and if the hunting party came back with 40 
carcasses (after figuring out how to stampede a herd over a cliff), one 
does not want to actually sit there notching a stick 40 times.  One might 
screw up.  So some people thought, hey, let's make a =new= kind of mark to 
indicate groups of 5.  And it was even better. 
(Where is she going with this?) 
...and eons later, the decimal system was born.  In all these systems of 
keeping track of amount, people noticed you could always add one more 
notch, one more alpha, one more digit.  Thus the concept of infinity was 
born -- not the "number" one would reach by repeatedly adding 1, but the 
idea of the process that one could make numbers bigger and bigger without 
end.  And so matters stood for some time. 
One day (in the late 1800s or so), there came a guy named Georg Cantor 
(Jo-jo to friends) who wondered whether one could count up the real numbers 
the same way you could count up, well, counting numbers.  He noticed that 
there is a reasonable way to tell if infinite sets have the "same size" - 
the way one splits poker pots for example. 
Say we're playing a hi-lo poker game, and you and I win the game.  Rather 
than count out the amount of the chips in the middle and then dividing the 
amount by two to divvy up the kitty, I pair off the chips and give one to 
you and then one to me.  If for every chip I get, you get a chip, though at 
the end we might not know how much we won, we know that we both have the 
same amount (unless I know some good sleight of hand, but we'll ignore 
Similarly, even though infinite sets, like all the counting numbers (1, 2, 
3, 4...) or all prime numbers (2, 3, 5, 7, ...) don't have a certain number 
of elements, but an "infinite" number of elements, we can tell if they have 
the "same number" of elements if we can pair them up.  Here's an easy 
example - there are the same number of even counting numbers as counting 
numbers -- just pair each counting number with its double: 
     counting number	even number 
           1		     2 
	   2		     4 
	   3		     6 
	   4		     8 
	   .		     . 
	   .		     . 
	   .		     . 
Actually, it's easy to see that any infinite subset of the counting numbers 
has the same number of elements as the counting numbers, mainly because you 
can put them in order.  Consider the prime numbers, numbers which have only 
two number that can divide into them.  There's are several proofs that 
there are an infinite number of primes, but how can we pair them off with 
the counting numbers?  Easy, for there must be a smallest prime, then a 
next smallest prime, and so on.  Just put the primes in increasing order 
and label them 1, 2, 3, etc.  You know that every prime will come up 
=somewhere= in the ordering, so you will miss no primes by listing them 
this way. 
Sets of numbers that can be put in an exhaustive list like this are said to 
be "countable".  If you cannot put the elements in this kind of list, say 
even after making an infinite list there are numbers left over and you can 
never put =all= of them in a list, the set is called "uncountable". 
Let's consider the integers - they're countable because you can start at 0 
and alternate the counting numbers and their negatives as you go out: 0, 1, 
-1, 2, -2, 3, -3, 4, -4.  Let's think of something harder - what about the 
rational numbers?  The rational numbers are any number that can be 
represented as the ratio of two integers: -54/76, 4564567/3, etc.  How can 
we make sure that we can put =all= of them in a list?  There's a 
"matrix" trick that's been used for a long time: 
numer:	1	-1	2	-2	3	-3	4  	... 
 1	1/1	-1/1	2/1	-2/1	3/1	-3/1	4/1	... 
 2	1/2	-1/2	2/2	-2/2	3/2	-3/2	4/2	... 
 3	1/3	-1/3	2/3	-2/3	3/3	-3/3	4/3 	... 
 4	1/4	-1/4	2/4	-2/4	3/4	-3/4	4/4	... 
Now it's obvious that each rational number (except for 0) shows up 
=somewhere= in that matrix, but this really doesn't look like a list.  If 
we decided to list it out by listing the first row first, we'd never get to 
the second row!  The idea is to start one's list off in the upper left-hand 
corner, and wiggle around the diagonals.  So let's start off with the 
missing 0, then 1/1, then 1/2 right below, then -1/1 on that diagonal, then 
2/1, then -1/2, then 1/3....  As you can see, by making this path we can be 
sure of hitting everybody in the matrix.  However, there are lots of 
repeats -- what to do with them?  Simply skip over them.  In the next 
diagonal, we will hit 1/4, -1/3, then 2/2 = 1 = 1/1.  Since it's already in 
our list, we jump over it. 
There are all sorts of countably infinite sets.  Where the fun comes in is 
when one tries to "count" an uncountably infinite set.  For example, take 
the real numbers.  Any real number can be expressed in decimal form, with a 
countably infinite decimal expansion (one can always add one more digit to 
the end....); because the representation of every real number is countable, 
it's tempting to think that the set of real numbers must also be 
countable.  There have even been people who have tried to think of ways of 
making a list of all real numbers.  To make it simple, we will only 
consider real numbers between 0 and 1 -- so their decimal expansion will 
simply be something like 0.2347213468354....  If the number is rational, 
the decimal expansion will either terminate (0.25 = 1/4), or eventually 
repeat (0.17171717... = 17/99).  Numbers whose decimal expansions do not 
terminate or repeat are =irrational= (because they can't be expressed as 
One way to "list" the real numbers has been tried -- take the counting 
numbers, reverse their digits, and put a decimal in front of the 
result: .1, .2, .3, .4, .5, .6, .7, .8, .9, .01, .11, .21, .31, etc. 
Can you see a problem with this?  I will tell you now that there are lots 
of numbers missed by this technique - do you see why this is? 
Anyway, Cantor showed that the set of real numbers is an =uncountable= 
set.  And he did it thusly - first he supposed that you =could= list all 
the real numbers between 0 and 1.  One should expand terminated decimals 
with an infinite number of 0s so that every number has an infinite decimal 
expansion.  So the list would look something like this: 
	#	list item # 
	1	.3623542238478553452.... 
	2	.17171717171717171717.... 
	3	.50000000000000000000.... 
	4	.278652765403757402835.... 
	5	.12345678910111213141516.... 
	.		. 
	.		. 
	.		.	 	 
Now this is supposed to be the whole enchilada.  There are supposed to be 
=all= real numbers between 0 and 1 on this list (and to take care of that 
repeating 9 problem (.9999999.... = 1), we will disallow any decimal 
expansion ending in repeating 9s as they can be simplified to a decimal 
ending in repeating 0s).  If you can find one real number that's not on 
that list, you've contradicted your supposition, meaning it couldn't have 
been true to begin with (the infinitude of primes is proved in a similar 
way.  You assume there's a largest prime, and then you use it to make a 
number that shows you there's an even =bigger= prime.  So your original 
supposition cannot have been true.)  This is called proof by contradiction. 
So let's see, I want to make a new number.  Let's look at the first digit 
of the first number in the list.  It's 3.  Well, I want my new number to be 
different, so I'm going to pick 7 as the first digit of my new 
number.  Let's look at the second digit of the second number in our list - 
it's 7.  Well, I can't have that.  The second digit of my new number will 
be 3.  (We have .73 so far).  For the nth digit of my new number, I'm going 
to look at the nth digit of the nth number on our list.  If that digit is 
7, I'm going to pick 3 for the digit of my new number.  If that digit is 
anything other than 7, I'm going to pick 7 as my new digit.  So with the 
list that I've started above, I have a number starting 0.73777... 
This new number is =nowhere= in my list.  Why?  Because it differs from 
each number in the list by at least one digit - meaning they cannot be the 
same.  So if I can make a number that's not on my "exhaustive list", that 
means I can't have come up with an exhaustive list to begin with.  
This is a very famous proof, called the Cantor diagonal argument.  The 
"diagonal" comes from the fact that we used the nth digit from the nth 
number in the list to create a new number, thus going down a diagonal line 
in the list.  This kind of diagonal argument has been used in other famous 
proofs - Godel used it for his incompleteness theorem (he used a 
combination of a diagonal argument and the liar's paradox "this statement 
is false"), and Turing used it to prove there are noncomputable 
problems.  You can really impress people with this argument... as long as 
the people you're trying to impress aren't mathematicians. 
When I presented this argument to a bunch of middle school students, the 
response I got was "but infinity is infinity" -- making me realize that I 
should never have used the word infinity to begin with.  People have 
connotations tied up with words like infinity and chaos that have nothing 
to do with the precise mathematical definitions of the words - often people 
use words as humpty dumpty does - making them mean what they want them to 
mean, so that they can use them to express their ideas.  However, 
mathematical ideas are much more limited that the ideas the human mind can 
hold and words are restricted to very particular uses.  "Continuous" means 
something extremely precise (though not what you think it means.  Most 
people equate continuous with smooth), and "infinity", though it can take 
on different meanings in mathematical context, has only one meaning in any 
given mathematical context.   
In any case, the "infinity" of the real numbers is "bigger than" the 
"infinity" of the counting numbers.  More to the point, these infinite sets 
are not the same size - the real numbers are "uncountable".  Cantor, before 
he went irreversibly insane, came up with ways to make infinities larger 
than the real numbers, but you really don't want to hear about it.   
In any case, this is one of the results you should think about when you 
want to bandy infinity about as a number.  When you've got two infinities 
to choose from, countable and uncountable (with an uncountable number of 
infinities in that second category), how can infinity really be a 
number?  Then one is tempted to think of it as a size of a set.  Then 
calculus sticks its ugly nose in and all hell breaks loose. 
But something on infinity in calculus later.  Infinity is fun, but as long 
as you don't bring any preconceptions on the matter to the table, you can 
have a lot more fun with it. 
Prev Year Next