Un teorema que caracteriza cuándo combinaciones lineales de números reales con coeficientes enteros son densas módulo 1 en un toro: si 1, α1,...,αn son linealmente independientes sobre Q, el conjunto de vectores (mα1 mod 1, ..., mαn mod 1) para m∈Z es denso en el n-toro; en general describe la densidad del subgrupo generado por vectores reales módulo 1 según condiciones de independencia racional.

Principio

La densidad módulo 1 del span entero de vectores reales está gobernada por relaciones lineales racionales: la ausencia de relaciones Q-lineales no triviales conduce a densidad topológica, mientras que cualquier relación racional produce un cierre de dimensión inferior.

Demostración

Para un solo irracional α, la sucesión (mα mod 1)_{m∈Z} es densa en el círculo porque 1 y α son Q-linealmente independientes; para dos reales α,β con 1,α,β independientes sobre Q, los múltiplos m(α,β) módulo 1 son densos en el toro y proporcionan aproximaciones simultáneas arbitrariamente cercanas.

Aplicación incorrecta

Interpretar el teorema de Kronecker como un resultado cuantitativo de equidistribución (es una afirmación puramente topológica); suponer que la densidad implica distribución uniforme o que la densidad se mantiene pese a una dependencia racional entre las α.

Consecuencia

Garantiza la existencia de aproximaciones modulares simultáneas arbitrariamente precisas y sustenta construcciones en aproximación diofántica y dinámica casi periódica donde la independencia racional implica órbitas densas.

Inversión

Si los números satisfacen una relación racional no trivial, el conjunto de combinaciones enteras módulo 1 queda en un subtoro propio (periódico o de menor dimensión), por lo que las órbitas no son densas y quedan confinadas a una unión finita de traslados de un subtoro.

Límite

Se aplica a vectores reales considerados módulo 1 y trata la densidad topológica, no la distribución medida-teórica; el criterio es la independencia lineal sobre Q y excluye casos con relaciones racionales o contextos sobre otros anillos sin adaptación.

Tensión semántica

Se relaciona con el teorema de equidistribución de Weyl: Kronecker da densidad topológica a partir de independencia algebraica, mientras que Weyl ofrece equidistribución cuantitativa; ambas coinciden bajo hipótesis ergódicas o diofánticas extra, pero son afirmaciones distintas.

Síntesis

El teorema de Kronecker vincula la independencia lineal sobre Q de números reales con el comportamiento topológico de sus combinaciones enteras módulo 1: la ausencia de relaciones racionales genera órbitas densas en el toro y permite aproximaciones simultáneas arbitrariamente precisas, sin garantizar por sí sola distribución uniforme.