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 conditions d'indépendance rationnelle.

Principe

La densité modulo 1 de l'enveloppe entière de vecteurs réels est gouvernée par les relations linéaires rationnelles : l'absence de relations Q-linéaires non triviales entraîne la densité topologique, tandis qu'une relation rationnelle impose une clôture de dimension inférieure.

Démonstration

Pour un seul irrationnel α, la suite (mα mod 1)_{m∈Z} est dense sur le cercle car 1 et α sont Q-linéairement indépendants ; pour deux réels α,β tels que 1,α,β soient indépendants sur Q, les multiples m(α,β) modulo 1 sont denses dans le tore, fournissant des approximations simultanées arbitrairement proches.

Mauvaise application

Interpréter le théorème de Kronecker comme un résultat quantitatif d'équirépartition (il s'agit d'une assertion purement topologique) ; supposer que la densité implique l'équirépartition uniforme ou que la densité tient malgré une dépendance rationnelle parmi les α.

Conséquence

Garantit l'existence d'approximations modulaires simultanées arbitrairement proches et sous-tend des constructions en approximation diophantienne et dynamiques quasi-périodiques où l'indépendance rationnelle implique des orbites denses.

Inversion

Si les nombres satisfont une relation rationnelle non triviale, l'ensemble des combinaisons entières modulo 1 est contenu dans un sous-tore propre (périodique ou de dimension inférieure), de sorte que les orbites ne sont pas denses et sont confinées à une réunion finie de translatés d'un sous-tore.

Limite

S'applique à des vecteurs réels considérés modulo 1 et traite de la densité topologique, non de la distribution métrique ; le critère est l'indépendance linéaire sur Q et exclut les cas avec relations rationnelles ou les contextes sur d'autres anneaux sans adaptation.

Tension sémantique

Voisine du théorème d'équirépartition de Weyl : Kronecker donne la densité topologique à partir d'une indépendance algébrique, tandis que Weyl fournit des résultats quantitatifs d'équirépartition ; les deux coïncident sous hypothèses ergodiques ou diophantiennes supplémentaires mais restent des énoncés distincts.

Synthèse

Le théorème de Kronecker relie l'indépendance linéaire sur Q des réels à la topologie de leurs combinaisons entières modulo 1 : l'absence de relations rationnelles engendre des orbites denses dans le tore, permettant des approximations modulaires simultanées arbitrairement précises, sans garantir pour autant une distribution uniforme.