Topological, metric and fractal properties of the set of real numbers with a given asymptotic mean of digits in their $4$-adic representation in the case when the digit frequencies exist

Cet article étudie les propriétés topologiques, métriques et fractales des ensembles de niveaux de la fonction de moyenne asymptotique des chiffres en base 4, en supposant l'existence des fréquences de ces chiffres, et y démontre la continuité et la densité de ces ensembles tout en établissant des conditions pour leur mesure de Lebesgue et en estimant leur dimension de Hausdorff-Besicovitch.

L'essentiel

Imaginez que vous avez un nombre réel (comme 0,12345...) et que vous le transformez en une longue suite de chiffres, mais pas en base 10 (comme nous), ni en base 2 (comme les ordinateurs), mais en base 4.

Dans ce système, vous n'utilisez que quatre symboles : 0, 1, 2 et 3. Tout nombre entre 0 et 1 peut être écrit comme une suite infinie de ces chiffres, un peu comme une recette de cuisine infinie où chaque ingrédient est l'un de ces quatre chiffres.

L'article de Pratsiovytyi et Klymchuk est une exploration fascinante de ce qui se passe si l'on regarde la moyenne de ces chiffres sur le long terme.

Voici l'explication simplifiée, avec quelques images pour mieux comprendre :

1. Le Concept de Base : La "Moyenne des Chiffres"

Imaginez que vous regardez les premiers chiffres d'un nombre en base 4.

• Si le nombre est 0, 00000..., la moyenne des chiffres est 0.
• Si le nombre est 0, 33333..., la moyenne est 3.
• Si le nombre est un mélange aléatoire de 0, 1, 2 et 3, la moyenne se situera probablement quelque part entre 0 et 3 (probablement autour de 1,5, la moyenne mathématique de 0+1+2+3 divisée par 4).

Les auteurs s'intéressent à un groupe très spécifique de nombres : ceux qui ont une moyenne précise (appelée $\theta$). Par exemple, "tous les nombres dont la moyenne des chiffres est exactement 1,2".

2. L'Analogie de la "Salle de Bal" (L'Ensemble $S_\theta$)

Imaginez une immense salle de bal remplie de danseurs. Chaque danseur représente un nombre réel.

• Chaque danseur a une tenue composée de 4 couleurs (0, 1, 2, 3).
• La règle du bal est la suivante : on ne regarde que les danseurs dont la moyenne des couleurs sur leur tenue, sur une durée infinie, donne une valeur précise (disons 1,5).

Cet ensemble de danseurs forme ce que les mathématiciens appellent un ensemble fractal.

3. Les Propriétés Étonnantes de cet Ensemble

L'article révèle trois choses surprenantes sur cet ensemble de nombres (la salle de bal) :

A. La Densité (Ils sont partout !)

Même si vous choisissez un intervalle très petit, disons entre 0,100 et 0,101, vous y trouverez toujours des nombres qui ont cette moyenne précise.

• L'analogie : C'est comme si vous preniez une loupe sur la salle de bal. Peu importe où vous regardez, même dans un coin minuscule, il y a toujours des danseurs qui respectent la règle de la moyenne. Ils sont "partout" (denses).

B. La Mesure de Lebesgue (La Taille du Sol)

C'est ici que ça devient contre-intuitif.

• Si la moyenne demandée est 1,5 (la moyenne "normale" d'un mélange aléatoire), alors la quasi-totalité des nombres réels (99,99...%) se trouvent dans cet ensemble. C'est comme si la salle de bal était remplie à ras bord.
• Si la moyenne demandée est autre chose (par exemple 1,2 ou 2,8), alors l'ensemble contient une infinité de points, mais ils occupent zéro surface sur le sol.

• L'analogie : Imaginez que vous essayez de peindre ces nombres sur une feuille de papier. Si la moyenne est 1,5, vous peignez toute la feuille. Si la moyenne est 1,2, vous avez une infinité de points de peinture, mais si vous essayez de mesurer la surface couverte, le résultat est zéro. C'est comme une poussière infinie qui ne prend aucune place.

C. La Dimension Fractale (La Complexité)

Même si ces nombres n'occupent aucune "surface" (mesure nulle), ils ne sont pas aussi "simples" que des points isolés. Ils ont une structure complexe, comme un flocon de neige ou une côte de Bretagne.

• Les auteurs calculent une "dimension fractale". C'est une mesure de la complexité.
• Pour une moyenne de 1,5, la dimension est maximale (c'est un objet "plein").
• Pour d'autres moyennes, la dimension est inférieure, ce qui signifie que l'ensemble est "plus fin", plus filandreux, comme une toile d'araignée complexe.

4. Comment Construire un Tel Nombre ? (L'Algorithme)

L'article propose une méthode pour créer un nombre qui a exactement la moyenne désirée.

• L'analogie du chef d'orchestre : Imaginez que vous devez composer une symphonie avec 4 instruments (0, 1, 2, 3). Vous voulez que la moyenne des notes soit précise.
  • Le chef ne joue pas au hasard. Il suit un plan rigoureux : "Pendant 100 mesures, je joue 25 fois le 0, 25 fois le 1, 25 fois le 2 et 25 fois le 3". Puis il ajuste légèrement pour le prochain bloc.
  • En répétant ce processus avec des blocs de plus en plus grands, on s'assure que la moyenne globale converge exactement vers la valeur souhaitée, même si le nombre semble chaotique au premier coup d'œil.

En Résumé

Cet article nous dit que l'univers des nombres réels est bien plus riche qu'il n'y paraît.

• Si vous cherchez des nombres avec une moyenne de chiffres "normale" (1,5), vous trouvez presque tout.
• Si vous cherchez des nombres avec une moyenne "spéciale" (comme 1,2), vous trouvez un ensemble infini, partout présent, mais qui ne prend aucune place (mesure nulle) et qui a une structure fractale complexe.

C'est une étude sur la beauté cachée de l'infini : même dans le chaos apparent des chiffres d'un nombre, il existe des règles précises qui créent des structures géométriques fascinantes.

Résumé technique

Voici un résumé technique détaillé de l'article « Propriétés topologiques, métriques et fractales de l'ensemble des nombres réels ayant une moyenne asymptotique de chiffres donnée dans leur représentation 4-adique, dans le cas où les fréquences de chiffres existent », rédigé par M. V. Pratsiovytyi et S. O. Klymchuk.

---

1. Problématique et Contexte

L'article se concentre sur l'étude des propriétés topologiques, métriques et fractales de l'ensemble des nombres réels $x \in [0, 1]$ dont la moyenne asymptotique des chiffres dans leur représentation en base 4 (système 4-adique) est égale à une constante $\theta$.

Soit $x = \sum_{k=1}^{\infty} \alpha_k(x) 4^{-k}$ la représentation 4-adique de $x$, où $\alpha_k(x) \in \{0, 1, 2, 3\}$.
La moyenne relative des $n$ premiers chiffres est définie par :
$$r_n(x) = \frac{1}{n} \sum_{k=1}^{n} \alpha_k(x)$$
La moyenne asymptotique est la limite $r(x) = \lim_{n \to \infty} r_n(x)$, si elle existe.

L'objectif principal est d'analyser l'ensemble de niveau $S_\theta = \{x : r(x) = \theta\}$, en se restreignant spécifiquement au sous-ensemble $\Theta_1$ où toutes les fréquences de chiffres existent. C'est-à-dire que pour chaque chiffre $i \in \{0, 1, 2, 3\}$, la fréquence $\nu_i(x) = \lim_{n \to \infty} \frac{N_i(x, n)}{n}$ existe, où $N_i(x, n)$ est le nombre d'occurrences du chiffre $i$ parmi les $n$ premiers chiffres.

Le lien fondamental est que si les fréquences $\nu_i(x)$ existent, alors la moyenne asymptotique est donnée par :
$$r(x) = \nu_1(x) + 2\nu_2(x) + 3\nu_3(x)$$
Le problème consiste donc à caractériser l'ensemble $\Theta_1 \subset S_\theta$ défini par la contrainte linéaire $\nu_1 + 2\nu_2 + 3\nu_3 = \theta$ sous la condition de probabilité $\sum \nu_i = 1$.

2. Méthodologie

Les auteurs utilisent une approche combinant l'analyse fractale, la théorie de la mesure et la construction algorithmique explicite :

1. Décomposition de l'ensemble : L'ensemble $S_\theta$ est décomposé en trois parties disjointes ($\Theta_1, \Theta_2, \Theta_3$) selon l'existence des fréquences. L'étude se focalise sur $\Theta_1$, qui est l'union d'ensembles de type Besicovitch-Eggleston $E[\tau_0, \tau_1, \tau_2, \tau_3]$ (ensembles de nombres ayant des fréquences de chiffres fixes).
2. Optimisation variationnelle : Pour estimer la dimension fractale, les auteurs définissent une fonction d'entropie $f(\tau) = \sum_{i=0}^3 \tau_i \ln \tau_i$ sur le compact $C_1$ des vecteurs de probabilité satisfaisant la contrainte de la moyenne $\theta$. Ils utilisent le théorème de Weierstrass pour trouver le minimum $m(\theta)$ de cette fonction.
3. Construction algorithmique : Une méthode constructive est proposée pour générer un nombre $x \in \Theta_1$ avec des fréquences de chiffres prescrites. Cette méthode utilise des blocs de chiffres dont la longueur croît selon une suite $(s_k)$, permettant de contrôler la convergence des fréquences vers les valeurs cibles $\tau_i$.
4. Théorèmes de limite : L'analyse de la convergence des moyennes partielles utilise le théorème de Stolz-Cesàro pour établir les propriétés limites des constructions algorithmiques.

3. Contributions Clés et Résultats

A. Cas extrêmes ($\theta = 0$ et $\theta = 3$)

• Théorème 1 : Si $\theta = 0$, l'ensemble $\Theta_1$ coïncide avec l'ensemble $E[1, 0, 0, 0]$ (seuls les chiffres 0 apparaissent). Si $\theta = 3$, il coïncide avec $E[0, 0, 0, 1]$ (seuls les chiffres 3 apparaissent).
• Propriétés : Dans ces deux cas, l'ensemble est dense partout dans $[0, 1]$ mais sa dimension de Hausdorff-Besicovitch est nulle ($\alpha_0 = 0$).

B. Cas général ($\theta \in (0, 3)$)

• Théorème 2 (Propriétés Métriques et Topologiques) :
  • L'ensemble $\Theta_1$ est continu (sans points isolés) et dense partout dans $[0, 1]$.
  • Mesure de Lebesgue :
    • Si $\theta \neq \frac{3}{2}$, la mesure de Lebesgue de $\Theta_1$ est nulle ($\lambda(\Theta_1) = 0$). En effet, pour $\theta \neq 1.5$, l'ensemble ne contient aucun nombre normal (les nombres normaux ont une moyenne de $1.5$ en base 4).
    • Si $\theta = \frac{3}{2}$, l'ensemble contient l'ensemble des nombres normaux, donc sa mesure de Lebesgue est pleine ($\lambda(\Theta_1) = 1$).
  • Dimension Fractale : La dimension de Hausdorff-Besicovitch $\alpha_0(\Theta_1)$ satisfait l'inégalité :
    $$\alpha_0(\Theta_1) \geq -\frac{m(\theta)}{\ln 4}$$
    où $m(\theta)$ est le minimum de la fonction d'entropie sous contrainte.

C. Algorithmes de Construction

• Théorème 3 & 4 : Les auteurs fournissent un algorithme explicite pour construire un nombre $\hat{x}$ appartenant à un ensemble de Besicovitch-Eggleston donné. Ils démontrent que si les paramètres de construction (vecteurs de probabilité $\tau_{in}$ et longueurs de blocs $s_k$) convergent correctement, alors la moyenne asymptotique de $\hat{x}$ est exactement $\theta$ et les fréquences de chiffres sont exactement les $\tau_i$ souhaités.
• Théorème 5 : Ils établissent des conditions d'unicité, montrant que des choix différents de suites de longueurs de blocs ou de matrices de probabilités conduisent à des nombres réels distincts.

4. Signification et Implications

1. Généralisation des résultats antérieurs : Ce travail étend les résultats connus pour la base 3 (étudiés dans une publication précédente des mêmes auteurs) à la base 4. Les auteurs notent que pour $s > 3$, les ensembles $S_\theta$ présentent des propriétés plus riches et plus complexes.
2. Lien entre Moyenne et Fréquences : L'article clarifie rigoureusement la relation entre la moyenne asymptotique des chiffres et les fréquences individuelles. Il montre que la contrainte sur la moyenne définit une variété de probabilités, et que la structure fractale de l'ensemble résulte de l'union de tous les ensembles de Besicovitch-Eggleston compatibles avec cette contrainte.
3. Comportement "Anomal" : La découverte que pour $\theta \neq 1.5$, l'ensemble est dense partout mais de mesure nulle et de dimension fractale strictement inférieure à 1 (sauf aux extrêmes où elle est 0), illustre la nature "anomalément fractale" de ces ensembles.
4. Outils Constructifs : La méthode de construction par blocs proposée offre un outil puissant pour générer des exemples concrets de nombres avec des propriétés statistiques de chiffres spécifiques, utile pour la simulation et l'étude des distributions singulières.

En résumé, cet article fournit une caractérisation complète (topologique, métrique et fractale) des ensembles de nombres réels en base 4 ayant une moyenne de chiffres fixée, en distinguant clairement le cas "typique" ($\theta = 1.5$, mesure pleine) des cas "atypiques" (mesure nulle, dimension fractale variable).