Aproximación diofántica
La aproximación diofántica mide cuán cerca pueden aproximarse los números irracionales mediante fracciones; la respuesta depende delicadamente del número, separando los racionales, los irracionales algebraicos y los trascendentales.
Definition
La aproximación diofántica es el estudio de cuán bien pueden aproximarse los números reales mediante números racionales, cuantificado por cuán pequeña puede ser la diferencia entre un número y una fracción en relación con el tamaño del denominador de la fracción.
Scope
Este tema abarca el teorema de aproximación de Dirichlet y el principio del palomar, las fracciones continuas como mejores aproximaciones, la medida de irracionalidad de un número, el teorema de Liouville y la construcción de números de Liouville (trascendentales), el teorema de Thue-Siegel-Roth sobre la aproximación de números algebraicos, y las aplicaciones para acotar soluciones de ecuaciones diofánticas y para pruebas de trascendencia.
Core questions
- ¿Qué tan bien puede aproximarse cada número irracional mediante racionales, según lo garantiza el teorema de Dirichlet?
- ¿Por qué las convergentes de fracciones continuas son las mejores aproximaciones racionales?
- ¿Cómo limita el teorema de Liouville la aproximabilidad de los números algebraicos y, por lo tanto, exhibe números trascendentales?
- ¿Qué límite más estricto impone el teorema de Thue-Siegel-Roth y cómo acota las soluciones de las ecuaciones diofánticas?
Key theories
- Teorema de aproximación de Dirichlet
- Para cualquier número irracional, existen infinitas fracciones que lo aproximan con una precisión de uno sobre el cuadrado del denominador, una cota demostrada por el principio del palomar y esencialmente alcanzada por las fracciones continuas.
- Teorema de Liouville y trascendencia
- Los números algebraicos no pueden ser aproximados por racionales más rápido que una potencia que depende de su grado; los números aproximables más rápido, como la constante de Liouville, deben ser trascendentales.
- Teorema de Thue-Siegel-Roth
- Un número algebraico irracional no puede ser aproximado con un exponente esencialmente mayor que dos; esta cota óptima implica la finitud de soluciones para amplias clases de ecuaciones diofánticas.
Clinical relevance
La calidad de la aproximación controla la estabilidad de los algoritmos numéricos que involucran razones irracionales y subyace a la reducción de retículos (la base de ataques y construcciones en criptografía de retículos) y al diseño de secuencias de baja discrepancia utilizadas en la integración cuasi-Monte Carlo.
History
Las aproximaciones por fracciones continuas fueron estudiadas por Euler y Lagrange. Liouville construyó los primeros números trascendentales explícitos en 1844 utilizando su cota de aproximación; Thue, Siegel y finalmente Roth en 1955 afinaron la cota para números algebraicos, un resultado por el cual Roth recibió la Medalla Fields.
Key figures
- Peter Gustav Lejeune Dirichlet
- Joseph Liouville
- Axel Thue
- Klaus Roth
Related topics
Frequently asked questions
- ¿Qué es una medida de irracionalidad?
- Cuantifica cuán cerca puede aproximarse un número mediante racionales: una medida mayor significa que son posibles mejores aproximaciones. Los racionales tienen medida uno, los irracionales algebraicos exactamente dos (según Roth), y los números de Liouville tienen medida infinita.
- ¿Cómo demuestra la aproximación que un número es trascendental?
- Si un número puede ser aproximado por racionales más rápido de lo que permite la cota de Liouville para cualquier número algebraico, no puede ser algebraico, por lo que debe ser trascendental.