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 Unabhängigkeit.

Prinzip

Die Dichte modulo 1 der ganzzahligen Spannweite reeller Vektoren wird durch rationale lineare Relationen gesteuert: das Fehlen nichttrivialer Q-linearer Relationen führt zu topologischer Dichte, jede rationale Relation erzeugt einen abgeschlossenen Unterraum niedrigerer Dimension.

Demonstration

Für ein einzelnes irrationales α ist die Folge (mα mod 1)_{m∈Z} dicht auf dem Kreis, weil 1 und α Q-linear unabhängig sind; für zwei Reellen α,β mit 1,α,β unabhängig über Q sind die Vielfachen m(α,β) modulo 1 dicht im Torus und liefern zugleich beliebig genaue simultane Approximationen.

Fehlanwendung

Kroneckers Satz als quantitativen Gleichverteilungsresultat auszulegen (er ist rein topologisch); anzunehmen, Dichte impliziere gleichmäßige Verteilung, oder Dichte trotz rationaler Abhängigkeiten der α zu postulieren.

Konsequenz

Garantiert die Existenz beliebig genauer simultaner modularer Approximationen und bildet die Grundlage für Konstruktionen in diophantischer Approximation und quasiperiodischer Dynamik, wo rationale Unabhängigkeit dichte Orbits bedeutet.

Umkehrung

Erfüllen die Zahlen eine nichttriviale rationale Relation, so liegt die Menge ganzer Linearkombinationen modulo 1 in einem echten Untertorus (periodisch oder niedriger dimensional), und die Orbits sind nicht dicht, sondern in einer endlichen Vereinigung von Translaten eines Untertorus eingeschlossen.

Abgrenzung

Gilt für reelle Vektoren modulo 1 und betrifft topologische Dichte, nicht die maßtheoretische Verteilung; das Kriterium ist Q-lineare Unabhängigkeit und schließt Fälle mit rationalen Relationen oder Arbeiten über anderen Ringen ohne Anpassung aus.

Semantische Spannung

Steht nahe am Weyl'schen Gleichverteilungssatz: Kronecker liefert topologische Dichte aus algebraischer Unabhängigkeit, Weyl quantitative Gleichverteilung; beide Aussagen können unter zusätzlichen ergodischen oder diophantischen Voraussetzungen zusammenfallen, sind aber verschieden.

Synthese

Kroneckers Approximationssatz verbindet die Q-lineare Unabhängigkeit reeller Zahlen mit dem topologischen Verhalten ihrer ganzen Linearkombinationen modulo 1: das Fehlen rationaler Relationen erzeugt dichte Orbits im Torus und ermöglicht beliebig genaue simultane Approximationen, garantiert jedoch nicht deren Gleichverteilung.