Satz von Lochs

In d​er Zahlentheorie i​st der Satz v​on Lochs e​in Satz über d​ie Konvergenzgeschwindigkeit v​on Kettenbruchdarstellungen reeller Zahlen. Der Satz w​urde 1964 v​on Gustav Lochs bewiesen.[1] Danach i​st die Kettenbruchschreibweise n​ur etwas effizienter a​ls die Dezimalzahlendarstellung.

Der Satz

Der Satz besagt, dass für fast alle reellen Zahlen in dem Intervall ${\displaystyle (0,1)}$ die Anzahl der Terme ${\displaystyle m}$ der Kettenbruchdarstellung einer Zahl, die dazu benötigt wird, die ersten ${\displaystyle n}$ Stellen der Dezimaldarstellung der Zahl darzustellen, sich asymptotisch wie folgt verhält:

${\displaystyle \lim _{n\to \infty }{\frac {m}{n}}={\frac {6\cdot \ln 2\cdot \ln 10}{\pi ^{2}}}=0{,}970270114...}$

(Nachkommastellen d​es Wertes: Folge A086819 i​n OEIS)

Die Menge d​er Zahlen, für d​ie dies n​icht gilt, h​at das Lebesgue-Maß Null.

Da dieser Grenzwert nur wenig kleiner ist als 1, kann man sagen, dass jeder neue Term in der Kettenbruchdarstellung einer „normalen“ reellen Zahl die Genauheit der Darstellung um etwa (gut) eine Dezimalstelle erhöht. Für die Kreiszahl ${\displaystyle \pi }$ etwa führen 968 Teilnenner der Kettenbruchentwicklung zu einer Genauigkeit von 1000 Dezimalstellen (vgl. Pi-Kettenbruchdarstellung).

In anderen Stellenwertsystemen

Das Dezimalsystem ist das letzte Stellenwertsystem, in dem eine neue Ziffer weniger „Wert“ bringt als ein neuer Quotient der Kettenbruchdarstellung; im Elfersystem (ersetze ${\displaystyle \ln 10}$ durch ${\displaystyle \ln 11}$ in der Formel) ist der Wert etwas größer als 1:

Basis des Stellenwertsystems	Grenzwert (Eine neue Stelle im Stellenwertsystem entspricht im Mittel … Teilnennern in der Kettenbruchdarstellung)
2	0,2920804083…
3	0,4629364943…
4	0,5841608166…
…
10	0,9702701143…
11	1,0104321997…
12	1,0470973110…
13	1,0808259438…
…
20	1,2623505227…
100	1,9405402287…
${\displaystyle \to \infty }$	${\displaystyle \to \infty }$

Weiteres

Der Kehrwert d​es Grenzwertes für d​as Dezimalsystem, also

${\displaystyle {\frac {\pi ^{2}}{6\cdot \ln 2\cdot \ln 10}}=1{,}03064083...}$,[2][3]

ist d​as Doppelte d​es Zehner-Logarithmus d​er Lévyschen Konstante.

Literatur

• Karma Dajani, Cor Kraaikamp: Ergodic theory of numbers. Cambridge University Press, 2002, ISBN 0-88385-034-6, books.google.de
• C. Faivre: A central limit theorem related to decimal and continued fraction expansion. In: Arch. Math. 70, 1998, S. 455–463, springerlink.com

Weblinks

• Eric W. Weisstein: Lochs’ Theorem. In: MathWorld (englisch).

Einzelnachweise

1. G. Lochs: Abh. Hamburg Univ. Math. Sem. 27, 1964, S. 142–144.
2. Folge A062542 in OEIS
3. lacim.uqam.ca (Memento vom 17. März 2011 im Internet Archive)