Théorème d'Approximation de Kronecker

Un théorème qui caractérise quand des combinaisons linéaires de nombres réels à coefficients entiers sont denses modulo 1 dans un tore : si 1, α1,...,αn sont linéairement indépendants sur Q alors l'ensemble des vecteurs (mα1 mod 1, ..., mαn mod 1) pour m∈Z est dense dans le n-tore ; de façon plus générale il décrit la densité du sous-groupe engendré par des vecteurs réels modulo 1 selon des condit