Kroneckerscher Approximationssatz

Ein Satz, der charakterisiert, wann Linearkombinationen reeller Zahlen mit ganzzahligen Koeffizienten modulo 1 dicht in einem Torus sind: Sind 1, α1,...,αn über Q linear unabhängig, so ist die Menge der Vektoren (mα1 mod 1, ..., mαn mod 1) für m∈Z dicht im n-Torus; allgemeiner beschreibt er die Dichte der von gegebenen reellen Vektoren erzeugten Untergruppe modulo 1 unter Bedingungen rationaler Un