Número trascendente

Un número trascendente, también número trascendental[cita requerida], es un número real[1] que no es raíz de ninguna ecuación algebraica[2] con coeficientes enteros no todos nulos.[3][4] 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.[5] 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.[3] Los números trascendentes más conocidos son π y e.

En general, si tenemos dos cuerpos \scriptstyle (K,+,\cdot) y \scriptstyle (L,+,\cdot) de forma que el segundo es extensión del primero, diremos que \scriptstyle \alpha \in L es trascendente sobre \scriptstyle K si no existe ningún polinomio \scriptstyle p \in K[x] del que \scriptstyle \alpha\, es raíz (\scriptstyle p(\alpha)=0\,).[6]

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.[7]. 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 (\scriptstyle \gamma\,) lo es, siendo

\textstyle \gamma\, = \textstyle 1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4}\cdots + \frac{1}{n} - \ln(n), cuando \textstyle n \to +\infty \,\!.

De hecho, ni siquiera se sabe si \scriptstyle \gamma es racional o irracional.

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 \textstyle \sin (x) no es una función algebraica de \textstyle x,[9][10]posteriormente Euler definió los números trascendentes en el sentido moderno.[11] La existencia de los números trascendentes fue finalmente probada en 1844 por Joseph Liouville,[12] en 1851 mostró algunos ejemplos entre los que estaba la «constante de Liouville»:

{\sum_{k=1}^\infty} 10^{-k!}=0,110001000000000000000001000\ldots

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 (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

Una lista de los números trascendentes más comunes:

donde \beta\mapsto\lfloor \beta \rfloor es la función parte entera. Por ejemplo, si β = 2 el número resultante es 0,1010001000000010000000000000001000...

Véase también

Clasificación de números
Complejos
ℂ
Reales
ℝ
Racionales
ℚ
Enteros
ℤ
Naturales
ℕ
1: uno
Naturales primos
Naturales compuestos
0: Cero
Enteros negativos
Fraccionarios
Fracción propia
Fracción impropia
Irracionales
Irracionales algebraicos
Trascendentes
Imaginarios

Referencias

  1. ↑ Kurosh. Álgebra superior
  2. ↑ Birkhoff-Mc Lane. Álgebra moderna, editorial Teide España
  3. 1 2 Weisstein, Eric W. «Número trascendente». En Weisstein, Eric W. MathWorld (en inglés). Wolfram Research. Consultado el 18 de diciembre de 2013.
  4. ↑ Los polinomios pueden tener cero, en reales no todos tienen cero; las ecuaciones tienen raíz en C
  5. ↑ Tsipkin. Manual de matemáticas para la enseñanza media
  6. ↑ J.B. Fraleigh: Primer Curso de Álgebra abstracta, 7ª Ed. (2003), Capítulo 29.
  7. ↑ Tsipkin (1985). Manual de matemáticas. traducción de Shapovalova. Moscú: Editorial Mir. p. 86. ISBN 9785030008790.
  8. ↑ Beskin: Funciones maravillosas
  9. ↑ Leibniz, Gottfried Wilhelm; Gerhardt, Karl Immanuel; Pertz, Georg Heinrich (1858). Leibnizens mathematische Schriften 5. Extracto en: . A. Asher & Co. pp. 97–98.
  10. ↑ Bourbaki, Nicolás (1994). Elements of the History of Mathematics. Springer. p. 74.
  11. ↑ Erdős, Paul; Dudley, Underwood (diciembre de 1943). «Some Remarks and Problems in Number Theory Related to the Work of Euler». Mathematics Magazine 76 (5): 292–299. doi:10.2307/2690369. JSTOR 2690369.
  12. ↑ Kempner, Aubrey J. (octubre de 1916). «On Transcendental Numbers». Transactions of the American Mathematical Society (American Mathematical Society) 17 (4): 476–482. doi:10.2307/1988833. JSTOR 1988833.

Enlaces externos

This article is issued from Wikipedia - version of the Thursday, January 14, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.