Nombre normal

Notons ${\displaystyle A=\{0,\dots ,b-1\}}$ l'ensemble des chiffres en base ${\displaystyle b}$, et soit ${\displaystyle x}$ un nombre réel. Si ${\displaystyle s}$ est une suite finie d'éléments de ${\displaystyle A}$, notons ${\displaystyle N(s,n)}$ le nombre d'apparitions de la suite ${\displaystyle s}$ parmi les ${\displaystyle n}$ premiers chiffres après la virgule du développement propre de ${\displaystyle x}$ en base ${\displaystyle b}$. Le nombre ${\displaystyle x}$ est dit :

• simplement normal (ou parfois équiréparti[2]) en base ${\displaystyle b}$ si${\displaystyle \forall a\in A\quad \lim _{n\to \infty }{\frac {N((a),n)}{n}}={\frac {1}{b}}}$[1]^,[3] ;
• normal en base ${\displaystyle b}$ s'il est simplement normal en base ${\displaystyle b^{k}}$ pour tout entier ${\displaystyle k>0}$[4], ce qui équivaut à :${\displaystyle \forall k\geqslant 1\quad \forall s\in A^{k}}$[5]${\displaystyle \quad \lim _{n\to \infty }{\frac {N(s,n)}{n}}={\frac {1}{b^{k}}}}$[6] ;
• normal (ou quelquefois absolument normal) s'il est normal dans toute base, ce qui équivaut à : simplement normal dans toute base.

Le concept de nombre normal a été introduit par Émile Borel en 1909[7]. En utilisant le lemme de Borel-Cantelli, il démontre le « théorème des nombres normaux » : presque tous les nombres réels sont absolument normaux, dans le sens où l'ensemble des nombres non absolument normaux est de mesure nulle (pour la mesure de Lebesgue).

Démonstration

En utilisant que toute réunion dénombrable d'ensembles négligeables est négligeable, on se ramène facilement[8] à démontrer que dans une base b fixée, presque tout élément de ${\displaystyle \Omega =\left[0,1\right[}$ est simplement normal.

Notons alors ${\displaystyle A=\{0,\dots ,b-1\}}$. Tout élément ω de ${\displaystyle \Omega }$ possède un unique développement propre en base b : il existe une unique écriture de ω sous la forme :

${\displaystyle \omega =\sum _{n=1}^{\infty }{\frac {\varepsilon _{n}(\omega )}{b^{n}}}}$

telle que, pour tout n, ${\displaystyle \varepsilon _{n}(\omega )\in A,}$ et tel que la suite ${\displaystyle \left(\varepsilon _{n}(\omega )\right)_{n\geq 1}}$ ne se termine pas par une suite infinie de chiffres b – 1.

On se donne un chiffre a ∈ A et l'on s'intéresse à la fréquence d'apparition de ce chiffre dans la suite des n premiers chiffres du développement de ω en base b.

On se place sur l'espace probabilisé ${\displaystyle \left(\Omega ,{\mathcal {A}},\mathbb {P} \right),}$ où ${\displaystyle {\mathcal {A}}}$ désigne la tribu borélienne de ${\displaystyle \Omega }$ et où ${\displaystyle \mathbb {P} }$ est la mesure de Lebesgue restreinte à ${\displaystyle {\mathcal {A}}}$. Alors, sous ${\displaystyle \mathbb {P} }$, la famille ${\displaystyle \left(\varepsilon _{n}\right)_{n\geqslant 1}}$ est une famille de variables aléatoires uniformes sur A et indépendantes, c'est-à-dire que, pour toute partie finie B de ℕ

${\displaystyle \mathbb {P} \left(\forall i\in B\quad \varepsilon _{i}=m_{i}\right)=b^{-{\text{card}}B}.}$

Les variables aléatoires

${\displaystyle X_{j}=1_{\varepsilon _{j}=a}}$

sont des variables de Bernoulli indépendantes de paramètre 1/b et, en vertu de la loi forte des grands nombres, la fréquence d'apparition de a dans la suite des n premiers chiffres du développement de ω :

${\displaystyle F_{a}(n,\omega )={\frac {X_{1}(\omega )+...+X_{n}(\omega )}{n}}}$

vérifie :

${\displaystyle F_{a}(n){\underset {p.s.}{\longrightarrow }}E[X_{1}]={\frac {1}{b}}.}$

On conclut en utilisant qu'une réunion de b ensembles négligeables — correspondant chacun à un chiffre a — est négligeable.

• Un nombre rationnel (donc de développement périodique en toute base) est simplement normal en base ${\displaystyle b}$ si et seulement si la longueur ${\displaystyle p}$ de sa période dans cette base est un multiple de ${\displaystyle b}$ et chaque chiffre de 0 à ${\displaystyle b-1}$ apparaît ${\displaystyle p/b}$ fois dans cette période[2]. Il n'est donc jamais normal en base ${\displaystyle b}$. Par exemple, le rationnel ${\displaystyle {\frac {137174210}{1111111111}}}$, dont le développement décimal s'écrit ${\displaystyle 0,12345678901234567890...}$ , est simplement normal en base dix[2] mais pas en base cent.

• Un nombre ${\displaystyle x}$ est normal en base ${\displaystyle b}$ si et seulement si la suite ${\displaystyle \left(b^{k}x\right)_{k}}$ est équidistribuée modulo 1[9], ce qui, d'après le critère de Weyl, équivaut à :

${\displaystyle \lim {\frac {1}{n}}\sum _{k=0}^{n-1}\mathrm {e} ^{2\pi \mathrm {i} mb^{k}x}=0}$ pour tout entier ${\displaystyle m\geqslant 1}$.

• Le produit d'un nombre normal en base ${\displaystyle b}$ par un rationnel non nul est normal en base ${\displaystyle b}$ [10].

• L'ensemble des nombres simplement normaux en base ${\displaystyle b}$ est maigre[11]. A fortiori, l'ensemble des nombres normaux en base ${\displaystyle b}$ est maigre (alors que le sur-ensemble des nombres univers en base ${\displaystyle b}$ est comaigre).

• Le nombre de Champernowne ${\displaystyle 0{,}123\,456\,789\,10\,11\,12\,13\,14\,15\,16\,17\cdots }$, dont le développement décimal est formé par la concaténation de tous les nombres naturels, est normal en base dix[12], de même que celui de Copeland-Erdős ${\displaystyle 0{,}2357\,11\,13\,17\,19\,23\,29\,31\,37\,41\cdots }$, obtenu en concaténant les nombres premiers[13], mais il n'est pas démontré qu'ils le soient dans d'autres bases.

• Un nombre peut en effet être normal dans une base mais pas dans une autre ; par exemple

${\displaystyle \alpha =\sum _{m=1}^{\infty }{\frac {1}{3^{m}2^{3^{m}}}}}$

est normal en base 2[14] mais pas en base 6[15]. Plus généralement, pour deux bases ${\displaystyle b}$ et ${\displaystyle c}$ dans ${\displaystyle \{2,3,4,...\}}$, les nombres normaux sont les mêmes si et seulement si les entiers ${\displaystyle b}$ et ${\displaystyle c}$ sont « équivalents » au sens « puissance rationnelle l'un de l'autre »[16], tandis que si deux parties complémentaires ${\displaystyle R}$ et ${\displaystyle S}$ de ${\displaystyle \{2,3,4,...\}}$ sont fermées pour cette relation d'équivalence, alors l'ensemble des nombres qui sont normaux dans toute base de ${\displaystyle R}$ et anormaux dans toute base de ${\displaystyle S}$ a la puissance du continu[17].

En particulier (cas ${\displaystyle S=\varnothing }$) l'ensemble des nombres normaux a la puissance du continu (ce qui se déduisait déjà du théorème de Borel), de même que (cas ${\displaystyle R=\varnothing }$) l'ensemble des réels qui ne sont normaux dans aucune base (ce qui se déduisait déjà du fait qu'il est comaigre).

• Le théorème des nombres normaux établit l'existence des nombres normaux, mais n'en construit explicitement aucun. Cependant, Henri Lebesgue et Wacław Sierpiński[18] ont, indépendamment, repris la preuve de Borel et l'ont exprimée sous une « forme constructive[1] » qui permet de définir explicitement un nombre normal, mais peut-être non calculable[1]. Il existe beaucoup de nombres normaux non calculables (par exemple tous les réels au développement numérique aléatoire, comme la constante de Chaitin Ω), mais il existe aussi des nombres normaux calculables[19].

• Il est extrêmement difficile de démontrer la normalité de nombres pourtant simples. Par exemple, on ne sait pas si √2, π, ln(2) ou e sont normaux (mais des expériences numériques font conjecturer qu'ils le sont[20]). On ne sait même pas démontrer qu'un chiffre donné apparaît une infinité de fois dans le développement décimal de ces constantes (une propriété analogue, mais bien plus faible, que celle d’être un nombre univers). Émile Borel a conjecturé en 1950[21] que tout irrationnel algébrique est normal ; on ne connaît pas de contre-exemple, mais on ne connaît même pas non plus de nombre algébrique qui soit normal dans une base.

Des liens existent entre nombres normaux et automates finis. Ainsi, on a

Dans ce contexte, un automate de compression sans perte est un automate déterministe avec sorties (donc un transducteur fonctionnel) injectif.

Un corollaire du théorème est un théorème dû à V. N. Agafonov et datant de 1968 sur la préservation de la normalité de sous-suites sélectionnées par un automate fini :

Ce théorème, dont la démonstration originale est en russe[24], a été redémontré par Mary G. O’Connor[25], puis généralisé à des alphabets arbitraires par Broglio et Liardet[26]^,[22].

• (en) L. Kuipers et H. Niederreiter, Uniform Distribution of Sequences, Dover, 2012 (1^re éd. 1974) (lire en ligne),  Chapitre 1, § 8: « Normal numbers », p. 69-77
• (en) Ivan Niven, Irrational Numbers, MAA, coll. « The Carus Mathematical Monographs » (n^o 11), 1956 (lire en ligne),  Chapitre 8: « Normal numbers », p. 94-116
• (en) G. H. Hardy et E. M. Wright, An Introduction to the Theory of Numbers (1^re éd. 1938) [détail des éditions], § 9.12 et 9.13

• Arithmétique et théorie des nombres
• Portail des mathématiques