Nombre normal

Nombre normal
Page d'aide sur l'homonymie Pour l’article homonyme, voir nombre normal (informatique) (en), i.e. nombre qui est dans un intervalle normal de format en virgule flottante

En mathématiques, un nombre normal est un nombre réel tel que la fréquence d'apparition de tout n-uplet dans la suite de ses « décimales » dans toute base est équirépartie[1].

Sommaire

Définition

Supposons B un ensemble fini de cardinal b>1 et x un nombre réel. Si s est une suite finie de chiffres en base B, nous écrivons N(s,n) pour le nombre d'apparitions de la suite s parmi les n premiers chiffres de x. Le nombre x est appelé normal en base B si

\forall k>0, \forall s \in B^k,\quad \lim_{n\to\infty} \frac{N(s,n)}{n}\  =\  \frac{1}{b^{k}}

Le nombre x est dit nombre normal (ou quelquefois nombre absolument normal) s'il est normal dans toute base. S'il n'est normal qu'en base b, on dit que c'est un nombre normal en base b.

Théorème du nombre normal

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

Théorème —  Dans \scriptstyle\ \mathbb{R}, presque tout nombre (au sens de la mesure de Lebesgue) est normal en toute base.

Propriétés et exemples

Le théorème des nombres normaux établit l'existence des nombres normaux, mais n'en construit explicitement aucun : on parle de démonstration non constructive. Wacław Sierpiński[4] fut le premier à donner un exemple de nombre normal.

L'ensemble des nombres non-normaux n'est pas dénombrable. En effet, il y a une quantité non dénombrable de réels qui ne contiennent pas le chiffre 5 dans leur expansion décimale, et aucun de ceux-ci n'est normal.

Le nombre de Champernowne 0,123\, 456\, 789\, 101\, 112\, 131\, 415\, 161\, 7\dots, qui contient dans son développement décimal la concaténation de tous les nombres naturels est normal en base 10, mais il n'est pas démontré qu'il le soit dans les autres bases.

La constante de Copeland-Erdős 0,235\, 711\, 131\, 719\, 232\, 931\, 374 \,1\dots, obtenue en concatenant les nombres premiers est connue comme étant un nombre normal en base 10.

Un nombre peut tout à fait être normal dans une base mais pas dans une autre, par exemple

\alpha=\sum_{m=1}^{\infty}{\frac{1}{3^m2^{3^m}}}

est normal en base 2[5] mais pas en base 6[6].


Aucun nombre rationnel n'est normal dans aucune base, puisque la suite de chiffres dans le développement des nombres rationnels est périodique à partir d'un certain rang. Wacław Sierpiński a fourni la première construction explicite d'un nombre normal en 1917. Un nombre normal calculable fut construit par Verónica Becher et Santiago Figueira ; un exemple de nombre normal non-calculable est donné par la constante de Chaitin \Omega\,.

Il est extrêmement difficile de démontrer la normalité de nombres pourtant simples. Par exemple, on ne sait pas si 2, \pi\,, ln(2) ou e sont normaux (mais tous sont conjecturés comme normaux, conformément aux expériences). Nous ne savons même pas démontrer qu'un chiffre donné apparait infiniment souvent dans le développement décimal de ces constantes. David Bailey et Richard Crandall ont conjecturé en 2001 que tout nombre algébrique irrationnel est normal ; bien qu'aucun contre-exemple ne soit connu, on ne connait pas non plus de nombre algébrique qui soit normal dans une base.

Tout nombre aléatoire est bien entendu normal. Par ailleurs, tout nombre normal est aussi un nombre univers, bien que la réciproque soit fausse.

Note et références

Note

  1. Jean-Paul Delahaye, "Le fascinant nombre Pi", Belin, Pour la science (ISBN 9782842418250)
  2. a et b Voir (en) M. Lothaire, Combinatorics on Words, Addison–Wesley, coll. « Encyclopedia of Mathematics and its Applications », 1983 (réimpr. 1997), 260 p. , pour le vocabulaire et les notations de la théorie des langages. À ce propos, les mêmes raisonnements conduisent Émile Borel, en 1913, à soulever le paradoxe du singe savant, qui a connu une certaine fortune dans l'imagination populaire : l'anecdote mise à part, il s'agit d'étudier le nombre d'occurrences d'un mot très long dans une séquence infinie de caractères aléatoires indépendants, tirés d'un alphabet A fini. Voir Émile Borel, « Mécanique Statistique et Irréversibilité », dans J. Phys. 5e série, vol. 3, 1913, p. 189–196 .
  3. Car l'intersection dénombrable d'évenements de probabilités 1 est encore un événement de probabilité 1, voir la page "Inégalité de Boole".
  4. W.Sierpinski, Démonstration élémentaire du théorème de M.Borel sur les nombres absolument normaux et détermination effective d'un tel nombre, Bulletin de la Société Mathématique de France Tome 45, p.125-132, 1917.
  5. http://www.ams.org/journals/proc/2006-134-09/S0002-9939-06-08551-0/S0002-9939-06-08551-0.pdf%7C Démonstration de la normalité de α en base 2
  6. A non-normality result, D.H Bailey, September 12 2007

Références

  • (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Normal number » (voir la liste des auteurs)
  • (en) David H. Bailey (en) et Richard Crandall (en), « On the Random Character of Fundamental Constant Expansions », Experimental Mathematics 10 (2001), 175-190
  • (en) V. Becher et S. Figueira, An example of a computable absolutely normal number », Theoretical Computer Science 270 (2002), 947-958
  • É. Borel, « Les probabilités dénombrables et leurs applications arithmétiques », Rend. Circ. Mat. Palermo 27 (1909), 247-271
  • (en) D. G. Champernowne, « The Construction of Decimals Normal in the Scale of Ten », Journal of the London Mathematical Society 8 (1933), 254-260
  • W. Sierpiński, « Démonstration élémentaire d'un théorème de M. Borel sur les nombres absolument normaux et détermination effective d'un tel nombre », Bull. SMF 45 (1917), 125-144

Voir aussi


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Nombre normal de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Nombre Normal — En mathématiques, un nombre normal est un nombre réel qui a ses chiffres équidistribués dans son développement décimal, ceux ci apparaissant tous à la même fréquence. Les « chiffres » font référence aux chiffres avant la virgule (la… …   Wikipédia en Français

  • Nombre Ordinal — En linguistique, les mots premier, deuxième, troisième, quatrième, etc. s appellent des adjectifs numéraux ordinaux qui servent à préciser le rang d un objet dans une collection ou l ordre d un événement dans une succession. Cette notion se… …   Wikipédia en Français

  • normal — normal, ale, aux [ nɔrmal, o ] adj. et n. f. • 1753; verbe normal h. XVe; lat. normalis, de norma « équerre » 1 ♦ Math. Droite normale, ou n. f. la normale à une courbe, à une surface en un point : droite perpendiculaire à la tangente, au plan… …   Encyclopédie Universelle

  • Nombre Remarquable — En mathématiques certains nombres se distinguent des autres, jouent un rôle clef, ou apparaissent curieusement dans beaucoup de formules. Ces nombres, considérés comme importants, sont appelés nombres remarquables et portent un nom, qui est… …   Wikipédia en Français

  • Nombre Complexe — Pour les articles homonymes, voir complexe. Les nombres complexes forment une extension de l ensemble des nombres réels. Ils permettent notamment de définir des solutions à toutes les équations polynomiales à coefficients réels. Les nombres… …   Wikipédia en Français

  • Nombre Composé — Un nombre composé est un nombre entier positif qui possède un diviseur positif autre que un ou lui même. Par définition, chaque entier plus grand que un est soit un nombre premier, soit un nombre composé. Les nombres zéro et un ne sont considérés …   Wikipédia en Français

  • Nombre D'or —  Pour l’article homonyme, voir Nombre d or (astronomie).  La proportion définie par a et b est dite d extrême et de moyenne raison lorsque a e …   Wikipédia en Français

  • Nombre Parfait — Un nombre parfait est un nombre entier n strictement supérieur à 1 qui est égal à la somme de ses diviseurs stricts, autrement dit, tel que où σ(n) est la somme des diviseurs entiers positifs de n, n non compris. Le premier nombre parfait est 6,… …   Wikipédia en Français

  • Nombre Premier — 7 est un nombre premier car il admet exactement deux diviseurs positifs …   Wikipédia en Français

  • Nombre Réel — Les nombres réels (dont l ensemble est noté ℝ) peuvent très informellement être conçus en mathématiques comme tous les nombres associés à des longueurs ou des grandeurs physiques. Ce sont les nombres, qu ils soient positifs, négatifs ou nuls,… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”