**not**the usual "less than" relation on R) -- let's denote it by x <' y -- that well-orders the reals. This relation induces the ordering

a <' b <' c <' ...

and every real number r will eventually appear in this chain.

Now the $1.64 question is: why can't we apply Cantor's diagonal argument to this well-ordering to construct a number that doesn't appear in the chain?

## 2 comments:

Hey Leo, I think the answer to this one is that diagonalization is a countable operation (you change the n-th digit of the n-th number in the sequence) whereas clearly the list of reals is uncountable.

-Alex

Yes. The "matrix dimensions" don't match -- you have a countable number of columns (the digits) and an uncountable number of rows (the reals). If you try to diagonalize, you run out of decimal places! More formally, Cantor's diagonalization relied on a one-to-one mapping between the "rows" and "columns" which doesn't exist here.

[BTW, thanks for killing the fun for all the non-math PhD readers :-)

Got any thoughts on my geometry question (last post)? Know any ppl who might? Unlike my other questions, I actually don't know the answer!! ]

Post a Comment