PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Low Entry average rating: No information on entry rating
[parent] proof of the existence of transcendental numbers (Proof)

Cantor discovered this proof.

Lemma:

Consider a natural number $ k$. Then the number of algebraic numbers of height $ k$ is finite.

Proof:

To see this, note the sum in the definition of height is positive. Therefore:

$ n \leq k $

where $ n$ is the degree of the polynomial. For a polynomial of degree $ n$, there are only $ n$ coefficients, and the sum of their moduli is $ (k-n)$, and there is only a finite number of ways of doing this (the number of ways is the number of algebraic numbers). For every polynomial with degree less than $ n$, there are less ways. So the sum of all of these is also finite, and this is the number of algebraic numbers with height $ k$ (with some repetitions). The result follows.

Proof of the main theorem:

You can start writing a list of the algebraic numbers because you can put all the ones with height 1, then with height 2, etc, and write them in numerical order within those sets because they are finite sets. This implies that the set of algebraic numbers is countable. However, by diagonalisation, the set of real numbers is uncountable. So there are more real numbers than algebraic numbers; the result follows.



"proof of the existence of transcendental numbers" is owned by kidburla2003.
(view preamble)

View style:

See Also: algebraic numbers are countable


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: uncountable, real numbers, diagonalisation, countable, implies, finite sets, order, coefficients, polynomial, degree, positive, sum, finite, height, algebraic numbers, number, natural number
There are 3 references to this entry.

This is version 5 of proof of the existence of transcendental numbers, born on 2003-01-31, modified 2003-02-02.
Object id is 3955, canonical name is ProofOfTheExistenceOfTranscendentalNumbers.
Accessed 4577 times total.

Classification:
AMS MSC03E10 (Mathematical logic and foundations :: Set theory :: Ordinal and cardinal numbers)

Pending Errata and Addenda
None.
[ View all 3 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)