Aproximación diofantiana

Modelo:Diophantine approximation graph.svg En teoría de números, o estudo da aproximación diofantiana ou diofantina trata sobre a aproximación de números reais por números racionais. Leva o nome de Diofanto de Alexandría.

O primeiro problema foi saber o ben que se pode aproximar un número real mediante números racionais. Para este problema, un número racional p/q é unha "boa" aproximación dun número real α se o valor absoluto da diferenza entre p/q e α pode non diminuír se p/q se substitúe por outro número racional cun denominador menor. Este problema resolveuse durante o século XVIII mediante fraccións continuas simples.

Coñecendo as "mellores" aproximacións dun número dado, o principal problema do campo é atopar límites superiores e inferiores nítidos da diferenza anterior, expresados en función do denominador.

Se definimos a medida de irracionalidade como unha función $μ (x)$ que cumpre a desigualdade:

0 < | x - \frac{p}{q} | < \frac{1}{q^{μ}}

daquela temos unha clasificación dos tipos de números en función de dita medida:

Se $μ (x) = 1, x$ é racional.
Se $μ (x) = 2, x$ é alxébrico de grao > 1.
Se $μ (x) \geq 2, x$ é transcendental.

A medalla Fields de 2022 foi concedida a James Maynard, en parte polo seu traballo sobre a aproximación diofantiana.

Mellores aproximacións diofantianas dun número real

Dado un número real Modelo:Math, hai dúas formas de definir unha mellor aproximación diofantiana de Modelo:Math. Para a primeira definición,^[1] o número racional Modelo:Math é a mellor aproximación diofantiana de Modelo:Math se

| α - \frac{p}{q} | < | α - \frac{p^{'}}{q^{'}} |,

para cada número racional Modelo:Math diferente de Modelo:Math tal que Modelo:Math .

Para a segunda definición,^[2]^[3] substitúese a desigualdade anterior por

| q α - p | < | q^{'} α - p^{'} | .

Unha mellor aproximación para a segunda definición tamén é unha mellor aproximación para a primeira, pero o contrario non é certo en xeral.^[4]

A teoría das fraccións continuas permítenos calcular as mellores aproximacións dun número real: para a segunda definición, son os converxentes da súa expresión como fracción continua regular.^[3]^[4]^[5] Para a primeira definición, hai que considerar tamén os semiconverxentes.^[1]

Medida da precisión das aproximacións

A medida obvia da precisión dunha aproximación diofantiana dun número real Modelo:Math por un número racional Modelo:Math é $| α - \frac{p}{q} | .$ Porén, esta cantidade sempre pode facerse arbitrariamente pequena aumentando os valores absolutos de Modelo:Math e Modelo:Math; así, a precisión da aproximación adoita estimarse comparando esta cantidade con algunha función Modelo:Math do denominador Modelo:Math, normalmente unha potencia negativa da mesma.

Para tal comparación, pódense querer límites superiores ou límites inferiores da precisión.

Un límite inferior é normalmente descrito por un teorema como "para cada elemento Modelo:Math dalgún subconxunto dos números reais e cada número racional Modelo:Math, temos $| α - \frac{p}{q} | > ϕ (q)$ ". Nalgúns casos, "cada número racional" pode ser substituído por "todos os números racionais excepto un número finito deles", o que supón multiplicar $ϕ$ por algunha constante dependendo de Modelo:Math.

Para os límites superiores, hai que ter en conta que non todas as "mellores" aproximacións diofantianas proporcionadas polos converxentes poden ter a precisión desexada. Polo tanto, os teoremas toman a forma "para cada elemento Modelo:Math dalgún subconxunto dos números reais, hai infinitos números racionais Modelo:Math tal que $| α - \frac{p}{q} | < ϕ (q)$ ".

Números mal aproximábeis

Un número mal aproximábel é un x para o cal hai unha constante positiva c tal que para todo p/q racional temos

| x - \frac{p}{q} | > \frac{c}{q^{2}} .

Os números mal aproximábeis son precisamente aqueles con cocientes parciais limitados.^[6]

De forma equivalente, un número é mal aproximábel se e só se a súa constante de Markov é finita e a súa fracción continua simple está limitada.

Límites inferiores para aproximacións diofantianas

Aproximación dun racional por outros racionais

Un número racional $α = \frac{a}{b}$ pode ser obvia e perfectamente aproximada por $\frac{p_{i}}{q_{i}} = \frac{i a}{i b}$ para todo número enteiro positivo i.

Se $\frac{p}{q} = α = \frac{a}{b},$ temos

| \frac{a}{b} - \frac{p}{q} | = | \frac{a q - b p}{b q} | \geq \frac{1}{b q},

como $| a q - b p |$ é un número enteiro positivo e, polo tanto, non é inferior a 1. Así, a precisión da aproximación é ruín en relación aos números irracionais (ver seccións seguintes).

Pódese sinalar que a demostración anterior usa unha variante do principio do pombal: un enteiro non negativo que non é 0 non é menor que 1. Esta observación aparentemente trivial úsase en case todas as probas de límites inferiores para aproximacións diofantianas, mesmo nas máis sofisticadas.

En resumo, un número racional é perfectamente aproximado por si mesmo, mais é mal aproximado por calquera outro número racional.

Aproximación de números alxébricos, resultado de Liouville

Na década de 1840, Joseph Liouville obtivo o primeiro límite inferior para a aproximación de números alxébricos: Se x é un número alxébrico irracional de grao n sobre os números racionais, existe unha constante Modelo:Nowrap tal que

| x - \frac{p}{q} | > \frac{c (x)}{q^{n}}

cúmprese para todos os números enteiros p e q onde Modelo:Nowrap.

Este resultado permitiulle producir o primeiro exemplo probado dun número transcendental, a constante de Liouville

\sum_{j = 1}^{\infty} 1 0^{- j!} = 0.110001000000000000000001000 \dots,

que non cumpre o teorema de Liouville, calquera grao n que se escolla.

Este vínculo entre as aproximacións diofantianas e a teoría de números transcendentais continúa ata os nosos días. Moitas das técnicas de proba compártense entre as dúas áreas.

Aproximación de números alxébricos, teorema de Thue-Siegel-Roth

Durante máis dun século, houbo moitos esforzos para mellorar o teorema de Liouville: cada mellora do límite permítenos demostrar que máis números son transcendentais. As principais melloras débense a Modelo:Harvs, Modelo:Harvs, Modelo:Harvs e Modelo:Harvs, que conduce finalmente ao teorema de Thue-Siegel-Roth: se Modelo:Math é un número alxébrico irracional e Modelo:Math, entón existe un número real positivo Modelo:Math tal que

| x - \frac{p}{q} | > \frac{c (x, ε)}{q^{2 + ε}}

cúmprese para todo número enteiro Modelo:Math e Modelo:Math tal que Modelo:Math.

En certo sentido, este resultado é óptimo, xa que o teorema sería falso con ε = 0. Esta é unha consecuencia inmediata dos límites superiores descritos a continuación.

Aproximacións simultáneas de números alxébricos

Posteriormente, Wolfgang M. Schmidt xeneralizou isto ao caso das aproximacións simultáneas, demostrando que: Se Modelo:Math son números alxébricos tal que Modelo:Math son linearmente independentes sobre os números racionais e Modelo:Math é calquera número real positivo dado, entón só hai un número finito Modelo:Math-tuplas racionais Modelo:Math tal que

| x_{i} - \frac{p_{i}}{q} | < q^{- (1 + 1 / n + ε)}, i = 1, \dots, n .

De novo, este resultado é óptimo no sentido de que non se pode eliminar Modelo:Math do expoñente.

Límites superiores para aproximacións diofantianas

Límite superior xeral

O primeiro resultado importante sobre os límites superiores das aproximacións diofantianas é o teorema de aproximación de Dirichlet, que implica que, para cada número irracional Modelo:Math, hai infinitas fraccións $\frac{p}{q}$ tal que

| α - \frac{p}{q} | < \frac{1}{q^{2}} .

Isto implica inmediatamente que non se pode suprimir o Modelo:Math no enunciado do teorema de Thue-Siegel-Roth.

Adolf Hurwitz (1891) ^[7] reforzou este resultado, demostrando que para cada número irracional Modelo:Math, hai infinitas fraccións $\frac{p}{q}$ tal que

| α - \frac{p}{q} | < \frac{1}{\sqrt{5} q^{2}} .

Polo tanto, $\frac{1}{\sqrt{5} q^{2}}$ é un límite superior para as aproximacións diofantianas de calquera número irracional. É posíbel que a constante deste resultado non se mellore aínda máis sen excluír algúns números irracionais (ver máis abaixo).

Émile Borel (1903) ^[8] demostrou que, de feito, tendo en conta calquera número irracional Modelo:Math, e dados tres converxentes consecutivas de Modelo:Math, polo menos un debe satisfacer a desigualdade dada no Teorema de Hurwitz.

Números reais equivalentes

Definición: dous números reais $x, y$ chámanse equivalentes ^[9] ^[10] se hai números enteiros $a, b, c, d$ con $a d - b c = \pm 1$ tal que:

y = \frac{a x + b}{c x + d} .

Polo tanto, a equivalencia está definida por unha transformación de Möbius enteira sobre os números reais, ou por un membro do grupo Modular ${SL}_{2}^{\pm} (ℤ)$ , que é o conxunto de matrices 2 × 2 invertíbeis sobre os enteiros. Todo número racional é equivalente a 0; así os números racionais son unha clase de equivalencia para esta relación.

A equivalencia pódese ler na representación de fracción continua regular, como mostra o seguinte teorema de Serret:

Teorema: dous números irracionais x e y son equivalentes se e só se existen dous enteiros positivos h e k tal que as representacións da fracción continua regular de x e y

\begin{matrix} x & = [u_{0}; u_{1}, u_{2}, \dots], \\ y & = [v_{0}; v_{1}, v_{2}, \dots], \end{matrix}

satisfán

u_{h + i} = v_{k + i}

para todo enteiro non negativo i.^[11]

Así, agás unha secuencia inicial finita, os números equivalentes teñen a mesma representación de fracción continua.

Os números equivalentes son aproximábeis no mesmo grao, no sentido de que teñen a mesma constante de Markov.

Distribución uniforme

Outro tema que experimentou un desenvolvemento profundo é a teoría da distribución uniforme mod 1. Tome unha secuencia a₁, a₂ ,... de números reais e considere as súas partes fraccionais. É dicir, de xeito máis abstracto, a secuencia en $ℝ / ℤ$ , que é un círculo. Para calquera intervalo I no círculo observamos a proporción dos elementos da secuencia que se atopan nel, ata algún número enteiro N, e comparámola coa proporción da circunferencia ocupada por I. A distribución uniforme significa que no límite, a medida que N medra, a proporción de acertos no intervalo tende ao valor "esperado". Hermann Weyl demostrou un criterio básico que mostra que isto equivale aos límites das sumas exponenciais formadas a partir da secuencia. Isto mostrou que os resultados da aproximación diofantiana estaban intimamente relacionados co problema xeral da cancelación en sumas exponenciais, que ocorre en toda a teoría analítica de números na delimitación dos termos de erro.

Relacionado coa distribución uniforme está o tema das irregularidades das distribucións, que é de natureza combinatoria.

Algoritmos

Grotschel, Lovasz e Schrijver describen algoritmos para atopar aproximadamente as mellores aproximacións diofantianas, tanto para números reais individuais como para conxuntos de números reais. Este último problema chámase aproximación diofantiana simultánea.^[12]

Problemas sen resolver

Aínda fican problemas sen resolver na aproximación diofantiana, por exemplo a conxectura de Littlewood e a conxectura do corredor solitario. Tamén se descoñece se hai números alxébricos con coeficientes ilimitados na súa expansión de fracción continua.

Desenvolvementos recentes

No seu discurso plenario no Congreso Internacional de Matemáticas de Kioto (1990), Grigory Margulis describiu un amplo programa baseado na teoría ergódica que permite probar resultados da teoría de números utilizando as propiedades dinámicas e ergódicas das accións de subgrupos de grupos de Lie semisimples. O traballo de D. Kleinbock, G. Margulis e os seus colaboradores demostraron o poder desta nova aproximación aos problemas clásicos na aproximación diofantiana. Entre os seus éxitos notábeis atópanse a proba por Margulis da conxectura de Oppenheim, con extensións posteriores de Dani e Margulis e Eskin-Margulis-Mozes, e a proba das conxecturas de Baker e Sprindzhuk nas aproximacións diofantianas sobre variedades de Kleinbock e Margulis. Neste marco tamén se obtiveron varias xeneralizacións dos resultados anteriores de Aleksandr Khinchin na aproximación métrica diofantiana.

Notas

Modelo:Reflist

Véxase tamén

Bibliografía

Outros artigos

Ligazóns externas

Diophantine Approximation: historical survey Modelo:Webarchive. From Introduction to Diophantine methods course by Michel Waldschmidt.
Modelo:Springer

Modelo:Control de autoridades

[Khinchin_1997_p.21-1] 1,0 ^1,1 Modelo:Cita Harvard sen parénteses

[2] Modelo:Cita Harvard sen parénteses

[Lang9-3] 3,0 ^3,1 Modelo:Cita Harvard sen parénteses

[Khinchin24-4] 4,0 ^4,1 Modelo:Cita Harvard sen parénteses

[5] Modelo:Cita Harvard sen parénteses

[Bug245-6] Modelo:Cita Harvard sen parénteses

[7] Modelo:Cita Harvard sen parénteses

[8] Modelo:Cita Harvard sen parénteses

[9] Modelo:Cita Harvard sen parénteses

[10] Modelo:Cita Harvard sen parénteses

[11] See Modelo:Cita Harvard sen parénteses

[:0-12] Modelo:Cita libro(Sec. 5.2)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

Aproximación diofantiana

Índice

Mellores aproximacións diofantianas dun número real

Medida da precisión das aproximacións

Números mal aproximábeis

Límites inferiores para aproximacións diofantianas

Aproximación dun racional por outros racionais

Aproximación de números alxébricos, resultado de Liouville

Aproximación de números alxébricos, teorema de Thue-Siegel-Roth

Aproximacións simultáneas de números alxébricos

Límites superiores para aproximacións diofantianas

Límite superior xeral

Números reais equivalentes

Distribución uniforme

Algoritmos

Problemas sen resolver

Desenvolvementos recentes

Notas

Véxase tamén

Bibliografía

Outros artigos

Ligazóns externas

Menú de navegación

Aproximación diofantiana

Mellores aproximacións diofantianas dun número real

Medida da precisión das aproximacións

Números mal aproximábeis

Límites inferiores para aproximacións diofantianas

Aproximación dun racional por outros racionais

Aproximación de números alxébricos, resultado de Liouville

Aproximación de números alxébricos, teorema de Thue-Siegel-Roth

Aproximacións simultáneas de números alxébricos

Límites superiores para aproximacións diofantianas

Límite superior xeral

Números reais equivalentes

Distribución uniforme

Algoritmos

Problemas sen resolver

Desenvolvementos recentes

Notas

Véxase tamén

Bibliografía

Outros artigos

Ligazóns externas

Menú de navegación

Procura