🔢 mathematics

Lower bounds for the Hausdorff dimension of expressible sets

Questo lavoro stabilisce limiti inferiori positivi per la dimensione di Hausdorff di insiemi di numeri reali definiti da sviluppi in serie specifici, un risultato che implica che certi numeri irrazionali della costruzione di Erdős del 1976 non sono numeri di Liouville.

Autori originali: Maiken Gravgaard, Simon Kristensen, Jaroslav Hančl

Pubblicato 2026-05-27

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Maiken Gravgaard, Simon Kristensen, Jaroslav Hančl

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Immagina di costruire un numero molto strano e molto specifico. Lo fai sommando una lista infinita di minuscole frazioni.

La formula appare così:
$\text{Numero} = \frac{1}{d_1 a_1} + \frac{1}{d_2 a_2} + \frac{1}{d_3 a_3} + \dots$

In questo articolo, gli autori giocano con due ingredienti principali:

La "Base" ( $a_n$ ): Questi sono numeri che diventano enormi, molto rapidamente. Pensali come i denominatori delle tue frazioni. Crescono così velocemente che le frazioni diventano microscopiche quasi istantaneamente.
Le "Cifre" ( $d_n$ ): Questi sono i numeri che scegli di moltiplicare per la base. Nella versione più semplice, puoi scegliere qualsiasi numero naturale (1, 2, 3...). Ma in questo articolo, gli autori ti limitano. Forse puoi scegliere solo numeri tra 1 e 10, o forse solo numeri pari.

La Grande Domanda: Che tipo di numero ottieni?

Quando sommi queste frazioni infinite, ottieni un numero reale. Gli autori vogliono sapere due cose sulla collezione di tutti i numeri possibili che puoi creare con queste regole:

È "Irrazionale"? (Può essere scritto come una frazione semplice come 1/2?)
È un "Numero di Liouville"? Questo è un tipo speciale e strano di numero irrazionale. I numeri di Liouville sono "troppo facili" da approssimare con frazioni semplici. Sono così vicini ai numeri razionali da essere considerati "trascedenti" (non sono la radice di alcuna equazione polinomiale).

Per molto tempo, i matematici sapevano che se i tuoi numeri "Base" ( $a_n$ ) crescevano abbastanza velocemente, il numero risultante sarebbe stato irrazionale. Ma c'era un problema: se crescevano troppo velocemente, il numero diventava un numero di Liouville.

La Scoperta degli Autori: La Strategia del "Vuoto"

Gli autori volevano trovare un "punto dolce". Volevano dimostrare che se limiti le tue scelte di "Cifre" ( $d_n$ ) nel modo giusto, puoi creare un insieme di numeri che sono:

Irrazionali (non frazioni semplici).
NON numeri di Liouville (non sono "troppo facili" da approssimare).
Trascendenti (matematicamente complessi).

Per fare questo, hanno usato un trucco visivo astuto che coinvolge gli Insiemi di Cantor.

L'Analogia: La Spugna Strizzata
Immagina di avere un bastoncino lungo (che rappresenta tutti i numeri possibili).

Livello 0: Hai l'intero bastoncino.
Livello 1: Tagli via le parti centrali, lasciando solo alcuni bastoncini più piccoli.
Livello 2: Prendi quei bastoncini più piccoli e tagli via altre parti centrali, lasciando bastoncini ancora più minuscoli.
Ripeti per sempre.

L'"Insieme Esprimibile" è la polvere che rimane dopo averlo fatto per sempre.

Il compito principale degli autori era dimostrare che quando tagliavano via le parti centrali (i "vuoti"), i bastoncini rimanenti erano abbastanza spessi da avere una "Dimensione di Hausdorff" non nulla.

La Dimensione di Hausdorff è un modo per misurare la "dimensione" o la "ruvidità" di una forma. Una linea ha dimensione 1. Un punto ha dimensione 0. Un frattale (come la polvere nella nostra spugna) potrebbe avere una dimensione di 0,5.
Se la dimensione è maggiore di 0, significa che l'insieme è "grande" in senso matematico.
Se la dimensione è 0, l'insieme è "minuscolo" (come l'insieme di tutti i numeri di Liouville, che è così piccolo da avere dimensione 0).

I Tre Risultati Principali

L'articolo presenta tre scenari basati su quanto velocemente crescono i numeri "Base" ( $a_n$ ):

1. La Crescita Geometrica (Il Caso "Veloce ma Costante")
Se i numeri base crescono come potenze di un numero (ad esempio $2^n, 3^n, 4^n$ ) e limiti le tue "cifre" a un piccolo insieme fisso (come scegliere solo 1, 2 o 3), gli autori hanno dimostrato che l'insieme risultante di numeri ha una dimensione positiva.

Il Problema: La base deve crescere abbastanza velocemente rispetto a quante cifre ti è permesso scegliere. Se scegli troppe cifre, i "vuoti" scompaiono e l'insieme diventa un blocco solido (un intervallo) invece che polvere frattale.

2. La Crescita Doppia Esponenziale (Il Caso "Esplosivo")
Se i numeri base crescono incredibilmente velocemente (come $2^{2^n}$ ), gli autori hanno mostrato che anche con limitazioni molto specifiche sulle cifre, l'insieme risultante di numeri ha ancora una dimensione positiva.

Perché questo è importante: Questo dimostra che non hai bisogno che i numeri crescano infinitamente velocemente per ottenere numeri complessi. Puoi avere una crescita esplosiva "moderata" e ottenere comunque un ricco insieme di numeri che non sono numeri di Liouville.

3. La Doppia Esponenziale "Più Lenta"
Hanno anche esaminato una versione leggermente più lenta della crescita esplosiva e hanno trovato risultati simili, dimostrando che l'insieme dei numeri "buoni" è ancora sostanziale.

Il "E allora?" (Senza Gergo)

La parte più entusiasmante dell'articolo è il Corollario 5.

Per decenni, i matematici sapevano che se i tuoi numeri base ( $a_n$ ) crescevano abbastanza velocemente, i numeri risultanti erano irrazionali. Ma non sapevano se quei numeri fossero "troppo facili" da approssimare (Liouville) o "giusti".

Gli autori hanno dimostrato che la famosa regola di Erdős del 1976 è precisa.

Se i numeri base crescono troppo velocemente, ottieni numeri di Liouville (dimensione 0).
Ma se crescono solo un po' più lentamente (specificamente, se il tasso di crescita non esplode all'infinito troppo rapidamente), ottieni un insieme di numeri che non sono numeri di Liouville.

Il Punto Fondamentale:
Gli autori hanno costruito un "setaccio" matematico. Scegliendo attentamente quanto velocemente crescono i denominatori e limitando le scelte dei numeratori, hanno dimostrato che puoi creare una collezione "spessa" di numeri che sono irrazionali e trascendenti, ma non i strani numeri di Liouville facilmente approssimabili. Hanno mostrato che il confine tra numeri irrazionali "normali" e numeri di Liouville "strani" è molto più preciso di quanto si pensasse in precedenza.

Non hanno applicato questo alla medicina, all'ingegneria o alla finanza. Hanno semplicemente risolto un enigma sulla natura fondamentale dei numeri e su quanto sia "grande" l'insieme di questi numeri speciali.

Sintesi Tecnica: Limiti Inferiori per la Dimensione di Hausdorff degli Insiemi Esprimibili

Enunciato del Problema
Il lavoro indaga la dimensione di Hausdorff degli "insiemi esprimibili", definiti come insiemi di numeri reali formati da serie della forma:
$x = \sum_{n=1}^{\infty} \frac{1}{d_n a_n}$
dove $(a_n)_{n=1}^{\infty}$ è una successione di numeri reali (la "base") e $(d_n)_{n=1}^{\infty}$ è una successione di numeri naturali (le "cifre") scelte da insiemi specifici $D_n$ .

Il problema centrale affronta il divario tra i risultati esistenti sull'irrazionalità e la trascendenza di tali somme e le proprietà metriche degli insiemi che esse generano. Lavori precedenti di Erdős (1975) e Hančl hanno stabilito condizioni sotto le quali tali somme sono irrazionali o numeri di Liouville. Nello specifico, se la successione $a_n$ cresce sufficientemente velocemente (ad esempio, $\limsup a_n^{1/2^n} = \infty$ ), i numeri risultanti sono irrazionali; se la crescita è ancora più rapida, sono numeri di Liouville (un insieme di dimensione di Hausdorff zero). Tuttavia, non era chiaro cosa accade quando le condizioni di crescita sono intermedie o quando vengono imposte restrizioni sulle cifre $d_n$ . Gli autori mirano a stabilire limiti inferiori positivi per la dimensione di Hausdorff di questi insiemi, dimostrando così che, sotto certe condizioni di crescita, gli insiemi contengono numeri non di Liouville (e potenzialmente non trascendenti).

Metodologia
Gli autori adottano un approccio di costruzione geometrica, modellando gli insiemi esprimibili come insiemi di Cantor generalizzati. La strategia prevede:

Costruzione dell'Insieme di Cantor: Considerare la serie come un sistema di numerazione in cui $a_n$ agisce come base e $d_n$ come cifre. L'insieme $K(A, (D_n))$ è costruito dividendo iterativamente gli intervalli.
Analisi delle Lacune: Per applicare un noto teorema sui limiti inferiori della dimensione di Hausdorff degli insiemi di Cantor generalizzati (Teorema 1, basato su Falconer), gli autori devono garantire che esistano "lacune" tra i sottointervalli a ogni livello $n$ . Ciò richiede di dimostrare che la differenza tra le somme parziali adiacenti è strettamente maggiore della somma massima possibile della coda della serie.
Stime Quantitative: Gli autori derivano limiti inferiori espliciti per le dimensioni delle lacune ( $\varepsilon_n$ ) e limiti superiori per il numero di sottointervalli ( $m_n$ ) a ogni livello. Sostituiscono queste stime nella formula della dimensione:
$\dim_H(C) \ge \limsup_{n \to \infty} \frac{\log(m_1 \cdots m_n)}{-\log(m_{n+1} \varepsilon_{n+1})}$
Classificazioni di Crescita: L'analisi è suddivisa in tre casi in base al tasso di crescita della successione $a_n$ $a_{n}$ :
- Crescita geometrica ( $a_n = b^n$ ).
- Crescita doppiamente esponenziale ( $a_n \approx 2^{N^n}$ ).
- Crescita doppiamente esponenziale più lenta ( $a_n \approx N^{2^n}$ ).

Contributi e Risultati Chiave

Teorema 2 (Crescita Geometrica): Per successioni in cui $a_n = b^n$ con $b > 4$ e cifre limitate a un insieme finito $D_n = \{1, \dots, K\}$ tale che $K^2 < b$ , gli autori dimostrano:
$\dim_H(K) \ge \frac{\log(K)}{\log(b)}$
Questo risultato dimostra che limitare le cifre può ridurre la dimensione da piena (intervallo) a un valore positivo, purché la base $b$ sia sufficientemente grande rispetto alla dimensione dell'insieme delle cifre.
Teorema 3 (Crescita Doppiamente Esponenziale): Per successioni che crescono come $a_n = 2^{N^n f(n)}$ con vincoli specifici sugli insiemi di cifre $D_n$ , gli autori stabiliscono un limite inferiore:
$\dim_H(K) \ge \frac{s}{(N-1)(N-s)}$
dove $s$ e $N$ sono parametri legati ai tassi di crescita della base e degli insiemi di cifre.
Teorema 4 (Crescita Doppiamente Esponenziale più Lenta): Per successioni che crescono come $a_n = N^{2^n f(n)}$ , viene derivato un limite inferiore:
$\dim_H(K) \ge \frac{s}{2-s}$
È notevole che questo limite sia indipendente dal parametro della base $N$ , in contrasto con il Teorema 3, dove il limite diminuisce all'aumentare di $N$ .
Corollario 5 (Sharpness del Criterio di Erdős): Gli autori applicano i loro risultati a successioni di interi. Dimostrano che se $\limsup_{n \to \infty} a_n^{1/t^n} < \infty$ per qualche $t \in \mathbb{N}$ , l'insieme esprimibile $K(A)$ contiene numeri che non sono numeri $U^*$ (una classe che include i numeri di Liouville). Poiché l'insieme dei numeri $U^*$ ha dimensione di Hausdorff zero, ciò implica che l'insieme $K(A)$ contiene numeri che non sono numeri di Liouville. Ciò conferma che la condizione di Erdős per generare numeri di Liouville è precisa; rilassare la condizione di crescita produce insiemi con dimensione positiva contenenti numeri non di Liouville.

Significato e Affermazioni
Il lavoro afferma di fornire i primi limiti inferiori positivi sulla dimensione di Hausdorff degli insiemi esprimibili con cifre limitate. Il significato principale risiede nel dimostrare che la proprietà "di Liouville" non è universale per successioni a crescita rapida; piuttosto, dipende criticamente dal tasso di crescita specifico e dalla dimensione degli insiemi di cifre.

Gli autori affermano esplicitamente che i loro risultati mostrano che la costruzione di Erdős del 1976 produce numeri non di Liouville sotto condizioni di crescita più deboli di quanto precedentemente pensato. Osservano che, sebbene i loro limiti siano positivi, sospettano che non siano ottimali, poiché i limiti superiori per questi insiemi specifici non sono ancora stati calcolati. Il lavoro conclude identificando la rimozione della restrizione $K^2 < b$ nel Teorema 2 e il calcolo dei limiti superiori per questi insiemi come problemi aperti. Il lavoro non propone nuove applicazioni, ma affina la comprensione teorica delle proprietà metriche dei numeri definiti da specifiche espansioni in serie.

La Grande Domanda: Che tipo di numero ottieni?

La Scoperta degli Autori: La Strategia del "Vuoto"

I Tre Risultati Principali

Il "E allora?" (Senza Gergo)

Articoli simili