Teorema de Aproximación de Kronecker

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.