Das Liouville-Theorem ist ein fundamentales Resultat in der Zahlentheorie, das sich mit der Approximation von irrationalen Zahlen durch rationale Zahlen beschäftigt. Es besagt, dass es für jede reelle Zahl eine positive Konstante gibt, sodass für alle rationalen Approximationen (wobei und ganze Zahlen sind und ) die Ungleichung gilt:
wenn eine algebraische Zahl ist und nicht rational ist. Dies bedeutet, dass algebraische Zahlen nur durch rationale Zahlen mit einer bestimmten Genauigkeit approximiert werden können, die sich mit zunehmendem schnell verringert. Das Theorem hat weitreichende Implikationen in der Diophantischen Approximation und ist ein Baustein für die Entwicklung der Transzendenztheorie, die sich mit Zahlen beschäftigt, die nicht die Wurzeln einer nichttrivialen Polynomgleichung mit ganzzahligen Koeffizienten sind.
Starte dein personalisiertes Lernelebnis mit acemate. Melde dich kostenlos an und finde Zusammenfassungen und Altklausuren für deine Universität.