Normale Zahl

Als normale Zahl wird in der Mathematik eine reelle Zahl bezeichnet, unter deren Nachkommaziffern für jedes $k\geq 1$ alle möglichen -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 $\Sigma$ ein endliches Alphabet und $\Sigma ^{\infty }$ bezeichne die Menge aller Folgen (= unendlichen Sequenzen) über diesem Alphabet. Sei $S\in \Sigma ^{\infty }$ eine solche Folge. Für jedes Zeichen $a\in \Sigma$ sei mit $N_{S}(a,n)$ die Anzahl bezeichnet, wie oft in den ersten Gliedern der Folge auftritt. Die Folge heißt einfach normal genau dann, wenn für jedes folgende Grenzwertbeziehung erfüllt ist:

$\lim _{n\to \infty }{\frac {N_{S}(a,n)}{n}}={\frac {1}{|\Sigma |}}$

Sei ein Wort (= endliche Sequenz) über diesem Alphabet, also aus $\textstyle \Sigma ^{*}=\bigcup \{\Sigma ^{n}\mid n\in \mathbb {N} _{0}\}$ , und sei $N_{S}(w,n)$ die Anzahl, wie oft das Wort als Teilwort in den ersten Zeichen der Folge auftritt. (Beispiel: Für $S=01010101...$ gilt $N_{S}(010,8)=3$ .) Die Folge heißt normal genau dann, wenn für alle endlichen $w\in \Sigma ^{\ast }$ folgende Grenzwertbeziehung gilt:

$\lim _{n\to \infty }{\frac {N_{S}(w,n)}{n}}={\frac {1}{{|\Sigma |}^{|w|}}}$

wobei |w| die Länge des Worts bezeichnet und $|\Sigma |$ die Anzahl der Zeichen im Alphabet $\Sigma$ .

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

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

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

Einfach normale Zahl

Die Zahl $x\in \mathbb {R}$ heißt einfach normal zur Basis , wenn jede Ziffernfolge $S_{x,b}$ in der -adischen Darstellung eine einfach normale Folge über dem Alphabet $\Sigma _{b}$ ist. (Wenn das der Fall ist, ist die Wahl für die Ziffernfolge eindeutig; allgemein ist diese Ziffernfolge nicht eindeutig) Das ist genau dann der Fall, wenn für alle Ziffern dieser Darstellung gilt:

$\lim _{n\to \infty }{\frac {N_{S_{x,b}}(a,n)}{n}}={\frac {1}{b}}$

Beispielsweise ist die Zahl ${\tfrac {1}{3}}=0{,}{\overline {01}}_{2}$ (periodischer Block von $01$ in Basis ) einfach normal in Basis , da die Ziffern $0$ und gleich häufig vorkommen.

Normale Zahl

Die Zahl $x\in \mathbb {R}$ heißt normal zur Basis genau dann, wenn die Ziffernfolge $S_{x,b}$ in der -adischen Darstellung eine normale Folge über dem Alphabet $\Sigma _{b}$ ist. Das ist genau dann der Fall, wenn für jede endliche Sequenz von Ziffern dieser Darstellung gilt:

$\lim _{n\to \infty }{\frac {N_{S_{x,b}}(w,n)}{n}}={\frac {1}{b^{|w|}}}$

(Die Sequenz bezeichnet man auch als -stelligen Ziffernblock)

Es lässt sich zeigen, dass eine Zahl genau dann normal zur Basis ist, wenn die Folge

$(b^{n}x)_{n\geq 1}=(b\cdot x,b^{2}\cdot x,b^{3}\cdot x,\dots )$

Absolut normale Zahl

Die Zahl heißt absolut normal, wenn sie zu jeder Basis $b\geq 2$ normal ist.

Es gilt folgende Äquivalenz: die Zahl ist genau dann normal zur Basis , wenn sie einfach normal zu jeder der Basen $b,b^{2},b^{3},\ldots$ ist.

Anzahl normaler Zahlen

Der Begriff normale Zahl wurde 1909 von Émile Borel eingeführt. Er bewies auch gleich mit Hilfe des Borel-Cantelli-Lemmas, dass fast alle (im Lebesgue-Sinn) reellen Zahlen normal bzw. sogar absolut normal sind.

Die Menge der nicht-normalen Zahlen ist allerdings überabzählbar, wie sich leicht anhand einer dem 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 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:

$C_{10}=0{,}12345678910111213141516\ldots$

Sie ist Folge A033307 in OEIS und wird gebildet durch Aneinanderreihen der natürlichen Zahlen zur Basis . 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 normalen Zahl, Folge A33308 in OEIS. Die ersten Dezimalstellen lauten:

$CE_{10}=0{,}235711131719232931374143\ldots$

Sie wird durch Aneinanderreihen aller Primzahlen zur Basis gebildet.

Wolfgang Schmidt untersuchte 1960, unter welchen Bedingungen an und Zahlen, die zur Basis normal sind, auch zur Basis normal sind, und zeigte: Wenn ${\tfrac {\ln(r)}{\ln(s)}}$ eine rationale Zahl ist (äquivalent: wenn es positive natürliche Zahlen und mit $r^{n}=s^{m}$ gibt), dann ist jede zur Basis normale Zahl auch zur Basis normal. Die Umkehrung gilt ebenfalls, und sogar: Wenn ${\tfrac {\ln(r)}{\ln(s)}}$ irrational ist, dann hat die Menge der Zahlen, die zur Basis normal und zur Basis nicht normal sind, die Mächtigkeit des Kontinuums.

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).

Kreiszahl π

Es ist von vielen irrationalen Zahlen nicht bekannt, ob sie zu irgendeiner Basis normal sind oder nicht, unter ihnen sind die Kreiszahl $\pi$ , die Eulersche Konstante , der natürliche Logarithmus der Zahl 2 oder ${\sqrt {2}}$ . Die meisten als normal erkannte Zahlen wurden mit dieser Eigenschaft als Ziel konstruiert.

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

Basierend auf einem Artikel in:

Wikipedia.de