DIOPHANTIENNES APPROXIMATIONS

La théorie des approximations diophantiennes concerne principalement l'approximation des irrationnels par des rationnels. Dans le cas d'un seul irrationnel, un rôle essentiel est joué par les fractions continuées (utilisées dès 1650 par Huygens pour le calcul des engrenages des horloges astronomiques). L'approximation des irrationnels algébriques fut étudiée par une méthode directe en 1844 par Liouville ; ses résultats furent améliorés à de nombreuses reprises jusqu'à l'important et définitif résultat de Roth en 1955. Dans le cas de plusieurs irrationnels, on peut soit chercher à approcher chacun d'eux par un rationnel, soit chercher à rendre minimale une forme linéaire à variables entières, à coefficients irrationnels (problème dual du précédent). Dans les deux cas, la théorie des réseaux de points (ou Z-modules, comme Zⁿ par exemple) joue un grand rôle, avec la caractérisation de ses bases et le théorème fondamental de Minkowski sur les domaines convexes symétriques d'un réseau ; ce dernier théorème conduit principalement à la résolution en entiers d'inégalités à coefficients irrationnels, ce qui est aussi un problème d'approximation diophantienne. L'étude de la répartition modulo 1 a été également rattachée à cet article, étant encore, dans une certaine mesure, une question d'approximation diophantienne.

Z-modules et réseaux

Un Z-module de Rⁿ est un ensemble M de points M de Rⁿ, de coordonnées (x¹, x², ..., xⁿ), qui est sous-groupe additif de Rⁿ (donc, s'il contient M′ et M″, il contient u M′ + v M″ pour tout u et v de Z). On appelle base de M un ensemble A₁, A₂, ..., A_r d'éléments de M, tel que tout élément de M s'écrit, d'une manière unique, sous la forme a¹A₁ + a²A₂ + ... + a^rA_r, où aⁱ ∈ Z. On remarquera qu'on peut avoir r > n (par exemple dans R avec les nombres de la forme a + b √2, où a et b sont entiers, on a r = 2 pour n = 1).

Lorsque chaque point de M est isolé dans Rⁿ, c'est-à-dire est centre d'une boule ne contenant pas d'autre point de M, le Z-module est dit discret ; cette propriété est évidemment caractérisée par le fait qu'il existe une boule de Rⁿ, [...]

1  2  3  4  5 …
pour nos abonnés,
l’article se compose de 8 pages