Linear fractals of the Besicovitch-Eggleston type

Questo studio esamina le proprietà topologiche, metriche e frattali dell'insieme dei numeri nell'intervallo $[0;1]$ caratterizzati da una media asintotica specifica delle cifre nella loro rappresentazione ternaria, indagando la loro connessione con i numeri aventi una frequenza di cifre data.

L'essenziale

🌟 Il Viaggio nei Numeri: Quando le Cifre Danzano

Immaginate di avere un numero reale (come 0,333... o 0,14159...) e di guardarlo attraverso una lente speciale: la sua rappresentazione ternaria. Invece di usare le nostre solite 10 cifre (0-9), qui usiamo solo tre: 0, 1 e 2. È come se il numero fosse scritto in un codice segreto fatto di soli tre simboli.

Gli autori di questo studio si chiedono: "Cosa succede se contiamo quante volte appare ogni cifra in questo codice infinito?"

1. La "Frequenza" delle Cifre (Il Ritmo della Danza)

Immaginate una canzone infinita composta solo da tre note: Do (0), Re (1) e Mi (2).

• Se ascoltate la canzone per un tempo lunghissimo, noterete che ogni nota viene suonata più o meno la stessa quantità di volte.
• In matematica, questo equilibrio si chiama frequenza asintotica. Per la maggior parte dei numeri, le tre note (0, 1, 2) appaiono esattamente un terzo del tempo ciascuna (1/3, 1/3, 1/3). Questi numeri sono chiamati "normali".

Ma cosa succede se la canzone è "storta"?

• Immaginate un brano dove il "Do" viene suonato il 50% delle volte, il "Re" il 30% e il "Mi" solo il 20%.
• Oppure un brano dove le note non hanno mai un ritmo stabile: a volte il "Do" esplode, poi sparisce, poi torna.

Gli studiosi hanno analizzato questi numeri "strani" (non normali) per capire la loro struttura nascosta.

2. La "Media" delle Cifre (Il Peso del Valore)

Oltre a contare quante volte appare una cifra, gli autori guardano anche quanto vale quella cifra.

• Lo 0 non vale nulla.
• Il 1 vale uno.
• Il 2 vale due.

Se sommate tutti i valori delle cifre di un numero e fate la media, ottenete la media asintotica delle cifre.

• Se il numero è fatto solo di 0 e 1, la sua media sarà bassa (vicino a 0,5).
• Se è pieno di 2, la media sarà alta (vicino a 2).

Il paper si concentra su un gruppo specifico di numeri: quelli che hanno una media delle cifre fissa e prestabilita (chiamata $a$). È come se dicessimo: "Voglio trovare tutti i numeri il cui codice ternario ha una media esattamente uguale a 1,2".

3. La Scoperta: Un Universo di "Frattali"

Qui entra in gioco la parte più affascinante. Gli autori scoprono che l'insieme di questi numeri "strani" non è un mucchio disordinato. È una struttura geometrica complessa chiamata frattale.

L'analogia del Fiocco di Neve:
Immaginate un fiocco di neve. Se lo guardate da lontano, sembra una forma semplice. Se vi avvicinate, vedete che ogni ramo è fatto di rami più piccoli, che a loro volta hanno rami ancora più piccoli, all'infinito. Questa è la natura dei frattali: auto-similarità.

Gli autori dimostrano che:

• Se chiedete numeri con una media delle cifre molto specifica (e diversa da 1), troverete un "frattale" che occupa pochissimo spazio (ha misura zero), ma è comunque infinitamente denso. È come una polvere di diamanti: non riempie la stanza, ma se ci passate la mano, ne troverete ovunque.
• Se chiedete numeri con una media delle cifre uguale a 1, il risultato è diverso: questo insieme è così vasto da riempire quasi tutto l'intervallo da 0 a 1. È come se la "polvere di diamanti" si fosse trasformata in un muro solido.

4. La Dimensione di Hausdorff: Misurare l'Infinito

Come si misura la grandezza di un frattale? Non con i metri quadrati, ma con una "dimensione frattale".

• Una linea ha dimensione 1.
• Un foglio ha dimensione 2.
• Un frattale può avere una dimensione come 1,5 (né una linea, né un foglio, ma qualcosa di mezzo).

Gli autori hanno creato una formula magica per calcolare questa dimensione per ogni possibile media delle cifre ($a$).

• Se la media è "normale" (1), la dimensione è 1 (è pieno).
• Se la media è "strana" (es. 0,5 o 1,5), la dimensione è inferiore a 1, ma comunque complessa e affascinante.

5. Il Comportamento "Cattivo" delle Funzioni

C'è un'altra scoperta curiosa. La funzione che calcola la frequenza di una cifra è discontinua ovunque.
Metafora: Immaginate di camminare su un pavimento fatto di piastrelle. Se alzate il piede di un millimetro, il pavimento cambia completamente colore. Non c'è un punto dove il colore è "stabile".
Questo significa che se prendete un numero e cambiate anche solo una cifra molto in là nel suo codice, la frequenza delle cifre può saltare da un valore all'altro in modo imprevedibile. È un sistema caotico e instabile.

🎯 In Sintesi: Cosa ci insegnano questi numeri?

Questo studio ci dice che anche nel caos apparente dei numeri che non seguono le regole "normali", esiste un ordine geometrico profondo.

1. Ordinamento nel Caos: Anche i numeri che sembrano casuali o irregolari formano strutture geometriche precise (frattali).
2. Il Potere della Media: Cambiare la "media" delle cifre di un numero è come cambiare la forma di un cristallo: si ottiene una struttura completamente diversa con proprietà matematiche uniche.
3. La Bellezza della Complessità: La matematica ci mostra che l'infinito non è solo "grande", ma ha livelli di complessità che possiamo misurare e descrivere, proprio come la forma di una foglia o di una costa marina.

In parole povere: gli autori hanno preso un concetto astratto (la media delle cifre di un numero) e ha scoperto che è la chiave per aprire porte su mondi geometrici invisibili, pieni di forme ricorrenti e infinite, che vivono nascosti dentro i numeri che usiamo ogni giorno.

Sommario tecnico

Ecco una sintesi tecnica dettagliata del paper "LINEAR FRACTALS OF THE BESICOVITCH–EGGLESTON TYPE" di M. V. Pratsiovytyi e S. O. Klymchuk, redatta in italiano.

Titolo: Frattali Lineari di Tipo Besicovitch–Eggleston

Autori: M. V. Pratsiovytyi e S. O. Klymchuk
Fonte: Scientific Journal of Drahomanov National Pedagogical University, 2012.

---

1. Problema e Contesto

Il lavoro si inserisce nello studio delle proprietà topologiche, metriche e frattali degli insiemi di numeri reali nell'intervallo $[0, 1]$. L'obiettivo principale è analizzare l'insieme dei numeri la cui media asintotica delle cifre nella loro rappresentazione in base 3 (sistema ternario) è uguale a un parametro costante $a$.

Mentre la teoria classica (Teorema di Borel) stabilisce che quasi tutti i numeri (in senso di misura di Lebesgue) sono "normali" (ovvero, le frequenze asintotiche di tutte le cifre sono uguali a $1/s$), questo studio si concentra sui numeri **non normali** o su quelli con proprietà statistiche specifiche delle cifre. In particolare, gli autori investigano la relazione tra la **frequenza asintotica** di una cifra specifica e la **media asintotica** di tutte le cifre, concentrandosi sul sistema ternario ($s=3$).

2. Metodologia

Gli autori adottano un approccio analitico e combinatorio basato sulla teoria dei numeri e sulla geometria frattale:

• Definizioni Fondamentali:
  • Si definisce la rappresentazione $s$-adica di un numero $x \in [0, 1]$.
  • Si introduce la frequenza asintotica $\nu_i(x)$ della cifra $i$.
  • Si definisce la media asintotica delle cifre $r(x) = \lim_{n \to \infty} \frac{1}{n} \sum_{i=1}^n \alpha_i(x)$, dove $\alpha_i$ sono le cifre della rappresentazione.
• Analisi delle Relazioni: Vengono dimostrate una serie di lemmi e teoremi per stabilire le connessioni tra l'esistenza delle frequenze $\nu_i(x)$ e l'esistenza della media $r(x)$ nel sistema ternario.
  • Lemma 2: Nel sistema ternario, se le frequenze esistono, vale la relazione lineare $r(x) = \nu_1(x) + 2\nu_2(x)$.
  • Lemma 3: Se la frequenza di una cifra non esiste, allora la frequenza di almeno un'altra cifra non esiste.
• Costruzione di Insiemi: L'insieme di interesse è definito come $S_a = \{x : r(x) = a\}$. Gli autori scompongono questo insieme in due sottoinsiemi disgiunti:
  • $K_a$: Insieme dei numeri in cui le frequenze di tutte le cifre esistono.
  • $M_a$: Insieme dei numeri in cui la frequenza della cifra 0 non esiste (ma la media $r(x)$ esiste).
• Calcolo della Dimensione: Per determinare la dimensione frattale, viene utilizzato il principio di massimizzazione della dimensione di Hausdorff-Besicovitch su insiemi di tipo Besicovitch-Eggleston ($E[\tau_0, \tau_1, \tau_2]$) vincolati dall'equazione della media asintotica.

3. Risultati Chiave

A. Proprietà della Funzione di Frequenza

• La funzione di frequenza $\nu_i(x)$ è definita per tutti i numeri irrazionali $s$-adici e per quelli razionali (con una convenzione specifica sulla rappresentazione).
• La funzione è discontinua in ogni punto dell'intervallo $[0, 1]$.
• L'insieme dei punti in cui la funzione di frequenza non è definita è denso in $[0, 1]$.
• Anche quando la frequenza esiste in un punto $x_0$, il limite della funzione quando $x \to x_0$ non esiste (discontinuità essenziale).

B. Proprietà dell'Insieme $K_a$ (Media $a$, frequenze esistenti)

L'insieme $K_a$ (dove $r(x)=a$ e tutte le frequenze $\nu_i$ esistono) presenta le seguenti proprietà:

1. Cardinalità e Densità: È un insieme di potenza del continuo ed è ovunque denso in $[0, 1]$.

2. Misura di Lebesgue:

   • Se $a = 1$, la misura di Lebesgue è 1 (l'insieme contiene tutti i numeri normali in base 3).
   • Se $a \neq 1$, la misura di Lebesgue è 0.

3. Dimensione di Hausdorff-Besicovitch:
   Gli autori derivano una formula esplicita per la dimensione frattale $\alpha_0(K_a)$. La dimensione è ottenuta massimizzando una funzione entropica soggetta ai vincoli:
   $$\nu_0 + \nu_1 + \nu_2 = 1$$
   $$\nu_1 + 2\nu_2 = a$$

   La formula risultante per la dimensione è:
   $$\alpha_0(K_a) = -\frac{1}{\ln 3} \ln \left[ \left(\frac{t-1}{3}\right)^{\frac{t-1}{3}} \left(\frac{7-3a-t}{6}\right)^{\frac{7-3a-t}{6}} \left(\frac{1+3a-t}{6}\right)^{\frac{1+3a-t}{6}} \right]$$
   dove $t = \sqrt{1 + 6a - 3a^2}$.

   • Corollario Importante: Per $a=1$, la dimensione di Hausdorff è 1 ($\alpha_0(K_1) = 1$). Questo conferma che l'insieme dei numeri normali (o con media 1 e frequenze esistenti) è "grande" dal punto di vista frattale, anche se per $a \neq 1$ l'insieme ha misura nulla.

C. Relazione con i Frattali Lineari

Il titolo del paper fa riferimento a "Frattali Lineari" perché la condizione imposta sulla media asintotica ($r(x)=a$) definisce un vincolo lineare sulle frequenze delle cifre ($\nu_1 + 2\nu_2 = a$). Questo vincolo lineare riduce l'insieme di Besicovitch-Eggleston (che è definito da frequenze fisse) a una sezione o a un'intersezione che mantiene proprietà frattali complesse.

4. Significato e Contributi

• Generalizzazione: Il lavoro estende la teoria classica degli insiemi di Besicovitch-Eggleston (definiti da frequenze fisse) a insiemi definiti dalla media aritmetica delle cifre, un parametro che è una combinazione lineare delle frequenze.
• Analisi nel Sistema Ternario: Fornisce una caratterizzazione completa delle proprietà topologiche e metriche per il sistema ternario, un caso intermedio tra il binario (dove media e frequenza coincidono) e basi superiori.
• Struttura Frattale: Dimostra che l'insieme dei numeri con una media asintotica specifica, pur avendo spesso misura di Lebesgue zero (per $a \neq 1$), possiede una struttura frattale complessa con dimensione di Hausdorff calcolabile analiticamente.
• Comportamento Patologico: Sottolinea la natura "patologica" delle funzioni di frequenza, che sono ovunque discontinue e non hanno limiti, evidenziando la complessità della distribuzione delle cifre nei numeri reali.

In sintesi, il paper fornisce un quadro rigoroso per comprendere come i vincoli lineari sulle statistiche delle cifre influenzino la struttura geometrica e dimensionale degli insiemi numerici, confermando che tali insiemi formano una classe continua di frattali con dimensioni che variano in modo continuo rispetto al parametro $a$.