Satz von Chintschin
# Satz von Chintschin

Der Satz von Chintschin, benannt nach Alexander Jakowlewitsch Chintschin (1894–1959), ist ein Lehrsatz der Zahlentheorie. Er war ein Vorläufer der metrischen Theorie diophantischer Approximation und fand eine weitreichende Verallgemeinerung in der Duffin-Schaeffer-Vermutung.

## Formulierung des Satzes

Mit $\mathbb {N}$ bezeichnen wir die natürlichen Zahlen ohne die Null.
Sei $\phi (q):\mathbb {N} \to \mathbb {R} _{+}$ eine monoton fallende Funktion und $\lambda$ das eindimensionale Lebesgue-Maß.
Für eine reelle Zahl $\alpha$ bezeichnen wir mit $\Vert \alpha q\Vert$ den Abstand von $\alpha q$ zur nächstliegenden ganzen Zahl
    $\Vert \alpha q\Vert :=\min \limits _{z\in \mathbb {Z} }(|\alpha q-z|).$
Sei $f:\mathbb {R} \to \mathbb {N}$ die Funktion, die die Anzahl der Lösungen $q\in \mathbb {N}$ der Ungleichung $\Vert \alpha q\Vert <\phi (q)$ zählt:
    $f(\alpha ):=\#\{q\in \mathbb {N} :\Vert \alpha q\Vert <\phi (q)\}.$
Eine Zahl $\alpha \in \mathbb {R}$ heißt $\phi$-approximierbar, falls $f(\alpha )=\infty$.
Für die Menge der $\phi$-approximierbaren Zahlen gelten nun folgende Aussagen bezüglich des Lebesgue-Maß:
* Wenn $\sum _{q=1}^{\infty }\phi (q)=\infty$, dann ist $\lambda (\{\alpha \in \mathbb {R} :f(\alpha )=\infty \})=1$.
* Wenn $\sum _{q=1}^{\infty }\phi (q)<\infty$, dann ist $\lambda (\{\alpha \in \mathbb {R} :f(\alpha )=\infty \})=0$.
Eine äquivalente Formulierung besagt, dass unter obigen Voraussetzungen gilt:
* Wenn die Reihe $\sum _{q=1}^{\infty }\phi (q)$ divergiert, dann gibt es für Lebesgue-fast alle $\alpha \in \mathbb {R}$ unendlich viele rationale Zahlen ${\frac {p}{q}}$ mit $\left\vert \alpha -{\frac {p}{q}}\right\vert <{\frac {\Phi (q)}{q}}$.
* Wenn die Reihe $\sum _{q=1}^{\infty }\phi (q)$ konvergiert, dann gibt es für Lebesgue-fast alle$\alpha \in \mathbb {R}$ nur endlich viele rationale Zahlen ${\frac {p}{q}}$ mit $\left\vert \alpha -{\frac {p}{q}}\right\vert <{\frac {\Phi (q)}{q}}$.

## Beispiele

Für fast alle $\alpha$ gibt es unendlich viele rationale Zahlen ${\frac {p}{q}}$ mit
    $\left\vert \alpha -{\frac {p}{q}}\right\vert <{\frac {1}{q^{2}\ln q}}.$
Dagegen gibt es für $\epsilon >0$ für fast alle $\alpha$ nur endlich viele rationale Zahlen ${\frac {p}{q}}$ mit
    $\left\vert \alpha -{\frac {p}{q}}\right\vert <{\frac {1}{q^{2}(\ln q)^{1+\epsilon }}}.$

## Simultane Approximation

Die mehrdimensionale Version des Satzes von Chintschin besagt:
* Wenn die Reihe $\sum _{q=1}^{\infty }\phi (q)^{n}$ divergiert, dann hat für Lebesgue-fast alle $\alpha =(\alpha _{1},\ldots ,\alpha _{n})\in \mathbb {R} ^{n}$ das Ungleichungssystem $\max(\Vert \alpha _{1}q\Vert ,\ldots ,\Vert \alpha _{n}q\Vert )<\phi (q)$ unendlich viele ganzzahlige Lösungen $q\geq 1$.
* Wenn die Reihe $\sum _{q=1}^{\infty }\phi (q)$ konvergiert, dann hat für Lebesgue-fast alle $\alpha =(\alpha _{1},\ldots ,\alpha _{n})\in \mathbb {R} ^{n}$ das Ungleichungssystem $\max(\Vert \alpha _{1}q\Vert ,\ldots ,\Vert \alpha _{n}q\Vert )<\phi (q)$ nur endlich viele ganzzahlige Lösungen $q\geq 1$.