The Existence of Transcendental Numbers
There exists at least one number for which it is impossible to find any algebraic equation that this number satisfies (i.e. you plug the number into the equation wherever X occurs and the equation equals zero). Stated another way: There exists at least one number which does not satisfy any equations of the form called an algebraic equation:
where are integers, not all zero. Numbers that do not satisfy any equation of this form are called transcendental numbers.
"It is not immediately obvious that there are any transcendental numbers, though actually, as we shall see in a moment, almost all real numbers are transcendental" (Hardy and Wright, p. 160)
Hardy and Wright (p. 160) offer theorems to show that:
- The aggregate of algebraic numbers is enumerable.
- Almost all real numbers are transcendental.
- A real algebraic number of degree n is not approximable to any order greater than n (Liouville's theorem)
This last theorem "enables us to produce as many examples of transcendental numbers as we please" (Hardy and Wright p. 161).
Hardy and Wright go on to prove that pi and the "exponential" e are transcendental. Hermite offered the first proof that e is transcendental (cf Notes in Hardy and Wright p. 177).
In a footnote p. 190 Hardy and Wright discuss the diagonal method of Cantor that demonstrates the existence of transcendental numbers.
Read more about this topic: Proof Of Impossibility
Famous quotes containing the words existence and/or numbers:
“Beside all the small reasons we assign, there is a great reason for the existence of every extant fact; a reason which lies grand and immovable, often unsuspected behind it in silence.”
—Ralph Waldo Emerson (1803–1882)
“The principle of majority rule is the mildest form in which the force of numbers can be exercised. It is a pacific substitute for civil war in which the opposing armies are counted and the victory is awarded to the larger before any blood is shed. Except in the sacred tests of democracy and in the incantations of the orators, we hardly take the trouble to pretend that the rule of the majority is not at bottom a rule of force.”
—Walter Lippmann (1889–1974)