Approximationssatz von Kronecker
Der Approximationssatz von Kronecker gehört zu den zahlreichen Theoremen der Mathematik, welche mit dem Namen des deutschen Mathematikers Leopold Kronecker verbunden sind. Dieser Satz steht gleichrangig neben anderen bekannten Approximationssätzen aus dem Gebiet der diophantischen Approximation wie etwa dem Liouvilleschen Approximationssatz, dem Dirichletschen Approximationssatz oder dem Satz von Hurwitz der Zahlentheorie. Wie jene behandelt auch der Approximationssatz von Kronecker das Problem der Annäherung irrationaler Zahlen durch Bruchzahlen.
Formulierung des Satzes
Der Satz lässt sich formulieren wie folgt[1][2][3]:
- Gegeben seien reelle Zahlen und mit und ferner eine natürliche Zahl .
- Dann existieren zu jeder irrationalen Zahl natürliche Zahlen und mit , so dass
- erfüllt ist.
- Insbesondere ist für jede irrationale Zahl die Menge
- dicht im offenen Einheitsintervall .
Bemerkung
Der Satz lässt sich als direkte Folgerung aus dem Satz von Hurwitz der Zahlentheorie schließen und kann damit als Folge der speziellen Eigenschaften der Farey-Folgen betrachtet werden.[5]
Literatur
- Jurjen Ferdinand Koksma: Diophantische Approximationen. Springer-Verlag, Berlin u. a. 1974, ISBN 3-540-06300-5 (Reprint der Ausgabe 1936).
- Georg Johann Rieger: Zahlentheorie. Vandenhoeck & Ruprecht, Göttingen 1976, ISBN 3-525-40138-8.
- Harald Scheid: Zahlentheorie. 3. Auflage. Spektrum Akademischer Verlag, Heidelberg u. a. 2003, ISBN 3-8274-1365-6.
Einzelnachweise
- Koksma: Diophantische Approximationen. 1974, S. 83.
- Scheid: Zahlentheorie. 2003, S. 66.
- Rieger: Zahlentheorie. 1976, S. 139.
- = Ganzzahlfunktion von .
- Scheid: Zahlentheorie. 2003, S. 62 ff.