User:RJGray/Cantor draft2
Cantor's first uncountability proof demonstrates that the set of all real numbers is uncountably, rather than countably, infinite. This proof differs from the more familiar proof that uses his diagonal argument. Georg Cantor's first proof was published in 1874, in an article that also contains a proof that the set of real algebraic numbers is countable, and a proof of the existence of transcendental numbers.[1]
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/67/Georg_Cantor3.jpg/220px-Georg_Cantor3.jpg)
As early as 1930, some mathematicians have disagreed on whether Cantor's proof of the existence of transcendental numbers is constructive or non-constructive.[2] Books as recent as 2014 and 2015 indicate that this disagreement has not been resolved.[3] A careful study of Cantor's article will determine the nature of his proof. Cantor's correspondence shows the development of his ideas and reveals that he had a choice between two proofs: one uses the uncountability of the real numbers; the other does not. These proofs play an important role in the disagreement about his proof.
The title of Cantor's article is "On a Property of the Collection of All Real Algebraic Numbers." Historians of mathematics have studied the reasons why Cantor's article emphasizes the countability of the real algebraic numbers rather than the uncountability of the real numbers. They have discovered interesting facts about the article—for example, Cantor left out his uncountability theorem in the article he submitted, then added it during proofreading.[4] They have also studied Richard Dedekind's contributions to the article and the article's legacy.
The article
[edit]Cantor's article is short, just 4+1/3 pages. It begins with a discussion of the real algebraic numbers, and a statement of his first theorem: The collection of real algebraic numbers can be put into one-to-one correspondence with the collection of positive integers. Cantor restates this theorem in terms more familiar to mathematicians of his time: The collection of real algebraic numbers can be written as an infinite sequence in which each number appears only once.[1]
Cantor's second theorem works with a closed interval [a, b], which is the set of real numbers ≥ a and ≤ b. This theorem states: Given any sequence of real numbers x1, x2, x3, … and any interval [a, b], one can determine numbers in [a, b] that are not contained in the given sequence.
Cantor observes that combining his two theorems yields a new proof of the theorem: Every interval [a, b] contains infinitely many transcendental numbers. This theorem was first proved by Joseph Liouville.[5]
He then remarks that his second theorem is:
- the reason why collections of real numbers forming a so-called continuum (such as, all real numbers which are ≥ 0 and ≤ 1) cannot correspond one-to-one with the collection (ν) [the collection of all positive integers]; thus I have found the clear difference between a so-called continuum and a collection like the totality of real algebraic numbers.[6]
This remark contains Cantor's uncountability theorem, which only states that an interval [a, b] cannot be put into one-to-one correspondence with the set of positive integers. It does not say that this interval is an infinite set of larger cardinality than the set of positive integers. Cardinality is defined in his next article, which was published in 1878.[7]
Cantor does not explicitly prove his uncountability theorem, which follows easily from his second theorem. To prove it, we use proof by contradiction. Assume that the interval [a, b] can be put into one-to-one correspondence with the set of positive integers, or equivalently: The real numbers in [a, b] can be written as a sequence in which each real number appears only once. Applying Cantor's second theorem to this sequence and [a, b] produces a real number in [a, b] that does not belong to the sequence. This contradicts the original assumption, and proves the uncountability theorem.
Cantor's second theorem is constructive and separates the constructive content of his work from the proof by contradiction needed to establish uncountability.[8] Cantor's uncountability theorem is just stated; it is not used in any proofs.
The proofs
[edit]For Cantor's article to be constructive, it is also necessary that his proofs be constructive.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d1/Algebraicszoom.png/220px-Algebraicszoom.png)
To prove that the set of real algebraic numbers is countable, Cantor defines the height of a polynomial of degree n with integer coefficients as: n – 1 + |a0| + |a1| + ··· + |an|, where a0, a1, …, an are the coefficients of the polynomial. Then he orders the polynomials by their height, and orders the real roots of polynomials of the same height by numeric order. Since there are only a finite number of roots of polynomials of a given height, these orderings put the real algebraic numbers into a sequence.[N 1]
Next Cantor proves his second theorem: Given any sequence of real numbers x1, x2, x3, … and any interval [a, b], one can determine a number in [a, b] that is not contained in the given sequence. We simplify Cantor's proof by using open intervals. The open interval (a, b) is the set of real numbers > a and < b.
To find a number in [a, b] that is not contained in the given sequence, construct two sequences of real numbers as follows: Find the first two numbers of the given sequence that are in (a, b). Designate the smaller of these two numbers by a1, and the larger by b1. Similarly, find the first two numbers of the given sequence that are in (a1, b1). Designate the smaller by a2 and the larger by b2. Continuing this procedure generates a sequence of intervals (a1, b1), (a2, b2), … such that each interval in the sequence contains all succeeding intervals—that is, it generates a sequence of nested intervals. This implies that the sequence a1, a2, a3, … is increasing, the sequence b1, b2, b3, … is decreasing, and ai < bj for all i and j.[N 2]
Either the number of intervals generated is finite or infinite. If finite, let (aN, bN) be the last interval. If infinite, let a∞ = limn → ∞ an and b∞ = limn → ∞ bn.[N 3] Since ai < bj for all i and j, either a∞ = b∞ or a∞ < b∞. Thus, there are three cases to consider:
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f5/Cantor%27s_first_uncountability_proof_Case_1_svg.svg/350px-Cantor%27s_first_uncountability_proof_Case_1_svg.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f0/Cantor%27s_first_uncountability_proof_Case_2_svg.svg/350px-Cantor%27s_first_uncountability_proof_Case_2_svg.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/94/Cantor%27s_first_uncountability_proof_Case_3_svg.svg/350px-Cantor%27s_first_uncountability_proof_Case_3_svg.svg.png)
- Case 1: There is a last interval (aN, bN). Since at most one xn can be in this interval, every y in this interval except xn (if it exists) is not contained in the given sequence.
- Case 2: a∞ = b∞. a∞ is not contained in the given sequence since for all n, a∞ belongs to (an, bn) but xn does not. Cantor states without proof that xn does not belong to (an, bn); this will be proved below.
- Case 3: a∞ < b∞. Every y in [a∞, b∞] is not contained in the given sequence since for all n, y belongs to (an, bn) but xn does not.
The proof is complete since, in all cases, at least one real number in [a, b] has been found that is not contained in the given sequence.
Cantor observes that a∞ = b∞ when this construction is applied to the sequence of real algebraic numbers, the sequence he uses to construct transcendental numbers.[9] This sequence is dense in [a, b], which means that every open subinterval (y, z) of [a, b] contains a term of the sequence. So Cantor's observation follows from the lemma: If the sequence is dense in [a, b], then a∞ = b∞.
We prove the contrapositive: If a∞ ≠ b∞, then the sequence is not dense in [a, b]. If a∞ ≠ b∞, then case 2 is false, so there are only two cases to consider:
- Case 1: There is a last interval (aN, bN), so at most one xn can be in this interval. If there is such an xn, then the interval (aN, xn) contains no terms of the sequence. Otherwise, the interval (aN, bN) contains no terms of the sequence.
- Case 3: a∞ < b∞. The interval (a∞, b∞) contains no terms of the sequence.
In both cases, an open subinterval of [a, b] has been found that contains no terms of the sequence, which implies that the sequence is not dense in [a, b]. Therefore, the contrapositive of the lemma is true, which implies that the lemma is true.
Cantor's proofs are constructive and have been used to write a computer program that generates the digits of a transcendental number. This program applies Cantor's construction to a sequence containing all the real algebraic numbers between 0 and 1. The article that discusses this program gives some of its output, which shows how the construction generates a transcendental.[10]
To prove Cantor's statement that xn does not belong to (an, bn), we analyze how his construction excludes the terms of the sequence: 1/2, 1/3, 2/3, 1/4, 3/4, 1/5, 2/5, 3/5, 4/5, … This sequence is obtained by ordering the rational numbers in (0, 1) by increasing denominators, and ordering those with the same denominator by increasing numerators. The table below shows the first five steps of the construction. Since this sequence is dense in [0, 1], a non-terminating sequence of intervals is generated.
Cantor's construction starts by finding the first two terms in the sequence belonging to (0, 1)—namely, 1/2 and 1/3, which form the interval (1/3, 1/2). Next it finds the first two terms belonging to this interval—namely, 2/5 and 3/7. The interval (1/3, 1/2) excludes the leading terms of the sequence up to 3/7 with two exceptions: 2/5 and 3/7. These two terms are the first terms excluded by the next interval (2/5, 3/7). Stopping the construction at this point, which is marked by a semicolon in the table, shows that the interval (2/5, 3/7) excludes at least the leading terms up to 3/7. In general, a non-terminating construction builds intervals (an, bn) that exclude some leading terms of the sequence, and each interval excludes at least two more leading terms than the preceding interval. This leads to the following lemma: For a non-terminating construction, there is a function g(n) such that for all n ≥ 1, g(n) ≥ 2n and x1, …, xg(n) ∉ (an, bn). Since g(n) ≥ 2n > n, this lemma implies that xn does not belong to (an, bn).
The proof uses mathematical induction. The construction starts by finding the first two terms xj and xk that belong to (a, b), setting a1 to the smaller of these terms, and setting b1 to the larger. Let g(1) = k. Then g(1) ≥ 2 and x1, …, xg(1) ∉ (a1, b1) since each xi equals a1 or b1, or does not belong to the interval (a, b).
Assume the inductive hypothesis that there is a g(n) ≥ 2n and x1, …, xg(n) ∉ (an, bn). The construction then finds the first two terms xj and xk that belong to (an, bn), sets an + 1 to the smaller of these terms, and sets bn + 1 to the larger. Let g(n + 1) = k. Then g(n + 1) ≥ g(n) + 2 ≥ 2n + 2 = 2(n + 1) and x1, …, xg(n + 1) ∉ (an + 1, bn + 1) since each xi equals an + 1 or bn + 1, or does not belong to the interval (an, bn).
Interval | Numbers excluded by the interval | Interval (decimal) |
---|---|---|
Since the sequence contains all the rational numbers in (0, 1), the construction generates an irrational number, which turns out to be √2 − 1.
The proof uses Farey sequences and continued fractions. The Farey sequence is the increasing sequence of completely reduced fractions whose denominators are ≤ n. If and are adjacent in a Farey sequence, the lowest denominator fraction between them is their mediant This mediant is adjacent to both and in the Farey sequence [11]
Cantor's construction produces mediants because we sequenced rational numbers by increasing denominator. The first interval in the table is . Since and are adjacent in their mediant is the first rational in the sequence between and . Since is adjacent to both and in the next fraction is , the mediant of and Since we use mediants, we have: So the second interval is
We will prove that the endpoints of the intervals converge to the continued fraction This continued fraction is the limit of its convergents:
The and sequences satisfy the equations:[12]
First, we prove by induction that for odd n the n-th interval in the table is:
For even n, the endpoints are reversed.
This is true for the first interval since:
Assume that the inductive hypothesis is true for the k-th interval. If k is odd, this interval is:
The mediant of its endpoints: is the first fraction between these endpoints.
The second fraction is the mediant of and
Since we use mediants, we have:
So the (k + 1)-st interval is:
This is the desired interval: is the left endpoint because k + 1 is even. Thus, the inductive hypothesis is true for the (k + 1)-st interval. For even k, the proof is similar.
The left endpoints of the intervals are increasing and every other endpoint is so their limit equals The right endpoints have the same limit because they are decreasing and every other endpoint is As mentioned above, this limit is the continued fraction , which equals √2 − 1.[13]
The development of Cantor's ideas
[edit]The development leading to Cantor's article appears in the correspondence between Cantor and his fellow mathematician Richard Dedekind. On November 29, 1873, Cantor asked Dedekind whether the collection of positive integers and the collection of positive real numbers "can be corresponded so that each individual of one collection corresponds to one and only one of the other?" Cantor added that collections having such a correspondence include the collection of positive rational numbers, and collections of the form (an1, n2, . . . , nν) where n1, n2, . . . , nν, and ν are positive integers.[14]
Dedekind replied that he was unable to answer Cantor's question, and said that it "did not deserve too much effort because it has no particular practical interest." Dedekind also sent Cantor a proof that the set of algebraic numbers is countable.[15]
On December 2, Cantor pointed out that his question does have interest: "It would be nice if it could be answered; for example, provided that it could be answered no, one would have a new proof of Liouville's theorem that there are transcendental numbers."[16]
On December 7, Cantor sent Dedekind a proof by contradiction that the set of real numbers is uncountable. Cantor starts by assuming the real numbers can be written as a sequence. Then he applies a construction to this sequence to produce a real not in the sequence, thus contradicting his original assumption.[17] The letters of December 2 and 7 lead to a non-constructive proof of the existence of transcendental numbers.
On December 9, Cantor announced the theorem that allows him to construct transcendental numbers as well as prove the uncountability of the set of real numbers:
- I show directly that if I start with a sequence
- (I) ω1, ω2, … , ωn, …
- I can determine, in every given interval [α, β], a number η that is not included in (I).[18]
This is the second theorem in Cantor's article. It comes from realizing that his construction can be applied to any sequence, not just to sequences that supposedly enumerate the real numbers. So Cantor had a choice between two proofs that demonstrate the existence of transcendental numbers: one proof is constructive and the other is not. We now compare the proofs assuming that we have a sequence consisting of all the real algebraic numbers.
The constructive proof applies Cantor's construction to this sequence and the interval [a, b] to produce a transcendental number in this interval.
The non-constructive proof uses two proofs by contradiction:
- This is the proof by contradiction that is used to prove the uncountability theorem (see "The article" section above). It assumes that the real numbers in [a, b] can be written as a sequence, applies Cantor's construction to obtain a contradiction, and concludes that the real numbers in [a, b] cannot be written as a sequence.
- Assume that there are no transcendental numbers in [a, b]. Then all the real numbers in [a, b] are algebraic, which implies that they form a subsequence of the sequence of all real algebraic numbers. This contradicts what was proved in 1. Thus, the assumption that there are no transcendental numbers in [a, b] is false. Therefore, there are transcendental numbers in this interval.
Cantor chose to publish the constructive proof, which not only constructs a transcendental number but also is shorter and avoids two proofs by contradiction.
The disagreement about Cantor's proof
[edit]Cantor never published the non-constructive reasoning found in his December 2 and 7 letters—it only appears in his correspondence, which was published in 1937. By that time, other mathematicians had rediscovered his reasoning and used it to produce the non-constructive proof discussed above. As early as 1921, this non-constructive proof was attributed to Cantor and criticized as a pure existence proof.[19] In that year, Oskar Perron stated: "… Cantor's proof for the existence of transcendental numbers has, along with its simplicity and elegance, the great disadvantage that it is only an existence proof; it does not enable us to actually specify even a single transcendental number."[20]
Some mathematicians have attempted to correct this misunderstanding of Cantor's work. In 1930, the set theorist Abraham Fraenkel stated that Cantor's method is "… a method that incidentally, contrary to a widespread interpretation, is fundamentally constructive and not merely existential."[21] In 1977, Irving Kaplansky wrote: "It is often said that Cantor's proof is not 'constructive,' and so does not yield a tangible transcendental number. This remark is not justified. If we set up a definite listing of all algebraic numbers … and then apply the diagonal procedure …, we get a perfectly definite transcendental number (it could be computed to any number of decimal places)."[22]
Cantor's diagonal argument has often replaced his 1874 construction in expositions of his proof. The diagonal argument is constructive and produces a more efficient computer program than his 1874 construction. Using it, a computer program has been written that computes the digits of a transcendental number in polynomial time. The program that uses his 1874 construction requires at least sub-exponential time.[23]
The disagreement about Cantor's proof occurs because two groups of mathematicians are talking about different proofs: the constructive one that Cantor published and the non-constructive one that was rediscovered. The view that Cantor's proof is non-constructive appears in some books that were very successful as measured by the length of time new editions or reprints appeared—for example: Eric Temple Bell's Men of Mathematics (1937; still being reprinted), Godfrey Hardy and E. M. Wright's An Introduction to the Theory of Numbers (1938; 2008 6th edition), Garrett Birkhoff and Saunders Mac Lane's A Survey of Modern Algebra (1941; 1997 5th edition), and Michael Spivak's Calculus (1967; 2008 4th edition).[24] None of these books mention that there is a constructive proof. On the other hand, the quotations above from Fraenkel and Kaplansky show that they knew both proofs. The disagreement about Cantor's proof shows no sign of being resolved: since 2014, at least two books appeared stating that Cantor's proof is constructive, and at least four appeared stating that his proof does not construct any (or a single) transcendental.[25]
The non-constructive proof may appear in some books because it is a simple example of the power of non-constructive reasoning. In The Problems of Mathematics, Ian Stewart dramatizes the power of this reasoning:
- … The set of real numbers is uncountable. There is an infinity bigger than the infinity of natural numbers! The proof is highly original. Roughly, the idea is to assume that the reals are countable, and argue for a contradiction. … Building on this, Cantor was able to give a dramatic proof that transcendental numbers must exist. … Cantor showed that the set of algebraic numbers is countable. Since the full set of reals is uncountable, there must exist numbers that are not algebraic. End of proof (which is basically a triviality); collapse of audience in incredulity. In fact Cantor's argument shows more: it shows that there must be uncountably many transcendentals! There are more transcendental numbers than algebraic ones; and you can prove it without ever exhibiting a single example of either.[26]
Non-constructive reasoning may be powerful, but most mathematicians prefer constructive proofs.[27] Also, some mathematicians have used non-constructive arguments to discover new proofs or theorems, but then find and publish constructive proofs. Cantor did this and so did Kurt Gödel. Cantor proved that the sets of algebraic numbers and real numbers have different properties (one is countable, the other is not), and hence there are real numbers that are not algebraic. Gödel proved that, in a sufficiently strong theory, the sets of provable statements and true statements have different properties (provability is expressible in the theory, but truth is not), and hence there are true statements that are not provable. Like Cantor, Gödel used a key idea from his non-constructive proof (in this case, the liar paradox) to produce the constructive proof that he published.[28]
Asserting that Cantor proof gave a non-constructive proof can lead to erroneous statements about the history of mathematics. In A Survey of Modern Algebra, Birkhoff and Mac Lane state: "Cantor's argument for this result [Not every real number is algebraic] was at first rejected by many mathematicians, since it did not exhibit any specific transcendental number."[29] Birkhoff and Mac Lane are talking about the non-constructive proof that Cantor never published. There was no reason to reject Cantor's published proof, which is constructive. Even Leopold Kronecker, who had strict views on what is acceptable in mathematics and who could have delayed publication of Cantor's article, did not delay it.[30] In fact, applying Cantor's construction to the sequence of real algebraic numbers produces a limiting process that Kronecker accepted—namely, it determines a number to any desired degree of accuracy.[31] In this case, given a k, an n can be computed such that bn – an ≤ 1/k where (an, bn) is the n-th interval of Cantor's construction.[32]
Why Cantor's article emphasizes the countability of the real algebraic numbers
[edit]Historians of mathematics have discovered several interesting facts about Cantor's article "On a Property of the Collection of All Real Algebraic Numbers":
- Cantor's uncountability theorem was left out of the submitted article. He added it during proofreading.[4]
- The article's title refers to the set of real algebraic numbers. The main topic in Cantor's correspondence was the set of real numbers.[33]
- Cantor restricted his first theorem to the set of real algebraic numbers. The proof he was using demonstrates the countability of the set of all algebraic numbers.[15]
- The proof of Cantor's second theorem does not state why some limits exist. The proof he was using does.[34]
To explain these facts, historians have pointed to the influence of Cantor's former professors, Karl Weierstrass and Leopold Kronecker. Cantor sent his results to Weierstrass on December 22, 1874. Weierstrass was first amazed by the concept of countability, but then found the countability of the set of real algebraic numbers useful. Cantor did not want to publish yet, but Weierstrass felt that he must publish at least his results concerning the algebraic numbers.[35]
Cantor wanted his article to include his uncountability theorem, but followed Weierstrass' advice to leave it out. Weierstrass also said that he could add it during proofreading, which he did.[4] It appears in a remark at the end of the article's introduction.[36] Without the uncountability theorem, the article's most significant result is the theorem stating that the set of real algebraic numbers is countable. The article's title refers to this theorem.
Weierstrass probably convinced Cantor of the importance of applying his "ideas at first to a single case (such as that of the real algebraic numbers) …"[37] This led Cantor to restrict his first theorem to real algebraic numbers. This restriction produces a pedagogically simpler article: since Cantor constructs transcendental numbers by using his second theorem (which works with sequences of real numbers), the article is simpler if his first theorem produces a real sequence rather than a complex sequence.
From his correspondence, it appears that Cantor only discussed his article with Weierstrass. However, he wrote to Dedekind: "The restriction which I have imposed on the published version of my investigations is caused in part by local circumstances …"[38] Cantor biographer Joseph Dauben believes that "local circumstances" refers to Kronecker who was a member of the editorial board of Crelle's Journal. Kronecker had delayed publication of a 1870 article by Eduard Heine, and Cantor would send his article to this journal.[39]
Kronecker's influence appears in Cantor's proof of his second theorem. Cantor used Dedekind's version of the proof except he did not state why the limits a∞ = limn → ∞ an and b∞ = limn → ∞ bn exist. In his private notes, Dedekind wrote: "[my] version is carried over almost word-for-word in Cantor's article (Crelle's Journal, 77); of course my use of 'the principle of continuity' is avoided at the relevant place …"[40] Dedekind's principle of continuity (which is equivalent to the least upper bound property of the real numbers) proves that these limits exist. However, this principle comes from Dedekind's construction of the real numbers, a construction that Kronecker did not accept.[41]
Kronecker's influence also appears in Weierstrass' advising Cantor to leave out his uncountability theorem. In his history of set theory, José Ferreirós states: "Had Cantor emphasized it [the uncountability theorem], as he had in the correspondence with Dedekind, there is no doubt that Kronecker and Weierstrass would have reacted negatively."[42]
Dedekind's contributions to Cantor's article
[edit]Since 1856, Dedekind had developed theories involving infinitely many infinite sets—for example: ideals, which he used in algebraic number theory, and Dedekind cuts, which he used to construct the real numbers. This work enabled him to understand and contribute to Cantor's work.[43]
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/56/Richard_Dedekind_1900s.jpg/220px-Richard_Dedekind_1900s.jpg)
One of Dedekind's contributions has already been mentioned: in his article, Cantor gives Dedekind's proof of his second theorem. Dedekind had sent this proof in reply to Cantor's December 7th letter, which contained a complicated proof (using infinitely many sequences) that the interval [a, b] is uncountable. Before Dedekind's proof arrived, Cantor wrote that he had found a simpler proof that did not use infinitely many sequences.[44] So Cantor had a choice of proofs and chose Dedekind's.
Dedekind's second contribution concerns the theorem that the set of real algebraic numbers is countable. Cantor is usually given credit for this theorem, but the mathematical historian Ferreirós calls it "Dedekind's theorem."[45] Their correspondence reveals what each mathematician contributed to the theorem.
In his November 29th letter, Cantor introduced the concept of countability and stated that he had proved the countability of the set of positive rational numbers and sets of the form (an1, n2, . . . , nν) where n1, n2, . . . , nν, and ν are positive integers.[46] Cantor's second result uses indexed numbers: each set consists of the ranges of nν functions where each function maps k positive integer arguments to the real numbers for some k ≤ nν. His second result implies his first: let ν = 2, an1 = n1, and an1, n2 = n1/n2. The functions can be quite general—for example, an1, n2, n3, n4, n5 = (n1/n2)1/n3 + tan(n4/n5).
Dedekind quickly replied with a proof of the theorem: the set of algebraic numbers is countable.[15] To obtain this result from Cantor's theorem about indexed numbers, Dedekind had to remove the restriction to positive integer indices and realize that the ordering produced can order the polynomials.
In his next letter, Cantor did not claim to have proved Dedekind's result. He did indicate how he proved his theorem about indexed numbers: "Your proof that (n) [the set of positive integers] can be correlated one-to-one with the field of all algebraic numbers is approximately the same as the way I prove my contention in the last letter. I take n12 + n22 + ··· + nν2 = and order the elements accordingly."[47] Cantor's ordering cannot handle indices that are 0.[48]
Cantor thanked Dedekind privately for his help: "… your comments (which I value highly) and your manner of putting some of the points were of great assistance to me."[38] However, he did not mention Dedekind's help in his article. In previous articles, he had acknowledged help received from Kronecker, Weierstrass, Heine, and Hermann Schwarz. Cantor's handling of Dedekind's contributions adversely affected his relationship with Dedekind—for example, Dedekind stopped replying to his letters and did not resume the correspondence until October 1876.[49]
The legacy of Cantor's article
[edit]Cantor's article introduced the concept of countability and the uncountability theorem. Both would lead to significant developments in mathematics.
The uncountability theorem demonstrated that one-to-one correspondences can be used to analyze infinite sets. In 1878, Cantor used them to define and compare cardinalities. He also constructed one-to-one correspondences to prove that the n-dimensional spaces Rn (where R is the set of real numbers) and the set of irrational numbers have the same cardinality as R.[50][N 4]
In 1883, Cantor extended the natural numbers with his infinite ordinals. This extension was necessary for his work on the Cantor-Bendixson theorem. Cantor discovered other uses for the ordinals—for example, he used sets of ordinals to produce an infinity of sets having different infinite cardinalities.[51] His work on infinite sets together with Dedekind's set-theoretical work created set theory.[52]
The concept of countability led to countable operations and objects that are used in various areas of mathematics. For example, in 1878, Cantor introduced countable unions of sets.[53] In the 1890s, Émile Borel used countable unions in his theory of measure, and René Baire used countable ordinals to define his classes of functions.[54] Building on the work of Borel and Baire, Henri Lebesgue created his theories of measure and integration, which were published from 1899 to 1901.[55]
In set theory, countable models are used. In 1922, Thoralf Skolem proved that if the axioms of set theory are consistent, then they have a countable model. In this model, the set of real numbers is countable. Skolem explained why this does not contradict Cantor's uncountability theorem: The model views its set of real numbers as uncountable because it contains no one-to-one correspondence between this set and its set of positive integers. The one-to-one correspondence between these sets exists outside the model.[56] In 1963, Paul Cohen used countable models to prove his independence theorems.[57]
See also
[edit]Notes
[edit]- ^ Using this ordering and placing only the first occurrence of a real algebraic number in the sequence produces a sequence without duplicates. Cantor obtains the same sequence by using irreducible polynomials:
Cantor's enumeration of algebraic numbers Height 1: 1x +0 = 0 x1 = 0 Height 2: 2x +0 = 0 reducible 1x +1 = 0 x2 = −1 1x −1 = 0 x3 = +1 1x2 +0x +0 = 0 reducible Height 3: 3x +0 = 0 reducible 2x +1 = 0 x5 = −1/2 2x −1 = 0 x6 = +1/2 1x +2 = 0 x4 = −2 1x −2 = 0 x7 = +2 2x2 +0x +0 = 0 reducible 1x2 +1x +0 = 0 reducible 1x2 −1x +0 = 0 reducible 1x2 +0x +1 = 0 no real root 1x2 +0x −1 = 0 reducible 1x3 +0x2 +0x +0 = 0 reducible Height 4: 4x +0 = 0 reducible 3x +1 = 0 x13 = −1/3 3x −1 = 0 x14 = +1/3 2x +2 = 0 reducible 2x −2 = 0 reducible 1x +3 = 0 x8 = −3 1x −3 = 0 x19 = +3 3x2 +0x +0 = 0 reducible 2x2 +1x +0 = 0 reducible 2x2 −1x +0 = 0 reducible 2x2 +0x +1 = 0 no real root 2x2 +0x −1 = 0 x16, x11 = ±1/√2 1x2 +2x +0 = 0 reducible 1x2 −2x +0 = 0 reducible 1x2 +1x +1 = 0 no real root 1x2 +1x −1 = 0 x15, x9 = (−1 ± √5) / 2 1x2 −1x +1 = 0 no real root 1x2 −1x −1 = 0 x18, x12 = (+1 ± √5) / 2 1x2 +0x +2 = 0 no real root 1x2 +0x −2 = 0 x17, x10 = ±√2 2x3 +0x2 +0x +0 = 0 reducible 1x3 +1x2 +0x +0 = 0 reducible 1x3 −1x2 +0x +0 = 0 reducible 1x3 +0x2 +1x +0 = 0 reducible 1x3 +0x2 −1x +0 = 0 reducible 1x3 +0x2 +0x +1 = 0 reducible 1x3 +0x2 +0x −1 = 0 reducible 1x4 +0x3 +0x2 +0x +0 = 0 reducible Height 5: 5x +0 = 0 reducible : - ^ The difference between our proof and Cantor's is that he generates the sequence of closed intervals [an, bn]. To find an + 1 and bn + 1, he must also use the open intervals (an, bn). By generating a sequence of open intervals, we avoid working with the closed intervals.
- ^ These limits exist because the least upper bound property of the real numbers implies that every increasing (decreasing) sequence that is bounded from above (below) has a limit. The sequence an is increasing and is bounded above by b (that is, for all n, an < b), while the sequence bn is decreasing and is bounded below by a.
- ^ Cantor's method of constructing a one-to-one correspondence between the set of irrational numbers and R can be used to construct one between the set of transcendental numbers and R (Cantor 1879, p. 4). Cantor used this construction, which determines the cardinality of the set of transcendental numbers, rather than the proof-by-contradiction that only determines that the set is uncountable (see Stewart quotation in "The disagreement about Cantor's proof"). The construction begins with the set of transcendental numbers T and removes a countable subset {tn} (for example, tn = e/n). Let this set be T0. Then T = T0 ∪ {tn} = T0 ∪ {t2n – 1} ∪ {t2n}, and R = T ∪ {an} = T0 ∪ {tn} ∪ {an} where an is the sequence of real algebraic numbers. So both T and R are the union of three pairwise disjoint sets: T0 and two countable sets. A one-to-one correspondence between T and R is given by the function: g(t) = t if t ∈ T0, g(t2n – 1) = tn, and g(t2n) = an.
References
[edit]- ^ a b Cantor 1874. English translation: Ewald 1996, pp. 840–843.
- ^ "[Cantor's method is] a method that incidentally, contrary to a widespread interpretation, is fundamentally constructive and not merely existential." (Fraenkel 1930, p. 237; English translation: Gray 1994, p. 823.)
- ^ "Cantor's proof of the existence of transcendental numbers is not just an existence proof. It can, at least in principle, be used to construct an explicit transcendental number." (Sheppard 2014, p. 131.) "Meanwhile Georg Cantor, in 1874, had produced a revolutionary proof of the existence of transcendental numbers, without actually constructing any." (Stewart 2015, p. 285.)
- ^ a b c Ferreirós 2007, p. 184.
- ^ Stewart 1987, p. 42.
- ^ Cantor 1874, p. 259. English translation: Gray 1994, p. 820.
- ^ Cantor 1878, p. 242.
- ^ Gray 1994, p. 823.
- ^ Cantor 1874, p. 261. English translation: Ewald 1996, p. 842.
- ^ Gray 1994, pp. 822–823, 830–831.
- ^ LeVeque 1956, pp. 154–155.
- ^ LeVeque 1956, pp. 174–175.
- ^ Weisstein 2003, p. 541.
- ^ Noether and Cavaillès 1937, pp. 12–13. English translation: Gray 1994, p. 827; Ewald 1996, p. 844.
- ^ a b c Noether and Cavaillès 1937, p. 18. English translation: Ewald 1996, p. 848.
- ^ Noether and Cavaillès 1937, p. 13. English translation: Gray 1994, p. 827.
- ^ Noether and Cavaillès 1937, pp. 14–15. English translation: Ewald 1996, pp. 845–846.
- ^ Noether and Cavaillès 1937, p. 16. English translation: Gray 1994, p. 827.
- ^ Gray 1994, pp. 827–828.
- ^ Perron 1921, p. 162. English translation: Gray 1994, p. 828.
- ^ Fraenkel 1930, p. 237. English translation: Gray 1994, p. 823.
- ^ Kaplansky 1977, p. 25.
- ^ Gray 1994, pp. 822–823.
- ^ Bell 1937, pp. 568–569; Hardy and Wright 1938, p. 159 (6th ed., pp. 205–206); Birkhoff and Mac Lane 1941, p. 392, (5th ed., pp. 436–437); Spivak 1967, pp. 369–370 (4th ed., pp. 448–449).
- ^ Proof is constructive: Dasgupta 2014, p. 107; Sheppard 2014, pp. 131–132. Proof is non-constructive: Jarvis 2014, p. 18; Chowdhary 2015, p. 19; Stewart 2015, p. 285; Stewart and Tall 2015, p. 333.
- ^ Stewart 1987, pp. 59–60.
- ^ Dieudonné 1992, p. 223; Edwards 2005, p. ix.
- ^ Dawson 1997, pp. 61, 65.
- ^ Mac Lane and Birkhoff 1941, p. 392, (5th ed., pp. 436–437).
- ^ Edwards 1989; Gray 1994, p. 828.
- ^ Edwards 1989, p. 74.
- ^ Gray 1994, p. 822.
- ^ Noether and Cavaillès 1937, pp. 12–16. English translation: Ewald 1996, pp. 843–846.
- ^ Dauben 1979, p. 67.
- ^ Grattan-Guinness 1971, p. 124. Noether and Cavaillès 1937, pp. 16–17; English translation: Ewald 1996, p. 847.
- ^ See "The article" section above. Also: Cantor 1874, p. 259; English translation: Ewald 1996, p. 841.
- ^ Noether and Cavaillès 1937, p. 17. English translation: Ewald 1996, pp. 847–848.
- ^ a b Noether and Cavaillès 1937, pp. 16–17. English translation: Ewald 1996, p. 847.
- ^ Dauben 1979, pp. 67, 308–309.
- ^ Noether and Cavaillès 1937, p. 19. English translation: Dauben 1979, p. 67.
- ^ Dauben 1979, pp. 67–68.
- ^ Ferreirós 2007, p. 185.
- ^ Ferreirós 2007, pp. 109–111, 172-174.
- ^ Noether and Cavaillès 1937, pp. 16, 19. English translation: Ewald 1996, pp. 846–847, 849.
- ^ Ferreirós 1993, p. 350.
- ^ Noether and Cavaillès 1937, pp. 12–13. English translation: Ewald 1996, pp. 844–845.
- ^ Noether and Cavaillès 1937, p. 13. English translation: Ewald 1996, p. 845.
- ^ Ferreirós 2007, p. 179.
- ^ Ferreirós 1993, pp. 350–351.
- ^ Cantor 1878, p. 245–254.
- ^ Ferreirós 2007, pp. 267–273.
- ^ Ferreirós 2007, pp. xvi, 320–321.
- ^ Cantor 1878, p. 243.
- ^ Hawkins 1970, pp. 103–106, 127.
- ^ Hawkins 1970, pp. 117–118, 120–124, 127.
- ^ Ferreirós 2007, pp. 362–363.
- ^ Cohen 1963, pp. 1143–1144.
Bibliography
[edit]- Bell, Eric Temple (1937), Men of Mathematics, New York: Simon & Schuster, ISBN 0-671-62818-6.
- Birkhoff, Garrett; Mac Lane, Saunders (1941), A Survey of Modern Algebra, New York: Macmillan, ISBN 978-1-56881-068-3.
- Cantor, Georg (1874), "Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen", Journal für die Reine und Angewandte Mathematik, 77: 258–262, doi:10.1515/crll.1874.77.258.
- Cantor, Georg (1878), "Ein Beitrag zur Mannigfaltigkeitslehre", Journal für die Reine und Angewandte Mathematik, 84: 242–248.
- Cantor, Georg (1879), "Ueber unendliche, lineare Punktmannichfaltigkeiten. 1.", Mathematische Annalen, 15: 1–7.
- Chowdhary, K. R. (2015), Fundamentals of Discrete Mathematical Structures (3rd ed.), Delhi: PHI Learning, ISBN 978-81-203-5074-8.
- Cohen, Paul J. (1963), "The Independence of the Continuum Hypothesis", Proceedings of the National Academy of Sciences of the United States of America, 50: 1143–1148, doi:10.1073/pnas.50.6.1143.
- Dasgupta, Abhijit (2014), Set Theory: With an Introduction to Real Point Sets, Springer, ISBN 978-1-4614-8853-8.
- Dauben, Joseph (1979), Georg Cantor: His Mathematics and Philosophy of the Infinite, Boston: Harvard University Press, ISBN 0-674-34871-0.
- Dawson, John W., Jr. (1997), Logical Dilemmas: The Life and Work of Kurt Gödel, A. K. Peters, ISBN 1-56881-256-6
{{citation}}
: CS1 maint: multiple names: authors list (link). - Dieudonné, Jean (1992), Mathematics — The Music of Reason, Springer, ISBN 3-540-53346-X.
- Edwards, Harold M. (1989), "Kronecker's Views on the Foundations of Mathematics", in Rowe, David E.; McCleary, John (eds.) (eds.), The History of Modern Mathematics, Volume 1, Academic Press, pp. 67–77, ISBN 0-12-599662-4
{{citation}}
:|editor-first2=
has generic name (help). - Edwards, Harold M. (2005), Essays in Constructive Mathematics, Springer, ISBN 0-387-21978-1.
- Ewald, William B. (ed.) (1996), From Immanuel Kant to David Hilbert: A Source Book in the Foundations of Mathematics, Volume 2, Oxford University Press, ISBN 0-19-850536-1
{{citation}}
:|first=
has generic name (help). - Ferreirós, José (1993), "On the relations between Georg Cantor and Richard Dedekind", Historia Mathematica, 20: 343–363, doi:10.1006/hmat.1993.1030.
- Ferreirós, José (2007), Labyrinth of Thought: A History of Set Theory and Its Role in Mathematical Thought (2nd revised ed.), Basel, Switzerland: Birkhäuser, ISBN 3-7643-8349-6.
- Fraenkel, Abraham (1930), "Georg Cantor", Jahresbericht der Deutschen Mathematiker-Vereinigung, 39: 189–266.
- Gray, Robert (1994), "Georg Cantor and Transcendental Numbers" (PDF), American Mathematical Monthly, 101: 819–832, doi:10.2307/2975129.
- Grattan-Guinness, Ivor (1971), "The Correspondence between Georg Cantor and Philip Jourdain", Jahresbericht der Deutschen Mathematiker-Vereinigung, 73: 111–130.
- Jarvis, Frazer (2014), Algebraic Number Theory, Springer, ISBN 978-3-319-07544-0.
- Hardy, Godfrey; Wright, E. M. (1938), An Introduction to the Theory of Numbers, Clarendon Press, ISBN 978-0-19-921985-8.
- Hawkins, Thomas (1970), Lebesgue's Theory of Integration, University of Wisconsin Press, ISBN 0-299-05550-7.
- Kaplansky, Irving (1977), Set Theory and Metric Spaces (2nd ed.), New York: Chelsea, ISBN 0-8284-0298-1.
- LeVeque, William J. (1956), Topics in Number Theory, Volume I, Addison-Welsey, ISBN 978-0-486-42539-9. (Reprinted by Dover Publications, 2002.)
- Noether, Emmy; Cavaillès, Jean (eds.) (1937), Briefwechsel Cantor-Dedekind, Paris: Hermann
{{citation}}
:|first2=
has generic name (help). - Perron, Oskar (1921), Irrationalzahlen, Berlin: de Gruyter.
- Sheppard, Barnaby (2014), The Logic of Infinity, Cambridge University Press, ISBN 978-1-107-67866-8.
- Spivak, Michael (1967), Calculus (PDF), W. A. Benjamin, ISBN 978-0914098911.
- Stewart, Ian (1987), The Problems of Mathematics, Oxford University Press, ISBN 0-19-286148-4.
- Stewart, Ian (2015), Galois Theory (4th ed.), CRC Press, ISBN 978-1-4822-4582-0.
- Stewart, Ian; Tall, David (2015), The Foundations of Mathematics (2nd ed.), Oxford University Press, ISBN 978-0-19-870644-1.
- Weisstein, Eric W., ed. (2003), "Continued Fraction", CRC Concise Encyclopedia of Mathematics, Chapman & Hall/CRC, ISBN 1-58488-347-2.
Category:History of mathematics Category:Set theory Category:Real analysis Category:Georg Cantor