Diophantische Approximation

Die diophantische Approximation misst, wie genau irrationale Zahlen durch Brüche angenähert werden können; die Antwort hängt empfindlich von der Zahl ab und trennt rationale, algebraisch irrationale und transzendente Zahlen.

Definition

Die diophantische Approximation ist die Untersuchung, wie gut reelle Zahlen durch rationale Zahlen angenähert werden können, quantifiziert durch die Größe der Differenz zwischen einer Zahl und einem Bruch relativ zur Größe des Nenners des Bruchs.

Scope

Dieses Thema behandelt Dirichlets Approximationssatz und das Schubfachprinzip, Kettenbrüche als beste Approximationen, das Irrationalitätsmaß einer Zahl, Liouvilles Satz und die Konstruktion von Liouville-Zahlen (transzendent), den Satz von Thue-Siegel-Roth zur Approximation algebraischer Zahlen sowie Anwendungen zur Begrenzung von Lösungen diophantischer Gleichungen und zu Transzendenzbeweisen.

Core questions

• Wie gut kann jede irrationale Zahl durch rationale Zahlen angenähert werden, wie durch Dirichlets Satz garantiert?
• Warum sind Kettenbruchkonvergenzen die besten rationalen Approximationen?
• Wie begrenzt Liouvilles Satz die Approximierbarkeit algebraischer Zahlen und zeigt dadurch transzendente Zahlen auf?
• Welche schärfere Grenze legt der Satz von Thue-Siegel-Roth fest und wie begrenzt er Lösungen diophantischer Gleichungen?

Key theories

Dirichlets Approximationssatz

Für jede irrationale Zahl gibt es unendlich viele Brüche, die sie bis auf eins durch das Quadrat des Nenners approximieren, eine Schranke, die durch das Schubfachprinzip bewiesen und im Wesentlichen durch Kettenbrüche erreicht wird.

Liouvilles Satz und Transzendenz

Algebraische Zahlen können nicht schneller durch rationale Zahlen angenähert werden als eine Potenz, die von ihrem Grad abhängt; Zahlen, die schneller approximierbar sind, wie Liouvilles Konstante, müssen transzendent sein.

Satz von Thue-Siegel-Roth

Eine irrationale algebraische Zahl kann nicht mit einem Exponenten approximiert werden, der wesentlich größer als zwei ist; diese bestmögliche Schranke impliziert die Endlichkeit von Lösungen für breite Klassen diophantischer Gleichungen.

Clinical relevance

Die Approximationsqualität steuert die Stabilität numerischer Algorithmen, die irrationale Verhältnisse beinhalten, und liegt der Gitterreduktion (der Grundlage von Angriffen und Konstruktionen in der Gitterkryptographie) sowie dem Design von Sequenzen mit geringer Diskrepanz zugrunde, die in der Quasi-Monte-Carlo-Integration verwendet werden.

History

Kettenbruchapproximationen wurden von Euler und Lagrange untersucht. Liouville konstruierte 1844 die ersten expliziten transzendenten Zahlen unter Verwendung seiner Approximationsschranke; Thue, Siegel und schließlich Roth im Jahr 1955 schärften die Schranke für algebraische Zahlen, ein Ergebnis, für das Roth die Fields-Medaille erhielt.

Key figures

• Peter Gustav Lejeune Dirichlet
• Joseph Liouville
• Axel Thue
• Klaus Roth

Frequently asked questions

Was ist ein Irrationalitätsmaß?

Es quantifiziert, wie genau eine Zahl durch rationale Zahlen angenähert werden kann: Ein größeres Maß bedeutet, dass bessere Approximationen möglich sind. Rationale Zahlen haben das Maß eins, algebraische irrationale Zahlen genau zwei (nach Roth) und Liouville-Zahlen ein unendliches Maß.

Wie beweist die Approximation, dass eine Zahl transzendent ist?

Wenn eine Zahl durch rationale Zahlen schneller angenähert werden kann, als Liouvilles Schranke es für jede algebraische Zahl zulässt, kann sie nicht algebraisch sein und muss daher transzendent sein.