Número trascendente
De Wikipedia, la enciclopedia libre
Tipo de número irracional que no proviene de una simple relación algebraica sino que se define como una propiedad fundamental de las matemáticas. Un número es trascendente (o trascendental) si no es raíz de ningún polinomio (no nulo) con coeficientes enteros (o racionales). En este sentido, número trascendente es antónimo de número algebraico.
En general, si tenemos dos cuerpos 
y 
de forma que el segundo es extensión del primero, diremos que 
es trascendente sobre K si no existe ningún polinomio ![p \in K[x]](http://upload.wikimedia.org/math/3/6/a/36a6013b43f19ae5b9eaea971cbaee30.png)
del que α es raíz (p(α) = 0).
El conjunto de números algebraicos es numerable, mientras el conjunto de números reales es no numerable; por lo tanto, el conjunto de números transcendentes es también no numerable, de lo que se deduce que hay muchos más números transcendentes que algebraicos. Sin embargo, existen muy pocos números transcendentes conocidos, y demostrar que un número es transcendente puede ser extremadamente difícil. Por ejemplo, todavía no se sabe si la constante de Euler Γ lo es, siendo Γ = 
, cuando 
. La propiedad de la normalidad de un número puede contribuir a demostrar si es trascendente o no.
Contenido |
[editar] Historia
La existencia de los números trascendentes fue probada en 1844 por Joseph Liouville, quien mostró ejemplos, entre ellos la Constante de Liouville:
donde el enésimo dígito después de la coma decimal es 1 si n es un factorial (es decir, 1, 2, 6, 24, 120, 720, etc.) y 0 en cualquier otro caso. El primer número del que se demostró que era trascendente sin haber sido específicamente construido para ello fue e, por Charles Hermite en 1873. En 1882, Carl Louis Ferdinand von Lindemann publicó una demostración de que π es trascendente. En 1874, Georg Cantor encontró el argumento descrito anteriormente estableciendo la ubicuidad de los números trascendentes.
El descubrimiento de estos números ha permitido la demostración de la imposibilidad de resolver varios antiguos problemas de geometría que sólo permiten utilizar regla y compás. El más conocido de ellos es el de la cuadratura del círculo, y su imposibilidad radica en que π es trascendente. No ocurre lo mismo con los otros dos "problemas griegos" más famosos, la duplicación del cubo y la trisección del ángulo, que se deben a la imposibilidad de construir con regla y compás números derivados de polinomios de grado superior a dos: es significativo que estos otros dos problemas puedan resolverse con modificaciones relativamente simples del método (permitiendo marcar la regla, acción que la geometría euclídea no toleraba) o con métodos similares a la regla y compás, como el origami, en tanto que la cuadratura del círculo, al depender de la trascendencia de π, tampoco es resoluble con esos métodos.
[editar] Ejemplos
Aquí está una lista de los números transcendentes más comunes:
- e
- π
o, de forma más general, ab donde 
es algebraico y b es algebraico pero irracional. El caso general del séptimo problema de Hilbert, es decir, la determinación de si ab es trascendental cuando es algebraico y b es irracional, queda demostrado parcialmente como cierto según el Teorema de Gelfond-Schneider.
- ln(a) si a es positivo, racional y diferente de 1. Veasé Logaritmo natural
y 
(véase función Gamma).- Ω, Constante de Chaitin.
- donde
es la función parte entera. Por ejemplo, si β = 2 el número resultante es 0,1010001000000010000000000000001000...
