Los número algebraicos son los números reales que son solución de alguna ecuación polinómica cuyos coeficientes son números racionales. A la vista de esta definición es fácil comprender que todos los números racionales son algebraicos, ya que si
Pero no sólo son algebraicos los números racionales. También lo son muchos irracionales. Por ejemplo, el número irracional
Los números trascendentes son los números reales que no son solución de ninguna ecuación polinómica de coeficientes racionales. Por lo que hemos visto antes todos los números trascendentes son irracionales, aunque no todos los irracionales son trascendentes. Como ejemplos más representativos de este conjunto numérico tenemos al número
Viendo que en primera instancia es mucho más sencillo encontrar números algebraicos que números trascendentes uno podría pensar que hay muchos más del primer tipo que del segundo. Nada más lejos de la realidad. El conjunto de los números algebraicos es infinito numerable, es decir, tiene infinitos elementos pero podemos contarlos, mientras que el conjunto de los números trascendentes es infinito no numerable, esto es, también tiene infinitos elementos pero no los podemos contar. Conclusión: hay muchos más números reales trascendentes que algebraicos.
A la vista de este hecho no se entiende demasiado bien que sea tan complicado encontrar números trascendentes, pero la realidad es esa. Demostrar que un cierto número real es trascendente suele ser bastante complicado. El primero que lo consiguió fue Liouville demostrando que el número
es trascendente. Más adelante Hermite demostró que el número
Dada la dificultad que tiene encontrar números trascendentes os dejo una lista con los 15 números trascendentes más famosos. Para algunos no existe demostración, pero se cree con gran firmeza que lo son:
- Constante de Euler-Mascheroni:
(no demostrado)
- Constante de Catalan:
(no demostrado)
- Constante de Liouville:
- Constante de Chaitin:
(que además es no computable)
- Número de Chapernowne:
- Ciertos valores de la función
de Riemann, como
- El número de Hilbert:
(no demostrado)
- El número de Morse-Thue:
- Los números de Feigenbaum (no demostrado):
Teorema: (de Gelfond-Schneider)
Siy
son números complejos algebraicos,
, y
no es racional, entonces
es trascendente.
No hay comentarios:
Publicar un comentario