Irrationalitätsmaß

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

$0<|x-\frac{p}{q}|<\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 $\mathrm{\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{array}{cc}1,& x\in \mathbb{Q},\\ 2,& x\in \bar{\mathbb{Q}}\setminus \mathbb{Q}.\end{array}$

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 transzendente in der Zahlentheorie relevante Zahlen ist das Irrationalitätsmaß noch unbekannt. Oft gibt es aber obere (und untere) Schranken:

Zahl $x$	Irrationalitätsmaß $\mu (x)$		Anmerkungen
	untere Schranke	obere Schranke
Rationale Zahl	1		Jede rationale Zahl hat ein Irrationalitätsmaß von genau eins.
Algebraische irrationale Zahl	2		Nach dem Satz von Thue-Siegel-Roth haben algebraisch-irrationale Zahlen wie die Wurzel aus 2 und der goldene Schnitt ein Irrationalitätsmaß von genau zwei.
$e^{2/k}$ mit $k\in {\mathbb{Z}}^{+}$	2		Für die Eulersche Zahl gilt $e=[2;1,2,1,1,4,1,1,6,1,...,1,2n,1,...]$, weshalb deren Irrationalitätsmaß genau zwei ist.
$\tan (1/k),k\in {\mathbb{Z}}^{+}$	2		Es gilt $\tan (1)=[1;1,1,3,1,5,1,7,1,...,1,2n+1,...]$
$\ln (2)$	2	3,57455…	.
$\ln (3)$	2	5,11620…
$\pi$	2	7,10320…	Falls die Reihe $\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^3{\sin }^2(n)}$ konvergiert, ist das Irrationalitätsmaß von der Kreiszahl $\pi$ sogar kleiner als 2,5.
${\pi }^2$	2	5,09541…
$\arctan (1/2)$	2	9,27204…
$\arctan (1/3)$	2	5,94202…
Apéry-Konstante $\zeta (3)$	2	5,51389…
Cahen-Konstante $C$	3
Champernowne-Zahl $C_{10}$	10
Liouvillesche Konstante $L$	$\mathrm{\infty }$		Es ist $L=\sum _{j=1}^{\mathrm{\infty }}\frac{1}{10^{j!}}=\frac{1}{10^1}+\frac{1}{10^2}+\frac{1}{10^6}+\frac{1}{10^{24}}+\cdots =0,1100010000000000000000010\dots$