Teorema de Roth
En matemáticas, el teorema de Roth (también conocido como teorema de Thue-Siegel-Roth) es un resultado fundamental en la aproximación diofántica a los números algebraicos. Es de tipo cualitativo, afirmando que los números algebraicos no pueden tener muchas aproximaciones racionales que sean "muy buenas". Durante medio siglo, el significado de "muy bueno" fue refinado por varios matemáticos, comenzando con Joseph Liouville en 1844 y continuando con el trabajo de Plantilla:Harvs, Plantilla:Harvs, Plantilla:Harvs y Plantilla:Harvs.
Declaración
El teorema de Roth establece que todo número algebraico irracional tiene un número de Liouville igual a 2. Esto significa que, para cada , la desigualdad
solo puede tener un número finito de soluciones mediante números coprimos y . La prueba de Roth de este hecho resolvió una conjetura de Siegel. De ello se deduce que todo número algebraico irracional α satisface que
siendo un número positivo que depende únicamente de y de .
Discusión
El primer resultado en esta dirección es el teorema de Liouville sobre la aproximación de números algebraicos, lo que da un exponente de aproximación de d para un número algebraico α de grado d ≥ 2. Esto ya es suficiente para demostrar la existencia de números trascendentes. Thue se dio cuenta de que un exponente menor que d tendría aplicaciones para la solución de ecuaciones diofánticas y en el teorema de Thue de 1909 estableció un exponente que aplicó para demostrar la finitud de las soluciones de la ecuación de Thue. El teorema de Siegel mejora esto a un exponente alrededor de 2Plantilla:Radic, y el teorema de Dyson de 1947 tiene un exponente alrededor de Plantilla:Radic.
El resultado de Roth con exponente 2 es en cierto sentido el mejor posible, porque esta afirmación fallaría al establecer , dado que por el teorema de aproximación de Dirichlet hay infinitas soluciones en este caso. Sin embargo, existe una conjetura más fuerte de Serge Lang, que propone que
solo puede tener un número finito de soluciones en números enteros p y q. Si se deja que α recorra todo el conjunto de los números reales, no solo los reales algebraicos, entonces se cumplen tanto la conclusión de Roth como la de Lang para casi todo . Entonces, tanto el teorema como la conjetura afirman que un determinado conjunto numerable omite un determinado conjunto de medida cero.[1]
Actualmente, el teorema no es efectivo, es decir, no se conoce ningún límite para los valores posibles de p y q dado .[2] Davenport y Roth (1955) demostró que las técnicas de Roth podrían usarse para dar un límite efectivo para el número de p/q que satisfacen la desigualdad, utilizando un principio de "brecha".[2] El hecho de que en realidad no se sepa C(ε) significa que el proyecto de resolver la ecuación, o acotar el tamaño de las soluciones, está fuera de nuestro alcance.
Técnica de prueba
La técnica de prueba implica construir un polinomio multivariable auxiliar en un número arbitrariamente grande de variables dependiendo de , lo que lleva a una contradicción en presencia de demasiadas buenas aproximaciones. Más específicamente, se encuentra un cierto número de aproximaciones racionales al número algebraico irracional en cuestión y luego se aplica la función sobre cada una de ellas simultáneamente (es decir, cada uno de estos números racionales sirve como entrada para una variable única en la expresión que define nuestra función). ). Por su naturaleza, era ineficaz (ver effective results in number theory); esto es de particular interés ya que una aplicación importante de este tipo de resultado es limitar el número de soluciones de algunos ecuación diofántica.
Generalizaciones
Existe una versión del resultado básico para dimensiones superiores, el teorema del subespacio de Schmidt. También existen numerosas extensiones, que utilizan, por ejemplo, números p-ádicos,[3] basadas en el método de Roth.
William J. LeVeque generalizó el resultado mostrando que se cumple un límite similar cuando los números aproximados se toman de un cuerpo de números algebraicos fijo. Defínase la altura H(ξ) de un número algebraico ξ como el máximo de los valores absolutos de los coeficientes de su polinomio mínimo. Fijar κ>2. Para un número algebraico dado α y un campo numérico algebraico K, la ecuación
tiene solo un número finito de soluciones en los elementos ξ de K.[4]
Véase también
- Teorema de Davenport-Schmidt
- Conjetura abc
- Teorema de Størmer
- Geometría diofántica
Referencias
- ↑ También está estrechamente relacionado con la conjetura de Manin-Mumford.
- ↑ a b Hindry, Marc; Silverman, Joseph H. (2000), Diophantine Geometry: An Introduction, Graduate Texts in Mathematics 201, pp. 344-345, ISBN 0-387-98981-1 .
- ↑ Ridout, D. (1958), «The p-adic generalization of the Thue–Siegel–Roth theorem», Mathematika 5: 40-48, Zbl 0085.03501, doi:10.1112/s0025579300001339 .
- ↑ LeVeque, William J. (2002) [1956], Topics in Number Theory, Volumes I and II, New York: Dover Publications, pp. II:148–152, ISBN 978-0-486-42539-9, Zbl 1009.11001 .
Bibliografía
- Davenport, H.; Roth, Klaus Friedrich (1955), «Rational approximations to algebraic numbers», Mathematika 2 (2): 160-167, ISSN 0025-5793, MR 0077577, Zbl 0066.29302, doi:10.1112/S0025579300000814 .
- Dyson, Freeman J. (1947), «The approximation to algebraic numbers by rationals», Acta Mathematica 79: 225-240, ISSN 0001-5962, MR 0023854, Zbl 0030.02101, doi:10.1007/BF02404697 .
- Roth, Klaus Friedrich (1955), «Rational approximations to algebraic numbers», Mathematika 2: 1-20, 168, ISSN 0025-5793, MR 0072182, Zbl 0064.28501, doi:10.1112/S0025579300000644 .
- Wolfgang M. Schmidt (1996) [1980], Diophantine approximation, Lecture Notes in Mathematics 785, Springer, ISBN 978-3-540-09762-4, doi:10.1007/978-3-540-38645-2 .
- Wolfgang M. Schmidt (1991), Diophantine approximations and Diophantine equations, Lecture Notes in Mathematics 1467, Springer-Verlag, ISBN 978-3-540-54058-8, S2CID 118143570, doi:10.1007/BFb0098246 .
- Siegel, Carl Ludwig (1921), «Approximation algebraischer Zahlen», Mathematische Zeitschrift 10 (3): 173-213, ISSN 0025-5874, MR 1544471, S2CID 119577458, doi:10.1007/BF01211608 .
- Thue, A. (1909), «Über Annäherungswerte algebraischer Zahlen», Crelle (revista) 1909 (135): 284-305, ISSN 0075-4102, S2CID 125903243, doi:10.1515/crll.1909.135.284 .
Lectura adicional
- Baker, Alan (1975), Transcendental Number Theory, Cambridge University Press, ISBN 0-521-20461-5, Zbl 0297.10013 .
- Baker, Alan; Wüstholz, Gisbert (2007), Logarithmic Forms and Diophantine Geometry, New Mathematical Monographs 9, Cambridge University Press, ISBN 978-0-521-88268-2, Zbl 1145.11004 .
- Bombieri, Enrico; Gubler, Walter (2006), Heights in Diophantine Geometry, New Mathematical Monographs 4, Cambridge University Press, ISBN 978-0-521-71229-3, Zbl 1130.11034 .
- Vojta, Paul (1987), Diophantine Approximations and Value Distribution Theory, Lecture Notes in Mathematics 1239, Springer Science+Business Media, ISBN 3-540-17551-2, Zbl 0609.14011 .
Datos: Q751120