Diophantische Approximation

Die mathematische Disziplin d​er diophantischen Approximation, benannt n​ach Diophantos v​on Alexandria, beschäftigt s​ich ursprünglich m​it der Annäherung reeller Zahlen d​urch rationale Zahlen. Bekannte Sätze i​n der Theorie d​er diophantischen Approximation s​ind der dirichletsche Approximationssatz u​nd der Satz v​on Thue-Siegel-Roth. Allgemeiner lässt s​ich das Gebiet definieren a​ls Approximation d​er Null d​urch reelle Funktionen m​it endlich vielen ganzzahligen Argumenten.[1]

Die Theorie spielt a​uch eine bedeutende Rolle b​ei der Frage d​er Lösbarkeit diophantischer Gleichungen u​nd in d​er Theorie transzendenter Zahlen. Häufig werden diophantische Ungleichungen betrachtet.

Euler bewies im 18. Jahrhundert, dass die besten rationalen Approximationen reeller Zahlen durch die Näherungsbrüche ihrer regulären Kettenbruchentwicklung gegeben sind (bricht man den Kettenbruch an einer Stelle ab, hat man eine rationale Zahl als Näherung an die reelle Zahl). Dass ${\displaystyle {\tfrac {p}{q}}}$ eine beste Approximation von ${\displaystyle x}$ ist, bedeutet dabei, dass

${\displaystyle \left|x-{\frac {p}{q}}\right|\leq \left|x-{\frac {p'}{q'}}\right|}$

für jede rationale Zahl ${\displaystyle {\tfrac {p'}{q'}}}$ mit ${\displaystyle 0<q'\leq q}$ gilt – dass also jede bessere Näherung einen größeren Nenner hat.

Manchmal w​ird auch folgende Ungleichung für d​ie Definition d​er besten Näherung verwendet:

${\displaystyle \left|qx-p\right|<\left|q^{\prime }x-p^{\prime }\right|}$

Beste Näherungen im Sinn dieser zweiten Definition sind auch beste Näherungen im Sinn der ersten Definition, aber nicht umgekehrt. Bei regulären Kettenbrüchen sind die ${\displaystyle n}$-ten Näherungsbrüche beste Näherungen im Sinn der zweiten Definition (siehe Kettenbruch und weitere dort angegebene Resultate).

Joseph Liouville bewies 1844, dass es bei algebraischen Zahlen (Lösungen einer algebraischen Gleichung vom Grad ${\displaystyle n}$ mit ganzzahligen Koeffizienten) eine untere Schranke für die Näherung durch rationale Zahlen gibt, die vom Nenner der rationalen Zahl abhängt und vom Grad der Gleichung:

${\displaystyle \left|x-{\frac {p}{q}}\right|>{\frac {c}{q^{n}}}}$

mit einer nur von der zu approximierenden Zahl abhängigen Konstanten ${\displaystyle c}$. Der Satz lässt sich so interpretieren, dass irrationale algebraische Zahlen nicht „sehr gut“ durch rationale Zahlen approximierbar sind.[2] Liouville gelang damit auch der erste Beweis der Existenz einer transzendenten Zahl, denn findet man eine irrationale Zahl, die sich durch rationale Zahlen „sehr gut“ approximieren lässt (das heißt besser als durch die Beschränkungen des Satzes von Liouville möglich ist), kann sie nicht algebraisch sein (Liouvillesche Zahlen). Der Satz von Liouville wurde im Lauf der Zeit verschärft bis zum Satz von Thue-Siegel-Roth im 20. Jahrhundert mit einem Exponenten ${\displaystyle 2+\varepsilon }$ im Nenner bei der unteren Schranke und einer Konstanten, die zusätzlich von der beliebig kleinen reellen Zahl ${\displaystyle \varepsilon }$ abhing.

Eine obere Schranke für die Näherung durch rationale Zahlen gibt der dirichletsche Approximationssatz: Für jede reelle Zahl ${\displaystyle x}$ gibt es unendlich viele rationale Näherungen ${\displaystyle {\tfrac {p}{q}}}$ mit

${\displaystyle \left|x-{\frac {p}{q}}\right|<{\frac {1}{q^{2}}}.}$

Auf der rechten Seite kann der Nenner noch zu ${\displaystyle {\sqrt {5}}q^{2}}$ verbessert werden (Émile Borel), eine weitere Verschärfung ist nach dem Satz von Hurwitz nicht möglich, da es für die Näherung der goldenen Zahl für ${\displaystyle cq^{2}}$ im Nenner mit ${\displaystyle c>{\sqrt {5}}}$ nur endlich viele Lösungen gibt.

Literatur

• J. F. Koksma: Diophantische Approximationen. Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer, Berlin 1936.
• J. W. S. Cassels: An introduction to diophantine approximation. Cambridge Tracts in Mathematics and Mathematical Physics 45, Cambridge University Press, 1957.
• Vladimir G. Sprindžuk: Metric theory of Diophantine approximations. John Wiley & Sons, New York NY u. a., 1979, ISBN 0-470-26706-2.
• Wolfgang M. Schmidt: Diophantine approximation. Lecture Notes in Mathematics 785, Springer, 1980.
• Serge Lang: Introduction to Diophantine Approximations, New Expanded Edition. Auflage, Springer-Verlag, New York NY u. a., 1995, ISBN 0-387-94456-7.

Weblinks

• Vladimir Sprindzuk: Diophantine Approximations. Encyclopedia of Mathematics, Springer.

Einzelnachweise und Anmerkungen

1. Wladimir Gennadjewitsch Sprindschuk: Diophantine Approximations. In: Encyclopedia of Mathematics. Springer, siehe Weblinks.
2. Naum Iljitsch Feldman: Algebraic and transcendental numbers. (PDF; 68,4 MB). In: Quantum. Juli/August 2000, S. 23. Dabei wird der Satz benutzt, dass wenn eine algebraische Zahl vom Grad ${\displaystyle n>1}$ Nullstelle eines Polynoms ${\displaystyle n}$-ten Grades mit ganzzahligen Koeffizienten ist, dieses Polynom keine rationale Nullstelle hat.