Logic and Language
Load the menuLoad the menu


Copyright   James R Meyer    2012 - 2024 https://www.jamesrmeyer.com

See also Cantor’s First ‘Non-Denumerable’ Proof (1874).

Cantor’s 1874 Proof of Non­Denumerability
“On a property of the set of all real algebraic numbers”
• English Translation •

This is an English translation of Cantor’s 1874 Proof of the Non-Denumerability of the real numbers. The original German text can be seen at PDF Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen.

 

It was published in the Journal für die Reine und Angewandte Mathematik, commonly known as Crelle’s Journal; Vol 77 (1874), pages 258-262.

 

English translation by James R Meyer, copyright 2022 www.jamesrmeyer.com

 

There is also a PDF version of this translation available: PDF Cantor’s 1874 Proof of Non-Denumerability.

On a Property of the Set of all Real Algebraic Numbers

by Georg Cantor, 1874

 

By a real algebraic number one understands a real number ω which satisfies a non-constant equation of the form:

 

(1)   a0ωn + a1ωn -1 + … + an = 0

 

where n, a0 , a1 , … an are integers: here the numbers n and a0 are positive, and the coefficients a0 , a1 , … an do not have any common factors, and the equation (1) is irreducible; with these stipulations it is the case, in accordance with known principles of arithmetic and algebra, equation (1), which is satisfied by a real algebraic number, is fully determinate; conversely, if n is the degree of an equation of the form (1), then the equation is satisfied by at no more than n real algebraic numbers ω. The real algebraic numbers constitute in their entirety a set of numbers (ω); it is clear that (ω) has the property that in every vicinity of any given number α there are infinitely many numbers of (ω) that lie within it. So it is likely that at first glance that it appears that one should be able to correlate the set (ω) one-to-one with the set (ν) of all positive integers ν in such a way that to every algebraic number w there corresponds a definite positive integer, and, conversely, to every positive integer v there corresponds an entirely definite real algebraic number ω. In other words, the set (ω) can be thought of in the form of an infinite ordered sequence

 

(2)   ω1ω2, … ων, …

 

in which all the individual real numbers of (ω) occur, and each such number occurs in (2) at a definitive position, which is given by the subscripts. Given that one has a definition by which such a correlation is defined, it can be modified at will; so in §1 I shall describe a correlation which seems to me the least complicated. In order to give an application of this property of the set of all real algebraic numbers I show in §2 that, given any arbitrarily chosen sequence of real numbers of the form (2), then in any given interval (α … β), I can define that there are numbers η which are not contained in (2); if one combines the results of these last two paragraphs, then one has a new proof of the theorem, first proved by Liouville, that in any given interval (α … β) there are infinitely many transcendental (i.e: not algebraic) real numbers. Further, the theorem in §2 turns out to be the reason why sets of real numbers which form a so-called continuum (concerning all real numbers which are ≥0 and ≤1) cannot be correlated one-to-one onto the set (ν); I have uncovered the essential difference between a so-called continuum and a set such as the set of all real algebraic numbers.

 

§1.

 

Let us return to equation (1), which is satisfied by an algebraic number ω and which, under the given conditions, is fully determined. Then the sum of the absolute values of its coefficients, plus the number n - 1 (where n is the degree of ω) shall be called the height of the number ω. Let it be designated by N. That is, in the usual notation:

 

(3)   N = - 1 + |a0| + |a1| + … + |an|

 

The height N is thus for every real algebraic number ω a definite positive integer; conversely, for any given positive integral value of N there are only finitely many algebraic real numbers with the height N; if we call this number be Φ(N ), then, for example, Φ(1) = 1; Φ(2) = 2; Φ(3) = 4, and so on. The numbers of the set (ω), that is, the set of all algebraic real numbers, can then be set in order in the following way: take for the first number ω1 the single number with the height N = 1; for Φ(2), there are 2 algebraic real numbers with the height N = 2, so they are ordered according to their size, and we designate them by ω2, ω3 ; next, for Φ(3), there are 4 numbers with height = 3, which are set in order according to size; in general, after all the numbers in (ω) up to a certain height N1 have been enumerated and assigned to a definite position, the real algebraic numbers with the height N+ 1 follow them according to size; thus one obtains the set (ω) of all real algebraic numbers in the form:

 

ω1ω2, … ων, …

 

One can, with respect to this ordering, refer to the νth real algebraic number; not a single member of the set has been omitted.

 

§2.

 

Given any definition of an infinite sequence of mutually distinct real numbers,

 

(4)   ω1ω2, … ων, …

 

then in any given interval (α … β) there is a number η (and consequently infinitely many such numbers) where it can be shown that it does not occur in the series (4); this shall now be proved.

 

We go to the end of the interval (α … β), which has been chosen arbitrarily and in which α < β; the first two numbers of our sequence (4) which lie in the interior of this interval (with the exception of the boundaries), can be designated by α′, β′ , letting α′ < β′; similarly let us designate the first two numbers of our sequence which lie in the interior of (α′ … β′) by α″, β″ and let α″ < β″; and in the same way we determine the next interval (α‴ … β‴ ) and so on. It follows that α′, α″, … are by definition determinate numbers of our sequence (4), whose indices are continually increasing; the same applies for the sequence β′, β″, … ; furthermore, the numbers α′, α″, … are always increasing in size, while the numbers β′, β″, … are always decreasing in size. Of the intervals (α′ … β′), (α″ … β″), (α‴ … β‴ ), … each encloses all of those following.

 

There are two conceivable cases:

Either the number of intervals formed is finite; in which case, let the last such interval be (α(ν) … β(ν)). Since in its interior there can be at most one number of the sequence (4), a number ν can be chosen from this interval which is not contained in (4), thereby proving the theorem for this case.

 

Or the number of intervals formed is infinite. Then the numbers α, α′, α″, … because they are always increasing in size without growing infinitely large, have a determinate limiting value α; the same holds for the numbers β, β′, β″, … because they are always decreasing in size, have a limiting value be β ∞; also α = β ∞ (such a case always occurs with the set (ω) of all real algebraic numbers), so one is readily satisfied, by looking back at the definition of the intervals, that the number η = α = β ∞ cannot be contained in our sequence; (Footnote: If the number η were contained in our sequence, then one would have η  = ωp , where p is a specific index. But this is not possible, for ωp does not lie in the interior of the interval (α(p) … β(p)), while by definition the number η does lie in the interior of the interval.) but if  α < β ∞ then every number η in the interior of the interval (α … β ∞) or at its endpoints satisfies the requirement that it not be contained in the sequence (4).

 

The theorems proved in this article admit of extensions in various directions, only one of which will be mentioned here:

“If ω1, ω2, … ωn, … is a finite or infinite sequence of numbers which are linearly independent of each another (so that no equation of the form a1ω1 + a2ω2 + … + anωn = 0 is possible with integral coefficients which do not all vanish) and if one imagines the set (Ω) of all those numbers Ω which can be represented as rational functions with integral coefficients of the given numbers ω, then in every interval (α … β) there are infinitely many numbers which are not contained in (Ω).”

In fact one can be satisfied through a method of proof similar to that in §1 that the set (Ω) can be conceived in the sequential form

 

Ω1, Ω2, … Ων, … 

 

from which, in view of §2, the truth of the theorem follows.

 

A quite special case of the theorem cited here (in which the sequence ω1, ω2, … ωn, … is finite and the degree of the rational functions, which yield the set (Ω), is predetermined) has been proved, by recourse to Galoisian principles, by Herr B. Minnigerode (See Math. Annalen, Vol. 4, p. 497).


Footnotes:


Interested in supporting this site?

You can help by sharing the site with others. You can also donate at Go Get Funding: Logic and Language where there are full details.

 

 

As site owner I reserve the right to keep my comments sections as I deem appropriate. I do not use that right to unfairly censor valid criticism. My reasons for deleting or editing comments do not include deleting a comment because it disagrees with what is on my website. Reasons for exclusion include:
Frivolous, irrelevant comments.
Comments devoid of logical basis.
Derogatory comments.
Long-winded comments.
Comments with excessive number of different points.
Questions about matters that do not relate to the page they post on. Such posts are not comments.
Comments with a substantial amount of mathematical terms not properly formatted will not be published unless a file (such as doc, tex, pdf) is simultaneously emailed to me, and where the mathematical terms are correctly formatted.


Reasons for deleting comments of certain users:
Bulk posting of comments in a short space of time, often on several different pages, and which are not simply part of an ongoing discussion. Multiple anonymous user names for one person.
Users, who, when shown their point is wrong, immediately claim that they just wrote it incorrectly and rewrite it again - still erroneously, or else attack something else on my site - erroneously. After the first few instances, further posts are deleted.
Users who make persistent erroneous attacks in a scatter-gun attempt to try to find some error in what I write on this site. After the first few instances, further posts are deleted.


Difficulties in understanding the site content are usually best addressed by contacting me by e-mail.

 

Based on HashOver Comment System by Jacob Barkdull

Copyright   James R Meyer   2012 - 2024
https://www.jamesrmeyer.com