imported>Schojoha: /* Konkrete Zahlen */

2025-05-22T22:54:09Z

Konkrete Zahlen

Neue Seite

Als '''normale Zahl''' wird in der [[Mathematik]] eine [[reelle Zahl]] bezeichnet, unter deren Nachkommaziffern für jedes <math>k \geq 1</math> alle möglichen <math>k</math>-stelligen Ziffernblöcke mit gleichen asymptotischen relativen Häufigkeiten auftreten.

Eine Zahl heißt also normal, wenn in ihrer Ziffernfolge jeder Ziffernblock vorkommt und Ziffernblöcke gleicher Länge gleich häufig auftreten.

== Definition ==
=== Sequenzen über einem Alphabet ===
Sei <math>\Sigma</math> ein endliches [[Alphabet (Informatik)|Alphabet]] und <math>\Sigma^\infty</math> bezeichne die Menge aller [[Folge (Mathematik)|Folgen]] (= unendlichen Sequenzen) über diesem Alphabet.
Sei <math>S\in\Sigma^\infty</math> eine solche Folge. Für jedes Zeichen <math>a\in\Sigma</math> sei mit <math>N_S(a,n)</math> die Anzahl bezeichnet, wie oft <math>a</math> in den ersten <math>n</math> Gliedern der Folge <math>S</math> auftritt. Die Folge <math>S</math> heißt ''einfach normal'' genau dann, wenn für jedes <math>a</math> folgende [[Grenzwert (Folge)|Grenzwert]]beziehung erfüllt ist:

:<math>\lim_{n\to\infty} \frac{N_S(a,n)}{n} = \frac{1}{|\Sigma|}</math>

Sei <math>w</math> ein [[Wort (Theoretische Informatik)|Wort]] (= endliche Sequenz) über diesem Alphabet, also aus <math display="inline">\Sigma^{*} = \bigcup_{n\in\N_0} \Sigma^{n}</math>, und sei <math>N_S(w,n)</math> die Anzahl, wie oft das Wort <math>w</math> als Teilwort in den ersten <math>n</math> Zeichen der Folge <math>S</math> auftritt. (Beispiel: Für <math>S = 01010101...</math> gilt <math>N_S(010,8)=3</math>.) Die Folge <math>S</math> heißt ''normal'' genau dann, wenn für alle endlichen Wörter <math>w\in\Sigma^\ast</math> folgende Grenzwertbeziehung gilt:

:<math>\lim_{n\to\infty} \frac{N_S(w,n)}{n} = \frac{1}{{|\Sigma|}^{|w|}}</math>

wobei <math>|w|</math> die Länge des Worts <math>w</math> bezeichnet und <math>|\Sigma|</math> die Anzahl der Zeichen im Alphabet <math>\Sigma</math>.

Mit anderen Worten ist die Folge <math>S</math> genau dann normal, wenn alle Wörter gleicher Länge <math>k=|w|</math> mit der gleichen asymptotischen Häufigkeit auftreten.
In einer normalen Binärfolge (= Folge über dem Alphabet <math>\{0,1\}</math>) kommen die Ziffern <math>0</math> und <math>1</math> im Grenzwert <math>n\to\infty</math> mit der Häufigkeit <math>\tfrac12</math> vor, außerdem die Paarungen <math>00</math>, <math>01</math>, <math>10</math> und <math>11</math> mit der Häufigkeit <math>\tfrac14</math>, die Tripletts <math>000</math>, <math>001</math>, <math>010</math>, <math>011</math>, <math>100</math>, <math>101</math>, <math>110</math> und <math>111</math> mit der Häufigkeit <math>\tfrac18</math> usw.

Betrachten wir nun als Zeichenfolge eine Ziffernfolge <math>S_{x,b}</math> einer beliebigen [[reelle Zahl|reellen Zahl]] <math>x</math> in der Darstellung in einem [[Stellenwertsystem]] (als [[Zahlensystem]]) mit einer [[ganze Zahl|ganzzahligen]] Basis <math>b \geq 2</math> (<math>b</math>-adische Darstellung). Die Zeichen sind hier die Ziffern dieser Darstellung von <math>0</math> bis <math>b-1</math>, das Alphabet ist also <math>\Sigma_b=\{0,1,\dots,b-1\}</math>. Die Position des Dezimaltrenners (Komma) spielt keine Rolle.

Zu jedem <math>k</math>-stelligen Ziffernblock <math>w</math> dieser Darstellung (d. h. aus Ziffern zur Basis <math>b</math> und mit Länge <math>|w|=k</math>) bezeichnet <math>N_{S_{x,b}}(w,n)</math> die Anzahl, mit welcher der Ziffernblock <math>w</math> unter den ersten <math>n</math> Nachkommastellen von <math>x</math> auftritt.

=== Einfach normale Zahl ===
Die Zahl <math>x\in\R</math> heißt ''einfach normal'' zur Basis <math>b</math>, wenn jede Ziffernfolge <math>S_{x,b}</math> in der <math>b</math>-adischen Darstellung eine ''einfach normale'' Folge über dem Alphabet <math>\Sigma_b</math> ist. (Wenn das der Fall ist, ist die Wahl für die Ziffernfolge eindeutig; allgemein ist diese Ziffernfolge nicht eindeutig, siehe [[0,999...]]) Das ist genau dann der Fall, wenn für alle Ziffern <math>a</math> dieser Darstellung gilt:

: <math> \lim_{n\to\infty} \frac{N_{S_{x,b}}(a,n)}{n} = \frac{1}b </math>

Beispielsweise ist die Zahl <math>\tfrac13=0{,}\overline{01}_2</math> (periodischer Block von <math>01</math> in Basis <math>2</math>) einfach
normal in Basis <math>2</math>, da die Ziffern <math>0</math> und <math>1</math> gleich häufig vorkommen.

=== Normale Zahl ===
Die Zahl <math>x\in\R</math> heißt ''normal'' zur Basis <math>b</math> genau dann, wenn die Ziffernfolge <math>S_{x,b}</math> in der <math>b</math>-adischen Darstellung eine ''normale'' Folge über dem Alphabet <math>\Sigma_b</math> ist. Das ist genau dann der Fall, wenn für jede endliche Sequenz <math>w</math> von Ziffern dieser Darstellung gilt:

: <math> \lim_{n\to\infty} \frac{N_{S_{x,b}}(w,n)}{n} = \frac{1}{b^{|w|}}</math>

(Die Sequenz <math>w</math> bezeichnet man auch als <math>k</math>-stelligen Ziffernblock)

Es lässt sich zeigen, dass eine Zahl <math>x</math> genau dann normal zur Basis <math>b</math> ist, wenn die Folge
:<math>(b^n x)_{n \geq 1} = (b\cdot x, b^2\cdot x, b^3\cdot x, \dots)</math>
[[Gleichverteilung modulo 1|gleichverteilt modulo 1]] ist.

Außerdem gilt folgende Äquivalenz: die Zahl <math>x</math> ist genau dann normal zur Basis <math>b</math>, wenn sie einfach normal zu jeder der Basen <math>b,b^2,b^3,\ldots</math> ist.<ref>Siehe Seiten 5 und 12 in der unter „Literaturangaben“ genannten Diplomarbeit von Christoph Aistleitner.</ref>

=== Absolut normale Zahl ===
Die Zahl <math>x</math> heißt ''absolut normal'', wenn sie zu jeder Basis <math>b \geq 2</math> normal ist.

== Anzahl normaler Zahlen ==
Der Begriff ''normale Zahl'' wurde 1909 von [[Émile Borel]] eingeführt. Er bewies auch gleich mit Hilfe des [[Borel-Cantelli-Lemma]]s, dass fast alle (im [[Lebesgue-Maß|Lebesgue-Sinn]]) reellen Zahlen normal bzw. sogar absolut normal sind.

Die Menge der nicht-normalen Zahlen ist allerdings [[Überabzählbarkeit|überabzählbar]], wie sich leicht anhand einer dem [[Cantor-Menge|Cantorschen Diskontinuum]] entsprechenden Konstruktion zeigen lässt.

== Konstruktion normaler Zahlen ==
[[Wacław Sierpiński]] lieferte im Jahr 1917 die erste Konstruktion einer normalen Zahl. [[Verónica Becher]] und [[Santiago Figueira]] gaben 2002 einen Algorithmus zur Berechnung der von Sierpiński konstruierten Zahl an. Die [[Chaitinsche Konstante]] ist ein Beispiel einer nicht [[berechenbare Zahl|berechenbaren]] normalen Zahl.

[[David Gawen Champernowne]] gab im Jahr 1933 die erste explizite Konstruktion einer normalen Zahl an, die als [[Champernowne-Zahl]] bekannt ist. Im [[Dezimalsystem]] lauten die ersten Stellen:

:<math>C_{10} = 0{,}12345678910111213141516\ldots</math>

Sie ist {{OEIS|A033307}} und wird gebildet durch Aneinanderreihen der [[Natürliche Zahl|natürlichen Zahlen]] zur Basis <math>10</math>. Die Champernowne-Zahl ist nicht normal bezüglich einiger anderer Basen.

Die [[Copeland-Erdős-Zahl]], benannt nach [[Arthur Herbert Copeland]] und [[Paul Erdős]], ist ein weiteres Beispiel einer zur Basis <math>10</math> normalen Zahl, {{OEIS|A033308}}. Die ersten Dezimalstellen lauten:

:<math>CE_{10} = 0{,}235711131719232931374143\ldots</math>

Sie wird durch Aneinanderreihen aller [[Primzahl]]en zur Basis <math>10</math> gebildet.

[[Wolfgang Schmidt (Mathematiker)|Wolfgang Schmidt]] untersuchte 1960, unter welchen Bedingungen an <math>r</math> und <math>s</math> Zahlen, die zur Basis <math>r</math> normal sind, auch zur Basis <math>s</math> normal sind, und zeigte: Wenn <math>\tfrac{\ln(r)}{\ln(s)}</math> eine rationale Zahl ist (äquivalent: wenn es positive natürliche Zahlen <math>m</math> und <math>n</math> mit <math>r^n=s^m</math> gibt), dann ist jede zur Basis <math>r</math> normale Zahl auch zur Basis <math>s</math> normal. Die Umkehrung gilt ebenfalls, und sogar: Wenn <math>\tfrac{\ln(r)}{\ln(s)}</math> irrational ist, dann hat die Menge der Zahlen, die zur Basis <math>r</math> normal und zur Basis <math>s</math> nicht normal sind, die Mächtigkeit des [[Kontinuum (Mathematik)|Kontinuum]]s.<ref>Wolfgang M. Schmidt: ''On normal numbers.'' Pacific Journal of Mathematics 10, 1960, S. 661–672 ([http://projecteuclid.org/euclid.pjm/1103038420 online], {{Webarchiv|url=http://www.zentralblatt-math.org/zmath/scans.html?volume_=093&count_=054 |wayback=20131029184751 |text=ZMath-Review}}).</ref>

== Nicht normale Zahlen ==
Eine [[rationale Zahl]] kann zu keiner Basis normal sein, da ihre Darstellung stets periodisch wird. Es gibt aber auch Konstruktionen irrationaler Zahlen, die zu keiner Basis normal sind (man nennt solche Zahlen ''absolut abnormal'').

== Konkrete Zahlen ==
Von vielen irrationalen Zahlen ist nicht bekannt, ob sie zu irgendeiner Basis normal sind oder nicht, unter ihnen sind die [[Kreiszahl|Kreiszahl <math>\pi</math>]], die [[Eulersche Zahl|Eulersche Zahl <math>e</math>]], der natürliche [[Logarithmus]] der Zahl 2 und <math>\sqrt{2}</math>. Die meisten als normal erkannten Zahlen wurden mit dieser Eigenschaft als Ziel konstruiert.

Die Mathematiker [[David Harold Bailey|David H. Bailey]] und [[Richard E. Crandall]] stellten 2001 die bis heute nicht bewiesene Vermutung auf, dass jede [[irrationale Zahl|irrationale]] [[algebraische Zahl]] normal ist.

== Literatur ==
* Ivan Niven: ''Irrational Numbers.'' Carus Math. Monographs, John Wiley and Sons Inc., 1956.
* Lauwerens Kuipers, Harald Niederreiter: ''Uniform distribution of sequences.'' Wiley-Interscience Publ., 1974.
* David H. Bailey, Richard E. Crandall: ''On the Random Character of Fundamental Constant Expansions'', in: ''Experimental Mathematics'' 10 (2001), S. 175–190 ([http://crd-legacy.lbl.gov/~dhbailey/dhbpapers/baicran.pdf Online]; PDF-Datei; 279 kB)
* Émile Borel: ''Les probabilités dénombrables et leurs applications arithmétiques'', in: ''Rend. Circ. Mat. Palermo'' 27 (1909), S. 247–271
* David G. Champernowne: ''The Construction of Decimals Normal in the Scale of Ten'', in: ''Journal of the London Mathematical Society'', 8 (1933), S. 254–260
* Waclaw Sierpinski: ''Démonstration élémentaire d'un théorème de M. Borel sur les nombres absolutment normaux et détermination effective d'un tel nombre'', in: ''Bull. Soc. Math. France'', 45 (1917), S. 125–144
* Verónica Becher, Santiago Figueira: ''An example of a computable absolutely normal number'', in: ''Theoretical Computer Science'', 270 (2002), S. 947–958 ([https://staff.dc.uba.ar/becher/papers/becherTCS2002.pdf Online]; PDF-Datei; 121 kB)
* Christoph Aistleitner: ''Normale Zahlen'', Diplomarbeit, Technische Universität Wien, 2006 ([https://www.math.tugraz.at/~aistleitner/Diplomarbeit_Aistleitner.pdf Online]; PDF-Datei; 795 kB)

== Weblinks ==
* [https://www.youtube.com/watch?v=X42Pas_J8IU Fast alle Zahlen sind normal!] – Erklärvideo von [[Edmund Weitz]] auf [[YouTube]]

== Einzelnachweise ==
<references/>

[[Kategorie:Zahl]]

Normale Zahl - Versionsgeschichte

imported>Schojoha: /* Konkrete Zahlen */