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

Die Arbeit untersucht topologische, metrische und fraktale Eigenschaften der Mengen reeller Zahlen, deren asymptotischer Mittelwert der Ziffern in ihrer 4-adischen Darstellung einen festen Wert annimmt, unter der Voraussetzung, dass die Häufigkeiten aller Ziffern existieren, und liefert dabei Algorithmen zur Konstruktion von Punkten, Nachweise der Stetigkeit und Dichte sowie Abschätzungen der Hausdorff-Besicovitch-Dimension.

Das Wesentliche

Titel: Die geheime Sprache der Zahlen – Eine Reise durch das Universum der 4er-Systeme

Stellen Sie sich vor, jede Zahl zwischen 0 und 1 ist wie ein langer, endloser Zug von Waggons. In unserem normalen Leben (dem Dezimalsystem) hat jeder Waggon eine Zahl von 0 bis 9. Aber in diesem Papier schauen wir uns eine ganz spezielle Art von Zug an: den 4er-Zug. Hier haben die Waggons nur vier mögliche Farben oder Beschriftungen: 0, 1, 2 und 3.

Jede Zahl ist also eine unendliche Abfolge dieser vier Ziffern, zum Beispiel: 0, 2, 3, 1, 0, 0, 3, 2...

Das große Rätsel: Der "Durchschnitt" der Farbe

Die Autoren, Pratsiovityi und Klymchuk, stellen sich eine sehr einfache, aber tiefgründige Frage:
Wenn man sich diesen unendlichen Zug anschaut und nach und nach den Durchschnitt aller Ziffern berechnet, was passiert dann?

Nehmen wir an, wir haben eine Zahl, bei der die Ziffern so verteilt sind, dass der Durchschnitt genau 1,5 ergibt. Das bedeutet, es gibt eine gewisse Balance zwischen den kleinen Zahlen (0, 1) und den großen Zahlen (2, 3).
Die Forscher nennen diesen Wert den asymptotischen Mittelwert (ein fancy Name für "der langfristige Durchschnitt").

Sie untersuchen nun eine riesige Menge von Zahlen, die alle denselben Durchschnitt haben. Nennen wir diese Menge Sθ (S-Theta). Die Frage lautet: Wie sieht diese Menge aus? Ist sie ein dicker Brocken, ein hauchdünner Faden oder ein chaotisches Gespenst?

Die drei Geheimnisse der Menge

Hier sind die wichtigsten Entdeckungen, übersetzt in einfache Bilder:

1. Die Extremfälle (Der "Alles-oder-Nichts"-Effekt)

Stellen Sie sich vor, Sie wollen einen Zug, bei dem der Durchschnitt der Ziffern 0 ist. Das ist nur möglich, wenn alle Waggons die Farbe "0" haben. Es darf keine 1, 2 oder 3 vorkommen.

• Das Ergebnis: Eine solche Menge ist extrem dünn. Sie hat zwar unendlich viele Punkte, aber sie ist so "dünn", dass sie mathematisch fast nichts wiegt (ihre fraktale Dimension ist 0).
• Genauso ist es, wenn der Durchschnitt 3 ist. Dann müssen alle Waggons die Farbe "3" haben. Auch das ist eine sehr kleine, spezielle Menge.

2. Der mittlere Weg (Der "Normale" und der "Seltene")

Was passiert, wenn wir einen Durchschnitt von 1,5 wollen? Das ist der "mittlere" Wert.

• Die Überraschung: Hier gibt es eine riesige Menge von Zahlen! Tatsächlich ist diese Menge so groß, dass sie fast den gesamten Raum [0,1] ausfüllt. Wenn Sie blind einen Punkt in diesem Intervall wählen, ist die Wahrscheinlichkeit 100 %, dass er zu dieser Menge gehört.
• Warum? Weil die meisten "normalen" Zahlen genau diese Balance haben. Sie sind wie ein gut gemischter Cocktail aus allen vier Farben.

3. Die Zwischenwerte (Das fraktale Labyrinth)

Was ist, wenn wir einen Durchschnitt von 1,2 oder 2,7 wollen?

• Hier wird es spannend. Diese Mengen sind weder riesig wie der "normale" Fall, noch winzig wie die Extremfälle.
• Sie sind fraktal. Stellen Sie sich einen Farn vor oder eine Schneeflocke: Wenn Sie hineingucken, sehen Sie immer wieder dieselben Muster, egal wie sehr Sie hineinzoomen. Diese Zahlenmengen haben eine komplexe Struktur. Sie sind überall im Intervall verteilt (man kann sie überall finden), aber sie füllen den Raum nicht komplett aus. Sie haben eine "fraktale Dimension", die man berechnen kann – ein Maß dafür, wie "voll" oder "komplex" sie sind.

Wie baut man so eine Zahl? (Der Bauplan)

Die Autoren geben uns einen Bauplan (einen Algorithmus), um genau solche Zahlen zu konstruieren.
Stellen Sie sich vor, Sie wollen eine Zahl bauen, bei der der Durchschnitt genau 1,5 ist.

1. Sie planen Blöcke: Ein Block besteht aus einer bestimmten Anzahl von 0ern, 1ern, 2ern und 3ern.
2. Sie stellen sicher, dass in jedem Block das richtige Verhältnis herrscht, damit der Durchschnitt stimmt.
3. Sie bauen den Zug immer länger und länger, indem Sie diese Blöcke hintereinander reihen.

Das Tolle ist: Selbst wenn Sie die Blöcke in unterschiedlichen Größen bauen, solange das Verhältnis der Farben stimmt, landen Sie immer bei einer Zahl mit dem gewünschten Durchschnitt.

Warum ist das wichtig?

Auf den ersten Blick klingt das wie reine Spielerei mit Zahlen. Aber es ist wie die Untersuchung der DNA von Zahlen.

• Es hilft uns zu verstehen, wie "normal" oder "selten" bestimmte Zahlen sind.
• Es zeigt uns, dass die Welt der Zahlen nicht nur aus glatten Linien besteht, sondern aus komplexen, selbstähnlichen Strukturen (Fraktalen).
• Es verbindet zwei Welten: Die Topologie (wie die Punkte angeordnet sind) und die Maßtheorie (wie viel "Platz" sie einnehmen).

Zusammenfassung in einem Satz

Die Autoren haben gezeigt, dass die Menge aller Zahlen, die einen bestimmten Durchschnitt ihrer Ziffern im 4er-System haben, je nach Wert dieses Durchschnitts entweder ein winziger, zerbrechlicher Faden, ein riesiger, dichter Ozean oder ein komplexes, fraktales Labyrinth sein kann – und sie haben uns gezeigt, wie man genau diese Zahlen konstruiert.

Es ist eine Reise in die verborgene Architektur der Zahlenwelt, wo scheinbar zufällige Ziffernfolgen tiefe geometrische Gesetze beherbergen.

Technische Zusammenfassung

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

Technische Zusammenfassung: Topologische, metrische und fraktale Eigenschaften der Menge reeller Zahlen mit einem gegebenen asymptotischen Mittelwert der Ziffern in ihrer 4-adischen Darstellung

Autoren: M. V. Pratsiovytyi und S. O. Klymchuk
Quelle: Scientific Journal of Drahomanov National Pedagogical University (2013)

---

1. Problemstellung und Motivation

Der Artikel untersucht die topologischen, metrischen (maßtheoretischen) und fraktalen Eigenschaften von Teilmengen des Intervalls $[0, 1]$, die durch einen spezifischen asymptotischen Mittelwert der Ziffern in ihrer 4-adischen Darstellung definiert sind.

Gegeben sei eine reelle Zahl $x \in [0, 1]$ mit der 4-adischen Darstellung $x = \sum_{k=1}^{\infty} \alpha_k(x) 4^{-k}$, wobei $\alpha_k(x) \in \{0, 1, 2, 3\}$. Der asymptotische Mittelwert der Ziffern wird definiert als:
$$r(x) = \lim_{n \to \infty} \frac{1}{n} \sum_{k=1}^{n} \alpha_k(x)$$
sofern dieser Grenzwert existiert.

Das Ziel der Arbeit ist die Analyse der Niveau-Mengen (Level Sets):
$$S_\theta = \{x \in [0, 1] : r(x) = \theta\}, \quad \theta \in [0, 3]$$
insbesondere unter der Bedingung, dass die Ziffernhäufigkeiten $\nu_i(x) = \lim_{n \to \infty} \frac{N_i(x, n)}{n}$ für alle Ziffern $i \in \{0, 1, 2, 3\}$ existieren. Der Fokus liegt auf der Teilmenge $\Theta_1 \subset S_\theta$, für die diese Häufigkeiten existieren.

2. Methodik

Die Autoren wenden Methoden der fraktalen Geometrie, der Ergodentheorie und der Maßtheorie an. Die zentrale Methodik umfasst:

• Reduktion auf Besicovitch-Eggleston-Mengen: Die Menge $\Theta_1$ wird als Vereinigung von Besicovitch-Eggleston-Mengen $E[\tau_0, \tau_1, \tau_2, \tau_3]$ dargestellt, wobei $\tau_i$ die Häufigkeit der Ziffer $i$ ist. Diese Mengen sind definiert durch die Bedingung $\nu_i(x) = \tau_i$.
• Optimierungstheorie: Um die Hausdorff-Dimension zu bestimmen, wird eine Funktion $f(\tau) = \sum \tau_i \ln \tau_i$ (die negative Entropie) unter den Nebenbedingungen $\sum \tau_i = 1$ und $\sum i \cdot \tau_i = \theta$ minimiert.
• Konstruktive Algorithmen: Es wird ein expliziter Algorithmus zur Konstruktion von Zahlen in $\Theta_1$ entwickelt, der auf der Blockbildung von Ziffern basierend auf vorgegebenen Häufigkeiten und einer wachsenden Sequenz von Blocklängen $s_k$ beruht.
• Analyse von Grenzwerten: Es werden Stolz-Cesàro-ähnliche Argumente und Abschätzungen verwendet, um das Verhalten der relativen Mittelwerte und Häufigkeiten für konstruierte Zahlen zu beweisen.

3. Wichtige Beiträge und Ergebnisse

A. Topologische und metrische Eigenschaften von $\Theta_1$

• Dichtheit und Abgeschlossenheit: Die Menge $\Theta_1$ ist für jedes $\theta \in [0, 3]$ überall dicht (everywhere dense) und abgeschlossen in $[0, 1]$.
• Lebesgue-Maß:
  • Für $\theta = \frac{3}{2}$ hat die Menge $\Theta_1$ das volle Lebesgue-Maß ($\lambda(\Theta_1) = 1$). Dies liegt daran, dass fast alle reellen Zahlen (im Sinne des Lebesgue-Maßes) normal sind, was einem asymptotischen Mittelwert von $\frac{0+1+2+3}{4} = 1.5$ entspricht.
  • Für $\theta \neq \frac{3}{2}$ hat die Menge $\Theta_1$ das Lebesgue-Maß Null ($\lambda(\Theta_1) = 0$), da sie keine normalen Zahlen enthält.
• Spezialfälle $\theta = 0$ und $\theta = 3$:
  • Für $\theta = 0$ besteht die Menge nur aus Zahlen, deren Ziffern fast ausschließlich 0 sind ($\nu_0=1$, andere 0).
  • Für $\theta = 3$ bestehen die Zahlen fast ausschließlich aus der Ziffer 3.
  • In beiden Fällen ist die Hausdorff-Dimension gleich 0.

B. Fraktale Dimension (Hausdorff-Besicovitch-Dimension)
Die Autoren leiten eine untere Schranke für die Hausdorff-Dimension $\alpha_0(\Theta_1)$ her. Sei $m(\theta)$ das Minimum der Funktion $f(\tau) = \sum_{i=0}^3 \tau_i \ln \tau_i$ unter den Nebenbedingungen für ein gegebenes $\theta$. Dann gilt:
$$\alpha_0(\Theta_1) \geq -\frac{m(\theta)}{\ln 4}$$
Diese Ungleichung wird durch die Einbettung der optimalen Besicovitch-Eggleston-Menge in $\Theta_1$ bewiesen. Die Dimension ist strikt positiv für $\theta \in (0, 3)$.

C. Konstruktiver Algorithmus
Es wird ein Algorithmus vorgestellt, um eine Zahl $\hat{x} \in \Theta_1$ zu konstruieren, die eine vorgegebene Häufigkeitsverteilung $\tau$ und damit einen Mittelwert $\theta$ besitzt.

• Prinzip: Die Darstellung wird in Blöcke unterteilt. Im $k$-ten Block werden die Ziffern $0, 1, 2, 3$in Anzahlen eingefügt, die proportional zu$\tau_i \cdot s_k$sind (wobei$s_k$ eine schnell wachsende Sequenz ist).
• Theorem 3 & 4: Es wird bewiesen, dass diese Konstruktion garantiert, dass der Grenzwert der relativen Mittelwerte $\theta$ ist und die Ziffernhäufigkeiten genau den vorgegebenen Werten $\tau_i$ entsprechen.
• Theorem 5: Es wird gezeigt, dass unterschiedliche Parameter (Häufigkeitsmatrizen oder Blocklängenfolgen) zu unterschiedlichen reellen Zahlen führen, was die Eindeutigkeit der Konstruktion unter bestimmten Bedingungen sichert.

4. Signifikanz und Bedeutung

• Verallgemeinerung: Während der Fall $s=3$ (ternäres System) in früheren Arbeiten der Autoren behandelt wurde, zeigt dieser Artikel, dass das System für $s=4$ (und allgemein $s>3$) reichhaltigere Eigenschaften aufweist. Die Struktur der Mengen $S_\theta$ ist komplexer als im binären Fall, wo der Mittelwert direkt mit der Häufigkeit der Ziffer 1 korreliert.
• Verbindung von Konzepten: Die Arbeit stellt eine klare Verbindung zwischen dem Konzept des "asymptotischen Mittelwerts der Ziffern" und den klassischen "Besicovitch-Eggleston-Mengen" (definiert durch Ziffernhäufigkeiten) her. Sie zeigt, dass $S_\theta$ eine Vereinigung solcher Mengen ist.
• Beitrag zur Fraktalgeometrie: Die Arbeit liefert präzise Schätzungen für die fraktale Dimension von Mengen, die durch arithmetische Eigenschaften (Mittelwerte) definiert sind, und erweitert das Verständnis von "anomal fraktalen" Mengen (Mengen mit Dimension 0, die aber dicht sind).
• Konstruktive Existenz: Durch den bereitgestellten Algorithmus wird nicht nur die Existenz solcher Zahlen bewiesen, sondern ein Weg aufgezeigt, wie man sie explizit konstruieren kann, was für numerische Experimente und weitere theoretische Untersuchungen nützlich ist.

Fazit:
Der Artikel liefert eine umfassende Analyse der Menge reeller Zahlen mit einem festen asymptotischen Ziffernmittelwert im 4-adischen System. Er charakterisiert diese Mengen vollständig hinsichtlich ihrer Topologie (dicht, abgeschlossen), ihres Maßes (0 oder 1) und ihrer fraktalen Dimension, wobei er eine explizite Konstruktionsmethode für Elemente dieser Mengen bereitstellt.