Linear fractals of the Besicovitch-Eggleston type

Este artículo estudia las propiedades topológicas, métricas y fractales del conjunto de números en el intervalo $[0;1]$ que poseen una media asintótica de dígitos específica en su representación ternaria, investigando su relación con los números de frecuencia de dígitos dada.

Lo esencial

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

Aquí tienes una explicación sencilla, usando analogías de la vida cotidiana, de lo que tratan estos "Fractales Lineales de Tipo Besicovitch-Eggleston".

1. El Escenario: La Fábrica de Números

Imagina que todos los números entre 0 y 1 son como cintas de video infinitas. Para ver qué hay en estas cintas, usamos un sistema especial llamado "ternario" (base 3). En lugar de usar solo 0 y 1 (como en los ordenadores), aquí usamos tres colores de bloques: Rojo (0), Azul (1) y Verde (2).

Cualquier número en este intervalo es una secuencia infinita de estos bloques de colores. Por ejemplo, un número podría ser: Rojo, Azul, Rojo, Verde, Verde, Azul... y así para siempre.

2. El Problema: ¿Qué tan "normal" es un número?

Los matemáticos se preguntan: "Si miro esta cinta infinita, ¿qué porcentaje de bloques son Rojos? ¿Azules? ¿Verdes?".

• Números "Normales" (La mayoría): Si tomas un número al azar (como elegir un punto al azar en una línea), la regla dice que los tres colores aparecerán exactamente el mismo tiempo: un 33.3% de Rojos, un 33.3% de Azules y un 33.3% de Verdes. Estos son los números "normales".
• Números "Raros" (La minoría): Existen números donde los colores no se reparten equitativamente. Por ejemplo, un número que tiene un 50% de Azules y un 50% de Verdes, pero ningún Rojo.

3. La Nueva Pregunta: El "Promedio de Color"

El artículo introduce una idea nueva. En lugar de solo contar cuántos bloques de cada color hay (frecuencia), preguntan: "¿Cuál es el promedio de los valores de los bloques?".

• Si el bloque es 0, 1 o 2.
• Imagina que le das un valor numérico a cada color: Rojo=0, Azul=1, Verde=2.
• Si tienes una cinta con muchos 2s (Verdes), el "promedio" será alto (cerca de 2).
• Si tienes muchos 0s (Rojos), el promedio será bajo (cerca de 0).
• Si tienes una mezcla equilibrada, el promedio será 1.

Los autores estudian grupos de números que tienen un promedio específico (por ejemplo, todos los números cuyo promedio de bloques es exactamente 1.5).

4. El Descubrimiento: El "Fractal" (La Nieve Fractal)

Aquí viene la parte mágica. Cuando agrupan a todos los números que tienen ese promedio específico (digamos, 1.5), no obtienen una línea simple ni un bloque sólido. Obtienen algo llamado Fractal.

• La Analogía del Copo de Nieve: Imagina un copo de nieve. Si te acercas mucho, ves que tiene más copos de nieve pequeños, y si te acercas más, aún más pequeños. Es una estructura compleja y llena de huecos, pero que ocupa un espacio específico.
• Lo que encontraron: El conjunto de números con un promedio dado es como ese copo de nieve. Es un objeto matemático con una "dimensión" extraña. No es una línea (dimensión 1) ni un punto (dimensión 0), sino algo "a medio camino" (por ejemplo, 0.8 o 0.9).
• La Medida: Los autores calcularon exactamente qué tan "grande" o "complejo" es este copo de nieve para cada promedio posible. Descubrieron que:
  • Si el promedio es 1 (la mezcla perfecta), el conjunto es tan grande como todo el intervalo [0,1] (es decir, casi todos los números son normales).
  • Si el promedio es cualquier otro número (como 0.5 o 1.8), el conjunto es "infinitamente fino" (tiene medida cero, como un hilo invisible), pero sigue siendo un fractal hermoso y complejo.

5. La Relación entre Frecuencia y Promedio

El papel también explica una conexión curiosa:

• Si un número tiene una frecuencia definida (sabes exactamente qué % de bloques son Azules), entonces también tiene un promedio definido.
• Pero al revés no siempre es cierto. Puedes tener un promedio definido sin que las frecuencias individuales de los colores sean estables. Es como tener un pastel donde el sabor promedio es "fresa", pero no sabes si la fresa viene de trozos grandes o pequeños, solo sabes el sabor total.

En Resumen

Este artículo es como un estudio de arquitectura de números.
Los autores dicen: "Si construimos una ciudad donde todos los edificios (números) tienen un 'peso promedio' específico, ¿cómo se ve esa ciudad?".
La respuesta es: Es un fractal. Es un paisaje matemático lleno de agujeros y detalles infinitos, donde la mayoría de los números "normales" viven en el centro (promedio 1), y los números "raros" forman estructuras delicadas y complejas alrededor.

¿Por qué importa?
Porque nos ayuda a entender la estructura oculta de la realidad matemática. Incluso en el caos de los números infinitos, hay reglas de simetría y belleza (fractales) que podemos medir y describir.

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "Fractales lineales del tipo Besicovitch–Eggleston" de M. V. Pratsiovytyi y S. O. Klymchuk, estructurado según los puntos solicitados.

1. Planteamiento del Problema

El artículo aborda el estudio de las propiedades topológicas, métricas y fractales de conjuntos de números reales en el intervalo $[0, 1]$ definidos por el promedio asintótico de sus dígitos en una representación $s$-ádica (específicamente en base 3 o ternaria).

El problema central surge de la distinción entre dos conceptos relacionados pero distintos:

1. Frecuencia de dígitos ($\nu_i(x)$): El límite de la proporción de aparición de un dígito $i$ en la expansión $s$-ádica de un número $x$.
2. Promedio asintótico de dígitos ($r(x)$): El límite del promedio aritmético de los dígitos mismos: $r(x) = \lim_{n \to \infty} \frac{1}{n} \sum_{i=1}^n \alpha_i(x)$.

Mientras que la teoría de los números normales y los conjuntos de Besicovitch–Eggleston (definidos por frecuencias fijas de dígitos) está bien establecida, el comportamiento de los conjuntos definidos únicamente por un promedio asintótico fijo de dígitos ($S_a = \{x : r(x) = a\}$) es menos explorado, especialmente en lo que respecta a su estructura fractal y su relación con la existencia de las frecuencias individuales. El objetivo es caracterizar la estructura de estos conjuntos, particularmente cuando se exige que las frecuencias de todos los dígitos ternarios existan.

2. Metodología

Los autores emplean un enfoque que combina la teoría de números, el análisis real y la geometría fractal:

• Definiciones Formales: Se establecen rigurosamente las definiciones de representación $s$-ádica, frecuencia asintótica ($\nu_i$) y promedio asintótico ($r(x)$). Se adopta la convención de usar la representación con periodo $(0)$ para los números racionales $s$-ádicos para garantizar la unicidad de la función de dígitos.
• Análisis de Relaciones: Mediante el uso de lemas, se establecen las conexiones algebraicas entre las frecuencias de los dígitos y el promedio asintótico. En particular, para la base 3, se demuestra que si las frecuencias existen, $r(x) = \nu_1(x) + 2\nu_2(x)$.
• Teoría de Conjuntos y Topología: Se analiza la densidad y la cardinalidad de los conjuntos definidos. Se construyen inyecciones explícitas desde el intervalo $[0, 1]$ hacia los conjuntos de estudio para demostrar que tienen la cardinalidad del continuo.
• Dimensión de Hausdorff-Besicovitch: Se aplica la fórmula clásica de dimensión fractal para conjuntos de Besicovitch–Eggleston. Para el conjunto $K_a$ (donde las frecuencias existen), se formula un problema de optimización para maximizar la dimensión fractal sujeto a las restricciones lineales impuestas por el promedio asintótico fijo $a$ y la suma de frecuencias igual a 1.
• Análisis de Funciones Discontinuas: Se estudia el comportamiento de la función de frecuencia $\nu_i(x)$, demostrando su discontinuidad en todos los puntos y la no existencia de límites en ciertos casos.

3. Contribuciones Clave

• Relación entre Frecuencia y Promedio: Se demuestra que para bases $s > 2$, si las frecuencias de los dígitos mayores a 1 son cero, el promedio asintótico coincide con la frecuencia del dígito 1. En el caso ternario, se establece la relación lineal $r(x) = \nu_1(x) + 2\nu_2(x)$ bajo la condición de existencia de frecuencias.
• Propiedades de la Función de Frecuencia: Se prueba que la función de frecuencia de un dígito ternario es acotada, toma todos los valores en $[0, 1]$, es discontinua en todo punto de $[0, 1]$ y que el límite de la función no existe incluso cuando la función está definida en el punto.
• Estructura del Conjunto $K_a$: Se define $K_a$ como el subconjunto de números con promedio asintótico $a$ donde todas las frecuencias de dígitos existen. Se demuestra que este conjunto es:
  • De cardinalidad del continuo.
  • Densamente distribuido en $[0, 1]$.
  • De medida de Lebesgue cero si $a \neq 1$, y de medida completa si $a = 1$.
• Cálculo de la Dimensión Fractal: Se deriva una fórmula analítica explícita para la dimensión de Hausdorff-Besicovitch del conjunto $K_a$ en función del parámetro $a$.

4. Resultados Principales

El resultado central es el Teorema 3, que caracteriza el conjunto $K_a = \{x \in [0, 1] : r(x) = a \text{ y } \nu_0(x), \nu_1(x), \nu_2(x) \text{ existen}\}$.

• Dimensión Fractal: La dimensión de Hausdorff-Besicovitch $\alpha_0(K_a)$ viene dada por:
  $$\alpha_0(K_a) = -\frac{1}{\ln 3} \ln \left[ \left(\frac{t-1}{3}\right)^{\frac{t-1}{3}} \left(\frac{7-3a-t}{6}\right)^{\frac{7-3a-t}{6}} \left(\frac{1+3a-t}{6}\right)^{\frac{1+3a-t}{6}} \right]$$
  donde $t = \sqrt{1 + 6a - 3a^2}$.
• Caso Especial $a=1$: Cuando el promedio asintótico es 1 (lo que corresponde a los números normales en base 3, donde $\nu_0=\nu_1=\nu_2=1/3$), la dimensión fractal es igual a 1. Esto confirma que el conjunto de números normales tiene dimensión máxima.
• Comportamiento para $a \neq 1$: Para cualquier otro valor de $a$, el conjunto tiene medida de Lebesgue cero, pero posee una estructura fractal compleja con una dimensión estrictamente menor que 1 (dependiendo de $a$).
• Existencia de Límites: Se demuestra que si el promedio asintótico existe pero la frecuencia de un dígito no, entonces la frecuencia de al menos otro dígito tampoco existe, lo que implica que el conjunto de números con promedio definido pero frecuencias indefinidas es "superfractal" (dimensión 1), aunque el artículo se centra en el caso donde las frecuencias sí existen.

5. Significancia

Este trabajo es significativo por varias razones:

1. Generalización de Fractales Lineales: Extiende la teoría clásica de los conjuntos de Besicovitch–Eggleston (definidos por frecuencias) a conjuntos definidos por momentos estadísticos más generales (promedios de dígitos), mostrando cómo las restricciones lineales sobre los momentos afectan la dimensión fractal.
2. Puente entre Teoría de Números y Geometría Fractal: Proporciona una herramienta analítica precisa para calcular la dimensión de conjuntos definidos por propiedades aritméticas complejas, vinculando la teoría de la información (frecuencias) con la geometría métrica.
3. Caracterización de la "Anomalía": Ayuda a entender la estructura de los números "anormales" (no normales). Mientras que los números normales son "abundantes" en medida (Lebesgue), los números con promedios específicos pero no normales forman conjuntos fractales de medida cero pero dimensión positiva, revelando la riqueza de la estructura de los números reales más allá de la medida de Lebesgue.
4. Aplicabilidad: Los métodos desarrollados para optimizar la dimensión fractal bajo restricciones lineales pueden aplicarse a otros sistemas de numeración y a definiciones de conjuntos basadas en otros promedios asintóticos o momentos de los dígitos.

En resumen, el artículo establece una teoría completa para los "fractales lineales" en el contexto de la representación ternaria, cuantificando cómo la imposición de un promedio de dígitos fijo moldea la complejidad geométrica del conjunto de números que lo satisfacen.