If we map every integer to a string that represents a rational number, and produce a number different from all the ones listed, we are essentially following Cantor's algorithm. But why does it not apply? Is it because we can't be certain that the number produced is a rational number?
Why does Cantor's diagonal argument not work for rational numbers?
24
$\begingroup$
elementary-set-theory
infinity
-
0If you have an explicit countable ordering of the rational numbers and an explicit version of Cantor's algorithm (watching out for the $0.5000\ldots=0.4999\ldots$ issue), then this gives you a way of generating a guaranteed irrational number. – 2011-05-22
1 Answers
28
It applies, in the sense that you can carry it out. However, the number you obtain through the process is not a rational (it does not have a periodic decimal expansion).
To be precise, the procedure does not let you guarantee that the number you obtain has a periodic decimal expansion (that is, that it is a rational number), and so you are unable to show that the "diagonal number" is a rational that was not in the original list. In fact, if your original list is given explicitly by some bijection, then one is able to show just as explicitly that the number you obtain is not a rational.
-
0Can you give more detail about how one would show explicitly that the number is not a rational? The document linked in comments just has a hand-waving paragraph for that. – 2017-07-30