Teorema de Lindemann–Weierstrass

Teorema de Lindemann–Weierstrass

El teorema de Lindemann–Weierstrass es un resultado muy útil para establecer la trascendencia de un número. Afirma que si α1, α2, ...,αn son números algebraicos linealmente independientes sobre el cuerpo de los números racionales \Bbb{Q}, entonces e^{\alpha_1}, e^{\alpha_2} \ldots, e^{\alpha_n} son algebraicamente independientes sobre \Bbb{Q}; es decir, el grado de trascendencia de la extensión del cuerpo \mathbb{Q}(e^{\alpha_1}, \ldots,e^{\alpha_n}) sobre \Bbb{Q} es n.

Lindemann demostró en 1882 que eα es trascendente para todo α algebraico no nulo, y de este modo estableció que π es transcendente. Weierstrass demostró la forma más general de este teorema en 1885.

El teorema anterior junto con el Teorema de Gelfond-Schneider, está generalizado por conjetura de Schanuel.

Contenido

Trascendencia de e y π

La trascendencia de e y π se obtienen como corolarios de este teorema.

Supongamos que α es un número algebraico no nulo; entonces {α} es un conjunto linealmente independiente sobre los racionales y por lo tanto {eα} es un conjunto algebraicamente independiente; en otras palabras, eα es trascendente. En particular, e1 = e es trascendente.

Probemos ahora que π es trascendente. Si π fuese algebraico, 2πi también lo sería (porque 2i es algebraico), y por tanto, según el teorema de Lindemann-Weierstrass ei = 1 es trascendente. Pero sabemos que 1 es racional y por tanto π es necesariamente trascendente.

Véase también

  • Demostración de que e es irracional

Enlaces externos

Referencias

  1. Alan Baker, Transcendental Number Theory, Cambridge University Press, 1975, ISBN 0-521-39791-X. Chapter 1, Theorem 1.4.
  2. F. Lindemann, Über die Zahl π, Mathematische Annalen, vol. 20 (1882), pp. 213-225.

Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • Teorema de Gelfond-Schneider — En matemática, el teorema de Gelfond Schneider es un resultado que establece la trascendencia de una gran clase de números. Fue probado originalmente por Alexander Gelfond en 1934 y de nuevo de forma independiente por Theodor Schneider, en 1935.… …   Wikipedia Español

  • Lindemann — El apelllido Lindemann puede referirse a: Carl Louis Ferdinand von Lindemann (1852 1939): matemático alemán. Ernst Lindemann (1894 1941): capitán de navío alemán, comandante del acorazado Bismarck. Werner Lindemann (1926 1993): poeta y escritor… …   Wikipedia Español

  • Número e — e} es el único número a, tal que la derivada de la función exponencial f(x) = ax (curva azul) en el punto x = 0 es igual a 1. En comparación, las funciones 2x (curva a puntos) y 4x (curva a trazos) son mostradas; no son tangentes a la… …   Wikipedia Español

  • Independencia algebraica — En el álgebra abstracta, un subconjunto S de un campo L es algebraicamente independiente sobre un subcuerpo K si los elementos de S no satisfacen ninguna ecuación polinómica no trivial con coeficientes en K. Esto significa que para toda secuencia …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”