Discipline qui étudie à quel degré les nombres réels (ou plus généralement des nombres) peuvent être approchés par des rationnels ou des nombres algébriques, quantifiant les vitesses d'approximation, établissant l'existence d'approximateurs infinis et classifiant les nombres selon la qualité de leur approximation.

Principe

Formuler les questions par des inégalités |x−p/q| < ψ(q) ou analogues, distinguer énoncés uniformes et métriques (presque partout), utiliser les fractions continues, les exposants diophantiens et des approches de type mesure (théorèmes à la Khintchine) pour relier propriétés arithmétiques et approximabilité.

Démonstration

Le théorème de Dirichlet : pour tout réel α et entier N≥1 il existe p/q avec 1≤q≤N tel que |α−p/q| < 1/(qN) ; les fractions continues fournissent les meilleures approximations et montrent que le nombre d'or est, à constantes près, un des réels les moins bien approximables ; les nombres de Liouville sont construits pour admettre des approximations rationnelles extrêmement fines.

Mauvaise application

Confondre l'approximation diophantienne avec la résolution d'équations diophantiennes exactes, ou supposer que des résultats métriques (vrais pour presque tout réel) fournissent des approximateurs constructifs pour un nombre donné ; mal employer les développements en fraction continue sans vérifier les propriétés des convergents.

Conséquence

L'application correcte distingue des classes de nombres (mal approximables, nombres de Liouville, algébriques d'un degré fixé), fournit des critères de transcendance, des mesures d'irrationalité effectives et éclaire la dynamique, l'équidistribution et la géométrie arithmétique en contrôlant les approximations rationnelles.

Inversion

Contraste avec les problèmes diophantiens exacts (équations diophantiennes) qui recherchent des solutions entières ou rationnelles d'équations polynomiales ; l'inversion remplace les inégalités d'approximation par des égalités exactes et des ensembles de solutions.

Limite

Se concentre sur la qualité et les taux d'approximation pour réels ou vecteurs ; il ne vise pas principalement à résoudre exactement des équations polynomiales diophantiennes, bien que les résultats d'approximation alimentent souvent ces problèmes et les questions de transcendance.

Tension sémantique

Tension entre théorèmes métriques (presque partout) décrivant le comportement typique et résultats uniformes ou constructifs pour nombres spécifiques ; aussi tension entre approximation par rationnels et par nombres algébriques de degré borné.

Synthèse

L'Approximation Diophantienne quantifie la proximité possible entre nombres réels et rationnels ou algébriques, en s'appuyant sur fractions continues, exposants et théorèmes métriques pour classer les nombres, produire bornes effectives et relier l'approximabilité à des propriétés arithmétiques et dynamiques plus profondes.