Nombre univers

Un nombre univers est un nombre réel dans les décimales duquel on peut trouver n'importe quelle succession de chiffres de longueur finie, pour une base donnée. Ainsi, si l'on se donne une manière de coder les caractères d'un livre selon une suite de chiffres (ce qui est le cas, par exemple, dans tout format informatique), on trouvera dans un nombre univers tous les livres déjà écrits et à venir, y compris celui de l'histoire de votre vie passée et future.

Mais on ne peut bien sûr pas en tirer une quelconque information : ce serait aussi efficace que de générer une succession aléatoire de lettres et de réessayer jusqu'à obtenir le livre que l'on cherche, et cela suppose de le connaître déjà lettre par lettre.

Définitions

Une suite univers en base dix est une suite de chiffres (de 0 à 9) telle que toute suite finie de chiffres apparait comme sous-suite formée de termes consécutifs (que nous désignerons par le vocable « séquence »).

Un nombre univers en base dix est un réel dont la suite des décimales est une suite univers.

Ces définitions peuvent se donner dans une base quelconque, en particulier en base 2.

Historique

La notion et l'appellation ont été introduites en 1996 par J.P. Delahaye. Ce même auteur a utilisé l'appellation « nombre universel » dans un article de 2018 et un autre de 2022 . Les traductions littérales de l'anglais seraient « nombre riche » ou « nombre disjonctif ».

Exemples

• Le résultat suivant fournit nombre d'exemples de suites univers, et donc de nombres univers : Si $(a_n)$ est une suite strictement croissante d'entiers $>0$ telle que $\lim \frac{a_{n+1}}{a_n}=1$, alors pour tout entier strictement positif $m$ et toute base $b$, il existe un $a_n$ dont l'expression dans la base $b$ commence par l'expression de $m$ dans la base $b$ . Par conséquent, la suite obtenue en énumérant successivement les chiffres en base $b$ des $a_n$ est une suite univers en base $b$ , et fournit en même temps un nombre univers.
  • Pour $a_n=n$, on obtient en base dix la constante de Champernowne $0,123456789101112...$
  • Pour $a_n=n^2$, on obtient le nombre $0,1491625364964...$, voir la Modèle:OEIS
  • Plus généralement, on peut prendre comme $a_n$ la partie entière d'une suite polynomiale positive, par exemple $a_n=\lfloor \pi n^4+18\rfloor$
  • La suite des nombres premiers $(p_n)$ vérifie aussi la propriété puisque $p_n\sim n\ln n$ ; on obtient alors la constante de Copeland-Erdős $0,2357111317192329313741\cdots$
• Les nombres donnés en exemples précédemment vérifient une propriété plus forte que celle d'être des nombres univers : ce sont des nombres normaux ; non seulement chaque séquence apparait dans le développement, mais elle apparait une infinité de fois selon une statistique équirépartie.

• Un exemple de nombre univers en base dix mais qui n'est pas normal est donné par le nombre $0,102030405060708090100011001200...$obtenu en intercalant "k" 0 après chaque entier de "k" chiffres : la fréquence des 0 (égale à 1/2+1/20) y est supérieure à celle des autres chiffres (1/20).

• Si la suite d'entiers $(a_n)$ vérifie la loi de Benford en toute base, alors de nouveau pour tout entier positif $m$ et toute base $b$, il existe un $a_n$ dont l'expression dans la base $b$ commence par l'expression de $m$ dans la base $b$ (la propriété de Benford, plus forte, impliquant que l'entier $m$ a une fréquence d'apparition non nulle comme début d'un élément de $(a_n)$) ; Ceci permet d'avoir des exemples de suite $(a_n)$ fournissant un nombre univers et ne vérifiant pas $\lim \frac{a_{n+1}}{a_n}=1$, comme :
  • le nombre univers $0,1248163264128...$.. obtenu en concaténant les puissances de 2 Modèle:, (voir la Modèle:OEIS),
  • le nombre obtenu en concaténant les termes de la suite de Fibonacci (voir la Modèle:OEIS), ou de la suite des factorielles.

• On pense que les constantes irrationnelles qui sont définies par des propriétés ne faisant pas intervenir leurs décimales, comme $\pi$, $\sqrt{2}$ et tous les nombres algébriques irrationnels sont des nombres normaux en toute base, et donc des nombres univers, mais on ne sait le prouver pour aucune.
• Par contre, les nombres transcendants ne sont pas tous des nombres univers, comme par exemple les nombres de Liouville.

Propriété de densité

Bien qu'on ne connaisse pas de nombre univers en toute base, on sait que leur ensemble "remplit" l'ensemble des réels, à la fois au sens de la mesure de Lebesgue et au sens de Baire. En effet, son complémentaire est σ-poreux, donc à la fois négligeable et maigre.

On obtient donc le paradoxe suivant : presque tout nombre réel est un nombre univers en toute base, mais on n'en connait aucun, si l'on ne tient pas compte de nombres « aléatoires » comme le nombre Oméga de Chaitin (qu'on peut définir rigoureusement, mais qu'on ne peut pas calculer).

Voir aussi

Articles connexes

• La Bibliothèque de Babel
• Paradoxe du singe savant
• Nombre normal
• Loi de Benford

Bibliographie

• Modèle:Article, republié sous le titre Modèle:Article
• Modèle:Ouvrage