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

Il lavoro descrive le proprietà topologiche, metriche e frattali degli insiemi di livello della funzione media asintotica delle cifre nella rappresentazione 4-adica dei numeri reali, fornendo un algoritmo di costruzione, dimostrando la continuità e la densità ovunque degli insiemi, e stabilendo le condizioni per la misura di Lebesgue zero o piena nonché stime per la dimensione frattale di Hausdorff-Besicovitch.

L'essenziale

🎨 Il Colore dei Numeri: Una Storia di 4 Colori e una Media Perfetta

Immaginate di avere un numero reale (come 0,75 o $\pi$) e di volerlo scrivere non in base 10 (con le cifre 0-9), ma in una "lingua" speciale chiamata sistema quaternario (o base 4). In questo sistema, invece di usare 10 simboli, ne usiamo solo 4: lo 0, l'1, il 2 e il 3.

Ogni numero tra 0 e 1 può essere visto come una lunghissima sequenza infinita di questi quattro simboli, proprio come una perla di un rosario o una stringa di codice.

• Esempio: $0,1230123...$ in base 4.

🎯 Il Problema: La "Media" dei Colori

Gli autori di questo studio, Pratsiovytyi e Klymchuk, si sono chiesti una cosa molto curiosa: Cosa succede se guardiamo la "media" di questi numeri?

Immaginate di avere un secchio pieno di biglie colorate (0, 1, 2, 3). Se prendete un numero e guardate le sue prime mille cifre, potete contare quante volte appare lo 0, quante l'1, ecc.
La domanda è: Qual è la media aritmetica di queste cifre man mano che il numero diventa infinito?

Se il numero è $x = 0,1230123...$, la media è la somma di tutte le cifre divisa per il loro numero totale.

• Se la media tende a 0, significa che il numero è fatto quasi esclusivamente di zeri.
• Se la media tende a 3, è fatto quasi esclusivamente di tre.
• Se la media è 1,5, c'è un equilibrio perfetto tra i numeri piccoli e quelli grandi.

Gli autori hanno studiato l'insieme di tutti i numeri che hanno una media specifica, chiamandola $\theta$ (theta). Chiamiamo questo insieme $S_\theta$.

🏗️ La Costruzione: Costruire un Numero "Su Misura"

Uno dei punti più affascinanti del paper è che gli autori non si sono limitati a dire "questi numeri esistono", ma hanno dato un ricetta (un algoritmo) per costruirli.

Immaginate di dover costruire un muro di mattoni (il numero) usando solo 4 colori di mattoni.

1. Decidete la "ricetta": voglio che la media dei colori sia esattamente 1,5.
2. Prendete un blocco di mattoni e mettete dentro un certo numero di 0, un certo numero di 1, ecc., in modo che la media di quel blocco sia corretta.
3. Ripetete il processo con blocchi sempre più grandi, assicurandovi che la media complessiva rimanga stabile.

Il paper dimostra che, seguendo questa ricetta, potete creare un numero che ha esattamente la media che volevate, anche se la sua struttura interna è molto complessa.

🔍 Le Proprietà Magiche: Cosa Troviamo in questi Insiemi?

Gli autori hanno scoperto tre cose sorprendenti su questi gruppi di numeri ($S_\theta$):

1. Sono ovunque (Densi)
Immaginate di avere un foglio di carta (l'intervallo da 0 a 1). Se prendete un punto qualsiasi, anche il più piccolo, vicino a quel punto troverete sempre un numero che ha la vostra media desiderata.

• Metafora: È come se il colore "Rosso" (la media $\theta$) fosse sparso ovunque come polvere di stelle. Non importa dove guardate, il colore è lì. Non c'è un "buco" vuoto dove non ci sono numeri con quella media.

2. La Dimensione Frattale (La Complessità)
Qui entra in gioco la geometria frattale. Immaginate di misurare la "dimensione" di questi insiemi.

• Se la media richiesta è 0 o 3 (tutti zeri o tutti tre), l'insieme è molto "sottile", quasi come una linea o un punto. La sua dimensione frattale è 0. È un insieme molto piccolo, anche se infinito.
• Se la media richiesta è 1,5 (il valore medio perfetto, dove 0, 1, 2 e 3 appaiono con la stessa frequenza), l'insieme è "grosso". Occupa tutto lo spazio possibile. La sua dimensione è 1 (come una linea intera).
• Per le medie intermedie (es. 1 o 2), l'insieme ha una dimensione "strana", qualcosa tra 0 e 1. È un oggetto frattale: ha una struttura così intricata che non è né una linea semplice né un'area piena, ma qualcosa di mezzo.

3. La Misura di Lebesgue (Quanto spazio occupano?)
Questa è la parte più controintuitiva:

• Se chiedete una media "strana" (diversa da 1,5), l'insieme di numeri che la soddisfa ha misura zero.
  • Metafora: Se prendete un secchio d'acqua (tutti i numeri reali) e cercate solo le gocce che hanno una media specifica "strana", troverete infinite gocce, ma se provate a misurarne il volume totale, il risultato sarà zero. Sono come i punti su una linea: ce ne sono infiniti, ma non occupano spazio.
• Se chiedete la media 1,5 (la media "normale"), l'insieme occupa tutto lo spazio. Quasi tutti i numeri che incontrerete nella vita quotidiana hanno questa media.

🧠 In Sintesi: Perché è Importante?

Questo studio ci dice che il mondo dei numeri reali è pieno di strutture nascoste.

• Se scegliete una media "normale" (1,5), trovate la maggior parte dei numeri.
• Se scegliete una media "speciale" (es. 1), trovate un mondo frattale, infinito ma "sottile", che esiste ovunque (è denso) ma occupa zero spazio.

È come se l'universo matematico avesse un "livello base" (i numeri normali) e poi, sotto la superficie, ci fossero strati infiniti di strutture frattali, ognuna con le sue regole precise su come i numeri sono distribuiti. Gli autori ci hanno dato la mappa per navigare in questi strati nascosti.

In parole povere: Hanno dimostrato che possiamo "disegnare" numeri con proprietà matematiche molto precise, che sono ovunque ma invisibili alla misura tradizionale, rivelando la bellezza caotica e ordinata della matematica dei numeri.

Sommario tecnico

Ecco una sintesi tecnica dettagliata del paper "Proprietà topologiche, metriche e frattali dell'insieme dei numeri reali con una media asintotica data delle cifre nella loro rappresentazione 4-adica" di M. V. Pratsiovytyi e S. O. Klymchuk.

1. Il Problema di Ricerca

Il lavoro si concentra sullo studio delle proprietà strutturali dell'insieme dei numeri reali $x \in [0, 1]$ la cui rappresentazione in base 4 (4-adica) possiede una media asintotica delle cifre pari a un valore costante $\theta \in [0, 3]$.

Sia $x = \sum_{k=1}^{\infty} \alpha_k(x) 4^{-k}$, dove $\alpha_k(x) \in \{0, 1, 2, 3\}$. La media asintotica delle cifre è definita come:
$$r(x) = \lim_{n \to \infty} \frac{1}{n} \sum_{k=1}^{n} \alpha_k(x)$$
L'obiettivo è analizzare l'insieme $S_\theta = \{x : r(x) = \theta\}$, con particolare attenzione al sottinsieme $\Theta_1 \subset S_\theta$ costituito dai numeri per i quali tutte le frequenze delle singole cifre ($\nu_i(x) = \lim_{n \to \infty} \frac{N_i(x,n)}{n}$ per $i=0,1,2,3$) esistono.

Il problema si inserisce nel contesto della teoria dei numeri normali e degli insiemi di Besicovitch-Eggleston, estendendo studi precedenti (fatti per base 3) al caso di base 4, dove le proprietà risultano più ricche.

2. Metodologia

Gli autori adottano un approccio che combina:

• Teoria della Misura e Topologia: Analisi della densità, della misura di Lebesgue e della chiusura degli insiemi.
• Geometria Frattale: Calcolo della dimensione di Hausdorff-Besicovitch ($\alpha_0$) utilizzando la formula di Besicovitch-Eggleston per gli insiemi definiti da frequenze di cifre fisse.
• Costruzione Algoritmica: Sviluppo di un algoritmo esplicito per generare numeri appartenenti a questi insiemi, basato su blocchi di cifre con frequenze controllate.
• Analisi Asintotica: Uso del Teorema di Stolz e stime di limite per dimostrare la convergenza delle medie e delle frequenze nelle costruzioni proposte.

3. Contributi Chiave e Risultati

A. Classificazione dell'Insieme $\Theta_1$

L'insieme $\Theta_1$ (dove le frequenze esistono) è rappresentato come l'unione di insiemi di Besicovitch-Eggleston $E[\tau_0, \tau_1, \tau_2, \tau_3]$ tali che $\sum \tau_i = 1$ e $\sum i \cdot \tau_i = \theta$.

Teorema 1 (Casi Estremi $\theta = 0$ e $\theta = 3$):

• Se $\theta = 0$, l'insieme coincide con $E[1, 0, 0, 0]$ (solo cifre 0). È denso ovunque ma ha dimensione di Hausdorff pari a 0.
• Se $\theta = 3$, l'insieme coincide con $E[0, 0, 0, 1]$ (solo cifre 3). Anch'esso è denso ovunque con dimensione 0.
• In entrambi i casi, l'insieme è "anomalamente frattale" (frattale ma con dimensione nulla).

Teorema 2 (Casi Generali $\theta \in (0, 3)$):

• Proprietà Topologiche: $\Theta_1$ è un insieme continuo, chiuso e denso ovunque in $[0, 1]$.
• Misura di Lebesgue:
  • Se $\theta \neq 3/2$, la misura di Lebesgue è zero ($\lambda(\Theta_1) = 0$). Questo perché $\Theta_1$ non contiene numeri normali (che richiedono frequenze uniformi $\tau_i = 1/4$, implicanti una media di $1.5$).
  • Se $\theta = 3/2$, l'insieme contiene l'insieme dei numeri normali ($E[1/4, 1/4, 1/4, 1/4]$), quindi ha misura di Lebesgue piena ($\lambda(\Theta_1) = 1$).
• Dimensione Frattale: La dimensione di Hausdorff-Besicovitch soddisfa la disuguaglianza:
  $$\alpha_0(\Theta_1) \geq -\frac{m(\theta)}{\ln 4}$$
  dove $m(\theta)$ è il minimo della funzione $f(\tau) = \sum \tau_i \ln \tau_i$ vincolata alle condizioni di media e somma.

B. Algoritmo di Costruzione (Teoremi 3, 4, 5)

Gli autori forniscono un metodo costruttivo per generare numeri in $\Theta_1$:

1. Si definisce una matrice stocastica $\|\tau_{in}\|$ che rappresenta le frequenze target.
2. Si costruisce il numero $x$ concatenando "blocchi" di cifre. Nel $k$-esimo blocco, si scrivono sequenze di $0, 1, 2, 3$la cui lunghezza è proporzionale a$\tau_{ik} \cdot s_k$, dove$s_k$ è una sequenza di numeri positivi che tende all'infinito con condizioni di crescita specifiche.
3. Risultato: Questo algoritmo garantisce che:
   • La media asintotica delle cifre converga esattamente a $\theta$ (Teorema 3).
   • Le frequenze delle singole cifre $\nu_i(x)$ convergano ai valori target $\lambda_i$ (Teorema 4).
   • La costruzione sia iniettiva rispetto alle sequenze di parametri, garantendo l'unicità dei numeri generati (Teorema 5).

4. Significato e Implicazioni

• Generalizzazione: Il lavoro estende la teoria degli insiemi di Besicovitch-Eggleston dalla base 2 e 3 alla base 4, dimostrando come la complessità strutturale aumenti con la base.
• Connessione tra Media e Frequenza: Dimostra che la fissazione della media asintotica delle cifre non implica automaticamente la fissazione delle frequenze individuali, ma definisce un'intersezione complessa di insiemi frattali.
• Distinzione Metrica: Evidenzia una netta distinzione tra il caso "normale" ($\theta = 1.5$) dove l'insieme è "grande" (misura piena) e i casi "non normali" dove l'insieme è "piccolo" (misura zero) ma comunque denso e frattale.
• Strumenti Costruttivi: L'algoritmo fornito offre un mezzo pratico per generare esempi concreti di numeri con proprietà statistiche delle cifre specifiche, utile per la simulazione e lo studio di distribuzioni singolari.

In sintesi, il paper caratterizza completamente la natura topologica e frattale degli insiemi di numeri con media delle cifre fissata in base 4, fornendo sia risultati teorici profondi (dimensione, misura) sia strumenti costruttivi espliciti.