🔢 mathematics

Lower bounds for the Hausdorff dimension of expressible sets

Este artigo estabelece limites inferiores positivos para a dimensão de Hausdorff de conjuntos de números reais definidos por expansões em séries específicas, um resultado que implica que certos números irracionais da construção de Erdős de 1976 não são números de Liouville.

Autores originais: Maiken Gravgaard, Simon Kristensen, Jaroslav Hančl

Publicado 2026-05-27

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Maiken Gravgaard, Simon Kristensen, Jaroslav Hančl

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você está construindo um número muito estranho e muito específico. Você faz isso somando uma lista infinita de frações minúsculas.

A fórmula se parece com isto:
$\text{Número} = \frac{1}{d_1 a_1} + \frac{1}{d_2 a_2} + \frac{1}{d_3 a_3} + \dots$

Neste artigo, os autores estão brincando com dois ingredientes principais:

A "Base" ( $a_n$ ): São números que ficam enormes, muito rapidamente. Pense neles como os denominadores das suas frações. Eles crescem tão rápido que as frações tornam-se microscópicas quase instantaneamente.
Os "Dígitos" ( $d_n$ ): São os números que você escolhe para multiplicar a base. Na versão mais simples, você pode escolher qualquer número natural (1, 2, 3...). Mas neste artigo, os autores restringem você. Talvez você só possa escolher números entre 1 e 10, ou talvez só possa escolher números pares.

A Grande Pergunta: Que tipo de número você obtém?

Quando você soma essas frações infinitas, você obtém um número real. Os autores querem saber duas coisas sobre a coleção de todos os números possíveis que você pode fazer com essas regras:

É "Irracional"? (Pode ser escrito como uma fração simples como 1/2?)
É um "Número de Liouville"? Este é um tipo especial e estranho de número irracional. Os números de Liouville são "demasiado fáceis" de aproximar com frações simples. Eles estão tão próximos de números racionais que são considerados "transcendentes" (não são a raiz de nenhuma equação polinomial).

Por muito tempo, os matemáticos sabiam que, se os seus números de "Base" ( $a_n$ ) crescessem rápido o suficiente, o número resultante seria irracional. Mas havia uma pegadinha: se crescessem demasiado rápido, o número se tornaria um número de Liouville.

A Descoberta dos Autores: A Estratégia do "Vazio"

Os autores queriam encontrar um "ponto ideal". Eles queriam provar que, se você restringir suas escolhas de "Dígitos" ( $d_n$ ) exatamente da maneira certa, você pode criar um conjunto de números que são:

Irracionais (não são frações simples).
NÃO são números de Liouville (não são "demasiado fáceis" de aproximar).
Transcendentes (matematicamente complexos).

Para fazer isso, eles usaram um truque visual inteligente envolvendo Conjuntos de Cantor.

A Analogia: A Esponja Espremida
Imagine que você tem um bastão longo (representando todos os números possíveis).

Nível 0: Você tem o bastão inteiro.
Nível 1: Você corta as partes do meio, deixando apenas alguns bastões menores.
Nível 2: Você pega esses bastões menores e corta mais partes do meio, deixando bastões ainda mais minúsculos.
Repita para sempre.

O "Conjunto Expressível" é a poeira que resta depois que você faz isso para sempre.

O trabalho principal dos autores foi provar que, quando eles cortavam as partes do meio (os "vazios"), os bastões restantes eram espessos o suficiente para ter uma "Dimensão de Hausdorff" não nula.

Dimensão de Hausdorff é uma maneira de medir o "tamanho" ou a "rugosidade" de uma forma. Uma linha tem dimensão 1. Um ponto tem dimensão 0. Um fractal (como a poeira na nossa esponja) pode ter uma dimensão de 0,5.
Se a dimensão for maior que 0, isso significa que o conjunto é "grande" em um sentido matemático.
Se a dimensão for 0, o conjunto é "minúsculo" (como o conjunto de todos os números de Liouville, que é tão pequeno que tem dimensão 0).

Os Três Resultados Principais

O artigo apresenta três cenários baseados na velocidade com que os números de "Base" ( $a_n$ ) crescem:

1. O Crescimento Geométrico (O Caso "Rápido mas Estável")
Se os números da base crescem como potências de um número (por exemplo, $2^n, 3^n, 4^n$ ), e você restringe seus "dígitos" a um conjunto pequeno e fixo (como escolher apenas 1, 2 ou 3), os autores provaram que o conjunto resultante de números tem uma dimensão positiva.

A Pegadinha: A base deve crescer rápido o suficiente em comparação com quantos dígitos você tem permissão para escolher. Se você escolher muitos dígitos, os "vazios" desaparecem e o conjunto se torna um bloco sólido (um intervalo) em vez de uma poeira fractal.

2. O Crescimento Duplamente Exponencial (O Caso "Explosivo")
Se os números da base crescem incrivelmente rápido (como $2^{2^n}$ ), os autores mostraram que, mesmo com restrições muito específicas nos dígitos, o conjunto resultante de números ainda tem uma dimensão positiva.

Por que isso importa: Isso prova que você não precisa que os números cresçam infinitamente rápido para obter números complexos. Você pode ter um crescimento "moderadamente" explosivo e ainda obter um conjunto rico de números que não são números de Liouville.

3. O Duplamente Exponencial "Mais Lento"
Eles também analisaram uma versão ligeiramente mais lenta do crescimento explosivo e encontraram resultados semelhantes, provando que o conjunto de números "bons" ainda é substancial.

O "E Daí?" (Sem o Jargão)

A parte mais emocionante do artigo é o Corolário 5.

Por décadas, os matemáticos sabiam que, se os seus números de base ( $a_n$ ) crescessem rápido o suficiente, os números resultantes seriam irracionais. Mas eles não sabiam se esses números eram "demasiado fáceis" de aproximar (Liouville) ou "exatamente certos".

Os autores provaram que a famosa regra de Erdős de 1976 é precisa.

Se os números da base crescem demasiado rápido, você obtém números de Liouville (dimensão 0).
Mas se eles crescem apenas um pouco mais devagar (especificamente, se a taxa de crescimento não explode para o infinito muito rapidamente), você obtém um conjunto de números que não são números de Liouville.

A Conclusão:
Os autores construíram uma "peneira" matemática. Ao escolher cuidadosamente a velocidade com que os denominadores crescem e limitando as escolhas dos numeradores, eles provaram que você pode criar uma coleção "espessa" de números que são irracionais e transcendentes, mas não os números de Liouville estranhos e facilmente aproximáveis. Eles mostraram que a fronteira entre números irracionais "normais" e números de Liouville "estranhos" é muito mais precisa do que se pensava anteriormente.

Eles não aplicaram isso à medicina, engenharia ou finanças. Eles simplesmente resolveram um quebra-cabeça sobre a natureza fundamental dos números e quão "grande" é o conjunto desses números especiais.

Resumo Técnico: Limites Inferiores para a Dimensão de Hausdorff de Conjuntos Expressíveis

Enunciado do Problema
O artigo investiga a dimensão de Hausdorff de "conjuntos expressíveis", definidos como conjuntos de números reais formados por séries da forma:
$x = \sum_{n=1}^{\infty} \frac{1}{d_n a_n}$
onde $(a_n)_{n=1}^{\infty}$ é uma sequência de números reais (a "base") e $(d_n)_{n=1}^{\infty}$ é uma sequência de números naturais (os "dígitos") escolhidos de conjuntos específicos $D_n$ .

O problema central aborda a lacuna entre os resultados existentes sobre a irracionalidade e a transcendência de tais somas e as propriedades métricas dos conjuntos que elas geram. Trabalhos anteriores de Erdős (1975) e Hančl estabeleceram condições sob as quais essas somas são irracionais ou números de Liouville. Especificamente, se a sequência $a_n$ cresce suficientemente rápido (por exemplo, $\limsup a_n^{1/2^n} = \infty$ ), os números resultantes são irracionais; se o crescimento for ainda mais rápido, são números de Liouville (um conjunto de dimensão de Hausdorff zero). No entanto, não estava claro o que acontece quando as condições de crescimento são intermediárias ou quando restrições são impostas aos dígitos $d_n$ . Os autores visam estabelecer limites inferiores positivos para a dimensão de Hausdorff desses conjuntos, provando assim que, sob certas condições de crescimento, os conjuntos contêm números não-Liouville (e potencialmente não-transcendentes).

Metodologia
Os autores empregam uma abordagem de construção geométrica, modelando os conjuntos expressíveis como conjuntos de Cantor generalizados. A estratégia envolve:

Construção do Conjunto de Cantor: Visualizar a série como um sistema de numeração onde $a_n$ atua como a base e $d_n$ como os dígitos. O conjunto $K(A, (D_n))$ é construído dividindo intervalos iterativamente.
Análise de Lacunas: Para aplicar um teorema conhecido de limite inferior para a dimensão de Hausdorff de conjuntos de Cantor generalizados (Teorema 1, baseado em Falconer), os autores devem garantir que "lacunas" existam entre os sub-intervalos em cada nível $n$ . Isso requer provar que a diferença entre somas parciais adjacentes é estritamente maior que a soma máxima possível da cauda da série.
Estimativas Quantitativas: Os autores derivam limites inferiores explícitos para os tamanhos das lacunas ( $\varepsilon_n$ ) e limites superiores para o número de sub-intervalos ( $m_n$ ) em cada nível. Eles substituem essas estimativas na fórmula da dimensão:
$\dim_H(C) \ge \limsup_{n \to \infty} \frac{\log(m_1 \cdots m_n)}{-\log(m_{n+1} \varepsilon_{n+1})}$
Classificações de Crescimento: A análise é dividida em três casos com base na taxa de crescimento da sequência $a_n$ $a_{n}$ :
- Crescimento geométrico ( $a_n = b^n$ ).
- Crescimento duplamente exponencial ( $a_n \approx 2^{N^n}$ ).
- Crescimento duplamente exponencial mais lento ( $a_n \approx N^{2^n}$ ).

Principais Contribuições e Resultados

Teorema 2 (Crescimento Geométrico): Para sequências onde $a_n = b^n$ com $b > 4$ e dígitos restritos a um conjunto finito $D_n = \{1, \dots, K\}$ tal que $K^2 < b$ , os autores provam:
$\dim_H(K) \ge \frac{\log(K)}{\log(b)}$
Este resultado demonstra que restringir dígitos pode reduzir a dimensão de total (intervalo) para um valor positivo, desde que a base $b$ seja grande o suficiente em relação ao tamanho do conjunto de dígitos.
Teorema 3 (Crescimento Duplamente Exponencial): Para sequências crescendo como $a_n = 2^{N^n f(n)}$ com restrições específicas nos conjuntos de dígitos $D_n$ , os autores estabelecem um limite inferior:
$\dim_H(K) \ge \frac{s}{(N-1)(N-s)}$
onde $s$ e $N$ são parâmetros relacionados às taxas de crescimento da base e dos conjuntos de dígitos.
Teorema 4 (Crescimento Duplamente Exponencial Mais Lento): Para sequências crescendo como $a_n = N^{2^n f(n)}$ , um limite inferior é derivado:
$\dim_H(K) \ge \frac{s}{2-s}$
Notavelmente, este limite é independente do parâmetro de base $N$ , contrastando com o Teorema 3, onde o limite diminui à medida que $N$ aumenta.
Corolário 5 (Acutude do Critério de Erdős): Os autores aplicam seus resultados a sequências de inteiros. Eles mostram que se $\limsup_{n \to \infty} a_n^{1/t^n} < \infty$ para algum $t \in \mathbb{N}$ , o conjunto expressível $K(A)$ contém números que não são números $U^*$ (uma classe contendo números de Liouville). Como o conjunto de números $U^*$ tem dimensão de Hausdorff zero, isso implica que o conjunto $K(A)$ contém números que não são números de Liouville. Isso confirma que a condição de Erdős para gerar números de Liouville é aguda; relaxar a condição de crescimento produz conjuntos com dimensão positiva contendo números não-Liouville.

Significado e Afirmações
O artigo afirma fornecer os primeiros limites inferiores positivos na dimensão de Hausdorff de conjuntos expressíveis com dígitos restritos. O significado primário reside em demonstrar que a propriedade "Liouville" não é universal para sequências de crescimento rápido; ao contrário, depende criticamente da taxa de crescimento específica e do tamanho dos conjuntos de dígitos.

Os autores afirmam explicitamente que seus resultados mostram que a construção de Erdős de 1976 produz números não-Liouville sob condições de crescimento mais fracas do que se pensava anteriormente. Eles observam que, embora seus limites sejam positivos, suspeitam que não sejam ótimos, pois limites superiores para esses conjuntos específicos ainda não foram calculados. O artigo conclui identificando a remoção da restrição $K^2 < b$ no Teorema 2 e o cálculo de limites superiores para esses conjuntos como problemas em aberto. O trabalho não propõe novas aplicações, mas sim refina a compreensão teórica das propriedades métricas de números definidos por expansões de séries específicas.

A Grande Pergunta: Que tipo de número você obtém?

A Descoberta dos Autores: A Estratégia do "Vazio"

Os Três Resultados Principais

O "E Daí?" (Sem o Jargão)

Mais como este