Frequency of a Digit in the Representation of a Number and the Asymptotic Mean Value of the Digits

Este artigo estabelece as condições para a existência da média assintótica dos dígitos em números ternários e demonstra a existência de um conjunto infinito e denso de números que possuem essa média, mas não apresentam frequência definida para seus dígitos.

O essencial

Imagine que você tem um número real (como 0,5 ou $\pi$) e decide escrevê-lo não na nossa base 10 (0 a 9), mas em uma "língua" diferente, chamada ternária (base 3). Nessa língua, só usamos os algarismos 0, 1 e 2.

Essa é a base do artigo que você enviou. Os autores, Klymchuk, Makarchuk e Prats'ovytyi, estão investigando uma curiosidade matemática fascinante sobre como esses números se comportam quando olhamos para eles "de longe" (infinitamente).

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

1. O Conceito Básico: A "Frequência" vs. A "Média"

Imagine que você tem uma fita de cassete infinita. Nessa fita, há uma sequência de botões: 0, 1 e 2.

• Frequência (A contagem): Se você ouvir a fita por muito tempo, você pode perguntar: "Quantas vezes o botão '1' apertou em comparação com o total?" Se, após 1 milhão de segundos, o botão '1' apertou exatamente 33% das vezes, dizemos que a frequência do '1' é 0,33.

  • O problema: Para a maioria dos números "normais", essa frequência existe e é estável. Mas para alguns números estranhos, a contagem oscila loucamente. Às vezes o '1' aparece muito, às vezes quase nunca. A média nunca se estabiliza.

• Média Asintótica (O peso médio): Agora, imagine que cada botão tem um "peso". O '0' pesa 0, o '1' pesa 1 e o '2' pesa 2.
  A média é o peso médio da fita. Se você tem muitos '0's e '2's, a média sobe. Se tem muitos '1's, fica no meio.

  • A pergunta do artigo é: É possível ter uma média estável (ex: sempre 1,5) mesmo quando a contagem individual de cada botão (frequência) é uma bagunça total?

2. A Descoberta Principal: A "Orquestra Caótica"

A resposta dos autores é um SIM surpreendente.

Eles provaram que existe um conjunto infinito e "denso" (espalhado por toda parte, como areia na praia) de números que são caóticos na contagem, mas perfeitos na média.

A Analogia da Orquestra:
Imagine uma orquestra onde há três instrumentos: Violinos (0), Flautas (1) e Tambores (2).

• Números Normais: O maestro mantém o ritmo. Você ouve 33% de violinos, 33% de flautas e 33% de tambores. Tudo estável.
• Números "Estranhos" (do artigo): O maestro está louco! Ele faz o violino tocar por 1 hora, depois o tambor por 10 segundos, depois a flauta por 1 minuto, depois o violino por 100 horas... A proporção de cada instrumento nunca se define. Se você tentar contar a frequência de cada um, a resposta nunca para de mudar.
• O Milagre: Mesmo com essa loucura de ritmos, se você calcular o peso sonoro total (a média), ele se estabiliza perfeitamente em um valor exato que o maestro escolheu (digamos, 1,5).

Os autores mostraram como construir esses números "loucos" mas "estáveis na média".

3. Por que isso importa?

O artigo estabelece regras claras:

1. Para a maioria dos números: Se a média existe, a frequência também existe. Eles andam de mãos dadas.
2. A exceção (o foco do artigo): Para números ternários (base 3), é possível criar um cenário onde a média existe, mas as frequências individuais não existem.
3. Onde eles vivem: Esses números não são raros ou escondidos em um canto do universo matemático. Eles estão em toda parte. Se você pegar qualquer intervalo pequeno de números, encontrará infinitos desses números "caóticos na contagem, mas estáveis na média".

4. Resumo das Conclusões

• Normalidade: A maioria dos números é "normal" (tudo é estável).
• O Paradoxo: Existe um "mundo paralelo" de números onde a contagem de dígitos é imprevisível (não tem frequência), mas o valor médio é perfeitamente previsível.
• Densidade: Esses números estranhos estão espalhados por todo o intervalo de 0 a 1, como se fossem poeira invisível que preenche cada espaço possível.

Em suma: O artigo nos ensina que a matemática permite situações onde o "todo" (a média) faz sentido, mesmo que as "partes" (a frequência de cada dígito) estejam em um caos absoluto. É como ter um prato de comida onde você nunca sabe quantos grãos de arroz ou feijão tem, mas sabe exatamente qual é o peso total da tigela.

Resumo técnico

Resumo Técnico

1. Problema e Contexto

O artigo investiga a relação fundamental entre duas propriedades estatísticas de números reais representados em base $s$ (especificamente base 3, ou ternária):

1. Frequência Assintótica ($\nu_i(x)$): A proporção limite de ocorrência de um dígito específico $i$ na expansão $s$-ária de um número $x$.
2. Valor Médio Assintótico ($r(x)$): O limite da média aritmética dos dígitos na expansão de $x$.

O problema central reside em determinar sob quais condições a existência de uma dessas propriedades implica a existência da outra. Especificamente, os autores buscam caracterizar o conjunto de números para os quais o valor médio assintótico existe, mas as frequências individuais dos dígitos não existem. Este é um caso de interesse na teoria dos números e na teoria da medida, pois desafia a intuição de que a estabilidade da média implica a estabilidade das frequências componentes.

2. Metodologia

Os autores utilizam uma abordagem combinatória e analítica, estruturada da seguinte forma:

• Definições Formais: Estabelecem rigorosamente a representação $s$-ária, distinguindo entre números $s$-racionais (duas representações) e $s$-irracionais (uma representação única). Definem $N_i(x, k)$ como a contagem do dígito $i$ até a posição $k$ e $\nu_i(x)$ como o limite de $N_i(x, k)/k$.
• Relação Linear (Lema 1): Demonstram que, se todas as frequências $\nu_i(x)$ existirem, o valor médio $r(x)$ existe e é dado pela soma ponderada:
  $$r(x) = \sum_{i=1}^{s-1} i \cdot \nu_i(x)$$
• Análise do Caso Ternário ($s=3$): Para a base 3, o sistema de equações que relaciona as frequências $\nu_0, \nu_1, \nu_2$ e a média $r$ é:
  1. $\nu_0 + \nu_1 + \nu_2 = 1$
  2. $\nu_1 + 2\nu_2 = r$
     Os autores analisam a dependência linear entre estas variáveis para provar que, se $r$ e uma frequência existirem, as outras duas também devem existir.
• Construção de Contrapontos (Seção 4): Para o caso onde $r(x)$ existe mas as frequências não, os autores desenvolvem um algoritmo de construção de números. Eles utilizam blocos de dígitos de comprimentos variáveis ($a_{k1}, a_{k2}, a_{k3}$ para dígitos 0, 1 e 2) e aplicam o Teorema do Valor Médio e propriedades da parte inteira de números reais (Lemas 2 e 3) para criar uma sequência oscilatória.
  • A estratégia envolve alternar blocos onde a proporção de dígitos oscila entre dois valores ($x_1$ e $x_2$) de forma que a média global convirja para um valor $\theta$, enquanto as frequências individuais oscilam indefinidamente, impedindo a convergência do limite.

3. Principais Resultados

• Teorema 1 (Normalidade): O conjunto de números no intervalo $[0, 1]$ que possuem valor médio assintótico igual a $(s-1)/2$ tem medida de Lebesgue completa (é o conjunto dos números normais).
• Teorema 2 (Interdependência em Base 3): Para números em base 3, se o valor médio $r(x)$ existe e pelo menos uma frequência $\nu_j(x)$ existe, então todas as frequências existem. Inversamente, se $r(x)$ existe mas uma frequência não existe, então nenhuma das frequências existe.
• Teorema 3 (Existência de Conjuntos Densos): Para qualquer valor alvo $\theta \in (0, 2)$, o conjunto de números $W$ tais que $r(x) = \theta$ mas as frequências $\nu_i(x)$ não existem é:
  1. Contínuo (tem cardinalidade do contínuo).
  2. Denso em todo o intervalo $[0, 1]$.
     Isso significa que é possível encontrar, arbitrariamente perto de qualquer número real, um número que possui uma média de dígitos bem definida, mas cujos dígitos individuais não possuem frequência assintótica.
• Teorema 4 (Propriedades da Função $r(x)$):
  • A função $r(x)$ é definida em um conjunto denso, mas também não é definida em um subconjunto denso.
  • Ela assume todos os valores no intervalo $[0, s-1]$.
  • Possui apenas um "nível" (conjunto de pré-imagem de um valor) de medida de Lebesgue completa, que é o valor $r(x) = (s-1)/2$.

4. Contribuições Chave

1. Separação Conceitual: O trabalho demonstra rigorosamente que a existência do valor médio assintótico é uma condição mais fraca do que a existência das frequências individuais. A existência da média não garante a regularidade estatística dos dígitos componentes.
2. Construção Explícita: Fornecem um algoritmo construtivo para gerar números com propriedades estatísticas "patológicas" (média definida, frequências indefinidas), preenchendo uma lacuna na literatura sobre conjuntos de Besicovitch-Eggleston.
3. Caracterização Topológica: Estabelecem que o conjunto de números com média definida mas frequências indefinidas não é apenas um conjunto de medida zero exótico, mas um conjunto denso no intervalo unitário, o que tem implicações significativas para a topologia dos conjuntos de números com propriedades de distribuição específicas.

5. Significância

Este artigo é relevante para a Teoria dos Números, Teoria da Medida e Sistemas Dinâmicos.

• Teoria da Medida: Refina a compreensão sobre a "normalidade" de números. Enquanto a maioria dos números (medida de Lebesgue 1) é normal (frequências e médias bem definidas), o artigo mostra que a estrutura topológica dos números não-normais é muito mais rica e complexa do que apenas um conjunto de medida zero.
• Probabilidade e Fractais: Os resultados têm aplicações na investigação de distribuições de probabilidade singulares e propriedades fractais de conjuntos definidos por restrições em dígitos, uma área ativa de pesquisa liderada por autores como Prats'ovytyi e Torbin (citados nas referências).
• Generalização: Embora o foco seja a base 3, a metodologia sugere caminhos para analisar bases superiores, onde a relação entre médias e frequências pode se tornar ainda mais complexa.

Em suma, o paper prova que é possível ter um "comportamento médio" estável em uma sequência de dígitos sem que haja estabilidade na frequência de cada dígito individual, e que tais números são ubíquos (densos) na reta real.