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

O artigo descreve as propriedades topológicas, métricas e fractais dos conjuntos de nível da função que representa a média assintótica dos dígitos na representação 4-ádica de números reais, sob a condição de existência das frequências desses dígitos, incluindo a construção de pontos, a prova de continuidade e densidade, bem como a determinação das condições para medida de Lebesgue nula ou total e estimativas da dimensão fractal de Hausdorff-Besicovitch.

O essencial

Imagine que você tem um número real (como 0,12345...) e decide escrevê-lo não na nossa base decimal comum (0 a 9), mas em uma base diferente, chamada base 4.

Neste sistema, em vez de usar os dígitos 0, 1, 2, ..., 9, você só pode usar quatro símbolos: 0, 1, 2 e 3. É como se você estivesse contando apenas com quatro dedos em vez de dez.

O artigo que você enviou, escrito por Pratsiovytyi e Klymchuk, é uma investigação matemática fascinante sobre o que acontece quando olhamos para a "média" desses dígitos à medida que o número fica infinitamente longo.

Aqui está uma explicação simples, usando analogias do dia a dia:

1. O Conceito Central: A "Média" dos Dígitos

Pense em um número infinito escrito em base 4 como uma sequência interminável de cartas de um baralho, onde só existem quatro tipos de cartas: 0, 1, 2 e 3.

• Se você pegar as primeiras 10 cartas e a média dos valores for 1,5, isso significa que, em média, você tem mais cartas de valor baixo.
• Se a média for 2,8, significa que as cartas de valor alto (2 e 3) aparecem muito mais.

Os autores definem uma função chamada $r(x)$. Ela calcula a média dos dígitos de um número $x$ quando você olha para um número infinito de dígitos.

• Se a média for 0, significa que o número é composto quase que exclusivamente pelo dígito 0.
• Se a média for 3, significa que o número é composto quase que exclusivamente pelo dígito 3.
• Se a média for 1,5, significa que há uma mistura equilibrada (talvez metade 1s e metade 2s, ou uma mistura complexa de 0, 1, 2 e 3).

2. O Grande Mistério: O "Cenário" (O Conjunto $S_\theta$)

Os autores perguntam: "Quantos números existem que têm exatamente essa média específica?"

Eles chamam esse grupo de números de $S_\theta$ (onde $\theta$ é a média que você escolheu).
Imagine que você quer encontrar todas as pessoas em uma cidade que têm exatamente 1,5 filhos em média. O artigo estuda a "geografia" desse grupo de pessoas.

Eles dividem esses números em três tipos de "vizinhanças":

1. Vizinhança A ($\Theta_1$): Números onde a frequência de cada dígito (0, 1, 2, 3) é perfeitamente estável e definida. É como um bairro onde você sabe exatamente que 25% das casas são vermelhas, 25% azuis, etc.
2. Vizinhança B e C: Números onde as frequências oscilam ou não se definem. São como bairros caóticos onde a cor das casas muda de forma imprevisível.

O foco principal do artigo é a Vizinhança A (onde as frequências existem).

3. As Descobertas Principais (Traduzidas)

A. O Tamanho do "Bairro" (Medida de Lebesgue)

A matemática pergunta: "Se eu escolher um número aleatoriamente no intervalo de 0 a 1, qual a chance de ele pertencer a esse grupo?"

• Cenário 1 (Média = 1,5): Se você quer números onde a média dos dígitos é exatamente 1,5, o artigo diz que quase todos os números (100% deles) pertencem a esse grupo. É como se a maioria das pessoas na cidade tivesse exatamente 1,5 filhos. O grupo é "gigante".
• Cenário 2 (Média = 0 ou 3): Se você quer números feitos apenas de 0s ou apenas de 3s, o grupo é infinitamente pequeno (tem medida zero). É como tentar encontrar alguém na cidade que tenha exatamente 0 filhos, mas que seja o único tipo de pessoa existente. Matematicamente, se você escolher um número ao acaso, a chance de cair nesse grupo é zero.

B. A Estrutura do "Bairro" (Propriedades Topológicas)

Mesmo que o grupo seja "pequeno" (como no caso da média 0 ou 3), ele ainda é densamente povoado.

• Analogia: Imagine um poço de areia. Se você olhar de longe, parece vazio. Mas se você chegar perto, verá que há grãos de areia em toda parte. Não importa onde você olhe no intervalo [0, 1], você sempre encontrará números com aquela média específica. Eles estão espalhados por todo o lugar, mesmo sendo "raros" em termos de probabilidade.

C. A Complexidade (Dimensão Fractal)

Aqui entra o conceito de Fractal. Fractais são formas que têm detalhes em qualquer nível de zoom (como um floco de neve ou um brócolis).

• O artigo calcula a "dimensão" desses conjuntos.
• Para médias extremas (0 ou 3), a dimensão é 0. São como pontos isolados, muito simples.
• Para médias intermediárias (como 1,5), a dimensão é alta. Isso significa que o conjunto é extremamente complexo, cheio de "buracos" e detalhes infinitos. É uma estrutura fractal rica e intrincada.

4. Como Construir um Número Desses?

Os autores não apenas estudaram a teoria, mas deram um algoritmo (uma receita de bolo) para criar um número que tenha exatamente a média desejada.

A Receita:

1. Decida a média que você quer (digamos, 1,5).
2. Calcule quantos 0s, 1s, 2s e 3s você precisa para atingir essa média.
3. Escreva o número em "blocos".
   • No primeiro bloco, escreva uma sequência curta seguindo a proporção correta.
   • No segundo bloco, escreva uma sequência um pouco maior, mantendo a proporção.
   • No terceiro, ainda maior...
4. Ao fazer isso infinitamente, você garante que a média final dos dígitos será exatamente o que você pediu.

Resumo em uma Frase

O artigo mostra que, embora a maioria dos números tenha uma "média de dígitos" natural (em torno de 1,5), é possível forçar a criação de números com qualquer média específica (de 0 a 3); esses grupos de números são espalhados por toda a reta numérica, mas variam drasticamente em complexidade e "tamanho", sendo alguns deles estruturas fractais incrivelmente detalhadas.

É como se a matemática dissesse: "Você pode criar qualquer tipo de padrão infinito que quiser, e ele estará escondido em algum lugar entre 0 e 1, esperando para ser descoberto."

Resumo técnico

Resumo Técnico: Propriedades Topológicas, Métricas e Fractais do Conjunto de Números Reais com Média Assintótica de Dígitos Dada na Representação 4-ádica

Autores: M. V. Pratsiovytyi e S. O. Klymchuk
Fonte: Scientific Journal of Drahomanov National Pedagogical University (2013) / arXiv:2603.03399v2

1. Problema e Contexto

O artigo investiga as propriedades topológicas, métricas e fractais de conjuntos de números reais cujos dígitos na representação em base 4 (sistema 4-ádico) possuem uma média assintótica específica.

Dado um número real $x \in [0, 1]$ com representação 4-ádica $x = \sum_{k=1}^{\infty} \alpha_k(x) 4^{-k}$, onde $\alpha_k(x) \in \{0, 1, 2, 3\}$, define-se a média assintótica dos dígitos como:
$$r(x) = \lim_{n \to \infty} \frac{1}{n} \sum_{k=1}^{n} \alpha_k(x)$$
O problema central é caracterizar o conjunto $S_\theta = \{x : r(x) = \theta\}$ para $\theta \in [0, 3]$, sob a condição de que as frequências de todos os dígitos ($\nu_i(x) = \lim_{n \to \infty} \frac{N_i(x,n)}{n}$, onde $N_i$ é a contagem do dígito $i$) existam.

O estudo foca especificamente no subconjunto $\Theta_1 \subset S_\theta$, onde as frequências de todos os dígitos existem. O caso da base $s=4$ é escolhido por exibir propriedades mais ricas e complexas em comparação com a base $s=3$ (analisada em trabalhos anteriores dos autores).

2. Metodologia

Os autores utilizam uma abordagem que combina a teoria dos números, análise fractal e teoria da medida:

• Definição de Conjuntos de Besicovitch-Eggleston: O conjunto $\Theta_1$ é decomposto como a união de conjuntos de Besicovitch-Eggleston $E[\tau_0, \tau_1, \tau_2, \tau_3]$, onde $\tau_i$ são as frequências assintóticas dos dígitos $i \in \{0, 1, 2, 3\}$.
• Restrições Lineares: As frequências devem satisfazer duas condições:
  1. $\sum_{i=0}^3 \tau_i = 1$ (são probabilidades).
  2. $\sum_{i=0}^3 i \cdot \tau_i = \theta$ (definem a média assintótica desejada).
• Dimensão de Hausdorff-Besicovitch: Utiliza-se a fórmula clássica para calcular a dimensão fractal de conjuntos definidos por frequências de dígitos:
  $$\dim_H(E) = -\frac{\sum \tau_i \ln \tau_i}{\ln 4}$$
• Construção Algorítmica: Desenvolve-se um algoritmo explícito para construir números pertencentes a $S_\theta$ (e especificamente a $\Theta_1$) através da concatenação de blocos de dígitos com frequências controladas, utilizando sequências de crescimento rápido para garantir a convergência das médias.
• Análise de Medida de Lebesgue: Compara-se a existência de números normais (onde todas as frequências são iguais a $1/4$) com o conjunto$S_\theta$ para determinar se a medida de Lebesgue é zero ou total.

3. Principais Contribuições e Resultados

A. Caracterização dos Casos Extremos ($\theta = 0$ e $\theta = 3$)

• Para $\theta = 0$, o único vetor de frequências possível é $(1, 0, 0, 0)$, ou seja, o número é composto quase exclusivamente por zeros. O conjunto resultante é denso em $[0, 1]$, mas possui dimensão de Hausdorff igual a 0.
• Para $\theta = 3$, o vetor de frequências é $(0, 0, 0, 1)$ (apenas dígitos 3). Similarmente, o conjunto é denso, mas tem dimensão de Hausdorff 0.
• Nestes casos, o conjunto é descrito como "anomalamente fractal".

B. Propriedades para $\theta \in (0, 3)$

• Densidade e Continuidade: O conjunto $\Theta_1$ é denso em $[0, 1]$ e é um conjunto fechado.
• Medida de Lebesgue:
  • Se $\theta \neq 3/2$, o conjunto $\Theta_1$ contém nenhum número normal. Como o conjunto dos números normais tem medida de Lebesgue total (teorema de Borel), conclui-se que a medida de Lebesgue de $\Theta_1$ é zero ($\lambda(\Theta_1) = 0$).
  • Se $\theta = 3/2$, o conjunto contém o conjunto de números normais (onde $\tau_i = 1/4$ para todo $i$), pois a média dos dígitos $\{0,1,2,3\}$ com frequências iguais é $(0+1+2+3)/4 = 1.5$. Portanto, para $\theta = 3/2$, a medida de Lebesgue é total ($\lambda(\Theta_1) = 1$).
• Dimensão Fractal:
  • Os autores provam que a dimensão de Hausdorff-Besicovitch de $\Theta_1$ satisfaz a desigualdade:
    $$\alpha_0(\Theta_1) \geq -\frac{m(\theta)}{\ln 4}$$
    onde $m(\theta)$ é o valor mínimo da função de entropia $f(\tau) = \sum \tau_i \ln \tau_i$ sujeito às restrições de média $\theta$. Isso fornece um limite inferior para a complexidade fractal do conjunto.

C. Algoritmo de Construção
O artigo apresenta um método construtivo para gerar um número $x \in \Theta_1$ com frequências de dígitos específicas $\tau_i$. O método envolve a criação de blocos de dígitos onde a proporção de cada dígito $i$ no bloco $k$ se aproxima de $\tau_i$, utilizando uma sequência de tamanhos de bloco $s_k$ que cresce suficientemente rápido para garantir que as médias parciais converjam para os valores desejados.

4. Significado e Relevância

Este trabalho avança a compreensão da estrutura geométrica e estatística de conjuntos definidos por propriedades de dígitos em sistemas de numeração não binários.

• Generalização: Estende resultados conhecidos para a base 3 e base 2 para a base 4, demonstrando como a complexidade do conjunto aumenta com a base.
• Relação entre Média e Frequência: Clarifica a relação entre a média assintótica dos dígitos e as frequências individuais, mostrando que a média fixa define uma "fatia" do espaço de frequências possíveis.
• Transição de Medida: Ilustra um fenômeno interessante onde a mudança de um parâmetro ($\theta$) altera drasticamente a natureza do conjunto: de um conjunto de medida nula e dimensão fractal específica para um conjunto de medida total (quando $\theta = 1.5$), que coincide com o conjunto dos números normais.
• Aplicações: Os resultados são relevantes para a teoria dos números, sistemas dinâmicos, teoria da informação e análise de distribuições singulares, oferecendo ferramentas para a construção de exemplos específicos de números com propriedades fractais controladas.

Em suma, o artigo fornece uma caracterização completa da topologia, medida e dimensão fractal dos conjuntos de números com média de dígitos fixa em base 4, estabelecendo limites inferiores precisos para sua dimensão e condições exatas para sua medida de Lebesgue.