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

Este artículo establece las condiciones para la existencia del valor medio asintótico de los dígitos en números ternarios y demuestra la existencia de un conjunto infinito y denso de números que carecen de frecuencia de dígitos pero poseen dicho valor medio.

Lo esencial

¡Claro que sí! Imagina que este artículo es como un viaje al interior de los números, donde descubrimos secretos ocultos en cómo escribimos las cosas.

Aquí tienes la explicación de este estudio matemático, traducida a un lenguaje sencillo, con analogías de la vida real:

🎲 El Juego de los Números: Frecuencia vs. Promedio

Imagina que tienes un número infinito, como una cinta de película que nunca termina. En lugar de letras, esta cinta está llena de dígitos (en este caso, en base 3, usamos solo los números 0, 1 y 2).

Los matemáticos del artículo se preguntaron dos cosas sobre esta cinta infinita:

1. ¿Con qué frecuencia aparece cada número? (La "Frecuencia").
   • Analogía: Imagina que lanzas una moneda infinitas veces. ¿Cuántas veces sale "cara" y cuántas "cruz"? Si después de un millón de lanzamientos tienes 500.000 caras y 500.000 cruces, la frecuencia es estable.
2. ¿Cuál es el valor promedio de los números en la cinta? (La "Media Asintótica").
   • Analogía: Imagina que en lugar de contar cuántas caras hay, sumas todos los números y divides entre la cantidad total. Si tienes muchos 0s, algunos 1s y pocos 2s, el promedio te dirá si la cinta "tiende" a ser más baja o más alta.

🔗 La Regla de Oro (Lo que siempre funciona)

El artículo empieza con una buena noticia: Si sabes con qué frecuencia aparece cada número, puedes calcular el promedio.

• La analogía: Si tienes un bote de gominolas y sabes exactamente qué porcentaje son rojas, verdes y azules, puedes calcular perfectamente el "peso promedio" del bote.
• En matemáticas, si los números 0, 1 y 2 aparecen con una frecuencia estable, el promedio de los dígitos también será un número estable.

🌪️ La Sorpresa: Cuando el Promedio existe, pero la Frecuencia no

Aquí es donde el artículo se pone fascinante. Los autores descubrieron que la relación no funciona al revés.

Puedes tener un número donde el promedio es perfecto y estable, pero la frecuencia de los dígitos está completamente loca y nunca se asienta.

• La analogía del Chef:
  Imagina un chef que prepara una sopa infinita.
  • El Promedio (Estable): El chef asegura que, si pruebas la sopa en cualquier momento, el sabor promedio es siempre "salado" (digamos, un 5 sobre 10).
  • La Frecuencia (Caótica): Sin embargo, la forma en que añade la sal es un desastre. A veces añade un montón de sal durante 10 minutos, luego nada durante 1 minuto, luego sal de golpe otra vez. Si intentas contar "¿cuántos granos de sal hay por minuto?", la respuesta cambia locamente y nunca se estabiliza.

El artículo demuestra que existen números infinitos (de hecho, una cantidad inmensa y densa de ellos) que tienen este comportamiento: su "promedio" es perfecto, pero sus "frecuencias" están en un caos total.

🏗️ ¿Cómo construyeron estos números?

Los autores no solo dijeron que existían, sino que crearon una "fábrica" para hacerlos.

1. El Bloque de Construcción: Usaron una técnica de "bloques". Imagina que construyen el número poniendo trozos largos de ceros, luego trozos largos de unos, luego trozos largos de doses.
2. El Truco: Hacen que los trozos de ceros sean muy largos en un momento, y luego muy cortos en el siguiente, alternando de una manera muy específica.
3. El Resultado:
   • Si miras el promedio de todo el número hasta ahora, los trozos largos y cortos se compensan perfectamente, dando un resultado fijo (por ejemplo, 1.5).
   • Pero si miras la frecuencia de los ceros, verás que a veces representan el 90% del número y luego caen al 10%, oscilando sin parar. Nunca se asientan en un valor fijo.

🌍 ¿Dónde están estos números?

El artículo concluye con una idea muy potente: Estos números "caóticos" pero con "promedio estable" no son raros ni están escondidos en un rincón.

• Están por todas partes. Si tomas cualquier intervalo pequeño en la recta numérica (por ejemplo, entre 0.1 y 0.2), encontrarás una cantidad infinita de estos números.
• Son como "fantasmas" que llenan el espacio: no puedes mirar un número al azar sin tener la posibilidad de toparte con uno de estos.

📝 En resumen

Este estudio nos dice que en el mundo de los números infinitos:

1. Tener un promedio estable es más fácil de lograr que tener una frecuencia estable.
2. Puedes tener un número que se comporte "bien" en promedio (como un buen estudiante que saca un 7 de promedio), pero que en realidad sus calificaciones diarias sean un caos total (un día 10, otro día 0, otro día 10...).
3. Estos números "caóticos" son tan comunes que están en todas partes del universo numérico.

Es un recordatorio de que, a veces, el promedio de una historia no cuenta toda la verdad sobre cómo se comportan las cosas en cada momento.

Resumen técnico

Resumen Técnico

1. Planteamiento del Problema

El artículo investiga las propiedades topológicas y métricas de los números reales en el intervalo $[0, 1]$ representados en base $s$ (específicamente en base ternaria, $s=3$). El problema central se centra en la relación entre dos conceptos fundamentales:

1. La frecuencia asintótica de los dígitos ($\nu_i(x)$): La proporción límite en la que aparece un dígito $i$ en la expansión $s$-aria de un número $x$.
2. El valor medio asintótico de los dígitos ($r(x)$): El límite del promedio aritmético de los dígitos en la expansión de $x$.

El objetivo es determinar bajo qué condiciones existe el valor medio asintótico incluso cuando las frecuencias individuales de los dígitos no existen, y caracterizar la estructura de los conjuntos de números que poseen estas propiedades.

2. Metodología

Los autores emplean un enfoque que combina teoría de números, análisis real y teoría de la medida. Sus herramientas principales incluyen:

• Definiciones Formales: Establecen rigurosamente la representación $s$-aria, distinguiendo entre números $s$-arios racionales (dos representaciones) e irracionales (una representación única). Definen $N_i(x, k)$ como el conteo de dígitos $i$ hasta la posición $k$ y $r_n(x)$ como el promedio relativo de los primeros $n$ dígitos.
• Análisis de Sistemas de Ecuaciones: Para el caso ternario ($s=3$), construyen un sistema de ecuaciones lineales que relaciona las frecuencias relativas $v_n^{(i)}$ y el promedio relativo $r_n$. Esto les permite demostrar dependencias lógicas entre la existencia de límites.
• Construcción Algorítmica de Números: Desarrollan algoritmos para construir números con propiedades específicas:
  • Un algoritmo para generar números con frecuencias preasignadas utilizando secuencias de enteros basadas en la parte entera de múltiplos ($[n \cdot a]$).
  • Una construcción más compleja basada en "bloques" de dígitos (0, 1, 2) de longitudes variables para crear números donde el promedio converge pero las frecuencias individuales oscilan.
• Lemas de Convergencia: Utilizan lemas auxiliares sobre la convergencia de sumas de partes enteras (Lema 2) y la divergencia de secuencias construidas mediante alternancia controlada (Lema 3) para probar la inexistencia de ciertos límites.

3. Contribuciones y Resultados Clave

A. Relación entre Frecuencia y Media (Lema 1 y Teorema 2)

• Se demuestra que si existen las frecuencias asintóticas de todos los dígitos, entonces existe el valor medio asintótico, dado por la fórmula lineal:
  $$r(x) = \sum_{i=0}^{s-1} i \cdot \nu_i(x)$$
• Resultado Crítico para $s=3$: Se establece una equivalencia fuerte: si existe el valor medio asintótico $r(x)$ y al menos una frecuencia $\nu_j(x)$, entonces todas las frecuencias existen. Por el contrario, si $r(x)$ existe pero alguna frecuencia no existe, entonces ninguna de las frecuencias existe. Esto implica que, en base 3, la existencia del promedio no garantiza la existencia de frecuencias individuales, pero la existencia de una frecuencia junto con el promedio sí garantiza las demás.

B. Existencia de Números sin Frecuencia pero con Media Definida (Sección 4)

• Los autores construyen un conjunto infinito y denso de números $x^*$ para los cuales:
  1. El valor medio asintótico $r(x^*)$ existe y es igual a un parámetro $\theta$ dado (donde $\theta \in (0, 2)$).
  2. Las frecuencias asintóticas de los dígitos $\nu_0, \nu_1, \nu_2$ no existen.
• La construcción se basa en alternar bloques de dígitos de tal manera que el promedio global se estabilice en $\theta$, mientras que la proporción de un dígito específico oscila indefinidamente entre dos valores.

C. Propiedades Topológicas y Métricas (Teoremas 3 y 4)

• Teorema 3: El conjunto $W$ de números que tienen un valor medio asintótico preasignado $\theta \in (0, 2)$ pero carecen de frecuencias de dígitos es un conjunto continuo y denso en el intervalo $[0, 1]$.
• Teorema 4: Se caracterizan las propiedades de la función $r(x)$ (valor medio asintótico):
  1. Está definida en un conjunto denso en $[0, 1]$.
  2. No está definida en un subconjunto denso de $[0, 1]$.
  3. Toma todos los valores en el intervalo $[0, s-1]$.
  4. Tiene un solo nivel de medida de Lebesgue completa: el conjunto de números donde $r(x) = \frac{s-1}{2}$ (números normales) tiene medida de Lebesgue igual a 1. Para cualquier otro valor $\theta \neq \frac{s-1}{2}$, el conjunto tiene medida cero.

4. Significado e Impacto

Este trabajo es significativo por varias razones:

1. Refinamiento de la Teoría de Números Normales: Mientras que el teorema de Borel establece que casi todos los números son normales (tienen frecuencias uniformes), este artículo explora la estructura de los números "anormales" o patológicos. Demuestra que la propiedad de tener un promedio de dígitos bien definido es más débil que tener frecuencias definidas, pero aún así es una propiedad robusta en términos de densidad topológica.
2. Distinción Topológica vs. Métrica: El artículo ilustra una distinción clásica en análisis: un conjunto puede ser denso (topológicamente grande) y continuo (cardinalidad del continuo), pero tener medida de Lebesgue cero (métricamente pequeño). El conjunto de números con media definida pero sin frecuencias es un ejemplo perfecto de esto.
3. Generalización de Conjuntos de Besicovitch-Eggleston: El trabajo conecta los conjuntos de números con frecuencias fijas (conjuntos de Besicovitch-Eggleston) con los conjuntos de números con medias fijas, mostrando cómo estos últimos pueden contener subconjuntos complejos donde las frecuencias individuales fallan.
4. Aplicaciones en Distribuciones Singulares: Los resultados tienen implicaciones para el estudio de distribuciones de probabilidad singulares y propiedades fractales de conjuntos definidos por características de sus dígitos, un área activa en la teoría de sistemas dinámicos y análisis fractal.

En conclusión, el paper demuestra que es posible tener un comportamiento estadístico global estable (el promedio de los dígitos) incluso en ausencia de un comportamiento estadístico local estable (la frecuencia de dígitos individuales), y que tales números son omnipresentes en el intervalo unitario desde una perspectiva topológica, aunque raros desde una perspectiva de medida.