Earliest diagonal proof of the uncountability of the reals. - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T00:40:47Z http://mathoverflow.net/feeds/question/23953 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/23953/earliest-diagonal-proof-of-the-uncountability-of-the-reals Earliest diagonal proof of the uncountability of the reals. KP Hart 2010-05-08T19:38:50Z 2013-03-17T13:22:16Z <p>I cited the diagonal proof of the uncountability of the reals as an example of a <a href="http://mathoverflow.net/questions/23478/examples-of-common-false-beliefs-in-mathematics/23708#23708" rel="nofollow">`common false belief'</a> in mathematics, not because there is anything wrong with the proof but because it is commonly believed to be Cantor's second proof. The stated purpose of <a href="http://resolver.sub.uni-goettingen.de/purl?GDZPPN002113910" rel="nofollow">the paper where Cantor published the diagonal argument </a> is to prove the existence of uncountable infinities, avoiding the theory of irrational numbers. I have no problem believing that Cantor himself realized that a diagonal proof of the uncountability of <strong>R</strong> was possible but I have not even found an allusion to this in his collected works. The earliest appearance in print that I know is on page 43 of <em>The theory of sets of points</em> by W. H. Young and Grace Chisholm Young (1906). I would be very grateful for any reference to some scrap of paper where Cantor himself mentions the possibility of using the diagonal method to prove the set of reals uncountable. </p> http://mathoverflow.net/questions/23953/earliest-diagonal-proof-of-the-uncountability-of-the-reals/23961#23961 Answer by Jason Dyer for Earliest diagonal proof of the uncountability of the reals. Jason Dyer 2010-05-08T21:07:05Z 2010-05-08T21:07:05Z <p>From <a href="http://books.google.com/books?id=vrQLbbxGNMsC" rel="nofollow">Labyrinth of thought: a history of set theory and its role in modern mathematics</a> by José Ferreirós and José Ferreirós Domínguez:</p> <blockquote> <p>page 184 (quoting a margin note of Cantor's) </p> <p>Besides, the theorem of paragraph 2 presents itself as the reason why the collections of real numerical magnitudes that constitute what is called a continuum (say all real numbers that are greater or equal to 0 and less than or equal to 1) cannot be univocally correlated with the collection (<em>v</em>) [of all natural numbers]; thus I find the clear distinction between a continuum and a collection of the kind of the totality of all real algebraic numbers.</p> </blockquote> <p>The book also discusses why this was a margin note and not Cantor's main concern: His goal was a new proof of Liouville's theorem that within any given interval there are infinitely many transcendent numbers.</p> http://mathoverflow.net/questions/23953/earliest-diagonal-proof-of-the-uncountability-of-the-reals/23962#23962 Answer by Harald Hanche-Olsen for Earliest diagonal proof of the uncountability of the reals. Harald Hanche-Olsen 2010-05-08T21:15:54Z 2010-05-08T21:34:32Z <p><strong>Edit:</strong> A closer look reveals that the proof in the reference below is not the <em>diagonal</em> proof. I am leaving the answer up since the reference might be of interest anyhow.</p> <p>Cantor had a paper in Crelle's Journal <strong>77</strong> (1874) 258–262. In Christopher P. Grant's translation, the title of the paper is <em>On a Property of the Class of all Real Algebraic Numbers</em>. In §2, we can read</p> <blockquote> <p>If an inﬁnite sequence of distinct real numerical quantities <code>$$\omega_1, \omega_2,\ldots,\omega_\nu,\ldots\qquad(4)$$</code> (obtained according to whatever rule) is given, then in each prespeciﬁed interval $(\alpha\ldots\beta)$ a number $\eta$ (and consequently inﬁnitely many such numbers) can be speciﬁed, which does not occur in the sequence (4); this will now be proven.</p> </blockquote> <p>I am not sure where I found the translation. Sloppy of me.</p> <p><strong>2nd Edit:</strong> here is a very brief outline of Cantor's non-diagonal proof. By induction on $k$, find <code>$\alpha_k$</code>, <code>$\beta_k$</code> as early as possible from the given sequence with <code>$$\alpha&lt;\alpha_1&lt;\alpha_2&lt;\cdots&lt;\beta_2&lt;\beta_1&lt;\beta$$</code> and note that any number the the closed interval <code>$[\alpha_\infty,\beta_\infty]$</code> is not in the given sequence. If the induction fails after step $k$, the interval $(\alpha_k,\beta_k)$ contains at most one point from the given sequence.</p> http://mathoverflow.net/questions/23953/earliest-diagonal-proof-of-the-uncountability-of-the-reals/23970#23970 Answer by John Stillwell for Earliest diagonal proof of the uncountability of the reals. John Stillwell 2010-05-08T23:25:00Z 2010-05-08T23:25:00Z <p>Cantor's diagonal argument first appears in his 1891 paper "Über eine elementare Frage der Mannigfaltigkeitslehre", <em>Jahresbericht der Deutschen Mathematiker-Vereinigung</em> 1: 75–78, in which he generalizes the argument to prove that any set has more subsets than elements. The 1891 paper has the diagonal argument as we know it today, but even his 1874 proof begins to look like a diagonal argument if you look at it closely. The proof uses the least upper bound $x$ of an increasing sequence $x_1,x_2,x_3,\ldots$ and $x$ "diagonalizes" the sequence in the sense that $x$ differs from each $x_i$ in some decimal place. The position of the place of difference increases with $i$, so the places of difference lie on a "jagged diagonal".</p> <p>A more clearcut use of diagonalization before Cantor's 1891 proof, in my opinion, is in <a href="http://gdz.sub.uni-goettingen.de/dms/load/img/?IDDOC=27181" rel="nofollow">this 1875 paper</a> by Paul du Bois-Reymond. Given a sequence of positive integer valued functions $f_1,f_2,f_3,\ldots$, du Bois-Reymond constructs a function $f$ that grows faster than each $f_i$. In particular, $f$ differs from $f_i$ on the value $i$.</p> http://mathoverflow.net/questions/23953/earliest-diagonal-proof-of-the-uncountability-of-the-reals/124780#124780 Answer by Rhett Butler for Earliest diagonal proof of the uncountability of the reals. Rhett Butler 2013-03-17T13:22:16Z 2013-03-17T13:22:16Z <p>The evidence that you look for can already be found in the second paragraph of <a href="http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN237853094&amp;DMDID=DMDLOG_0033" rel="nofollow">Cantor's original paper</a>. There he states "Es läßt sich aber von <em>jenem Satze</em> ein viel einfacherer Beweis liefern, der unabhängig von der Betrachtung der Irrationalzahlen ist.", meaning that his diagonal argument supplies a much simpler proof of <em>the theorem proved in his first paper</em> on the uncountability of the real numbers. This does not only mention but declare that his method can be applied to real numbers.</p> <p>Probably in order to emphasize its independence of numbers, Cantor did not use numerals 0 and 1, but m and w which (and this answers your last remark) in German are abbreviations of male and female. So he had a good substitution for 0 and 1 or up and down or yes and no - and he deliberately or unconsciously circumvented the problem that this proof without reservations, as stated in his original text, would fail on binary sequences.</p>