## [Kroneckerscher Approximationssatz](/de/node/62975) Definition 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 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 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 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 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 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 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 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 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.