Cantor's diagonal argument, also called the diagonalisation argument, the diagonal slash argument or the diagonal method, was published in 1891 by Georg Cantor as a proof that there are infinite sets which cannot be put into onetoone correspondence with the infinite set of natural numbers. Such sets are now known as uncountable sets, and the size of infinite sets is now treated by the theory of cardinal numbers which Cantor began.
The diagonal argument was not Cantor's first proof of the uncountability of the real numbers; it was actually published much later than his first proof, which appeared in 1874. However, it demonstrates a powerful and general technique that has since been used in a wide range of proofs, also known as diagonal arguments by analogy with the argument used in this proof. The most famous examples are perhaps Russell's paradox, the first of Gödel's incompleteness theorems, and Turing's answer to the Entscheidungsproblem.
Contents
An uncountable set
Cantor's original proof considers an infinite sequence of the form (s_{1}, s_{2}, s_{3}, ...) where each element s_{i} is an infinite sequence of 0s and 1s. Consider any countable listing (for every natural number we associate one and only one element of the set) of these sequences. We might have for instance:
For each m and n let s_{n,m} be the m^{th} element of the n^{th} sequence on the list; so for each n,
It is possible to build a sequence of elements s_{0} in such a way that its first element is different from the first element of the first sequence in the list, its second element is different from the second element of the second sequence in the list, and, in general, its n^{th} element is different from the n^{th} element of the n^{th} sequence in the list. That is to say, if s_{m,m} is 1, then s_{0,m} is 0, otherwise s_{0,m} is 1. For instance:
(The elements s_{1,1}, s_{2,2}, s_{3,3}, and so on, are here highlighted, showing the origin of the name "diagonal argument". Note that the highlighted elements in s_{0} are in every case different from the highlighted elements in the table above it.)
Therefore it may be seen that this new sequence s_{0} is distinct from all the sequences in the list. This follows from the fact that if it were identical to, say, the 10th sequence in the list, then we would have s_{0,10} = s_{10,10}. In general, if it appeared as the n^{th} sequence on the list, we would have s_{0,n} = s_{n,n}, which, due to the construction of s_{0}, is impossible.
Full article ▸
