Linear fractals of the Besicovitch-Eggleston type

Diese Arbeit untersucht die topologischen, metrischen und fraktalen Eigenschaften der Menge der Zahlen im Intervall $[0;1]$, deren ternäre Ziffern einen gegebenen asymptotischen Mittelwert aufweisen, und beleuchtet deren Zusammenhang mit Zahlen, die eine bestimmte Ziffernverteilung besitzen.

Das Wesentliche

Titel: Die geheime Sprache der Zahlen – Eine Reise durch die Welt der „Basis-3"-Fraktale

Stellen Sie sich vor, jede Zahl zwischen 0 und 1 ist wie ein langer, endloser Text. Aber statt aus Buchstaben besteht dieser Text nur aus drei Zeichen: 0, 1 und 2. Das ist die sogenannte „ternäre Darstellung" (Basis-3).

Wenn Sie eine Zahl wie 0,5 in diesem System schreiben, sieht sie vielleicht so aus: 0,11111... oder 0,120120120.... Jede dieser Zahlen hat eine eigene Geschichte, die sich in der Reihenfolge dieser Ziffern erzählt.

Die Autoren dieses Papers, Pratsiovytyi und Klymchuk, untersuchen zwei sehr interessante Fragen zu diesen Zahlen:

1. Die zwei Arten, eine Zahl zu betrachten

Stellen Sie sich vor, Sie werfen einen Würfel unendlich oft und notieren die Ergebnisse.

• Die Häufigkeit (Frequency): Wie oft kommt die Zahl „1" im Vergleich zu „0" und „2" vor? Wenn Sie unendlich oft würfeln, nähert sich der Anteil der Einsen einem bestimmten Wert an. Bei „normalen" Zahlen ist dieser Anteil für alle drei Ziffern gleich (jeweils 1/3).
• Der Durchschnitt (Asymptotic Mean): Das ist etwas anderes. Hier zählen wir nicht nur, wie oft eine Ziffer vorkommt, sondern welchen Wert sie hat.
  • Eine „0" zählt als 0.
  • Eine „1" zählt als 1.
  • Eine „2" zählt als 2.
    Der „Durchschnitt" ist also die Summe aller gewürfelten Zahlen, geteilt durch die Anzahl der Würfe.

Das Rätsel:
In der Welt der Mathematik gibt es Zahlen, bei denen die Häufigkeit der Ziffern nicht definiert ist (das Muster ist zu chaotisch), aber der Durchschnitt trotzdem einen klaren Wert hat. Das ist wie ein Musikstück, bei dem Sie nicht sagen können, wie oft ein bestimmter Ton vorkommt, aber Sie können trotzdem den durchschnittlichen Tonhöhenwert berechnen.

Die Autoren fragen sich: Was passiert, wenn wir alle Zahlen nehmen, die einen ganz bestimmten Durchschnittswert haben?

2. Die „Basis-3"-Landkarte und ihre Inseln

Stellen Sie sich das Intervall von 0 bis 1 als eine lange, flache Straße vor.

• Die meisten Zahlen auf dieser Straße sind „normal". Sie haben einen perfekten Durchschnitt von 1. (Warum? Weil 0, 1 und 2 im Durchschnitt genau 1 ergeben, wenn sie gleich oft vorkommen).
• Aber es gibt auch Zahlen, die einen Durchschnitt von 0,5 oder 1,8 haben.

Die Autoren untersuchen die „Inseln" (Mengen) auf dieser Straße, die nur Zahlen mit einem bestimmten Durchschnitt enthalten.

Die Entdeckungen:

• Die Inseln sind riesig (kontinuierlich): Auch wenn eine solche Menge sehr spezifisch ist (z. B. „nur Zahlen mit Durchschnitt 1,2"), enthält sie unendlich viele Zahlen. Man kann sie nicht einfach aufzählen; sie bilden eine echte, zusammenhängende Masse.
• Die Inseln sind überall (dicht): Wenn Sie sich auf der Straße von 0 bis 1 irgendwo hinsetzen, finden Sie in Ihrer unmittelbaren Nähe immer eine Zahl mit dem gewünschten Durchschnitt. Es gibt keine „leeren" Bereiche.
• Die Inseln sind unsichtbar für das Auge (Maß Null): Wenn Sie die Straße mit einem riesigen Pinsel (dem Lebesgue-Maß) anstreichen würden, um sie zu bemalen, würden diese speziellen Inseln (außer bei dem Durchschnitt 1) keine Farbe aufnehmen. Sie sind so dünn, dass sie im herkömmlichen Sinne „keine Fläche" haben.
• Aber sie sind fraktal (haben eine komplexe Struktur): Hier wird es spannend! Obwohl diese Mengen „dünn" sind, haben sie eine unendliche Komplexität. Man kann sie sich wie einen Korallenriff oder eine Schneeflocke vorstellen.
  • Wenn Sie mit einem Mikroskop hineinschauen, sehen Sie immer wieder neue Strukturen.
  • Die Autoren berechnen die „fraktale Dimension" dieser Inseln. Das ist ein Maß dafür, wie „voll" oder „zerklüftet" die Struktur ist. Je weiter der gewünschte Durchschnitt von 1 entfernt ist, desto „kleiner" und komplexer wird die Insel.

3. Ein kreatives Bild: Der Tanz der Ziffern

Stellen Sie sich einen Tanz vor, bei dem drei Tänzer (die Ziffern 0, 1 und 2) auf einer Bühne tanzen.

• Bei einer normalen Zahl tanzen alle drei gleich oft und gleichmäßig. Der Tanz ist harmonisch.
• Bei einer speziellen Zahl (mit einem anderen Durchschnitt) tanzt der Tänzer „2" vielleicht viel häufiger, während der Tänzer „0" fast gar nicht tanzt.

Die Autoren untersuchen nun alle möglichen Choreografien, bei denen der durchschnittliche Energieaufwand (der Wert der Ziffern) genau einen bestimmten Wert hat.
Sie stellen fest:

1. Es gibt unendlich viele verschiedene Wege, diesen Tanz zu choreografieren.
2. Diese Choreografien sind so komplex, dass sie eine eigene geometrische Form bilden – ein Fraktal.
3. Wenn man versucht, diese Menge zu „messen" (wie viel Platz sie einnimmt), ist sie fast nichts. Aber wenn man ihre Komplexität misst (die fraktale Dimension), ist sie sehr interessant und zeigt, wie reichhaltig das Universum der Zahlen ist.

Zusammenfassung für den Alltag

Dieses Papier ist im Grunde eine Landkarte der Möglichkeiten.
Die Autoren zeigen uns, dass selbst wenn wir eine sehr strenge Regel aufstellen („Alle Zahlen müssen einen Durchschnitt von 1,4 haben"), die Welt der Zahlen immer noch unendlich viele, komplexe und wunderschöne Muster (Fraktale) enthält, die dieser Regel gehorchen.

Es ist wie das Suchen nach allen möglichen Wegen, ein Haus zu bauen, das genau 500 Kubikmeter Volumen hat. Es gibt nicht nur ein solches Haus, sondern unendlich viele verschiedene Designs – von winzigen Türmen bis zu riesigen, flachen Palästen –, die alle das gleiche Volumen haben, aber völlig unterschiedlich aussehen. Die Mathematiker haben die „Architektur" dieser unsichtbaren Häuser berechnet.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Artikels auf Deutsch:

Titel: Lineare Fraktale vom Typ Besicovitch–Eggleston
Autoren: M. V. Pratsiovytyi und S. O. Klymchuk

1. Problemstellung

Die Arbeit untersucht die topologischen, metrischen und fraktalen Eigenschaften von Teilmengen des Intervalls $[0, 1]$, die durch eine vorgegebene asymptotische Mittelwert der Ziffern in ihrer ternären (3-adischen) Darstellung definiert sind.

Während die Theorie der Normalzahlen (Zahlen, bei denen alle Ziffern mit gleicher Häufigkeit $1/s$auftreten) und der *Besicovitch–Eggleston-Mengen* (Mengen mit festen Ziffernhäufigkeiten$\nu_i$) gut erforscht ist, konzentriert sich diese Studie auf das Konzept des **asymptotischen Mittelwerts der Ziffern**$r(x)$. Für eine Zahl$x$mit der$s$-adischen Darstellung$\Delta_s \alpha_1 \alpha_2 \dots$ ist dieser definiert als:
$$r(x) = \lim_{n \to \infty} \frac{1}{n} \sum_{i=1}^n \alpha_i(x)$$
Das Ziel ist die Analyse der Menge $S_a = \{x \in [0, 1] : r(x) = a\}$ für einen Parameter $a \in [0, 2]$, insbesondere im Fall der ternären Basis ($s=3$). Ein zentrales Problem ist die Beziehung zwischen der Existenz des asymptotischen Mittelwerts und der Existenz der einzelnen Ziffernhäufigkeiten $\nu_i(x)$.

2. Methodik

Die Autoren wenden Methoden der fraktalen Geometrie, der Maßtheorie und der Zahlentheorie an. Die Vorgehensweise umfasst:

• Analytische Verknüpfung: Herleitung von Beziehungen zwischen dem asymptotischen Mittelwert $r(x)$ und den relativen Häufigkeiten $\nu_i(x)$ der Ziffern $0, 1, 2$ im ternären System.
• Kombinatorische Konstruktion: Verwendung von Zylindermengen und spezifischen Folgen von Ziffernblöcken, um die Dichte und die Kardinalität der untersuchten Mengen zu beweisen.
• Dimensionstheorie: Berechnung der Hausdorff-Besicovitch-Dimension $\alpha_0$ durch Maximierung einer Entropie-Funktion unter Nebenbedingungen, die sich aus der Definition des Mittelwerts ergeben.
• Topologische Analyse: Untersuchung der Stetigkeitseigenschaften der Häufigkeitsfunktion $\nu_i(x)$ und der Dichte der Mengen in $[0, 1]$.

3. Schlüsselbeiträge und Ergebnisse

A. Beziehung zwischen Häufigkeit und Mittelwert

Die Autoren etablieren fundamentale Lemmata für das ternäre System ($s=3$):

• Lemma 2: Wenn die Häufigkeiten aller Ziffern existieren, gilt der Zusammenhang: $r(x) = \nu_1(x) + 2\nu_2(x)$.
• Lemma 6: Die Existenz des Mittelwerts $r(x)$ zusammen mit der Existenz von $\nu_0(x)$ impliziert die Existenz von $\nu_1(x)$ und $\nu_2(x)$. Umgekehrt führt die Nichtexistenz von $\nu_0(x)$ (bei existierendem $r(x)$) zur Nichtexistenz der anderen Häufigkeiten.
• Dies zeigt, dass die Menge $S_a$ in zwei disjunkte Teilmengen zerfällt: $K_a$ (wo alle Häufigkeiten existieren) und $M_a$ (wo $\nu_0$ nicht existiert).

B. Eigenschaften der Häufigkeitsfunktion $\nu_i(x)$

• Die Funktion $\nu_i(x)$ ist beschränkt, nimmt aber in jedem Intervall Werte an, für die sie undefiniert ist.
• Theorem 2: Die Häufigkeitsfunktion ist an jedem Punkt des Intervalls $[0, 1]$ unstetig. Selbst wenn der Grenzwert an einem Punkt existiert, existiert der Grenzwert der Funktion in der Umgebung dieses Punktes nicht. Dies unterstreicht die pathologische Natur dieser Funktionen.

C. Eigenschaften der Menge $K_a$ (Menge mit existierenden Häufigkeiten)

Für die Teilmenge $K_a \subset S_a$, in der alle Ziffernhäufigkeiten existieren und $r(x)=a$ gilt, werden folgende Eigenschaften bewiesen (Theorem 3):

1. Kardinalität: $K_a$ ist überabzählbar (Kontinuum).
2. Dichte: $K_a$ ist überall dicht in $[0, 1]$.
3. Lebesgue-Maß:
   • Für $a = 1$ hat die Menge das volle Lebesgue-Maß ($\lambda(K_1) = 1$). Dies liegt daran, dass sie die Menge der normalen Zahlen (wo $\nu_0=\nu_1=\nu_2=1/3$) enthält, für die $r(x) = 1/3 + 2(1/3) = 1$ gilt.
   • Für $a \neq 1$ hat die Menge das Lebesgue-Maß Null ($\lambda(K_a) = 0$).
4. Hausdorff-Besicovitch-Dimension:
   Die Dimension $\alpha_0(K_a)$ wird durch Maximierung der Funktion
   $$y = -\frac{1}{\ln 3} \ln \left( x^x \cdot (a-2x)^{a-2x} \cdot (1-a+x)^{1-a+x} \right)$$
   bestimmt, wobei $x$ eine Variable für die Häufigkeit der Ziffer 2 ist.
   Das Ergebnis ist:
   $$\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]$$
   wobei $t = \sqrt{1 + 6a - 3a^2}$.
   • Ein spezielles Ergebnis ist Korollar 3: Für $a=1$ ist die Dimension gleich 1 ($\alpha_0(K_1) = 1$).

4. Bedeutung und Fazit

Der Artikel erweitert die klassische Theorie der Besicovitch–Eggleston-Mengen, die auf festen Ziffernhäufigkeiten basieren, auf die Bedingung eines festen arithmetischen Mittelwerts der Ziffern.

• Fraktale Struktur: Die Arbeit zeigt, dass die Menge der Zahlen mit einem vorgegebenen Mittelwert $a \neq 1$ eine fraktale Struktur mit einer Dimension $< 1$ besitzt (obwohl sie dicht im Intervall liegt und überabzählbar ist).
• Superfraktalität: Wie in früheren Arbeiten der Autoren angedeutet, bilden Mengen, bei denen Häufigkeiten nicht existieren, "Superfraktale" mit Dimension 1. Die hier untersuchten Mengen $K_a$ stellen jedoch den "linearen" Teil dar, bei dem die Häufigkeiten existieren.
• Mathematische Relevanz: Die Ergebnisse liefern präzise Formeln für die fraktale Dimension in Abhängigkeit vom Parameter $a$ und klären die topologische Beziehung zwischen dem Mittelwert der Ziffern und deren individuellen Häufigkeiten im ternären System. Dies trägt zum Verständnis singulärer Wahrscheinlichkeitsverteilungen und der Struktur von Zahlenmengen bei, die durch asymptotische Eigenschaften definiert sind.

Zusammenfassend liefert das Papier eine vollständige Charakterisierung der Menge $K_a$ hinsichtlich ihrer Topologie (Dichte, Unstetigkeit der Häufigkeitsfunktion), ihres Maßes (Null vs. Vollmaß) und ihrer fraktalen Dimension.