stringtranslate.com

Número trascendental

En matemáticas , un número trascendental es un número real o complejo que no es algebraico : es decir, no es la raíz de un polinomio distinto de cero con coeficientes enteros (o, equivalentemente, racionales ) . Los números trascendentales más conocidos son π y e . [1] [2] La cualidad de un número de ser trascendental se llama trascendencia .

Aunque sólo se conocen unas pocas clases de números trascendentales, en parte porque puede ser extremadamente difícil demostrar que un número dado es trascendental, los números trascendentales no son raros: de hecho, casi todos los números reales y complejos son trascendentales, ya que los números algebraicos forman un conjunto contable , mientras que el conjunto de números reales y el conjunto de números complejos son ambos conjuntos incontables y, por lo tanto, más grandes que cualquier conjunto contable.

Todos los números reales trascendentales (también conocidos como números reales trascendentales o números irracionales trascendentales ) son números irracionales , ya que todos los números racionales son algebraicos. [3] [4] [5] [6] Lo inverso no es cierto: no todos los números irracionales son trascendentales. Por lo tanto, el conjunto de números reales consta de conjuntos no superpuestos de números reales racionales, algebraicos no racionales y trascendentales. [3] Por ejemplo, la raíz cuadrada de 2 es un número irracional, pero no es un número trascendental ya que es una raíz de la ecuación polinómica x 2 − 2 = 0 . La proporción áurea (denotada o ) es otro número irracional que no es trascendental, ya que es una raíz de la ecuación polinómica x 2x − 1 = 0 .

Historia

El nombre "trascendental" proviene del latín trānscendere  'escalar sobre o más allá, superar', [7] y fue utilizado por primera vez para el concepto matemático en el artículo de Leibniz de 1682 en el que demostró que sen x no es una función algebraica de x . [8] Euler , en el siglo XVIII, fue probablemente la primera persona en definir los números trascendentales en el sentido moderno. [9]

Johann Heinrich Lambert conjeturó que e y π eran ambos números trascendentales en su artículo de 1768 que demostraba que el número π es irracional , y propuso una prueba esquemática tentativa de que π es trascendental. [10]

Joseph Liouville demostró por primera vez la existencia de números trascendentales en 1844, [11] y en 1851 dio los primeros ejemplos decimales como la constante de Liouville.

en el que el n- ésimo dígito después del punto decimal es 1 si n es igual a k ! ( k factorial ) para algún k y 0 en caso contrario. [12] En otras palabras, el n- ésimo dígito de este número es 1 solo si n es uno de los números 1! = 1, 2! = 2, 3! = 6, 4! = 24 , etc. Liouville demostró que este número pertenece a una clase de números trascendentales que pueden aproximarse más estrechamente mediante números racionales que cualquier número algebraico irracional, y esta clase de números se llama números de Liouville , nombrados en su honor. Liouville demostró que todos los números de Liouville son trascendentales. [13]

El primer número que se demostró trascendental sin haber sido construido específicamente con el propósito de probar la existencia de números trascendentales fue e , de Charles Hermite en 1873.

En 1874, Georg Cantor demostró que los números algebraicos son contables y los números reales son incontables. También dio un nuevo método para construir números trascendentales. [14] Aunque esto ya estaba implícito en su prueba de la numerabilidad de los números algebraicos, Cantor también publicó una construcción que demuestra que hay tantos números trascendentales como números reales. [a] El trabajo de Cantor estableció la ubicuidad de los números trascendentales.

En 1882, Ferdinand von Lindemann publicó la primera prueba completa de que π es trascendental. Primero demostró que e a es trascendental si a es un número algebraico distinto de cero. Entonces, como e = −1 es algebraico (ver identidad de Euler ), debe ser trascendental. Pero como i es algebraico, π debe ser trascendental. Este enfoque fue generalizado por Karl Weierstrass a lo que ahora se conoce como el teorema de Lindemann-Weierstrass . La trascendencia de π implica que las construcciones geométricas que involucran solo compás y regla no pueden producir ciertos resultados, por ejemplo, la cuadratura del círculo .

En 1900 David Hilbert planteó una cuestión sobre los números trascendentales, el séptimo problema de Hilbert : si a es un número algebraico que no es cero ni uno, y b es un número algebraico irracional, ¿es a b necesariamente trascendental? La respuesta afirmativa fue proporcionada en 1934 por el teorema de Gelfond-Schneider . Este trabajo fue ampliado por Alan Baker en la década de 1960 en su trabajo sobre límites inferiores para formas lineales en cualquier número de logaritmos (de números algebraicos). [16]

Propiedades

Un número trascendental es un número (posiblemente complejo) que no es la raíz de ningún polinomio entero. Todo número trascendental real debe ser también irracional , ya que un número racional es la raíz de un polinomio entero de grado uno. [17] El conjunto de los números trascendentales es incontablemente infinito . Puesto que los polinomios con coeficientes racionales son contables , y puesto que cada uno de esos polinomios tiene un número finito de ceros , los números algebraicos también deben ser contables. Sin embargo, el argumento diagonal de Cantor demuestra que los números reales (y por tanto también los números complejos ) son incontables. Puesto que los números reales son la unión de los números algebraicos y trascendentales, es imposible que ambos subconjuntos sean contables. Esto hace que los números trascendentales sean incontables.

Ningún número racional es trascendental y todos los números trascendentales reales son irracionales. Los números irracionales contienen todos los números trascendentales reales y un subconjunto de los números algebraicos, incluidos los irracionales cuadráticos y otras formas de irracionales algebraicos.

La aplicación de cualquier función algebraica de una sola variable no constante a un argumento trascendental produce un valor trascendental. Por ejemplo, al saber que π es trascendental, se puede deducir inmediatamente que números como , , y también son trascendentales.

Sin embargo, una función algebraica de varias variables puede producir un número algebraico cuando se aplica a números trascendentales si estos números no son algebraicamente independientes . Por ejemplo, π y (1 − π ) son ambos trascendentales, pero π + (1 − π ) = 1 obviamente no lo es. Se desconoce si e + π , por ejemplo, es trascendental, aunque al menos uno de e + π y debe ser trascendental. De manera más general, para dos números trascendentales cualesquiera a y b , al menos uno de a + b y ab debe ser trascendental. Para ver esto, considere el polinomio ( xa )( xb ) = x 2 − ( a + b ) x + ab  . Si ( a + b ) y ab fueran ambos algebraicos, entonces este sería un polinomio con coeficientes algebraicos. Como los números algebraicos forman un cuerpo algebraicamente cerrado , esto implicaría que las raíces del polinomio, a y b , deben ser algebraicas. Pero esto es una contradicción y, por lo tanto, debe darse el caso de que al menos uno de los coeficientes sea trascendental.

Los números no computables son un subconjunto estricto de los números trascendentales.

Todos los números de Liouville son trascendentes, pero no viceversa. Cualquier número de Liouville debe tener cocientes parciales ilimitados en su desarrollo fraccionario continuo . Mediante un argumento de conteo se puede demostrar que existen números trascendentales que tienen cocientes parciales acotados y, por lo tanto, no son números de Liouville.

Utilizando la expansión explícita de e en fracciones continuas , se puede demostrar que e no es un número de Liouville (aunque los cocientes parciales en su expansión en fracciones continuas no están acotados). Kurt Mahler demostró en 1953 que π tampoco es un número de Liouville. Se conjetura que todas las fracciones continuas infinitas con términos acotados, que tienen una estructura "simple" y que no son eventualmente periódicas son trascendentales [18] (en otras palabras, las raíces irracionales algebraicas de al menos polinomios de tercer grado no tienen un patrón aparente en sus expansiones en fracciones continuas, ya que las fracciones continuas eventualmente periódicas corresponden a irracionales cuadráticos, véase el problema de Hermite ).

Números que demostraron ser trascendentales

Números que demostraron ser trascendentales:

Números trascendentales conjeturados

Números que aún no se ha demostrado que sean trascendentales o algebraicos:

Conjeturas relacionadas:

Pruebas para números específicos

Una prueba de quemies trascendental

La primera demostración de que la base de los logaritmos naturales, e , es trascendental data de 1873. A continuación seguiremos la estrategia de David Hilbert (1862–1943) quien dio una simplificación de la demostración original de Charles Hermite . La idea es la siguiente:

Supongamos, con el fin de encontrar una contradicción , que e es algebraica. Entonces existe un conjunto finito de coeficientes enteros c 0 , c 1 , ..., c n que satisfacen la ecuación: Es difícil hacer uso del estado entero de estos coeficientes cuando se multiplican por una potencia del irracional e , pero podemos absorber esas potencias en una integral que “en su mayoría” asumirá valores enteros. Para un entero positivo k , definamos el polinomio y multipliquemos ambos lados de la ecuación anterior por para llegar a la ecuación:

Al dividir los respectivos dominios de integración, esta ecuación se puede escribir en la forma donde Aquí P resultará ser un número entero, pero lo más importante es que crece rápidamente con k .

Lema 1

Hay k arbitrariamente grandes tales que son un entero distinto de cero.

Demostración. Recordemos la integral estándar (caso de la función Gamma ) válida para cualquier número natural . De manera más general,

si entonces .

Esto nos permitiría calcular con exactitud, porque cualquier término de puede reescribirse como mediante un cambio de variables . Por lo tanto, esa última suma es un polinomio en con coeficientes enteros, es decir, es una combinación lineal de potencias con coeficientes enteros. Por lo tanto, el número es una combinación lineal (con esos mismos coeficientes enteros) de factoriales ; en particular es un entero.

Los factoriales más pequeños dividen a los factoriales más grandes, por lo que el más pequeño que aparece en esa combinación lineal también dividirá a la totalidad de . Obtenemos eso del término de menor potencia que aparece con un coeficiente distinto de cero en , pero este exponente más pequeño también es la multiplicidad de como raíz de este polinomio. se elige para que tenga multiplicidad de la raíz y multiplicidad de las raíces para , de modo que el exponente más pequeño es para y para con . Por lo tanto, divide a .

Para establecer la última afirmación del lema, que es distinto de cero, es suficiente probar que no divide a . Para ello, sea cualquier primo mayor que y . Sabemos por lo anterior que divide a cada uno de para , por lo que, en particular, todos ellos son divisibles por . Todo se reduce al primer término . Tenemos (ver factoriales decrecientes y crecientes ) y todos esos términos de grado superior dan lugar a factoriales o mayores. Por lo tanto, Ese lado derecho es un producto de factores enteros distintos de cero menores que el primo , por lo tanto, ese producto no es divisible por , y lo mismo se aplica a ; en particular, no puede ser cero.

Lema 2

Para k suficientemente grande , .

Prueba. Nótese que

donde u ( x ), v ( x ) son funciones continuas de x para todo x , por lo que están acotadas en el intervalo [0, n ] . Es decir, existen constantes G , H > 0 tales que

Por lo tanto, cada una de esas integrales que componen Q está acotada, siendo el peor caso

Ahora también es posible acotar la suma Q :

donde M es una constante que no depende de k . De ello se deduce que

terminando la prueba de este lema.

Conclusión

La elección de un valor de k que satisfaga ambos lemas conduce a que un entero distinto de cero sumado a una cantidad infinitamente pequeña sea igual a cero: una imposibilidad. De ello se deduce que la suposición original, de que e puede satisfacer una ecuación polinómica con coeficientes enteros, también es imposible; es decir, e es trascendental.

La trascendencia deπ

Se puede utilizar una estrategia similar, diferente del enfoque original de Lindemann , para demostrar que el número π es trascendental. Además de la función gamma y algunas estimaciones como en la prueba para e , los hechos sobre polinomios simétricos desempeñan un papel vital en la prueba.

Para obtener información detallada sobre las pruebas de la trascendencia de π y e , consulte las referencias y los enlaces externos.

Véase también

Notas

  1. ^ La construcción de Cantor establece una correspondencia biunívoca entre el conjunto de los números trascendentales y el conjunto de los números reales. En este artículo, Cantor sólo aplica su construcción al conjunto de los números irracionales. [15]

Referencias

  1. ^ Pickover, Cliff. "Los 15 números trascendentales más famosos". sprott.physics.wisc.edu . Consultado el 23 de enero de 2020 .
  2. ^ Shidlovskii, Andrei B. (junio de 2011). Números trascendentales . Walter de Gruyter. pág. 1. ISBN 9783110889055.
  3. ^ ab Bunday, BD; Mulholland, H. (20 de mayo de 2014). Matemáticas puras para nivel avanzado. Butterworth-Heinemann. ISBN 978-1-4831-0613-7. Recuperado el 21 de marzo de 2021 .
  4. ^ Baker, A. (1964). "Sobre la clasificación de Mahler de los números trascendentales". Acta Mathematica . 111 : 97–120. doi : 10.1007/bf02391010 . S2CID  122023355.
  5. ^ Heuer, Nicolaus; Loeh, Clara (1 de noviembre de 2019). "Volúmenes simpliciales trascendentales". arXiv : 1911.06386 [math.GT].
  6. ^ "Número real". Encyclopædia Britannica . matemáticas . Consultado el 11 de agosto de 2020 .
  7. ^ "trascendental". Diccionario Oxford de inglés . es
  8. ^ Leibniz, Gerhardt y Pertz 1858, págs. 97–98; Bourbaki 1994, pág. 74
  9. ^ Erdös y Dudley 1983
  10. ^ Lamberto 1768
  11. ^ por Kempner 1916
  12. ^ "Weisstein, Eric W. "La constante de Liouville", MathWorld".
  13. ^ Liouville 1851
  14. ^ Cantor 1874; Gris 1994
  15. ^ Cantor 1878, pág. 254
  16. ^ Baker, Alan (1998). JJ O'Connor y EF Robertson. www-history.mcs.st-andrews.ac.uk (biografías). Archivo de Historia de las Matemáticas de MacTutor. St. Andrew's, Escocia : Universidad de St. Andrew's .
  17. ^ Hardy 1979
  18. ^ Adamczewski y Bugeaud 2005
  19. ^ ab Nesterenko, Yu V (31 de octubre de 1996). "Funciones modulares y cuestiones de trascendencia". Sbornik: Matemáticas . 187 (9): 1319–1348. doi :10.1070/SM1996v187n09ABEH000158. ISSN  1064-5616.
  20. ^ Weisstein, Eric W. "Número trascendental". mathworld.wolfram.com . Consultado el 9 de agosto de 2023 .
  21. ^ Weisstein, Eric W. "Número Dottie". Wolfram MathWorld . Wolfram Research, Inc . Consultado el 23 de julio de 2016 .
  22. ^ Mező, István; Baricz, Árpád (22 de junio de 2015). "Sobre la generalización de la función de Lambert W". arXiv : 1408.3999 [matemáticas.CA].
  23. ^ Chudnovsky, G. (1984). Contribuciones a la teoría de los números trascendentales . Encuestas y monografías matemáticas (en inglés y ruso). Providence, RI: American Mathematical Society. ISBN 978-0-8218-1500-7.
  24. ^ ab Waldschmidt, Michel (7 de septiembre de 2005). "La trascendencia de los períodos: el estado de la cuestión" (PDF) . webusers.imj-prg.fr .
  25. ^ Siegel, Carl L. (2014). "Über einige Anwendungen diophantischer Approximationen: Abhandlungen der Preußischen Akademie der Wissenschaften. Physikalisch-mathematische Klasse 1929, Nr. 1". Sobre algunas aplicaciones de aproximaciones diofánticas (en alemán). Escuela Normal Superior. págs. 81-138. doi :10.1007/978-88-7642-520-2_2. ISBN 978-88-7642-520-2.
  26. ^ Lorch, Lee; Muldoon, Martin E. (1995). "Trascendentalidad de ceros de derivadas superiores de funciones que involucran funciones de Bessel". Revista Internacional de Matemáticas y Ciencias Matemáticas . 18 (3): 551–560. doi : 10.1155/S0161171295000706 .
  27. ^ Mahler, Kurt; Mordell, Louis Joel (4 de junio de 1968). "Aplicaciones de un teorema de AB Shidlovski". Actas de la Royal Society de Londres. Serie A. Ciencias matemáticas y físicas . 305 (1481): 149–173. Bibcode :1968RSPSA.305..149M. doi :10.1098/rspa.1968.0111. S2CID  123486171.
  28. ^ Lagarias, Jeffrey C. (19 de julio de 2013). "La constante de Euler: el trabajo de Euler y los desarrollos modernos". Boletín de la Sociedad Matemática Americana . 50 (4): 527–628. arXiv : 1303.1856 . doi : 10.1090/S0273-0979-2013-01423-X . ISSN  0273-0979.
  29. ^ Yoshinaga, Masahiko (3 de mayo de 2008). "Períodos y números reales elementales". arXiv : 0805.0349 [math.AG].
  30. ^ Bugeaud 2012, pág. 113.
  31. ^ Pytheas Fogg 2002
  32. ^ Mahler 1929; Allouche y Shallit 2003, pág. 387
  33. ^ Weisstein, Eric W. "Constante del conejo". mathworld.wolfram.com . Consultado el 9 de agosto de 2023 .
  34. ^ Allouche, Jean-Paul; Cosnard, Michel (2000), "La constante de Komornik-Loreti es trascendental", American Mathematical Monthly , 107 (5): 448–449, doi :10.2307/2695302, JSTOR  2695302, MR  1763399
  35. ^ "A143347 - OEIS". oeis.org . Consultado el 9 de agosto de 2023 .
  36. ^ "A140654 - OEIS". oeis.org . Consultado el 12 de agosto de 2023 .
  37. ^ Adamczewski, Boris (marzo de 2013). "Las múltiples caras del número de Kempner". arXiv : 1303.1685 [math.NT].
  38. ^ Shalit 1996
  39. ^ Adamczewski, Boris; Rivoal, Tanguy (2009). "Medidas de irracionalidad para algunos números reales automáticos". Actas matemáticas de la Sociedad Filosófica de Cambridge . 147 (3): 659–678. doi :10.1017/S0305004109002643. ISSN  1469-8064.
  40. ^ Loxton 1988
  41. ^ Allouche y Shallit 2003, págs.385, 403
  42. ^ Kurosawa, Takeshi (1 de marzo de 2007). "Trascendencia de ciertas series que involucran recurrencias lineales binarias". Journal of Number Theory . 123 (1): 35–58. doi : 10.1016/j.jnt.2006.05.019 . ISSN  0022-314X.
  43. ^ Blanchard y Mendès Francia 1982
  44. ^ Duverney, Daniel; Nishioka, Keiji; Nishioka, Kumiko; Shiokawa, Iekata (1997). "Trascendencia de la fracción continua de Rogers-Ramanujan y sumas recíprocas de los números de Fibonacci". Actas de la Academia de Japón, Serie A, Ciencias Matemáticas . 73 (7): 140-142. doi : 10.3792/pjaa.73.140 . ISSN  0386-2194.
  45. ^ Bertrand, Daniel (1997). "Funciones theta y trascendencia". The Ramanujan Journal . 1 (4): 339–350. doi :10.1023/A:1009749608672. S2CID  118628723.
  46. ^ van de Pol, Levi. "La primera aparición de un número en la secuencia de Gijswijt". arXiv : 2209.04657 .
  47. ^ Brownawell, W. Dale (1 de febrero de 1974). "La independencia algebraica de ciertos números relacionados por la función exponencial". Journal of Number Theory . 6 : 22–31. doi : 10.1016/0022-314X(74)90005-5 . ISSN  0022-314X.
  48. ^ Bailey, David H. (1988). "Resultados numéricos sobre la trascendencia de constantes que involucran $\pi, e$ y la constante de Euler". Matemáticas de la computación . 50 (181): 275–281. doi :10.2307/2007931. ISSN  0025-5718.
  49. ^ Weisstein, Eric W. "e". mathworld.wolfram.com . Consultado el 12 de agosto de 2023 .
  50. ^ Murty, M. Ram; Saradha, N. (1 de diciembre de 2010). "Constantes de Euler-Lehmer y una conjetura de Erdös". Journal of Number Theory . 130 (12): 2671–2682. doi : 10.1016/j.jnt.2010.07.004 . ISSN  0022-314X.
  51. ^ Murty, M. Ram; Zaytseva, Anastasia (1 de enero de 2013). "Trascendencia de las constantes de Euler generalizadas". The American Mathematical Monthly . 120 (1): 48–54. doi :10.4169/amer.math.monthly.120.01.048. ISSN  0002-9890. S2CID  20495981.
  52. ^ Rivoal, Tanguy (2012). "Sobre la naturaleza aritmética de los valores de la función gamma, la constante de Euler y la constante de Gompertz". Michigan Mathematical Journal . 61 (2): 239–254. doi : 10.1307/mmj/1339011525 . ISSN  0026-2285.
  53. ^ Rivoal, T.; Zudilin, W. (1 de agosto de 2003). "Propiedades diofánticas de los números relacionados con la constante catalana". Annalen Matemáticas . 326 (4): 705–721. doi :10.1007/s00208-003-0420-2. hdl : 1959.13/803688 . ISSN  1432-1807. S2CID  59328860.
  54. ^ "Constantes matemáticas". Matemáticas (general). Cambridge University Press . Consultado el 22 de septiembre de 2022 .
  55. ^ ab Waldschmidt, Michel (2022). "Teoría de números trascendentales: resultados recientes y problemas abiertos". Michel Waldschmidt .

Fuentes

Enlaces externos