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

El artículo estudia las propiedades topológicas, métricas y fractales de los conjuntos de números reales cuyas frecuencias de dígitos en su representación cuaternaria existen y tienen una media asintótica dada, proporcionando un algoritmo de construcción, demostrando la continuidad y densidad de estos conjuntos, y estableciendo condiciones para su medida de Lebesgue y estimaciones de su dimensión de Hausdorff-Besicovitch.

Lo esencial

¡Claro que sí! Imagina que este artículo es como un mapa del tesoro, pero en lugar de buscar oro, los autores (Pratsiovytyi y Klymchuk) están buscando patrones ocultos en los números reales.

Aquí tienes una explicación sencilla, usando analogías cotidianas, de lo que descubrieron en su investigación sobre los números en base 4.

1. El Escenario: El "Código de Colores" de los Números

Imagina que todos los números entre 0 y 1 son como una cinta infinita de película.

• En nuestro sistema normal (base 10), los números se escriben con dígitos del 0 al 9.
• En este estudio, los autores usan un sistema especial llamado base 4. Aquí, los números solo usan cuatro "colores" o símbolos: 0, 1, 2 y 3.

Cualquier número se puede escribir como una secuencia infinita de estos colores, por ejemplo: 0.1230123...

2. La Pregunta Clave: ¿Cuál es el "Promedio" de Colores?

Los autores se preguntaron: Si tomamos un número y miramos sus primeros 100 dígitos, luego los primeros 1.000, luego los primeros 1.000.000... ¿cuál es el promedio de los valores de esos dígitos?

• Si tienes muchos 0s, el promedio será bajo (cerca de 0).
• Si tienes muchos 3s, el promedio será alto (cerca de 3).
• Si tienes una mezcla equilibrada, el promedio estará en medio (cerca de 1.5).

Llamaron a esto la "Media Asintótica de Dígitos" ($r(x)$). Es como calcular la temperatura promedio de una ciudad a lo largo de toda su historia.

3. El Gran Descubrimiento: Los "Grupos de Vecinos" ($S_\theta$)

Los autores crearon un club para cada posible promedio.

• Imagina un club llamado $S_{1.5}$. Solo pueden entrar los números cuyo promedio de dígitos es exactamente 1.5.
• Hay otro club $S_{0}$ (solo números con muchos ceros) y $S_{3}$ (solo números con muchos treses).

La pregunta es: ¿Qué forma tienen estos clubes? ¿Son grandes, pequeños, raros o normales?

4. Las Propiedades Extrañas (Topología y Fractales)

Aquí es donde entra la magia matemática. Los autores descubrieron cosas fascinantes sobre estos clubes:

A. Densidad (Están en todas partes)

Imagina que tienes un frasco lleno de arena. Si tomas una pizca de arena de cualquier parte del frasco, siempre encontrarás un poco de polvo.

• Los autores demostraron que estos clubes de números están en todas partes. No importa qué número elijas en la recta numérica, siempre puedes encontrar un número de tu club "vecino" muy, muy cerca. Son como una niebla que cubre todo el espacio.

B. Medida de Lebesgue (El tamaño del club)

Aquí usamos la analogía de pintar un lienzo.

• Si pintas un lienzo entero de azul, el "tamaño" de la pintura es 1 (el lienzo completo).
• Si pintas solo una línea muy fina, el tamaño es 0.

El estudio encontró que:

• Si el promedio que buscas es 1.5 (el promedio "justo" o normal), el club $S_{1.5}$ es tan grande que cubre casi todo el lienzo. Si eliges un número al azar, es casi seguro que pertenecerá a este club.
• Si buscas cualquier otro promedio (por ejemplo, 0.5 o 2.8), el club es tan delgado que, aunque tiene infinitos números, no ocupa ningún espacio (su tamaño es 0). Son como líneas infinitamente finas en un lienzo gigante.

C. Dimensión Fractal (La complejidad del club)

Imagina una costa de un país. Si la miras desde un avión, parece una línea. Si la miras desde un helicóptero, ves bahías. Si la miras de cerca, ves rocas y grietas. Cuanto más te acercas, más larga es la costa. Eso es un fractal.

• Los autores calcularon la "dimensión fractal" de estos clubes.
• Para los promedios normales (1.5), la dimensión es máxima (es como un lienzo lleno).
• Para los promedios extremos (0 o 3), la dimensión es 0 (son puntos aislados o líneas muy simples).
• Para los promedios intermedios, tienen una dimensión "extraña" (entre 0 y 1), lo que significa que son estructuras complejas, llenas de huecos pero con una estructura muy detallada, como un copo de nieve o un helecho.

5. ¿Cómo construir un número de estos clubes? (El Algoritmo)

Los autores no solo estudiaron la teoría, sino que dieron una receta para crear un número específico que pertenezca a un club.

Imagina que quieres construir un número que tenga un promedio de 1.2.

1. Calculas cuántos 0s, 1s, 2s y 3s necesitas en bloques grandes.
2. Escribes un bloque gigante de ceros, luego un bloque de unos, luego de doses, etc.
3. Haces que estos bloques sean cada vez más grandes, pero manteniendo la proporción exacta para que el promedio final sea 1.2.

Es como si fueras un chef mezclando ingredientes: si quieres que el sabor final sea "salado" (promedio alto), pones más sal (dígitos 3) en los bloques grandes, pero siempre siguiendo una regla matemática estricta.

Resumen en una frase

Este paper nos dice que si organizamos todos los números reales según el "promedio" de sus dígitos en base 4, encontramos que la mayoría de los números tienen un promedio "normal" (1.5), pero los que tienen promedios "raros" forman estructuras matemáticas infinitamente complejas y detalladas (fractales) que están esparcidas por todas partes, aunque no ocupen espacio físico.

En conclusión: Los números no son solo valores; tienen una "personalidad" oculta basada en cómo se repiten sus dígitos, y esta personalidad crea paisajes geométricos fascinantes.

Resumen técnico

Resumen Técnico: Propiedades Topológicas, Métricas y Fractales del Conjunto de Números Reales con una Media Asintótica de Dígitos Dada en Representación 4-ádica

1. Planteamiento del Problema

El artículo aborda el estudio de las propiedades topológicas, métricas y fractales de subconjuntos específicos del intervalo $[0, 1]$ de números reales. El foco central es el conjunto de números cuya media asintótica de los dígitos en su representación en base 4 (sistema 4-ádico) converge a un valor constante $\theta \in [0, 3]$.

Sea $x = \sum_{k=1}^{\infty} \alpha_k(x) 4^{-k}$ la representación 4-ádica de un número $x$, donde $\alpha_k(x) \in \{0, 1, 2, 3\}$. Se define la media asintótica de los dígitos como:
$$r(x) = \lim_{n \to \infty} \frac{1}{n} \sum_{k=1}^{n} \alpha_k(x)$$
El problema consiste en analizar el conjunto de nivel $S_\theta = \{x : r(x) = \theta\}$, bajo la condición restrictiva de que las frecuencias de todos los dígitos existen. Es decir, para cada dígito $i \in \{0, 1, 2, 3\}$, el límite $\nu_i(x) = \lim_{n \to \infty} \frac{N_i(x, n)}{n}$ existe, donde $N_i(x, n)$ es el conteo del dígito $i$ en las primeras $n$ posiciones.

El conjunto $S_\theta$ se descompone en tres subconjuntos disjuntos:

• $\Theta_1$: Números donde todas las frecuencias de dígitos existen.
• $\Theta_2$: Números donde algunas frecuencias pueden existir o no.
• $\Theta_3$: Números donde ninguna frecuencia existe.
  El trabajo se centra exclusivamente en el análisis del subconjunto $\Theta_1$.

2. Metodología

Los autores emplean un enfoque que combina la teoría de números, la teoría de la medida y la geometría fractal. La metodología se basa en los siguientes pilares:

• Relación con Conjuntos de Besicovitch-Eggleston: Se establece que el conjunto $\Theta_1$ es la unión de conjuntos de Besicovitch-Eggleston $E[\tau_0, \tau_1, \tau_2, \tau_3]$, donde $\tau_i$ representa la frecuencia asintótica del dígito $i$. La condición de media asintótica $\theta$ impone una restricción lineal sobre estos vectores de probabilidad: $\sum \tau_i = 1$ y $\sum i \cdot \tau_i = \theta$.
• Análisis de Dimensiones Fractales: Se utiliza la fórmula de la dimensión de Hausdorff-Besicovitch para conjuntos definidos por frecuencias de dígitos:
  $$\alpha_0(E[\tau]) = \frac{-\sum \tau_i \ln \tau_i}{\ln 4}$$
  Para encontrar la dimensión de $\Theta_1$, se minimiza la función de entropía $f(\tau) = \sum \tau_i \ln \tau_i$ sobre el conjunto compacto de vectores de probabilidad que satisfacen la restricción de la media $\theta$.
• Construcción Algorítmica: Se desarrolla un algoritmo explícito para construir números en $\Theta_1$ (y específicamente en $E[\tau]$) mediante la concatenación de bloques de dígitos. La longitud de los bloques y la frecuencia de aparición de cada dígito dentro de ellos se controlan mediante secuencias de números enteros y matrices estocásticas, asegurando que las frecuencias converjan a los valores deseados.
• Teoremas de Límite y Teorema de Stolz: Se utilizan herramientas del análisis real, como el Teorema de Stolz-Cesàro, para demostrar la convergencia de las frecuencias y medias en las construcciones algorítmicas propuestas.

3. Contribuciones Clave

El artículo aporta las siguientes contribuciones teóricas y constructivas:

1. Caracterización Topológica y Métrica de $\Theta_1$: Se demuestra que el conjunto $\Theta_1$ es denso en todo el intervalo $[0, 1]$ y es un conjunto cerrado.
2. Medida de Lebesgue: Se establecen condiciones precisas para la medida de Lebesgue del conjunto:
   • Si $\theta \neq 3/2$, la medida de Lebesgue es cero ($\lambda(\Theta_1) = 0$), ya que el conjunto no contiene números normales (los números normales tienen media $3/2$ en base 4).
   • Si $\theta = 3/2$, el conjunto contiene a todos los números normales, por lo que tiene medida completa ($\lambda(\Theta_1) = 1$).
3. Dimensión Fractal Inferior: Se proporciona una cota inferior para la dimensión de Hausdorff-Besicovitch de $\Theta_1$:
   $$\alpha_0(\Theta_1) \geq \frac{-m(\theta)}{\ln 4}$$
   donde $m(\theta)$ es el mínimo de la función de entropía bajo las restricciones dadas.
4. Algoritmo de Construcción: Se presenta un método constructivo riguroso para generar un número $x$ con frecuencias de dígitos específicas $\tau_i$ y, por ende, una media asintótica $\theta$. Este algoritmo utiliza bloques de dígitos cuya longitud crece según una secuencia $s_k$ que satisface ciertas condiciones de divergencia.
5. Casos Extremos ($\theta = 0$ y $\theta = 3$): Se analiza el comportamiento en los límites, demostrando que para $\theta=0$ el conjunto corresponde a números con frecuencia 1 del dígito 0 (dimensión 0), y para $\theta=3$ a números con frecuencia 1 del dígito 3 (dimensión 0).

4. Resultados Principales

• Teorema 1: Para $\theta = 0$ o $\theta = 3$, el conjunto $\Theta_1$ es un conjunto fractal anómalo, denso en todo el intervalo, pero con dimensión de Hausdorff igual a 0.
• Teorema 2: Para $\theta \in (0, 3)$, el conjunto $\Theta_1$ es continuo, denso y cerrado.
  • Si $\theta \neq 3/2$, $\lambda(\Theta_1) = 0$.
  • Si $\theta = 3/2$, $\lambda(\Theta_1) = 1$.
  • La dimensión fractal satisface la desigualdad mencionada anteriormente.
• Teoremas 3, 4 y 5: Validan la corrección del algoritmo de construcción. Demuestran que la media asintótica de los dígitos del número construido converge exactamente a $\theta$ y que las frecuencias individuales de los dígitos convergen a los valores $\tau_i$ especificados en la matriz estocástica. Además, se prueba la unicidad de la construcción bajo ciertas condiciones de divergencia de las secuencias de longitud de bloque.

5. Significancia

Este trabajo es significativo por varias razones:

• Generalización de Resultados Previos: Mientras que el caso de base 3 fue analizado en trabajos anteriores de los mismos autores, este artículo extiende el análisis a la base 4, revelando propiedades más ricas y complejas del conjunto $S_\theta$ a medida que aumenta la base del sistema numérico.
• Conexión entre Estadística y Fractales: El artículo ilustra profundamente la relación entre las propiedades estadísticas de los dígitos (frecuencias y medias) y la estructura geométrica fractal del conjunto de números que las poseen.
• Herramientas Constructivas: La provisión de un algoritmo explícito para generar números con propiedades de frecuencia específicas es una herramienta valiosa para la teoría de la probabilidad singular y el análisis fractal, permitiendo la creación de ejemplos concretos de conjuntos con dimensiones y medidas específicas.
• Comprensión de la "Normalidad": Al caracterizar el conjunto donde la media es $3/2$ (el valor esperado para números normales) y mostrar que tiene medida completa, mientras que otros valores de media forman conjuntos de medida cero pero de dimensión fractal positiva (o cero en los extremos), el artículo refina la comprensión de la distribución de los números normales y no normales en el intervalo unitario.

En resumen, el artículo proporciona una descripción completa de la estructura topológica, métrica y fractal de los números reales en base 4 con una media de dígitos fija, cerrando la brecha entre la teoría de la medida y la geometría fractal en este contexto específico.