Número trascendente

Un número trascendente, también llamado  número trascendental, es un número que no es raíz de ninguna ecuación algebraica  con coeficientes enteros no todos nulos.
Un número real trascendente no es un número algebraico, pues  no es solución de ninguna ecuación algebraica con coeficientes racionales. Tampoco es número racional, ya que estos resuelven ecuaciones algebraicas de primer grado; al ser real y no ser racional, necesariamente es un número irracional. En este sentido, número trascendente es antónimo de número algebraico. La definición no proviene de una simple relación algebraica, sino que se define como una propiedad fundamental de las matemáticas. Los números trascendentes más conocidos son π y e.

En general, si tenemos dos cuerpos  y  de forma que el segundo es extensión del primero, diremos que  es trascendente sobre  si no existe ningún polinomio  del que  es raíz ().

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 trascendentes es también no numerable. O tiene la potencia del continuo.

Sin embargo, existen muy pocos números trascendentes conocidos, y demostrar que un número es trascendente puede ser extremadamente difícil. Por ejemplo, todavía no se sabe si la constante de Euler () lo es, siendo
  cuando .
De hecho, ni siquiera se sabe si  es racional o irracional.
 Los logaritmos naturales de reales positivos, salvo potencias del número  son números trascendentes; de la misma manera los valores de funciones trigonométricas, excepto en algunos casos; hay forma de dar un número trascendente a través de fracciones continuadas, como el caso  del número de Arquímedes o π. La dificultad estriba en probar si el número propuesto es o no trascendente.

La propiedad de normalidad de un número puede contribuir a demostrar si es trascendente o no.

Historia 

La denominación «trascendental» la acuñó Leibniz cuando en un artículo de 1682 demostró que la función  no es una función algebraica de . Posteriormente, Euler definió los números trascendentes en el sentido moderno. La existencia de los números trascendentes fue finalmente probada en 1844 por Joseph Liouville, quien en 1851 mostró algunos ejemplos entre los que estaba 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 solo 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 (véase Número construible) 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.

Ejemplos 

A continuación figura una lista de los números trascendentes más comunes:
 e
 π
  o, de forma más general,  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  es trascendental cuando  es algebraico y b es irracional, queda demostrado parcialmente como cierto según el teorema de Gelfond-Schneider.
  si a es positivo, racional y diferente de 1. Véase logaritmo natural
  y  (véase función Gamma).
 número de Champernowne: C10 = 0.123456789101112131415161718192021...
 , constante de Chaitin.
 
donde  es la función piso.
  la constante de Liouville.

Véase también 
 Teoría de números trascendentes

Referencias

Enlaces externos 
 
 Prueba de que  es trascendente 
 Prueba de que  es trascendente (PDF) 
 Prueba de que  es transcendente (PDF) 

 
Ciencia y tecnología de Francia del siglo XIX
Ciencia de 1844
Francia en 1844