Satz von Lochs
In der Zahlentheorie ist der Satz von Lochs ein Satz über die Konvergenzgeschwindigkeit von Kettenbruchdarstellungen reeller Zahlen. Der Satz wurde 1964 von Gustav Lochs bewiesen.<ref>G. Lochs: Abh. Hamburg Univ. Math. Sem. 27, 1964, S. 142–144.</ref> Danach ist die Kettenbruchschreibweise nur etwas effizienter als die Dezimalzahlendarstellung.
Der Satz
Der Satz besagt, dass für fast alle reellen Zahlen in dem Intervall <math>(0,1)</math> die Anzahl der Terme <math>m</math> der Kettenbruchdarstellung einer Zahl, die dazu benötigt wird, die ersten <math>n</math> Stellen der Dezimaldarstellung der Zahl darzustellen, sich asymptotisch wie folgt verhält:
- <math>\lim_{n\to\infty} \frac{m}{n} = \frac{6\cdot\ln 2\cdot\ln 10}{\pi^2} = 0{,}970270114...</math>
(Nachkommastellen des Wertes: Folge A086819 in OEIS)
Die Menge der Zahlen, für die dies nicht gilt, hat 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 <math>\pi</math> 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 <math>\ln 10</math> durch <math>\ln 11</math> 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… |
| <math>\to\infty</math> | <math>\to\infty</math> |
Weiteres
Der Kehrwert des Grenzwertes für das Dezimalsystem, also
- <math>\frac{\pi^2}{6\cdot\ln 2\cdot\ln 10} = 1{,}03064083...</math>,<ref>Folge A062542 in OEIS</ref><ref><templatestyles src="Webarchiv/styles.css" />{{#if:20110317203556
| {{#ifeq: 20110317203556 | *
| {{#if: lacim.uqam.ca | {{#invoke:WLink|getEscapedTitle|lacim.uqam.ca}} | {{#invoke:Webarchiv|getdomain|http://pi.lacim.uqam.ca/piDATA/continuedfr.txt}} }} (Archivversionen)
| {{#iferror: {{#time: j. F Y|20110317203556}}
| {{#if: || }}Der Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
| {{#if: lacim.uqam.ca | {{#invoke:WLink|getEscapedTitle|lacim.uqam.ca}} | {{#invoke:Webarchiv|getdomain|http://pi.lacim.uqam.ca/piDATA/continuedfr.txt}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y|20110317203556}} im Internet Archive{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
}}
| {{#if:
| {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
| {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
| 16= {{#if: lacim.uqam.ca | {{#invoke:WLink|getEscapedTitle|lacim.uqam.ca}} | {{#invoke:Webarchiv|getdomain|http://pi.lacim.uqam.ca/piDATA/continuedfr.txt}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| 9 = {{#if: lacim.uqam.ca | {{#invoke:WLink|getEscapedTitle|lacim.uqam.ca}} | {{#invoke:Webarchiv|getdomain|http://pi.lacim.uqam.ca/piDATA/continuedfr.txt}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!{{#if: || }}
}}
| c|{{{webciteID}}}}} {{#if: lacim.uqam.ca | {{#invoke:WLink|getEscapedTitle|lacim.uqam.ca}} | {{#invoke:Webarchiv|getdomain|http://pi.lacim.uqam.ca/piDATA/continuedfr.txt}} }} ({{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
| {{#if:
| Vorlage:Webarchiv/Today
| {{#if:
| Vorlage:Webarchiv/Generisch
| {{#if: lacim.uqam.ca | {{#invoke:WLink|getEscapedTitle|lacim.uqam.ca}} | {{#invoke:Webarchiv|getdomain|http://pi.lacim.uqam.ca/piDATA/continuedfr.txt}} }}
}}}}}}}}{{#if:
| Vorlage:Webarchiv/archiv-bot
}}{{#invoke:TemplatePar|check
|all = url=
|opt = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
|cat = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
|errNS = 0
|template = Vorlage:Webarchiv
|format = *
|preview = 1
}}{{#ifexpr: {{#if:20110317203556|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
}}{{#if:
| {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
| web.archive.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}}
| webcitation.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}}
| archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
}}{{#if:
| {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
| }}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
}}
| {{#if:
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
}}
}}{{#if:{{#invoke:URLutil|isHostPathResource|http://pi.lacim.uqam.ca/piDATA/continuedfr.txt}}
|| {{#if: || }}
}}{{#if: lacim.uqam.ca
| {{#if: {{#invoke:WLink|isBracketedLink|lacim.uqam.ca}}
| {{#if: || }}
}}
| {{#if: || }}
}}{{#switch:
|addlarchives|addlpages= {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
}}{{#ifeq: {{#invoke:Str|find|http://pi.lacim.uqam.ca/piDATA/continuedfr.txt%7Carchiv}} |-1
|| {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://pi.lacim.uqam.ca/piDATA/continuedfr.txt%7C4}}%7Chttp}} |-1
|| {{#switch: {{#invoke:Webarchiv|getdomain|http://pi.lacim.uqam.ca/piDATA/continuedfr.txt }}
| abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org =
| #default = {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
}}
}}
}}</ref>
ist das Doppelte des Zehner-Logarithmus der 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
- {{#if: | {{{author}}} | Eric W. Weisstein }}: Lochs’ Theorem. In: MathWorld (englisch). {{#if: | {{#ifeq: {{#property:P2812}} | {{{id}}} | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }}
Einzelnachweise
<references />
Kategorien:
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv/Archiv-URL
- Wikipedia:Vorlagenfehler/Parameter:URL
- Wikipedia:Vorlagenfehler/Parameter:Linktext
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv/Linktext fehlt
- Wikipedia:Wikidata P2812 verschieden
- Wikipedia:Wikidata P2812 fehlt
- Analysis
- Satz (Mathematik)