Irrationalitätsmaß

Mit dem Irrationalitätsmaß $\mu (x)$ einer reellen Zahl $x$ bezeichnet man das Supremum aller reellen Exponenten $\sigma$, die

$0<\left|x-{\frac {p}{q}}\right|<{\frac {1}{q^{\sigma }}}$

für unendlich viele natürliche $q$ (mit $p\in \mathbb {Z}$ passend gewählt) erfüllen. Je größer das Irrationalitätsmaß einer reellen Zahl, desto besser lässt sie sich also durch rationale Zahlen approximieren.

Am besten lassen sich die sogenannten Liouvilleschen Zahlen durch rationale Zahlen approximieren. Das sind per Definition genau die reellen Zahlen, die ein Irrationalitätsmaß von $\infty$ besitzen.

Am schlechtesten lassen sich die rationalen Zahlen selbst durch rationale Zahlen approximieren. Sie sind die einzigen mit Irrationalitätsmaß 1, alle irrationalen Zahlen besitzen ein Irrationalitätsmaß von mindestens 2, wie man aus dem dirichletschen Approximationssatz folgern kann.

Der Satz von Thue-Siegel-Roth (für dessen Beweis Klaus Friedrich Roth 1958 mit der Fields-Medaille ausgezeichnet wurde) wiederum impliziert, dass alle algebraischen reellen Zahlen ein Irrationalitätsmaß von maximal 2 haben. Es folgt also für alle algebraischen reellen Zahlen $x$

$\mu (x)={\begin{cases}1,\quad &x\in \mathbb {Q} ,\\2,&x\in {\overline {\mathbb {Q} }}\setminus \mathbb {Q} .\end{cases}}$

Damit ist gezeigt, dass alle reellen Zahlen mit Irrationalitätsmaß größer als 2 transzendent sind. Tatsächlich haben aber auch die meisten transzendenten Zahlen ein Irrationalitätsmaß von 2, denn fast alle reellen Zahlen tragen das Irrationalitätsmaß 2. Die Zahlen mit einem von 2 verschiedenen Irrationalitätsmaß bilden also eine Lebesgue-Nullmenge, sind aber überabzählbar, da es alleine schon überabzählbar viele Liouvillesche Zahlen gibt.

Für sehr viele in der Zahlentheorie relevante Zahlen ist das Irrationalitätsmaß noch unbekannt. Oft gibt es aber obere Schranken. Zum Beispiel weiß man inzwischen, dass das Irrationalitätsmaß der Kreiszahl π kleiner als 7,2 ist und, falls die Reihe

$\sum _{n=1}^{\infty }{\frac {1}{n^{3}\sin ^{2}(n)}}$

konvergiert, sogar kleiner als 2,5 ist.