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 Zn 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.
1. Z-modules et réseaux
Un Z-module de Rn est un ensemble M de points M de Rn, de coordonnées (x1, x2, ..., xn), qui est sous-groupe additif de Rn (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 A1, A2, ..., Ar d'éléments de M, tel que tout élément de M s'écrit, d'une manière unique, sous la forme a1A1 + a2A2 + ... + arAr, où ai ∈ Z. On remarquera qu'on peut avoir r > n (par exemple dans R avec les nombres de la forme a + b […]
… pour nos abonnés, l'article se prolonge sur 7 pages…
