Search the corpus

    Borel's normal number theorem

    P-TRIV-PR33

    Area
    Prelim
    Status
    draft
    Contents

    Normal numbers

    Let \(x \in [ 0 , 1 )\) . Consider the infinite decimal notation for x:

    \[ x = 0 . a _ { 1 } a _ { 2 } . . . , \ a _ { i } = 0 , 1 , . . . , 9 , \ i \in \mathbb { N } ,\tag{55} \]

    where for the numbers with finite amount of decimal places we complete the records with infinite series of 0s. Now select randomly one x. What can one say about the typical distribution of digits \(0 , . . . , 9\) in \(x ?\) To answer the question, consider the following sequence of approximations:

    \[ \begin{array} { l } { { x _ { 0 } = 0 } } \\ { { x _ { 1 } = 0 . a _ { 1 } } } \\ { { . . . } } \\ { { x _ { n } = 0 . a _ { 1 } . . . a _ { n } } } \\ { { . . . } } \end{array}\tag{56} \]

    1. Show that

    \[ P \left( \operatorname* { l i m } _ { n \to \infty } \frac { 1 } { n } I _ { n } ( i ) = \frac { 1 } { 1 0 } \right) = 1 , \forall i ,\tag{57} \]

    where \(I _ { n } ( i )\) gives the number of i digit in \(x _ { n }\) . The result implies that almost all numbers contain equal (and infinite) amount of all 10 digits. Such numbers are called normal.

    1. Check if the rational numbers are normal.

    2. Check if the following number is normal:

    \[ x = 0 , 1 2 3 4 5 6 7 8 9 1 0 1 1 1 2 1 3 . . .\tag{58} \]

    Solution submission

    Submit a solution on GitHub