Transformations and functions that preserve the asymptotic mean of digits in the ternary representation of a number

Die Arbeit untersucht Transformationen des Intervalls $[0,1)$ und Funktionen, die den asymptotischen Mittelwert der Ziffern in der ternären Darstellung einer Zahl erhalten, und leitet dafür notwendige und hinreichende Bedingungen ab.

Das Wesentliche

🎲 Das Geheimnis der Zahlen-DNA: Wie man die mittlere Ziffer behält, ohne die Häufigkeit zu ändern

Stellen Sie sich vor, jede Zahl zwischen 0 und 1 ist wie ein unendlicher Text, geschrieben in einer speziellen Sprache. In unserem Alltag nutzen wir das Dezimalsystem (Zahlen 0–9). Die Autoren dieses Papers nutzen jedoch das Ternärsystem (Zahlen 0, 1 und 2).

Jede Zahl hat also eine "Zahlen-DNA", die aus einer endlosen Kette von Nullen, Einsen und Zweien besteht. Zum Beispiel könnte eine Zahl so aussehen: 0, 10211022...

1. Die zwei Arten, eine Zahl zu betrachten

Die Forscher interessieren sich für zwei Dinge, die man an dieser Zahlen-DNA messen kann:

1. Die Frequenz (Wie oft?): Wie oft kommt die Ziffer 0 vor? Wie oft die 1? Wie oft die 2?
   • Analogie: Stellen Sie sich einen riesigen Sack mit bunten Murmeln vor. Die Frequenz ist das Verhältnis: "Wie viel Prozent sind rot, wie viel blau und wie viel grün?" Bei einer "normalen" Zahl sind alle Farben gleichmäßig verteilt (je 33,3 %).
2. Der asymptotische Mittelwert (Wie schwer?): Wenn wir den Zahlenwert der Ziffern selbst betrachten (0 ist leicht, 1 ist mittel, 2 ist schwer), was ist dann der Durchschnittswert?
   • Analogie: Stellen Sie sich vor, Sie stapeln Murmeln auf eine Waage. Die 0 wiegt 0 Gramm, die 1 wiegt 1 Gramm, die 2 wiegt 2 Gramm. Der "Mittelwert" ist das durchschnittliche Gewicht einer Murmel in Ihrem Stapel.

2. Das große Rätsel: Was passiert, wenn wir die Zahl verändern?

Die Autoren untersuchen Transformationen (Verwandlungen). Das sind Regeln, die eine Zahl nehmen und in eine neue Zahl verwandeln.

• Die einfache Regel: Wenn ich die Frequenzen der Ziffern behalte (also immer noch 33 % Nullen, 33 % Einsen, 33 % Zweite habe), dann bleibt automatisch auch das durchschnittliche Gewicht (der Mittelwert) gleich. Das ist logisch.
• Die spannende Frage: Kann man eine Zahl so verändern, dass das durchschnittliche Gewicht gleich bleibt, aber die Frequenzen sich ändern?
  • Beispiel: Kann ich eine Zahl nehmen, bei der die 1 und die 2 sehr oft vorkommen, sie so umschreiben, dass die 2 seltener wird, aber dafür die 1 öfter, sodass das Gesamtgewicht (der Mittelwert) exakt gleich bleibt?

3. Die überraschenden Ergebnisse der Autoren

Die Forscher haben drei wichtige Entdeckungen gemacht, die wie Zaubertricks wirken:

Entdeckung 1: Bei "normalen" Zahlen geht das nicht.
Wenn eine Zahl "normal" ist (das heißt, ihre Ziffern sind perfekt zufällig verteilt, wie bei einem fairen Würfel), dann ist es unmöglich, den Mittelwert zu behalten, ohne auch die Frequenzen zu behalten.

• Analogie: Wenn Sie einen perfekten Cocktail haben (50 % Wasser, 50 % Saft), können Sie nicht einfach mehr Wasser hinzufügen und weniger Saft, ohne dass sich der Geschmack (der Mittelwert) ändert. Bei diesen perfekten Zahlen sind Geschmack und Mischungsverhältnis untrennbar verbunden.

Entdeckung 2: Es gibt "Magier", die fast überall funktionieren.
Aber! Wenn wir nicht auf jede einzelne Zahl schauen, sondern nur auf "fast alle" (im mathematischen Sinne: auf eine Menge, die so groß ist, dass die Ausnahmen vernachlässigbar klein sind), dann finden die Autoren eine Funktion, die den Mittelwert bewahrt, aber die Frequenzen verändert.

• Die Magie: Die Autoren bauen eine Funktion, die bei bestimmten Stellen in der Zahlen-DNA eingreift. Sie tauscht eine "1" gegen eine "0" und die nächste "1" gegen eine "2" aus.
• Das Ergebnis: Die Anzahl der Nullen, Einsen und Zweien verändert sich (die Frequenzen sind anders!), aber da sie sich gegenseitig aufheben (eine 0 ist leicht, eine 2 ist schwer, zusammen wiegen sie genau so viel wie zwei 1er), bleibt das Gesamtgewicht (der Mittelwert) exakt gleich.
• Bild: Stellen Sie sich eine Waage vor. Sie nehmen eine schwere Kugel (2) weg und legen zwei leichte Kugeln (0 und 2? Nein, 0 und 1? Nein, der Trick ist komplexer: Sie tauschen Muster aus). Das Gewicht der Waage bleibt gleich, aber die Anzahl der Kugeln auf der Waage hat sich verändert.

Entdeckung 3: Die "Chaos-Maschine"
Am Ende des Papers bauen die Autoren eine extrem komplexe Maschine (eine Funktion), die eine Zahl nimmt und sie so verändert, dass:

1. Der Mittelwert immer noch perfekt stimmt.
2. Aber die Frequenzen gar nicht mehr definiert sind. Das heißt, man kann gar nicht mehr sagen, wie oft welche Ziffer vorkommt, weil sie sich in einem chaotischen Tanz abwechseln.

• Analogie: Stellen Sie sich einen Taktstock vor, der immer schneller wird. Manchmal schlägt er links, manchmal rechts. Wenn Sie lange genug zuhören, merken Sie: "Der Durchschnitt ist immer noch 50/50", aber Sie können nicht mehr zählen, wie oft er links oder rechts geschlagen hat, weil das Muster zu wild ist.

Zusammenfassung für den Alltag

Stellen Sie sich vor, Sie haben einen endlosen Zug aus Waggons.

• Wagen 0 ist leer.
• Wagen 1 hat eine Kiste.
• Wagen 2 hat zwei Kisten.

Die Forscher fragen: "Können wir die Reihenfolge der Waggons umsortieren, sodass die Gesamtzahl der Kisten pro Waggon im Durchschnitt gleich bleibt, aber sich die Anzahl der leeren Waggons ändert?"

• Bei einem perfekten, zufälligen Zug: Nein.
• Bei einem Zug, den wir geschickt manipulieren (fast überall): Ja! Wir können die Waggons so mischen, dass die Kistenanzahl stimmt, aber die Verteilung der leeren und vollen Waggons völlig anders aussieht.
• Und wir können sogar einen Zug bauen, bei dem die Verteilung so chaotisch ist, dass man gar nicht mehr zählen kann, wie oft welche Sorte vorkommt, obwohl der Durchschnitt immer noch passt.

Fazit: Die Mathematik zeigt uns, dass "Durchschnitt" und "Häufigkeit" oft Hand in Hand gehen, aber es gibt kreative Wege (Transformationen), sie zu trennen – wie ein Zauberer, der die Menge der Zutaten ändert, aber den Geschmack des Gerichts unverändert lässt.

Technische Zusammenfassung

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

Titel: Transformationen und Funktionen, die den asymptotischen Mittelwert der Ziffern in der ternären Darstellung einer Zahl erhalten.
Autoren: M. V. Pratsiovytyi, S. O. Klymchuk, O. P. Makarchuk.

1. Problemstellung und Motivation

Der Artikel untersucht Transformationen und Funktionen auf dem Intervall $[0, 1)$, die spezifische Eigenschaften der $s$-adischen (hier insbesondere ternäre, $s=3$) Darstellung von reellen Zahlen erhalten.

Zentrale Konzepte sind:

• Digit-Frequenz ($\nu_i(x)$): Die Häufigkeit, mit der eine Ziffer $i$ in der $s$-adischen Entwicklung von $x$ auftritt.
• Asymptotischer Mittelwert der Ziffern ($r(x)$): Definiert als der Grenzwert des Durchschnitts der Ziffern:
  $$r(x) = \lim_{n \to \infty} \frac{1}{n} \sum_{k=1}^n \alpha_k(x)$$
  wobei $\alpha_k(x)$ die $k$-te Ziffer ist. Für das ternäre System gilt $r(x) = 1 \cdot \nu_1(x) + 2 \cdot \nu_2(x)$.

Das Hauptproblem besteht darin, Funktionen zu identifizieren, die den asymptotischen Mittelwert $r(x)$ erhalten (d.h. $r(f(x)) = r(x)$), ohne dabei notwendigerweise die individuellen Ziffernfrequenzen $\nu_i(x)$ zu erhalten. Dies ist insbesondere im Kontext von "normalen" Zahlen (wo alle Frequenzen existieren und gleichverteilt sind) und fraktalen Mengen (Besicovitch-Eggleston-Mengen) von Interesse.

2. Methodik

Die Autoren verwenden Methoden aus der ergodischen Theorie, der fraktalen Geometrie (insbesondere Hausdorff-Besicovitch-Dimension) und der Zahlentheorie.

• Gruppentheoretischer Ansatz: Analyse der Menge aller Transformationen, die Ziffernfrequenzen erhalten, als nicht-kommutative Gruppe unter Komposition.
• Konstruktion von Gegenbeispielen: Gezielte Konstruktion von Funktionen, die spezifische Ziffern in der Expansion manipulieren (z.B. Vertauschen, Ersetzen oder Einfügen von Ziffern), um zu testen, welche Eigenschaften erhalten bleiben.
• Analyse von Grenzwerten: Detaillierte Untersuchung von Folgen und Reihen, um das Verhalten von Frequenzen und Mittelwerten bei speziellen Konstruktionen (z.B. unter Verwendung von Fakultäten als Blocklängen) zu bestimmen.
• Maßtheorie: Unterscheidung zwischen Eigenschaften, die "überall" (für alle $x$) gelten, und solchen, die "fast überall" (bezüglich des Lebesgue-Maßes) gelten.

3. Wichtige Beiträge und Ergebnisse

A. Erhaltung der Ziffernfrequenzen

• Die Menge der Transformationen, die alle Ziffernfrequenzen $\nu_i(x)$ erhalten, bildet eine nicht-kommutative Gruppe.
• Es wird gezeigt, dass es Funktionen gibt, die Ziffernfrequenzen erhalten, aber die Hausdorff-Besicovitch-Dimension der zugrunde liegenden Mengen (Besicovitch-Eggleston-Mengen) nicht erhalten. Dies widerlegt implizit die Annahme, dass Frequenzerhaltung immer dimensionserhaltend ist.

B. Erhaltung des asymptotischen Mittelwerts vs. Frequenzen

Dies ist der Kernbeitrag des Papers. Die Autoren stellen die Frage: Kann eine Funktion den Mittelwert $r(x)$ erhalten, ohne die einzelnen Frequenzen $\nu_i(x)$ zu erhalten?

• Theorem 2 (Für das ternäre System): Es wird bewiesen, dass für das ternäre System ($s=3$) keine Funktion existiert, die den asymptotischen Mittelwert $r(x)$ überall auf der Menge $\Theta$ (wo Frequenzen existieren) erhält, ohne dabei auch die Frequenzen zu erhalten.
  • Begründung: Im ternären System sind die Frequenzen $\nu_0, \nu_1, \nu_2$ durch die Bedingung $\nu_0 + \nu_1 + \nu_2 = 1$ und den Mittelwert $r = \nu_1 + 2\nu_2$ fest miteinander verknüpft. Wenn $r(x)$ konstant bleibt und die Frequenzen existieren, sind die Frequenzen eindeutig bestimmt (insbesondere für Extremfälle wie $r=0$ oder $r=2$).
  • Ergebnis: Im ternären System impliziert die Erhaltung des Mittelwerts (wo Frequenzen existieren) zwingend die Erhaltung der Frequenzen.

C. Fast überall (Fast Everywhere)

Die Situation ändert sich, wenn man nur die Gültigkeit "fast überall" (bezüglich des Lebesgue-Maßes) betrachtet, also auf der Menge der normalen Zahlen $H$.

• Konstruktion einer Funktion $f$: Die Autoren konstruieren eine Funktion, die auf normalen Zahlen ($x \in H$) wirkt, indem sie bestimmte Ziffern "1" durch "0" oder "2" ersetzt, basierend auf der Position der Ziffer (mod 7).
• Ergebnis (Theorem 3): Für diese Funktion gilt:
  • Der asymptotische Mittelwert bleibt erhalten: $r(f(x)) = r(x) = 1$ für fast alle $x$.
  • Die Ziffernfrequenzen ändern sich jedoch: Aus den ursprünglichen Frequenzen $(\frac{1}{3}, \frac{1}{3}, \frac{1}{3})$ werden neue Frequenzen $(\frac{8}{21}, \frac{5}{21}, \frac{8}{21})$.
  • Schlussfolgerung: Es existieren Funktionen, die den asymptotischen Mittelwert fast überall erhalten, aber die Ziffernfrequenzen nicht.

D. Existenz nicht-erhaltender Frequenzen bei erhaltendem Mittelwert

• Theorem 4 / Lemma 6: Es wird eine Funktion konstruiert (unter Verwendung von Blöcken mit Längen, die durch Fakultäten definiert sind), für die der asymptotische Mittelwert $r(f(x)) = 1$ für alle $x \in H$ existiert und erhalten bleibt, während die einzelnen Ziffernfrequenzen $\nu_i(f(x))$ nicht existieren (d.h. der Grenzwert der relativen Häufigkeit divergiert).
• Dies zeigt, dass die Existenz des Mittelwerts eine schwächere Bedingung ist als die Existenz der einzelnen Frequenzen.

4. Signifikanz und Bedeutung

1. Differenzierung von Invarianten: Das Paper trennt präzise zwischen der Invarianz des Mittelwerts und der Invarianz der Frequenzen. Es zeigt, dass im ternären System diese Konzepte auf der Menge der Zahlen mit existierenden Frequenzen äquivalent sind, sich aber im Bereich "fast überall" oder bei nicht-existierenden Frequenzen trennen.
2. Fraktale Geometrie: Die Ergebnisse haben Implikationen für das Verständnis der Struktur von fraktalen Mengen (Besicovitch-Eggleston-Mengen). Da die Dimension dieser Mengen von den Frequenzen abhängt, zeigen die gefundenen Funktionen, dass man den Mittelwert (eine Art "Schwerpunkt" der Verteilung) erhalten kann, während die geometrische Komplexität (Dimension) der Menge verändert wird.
3. Konstruktion pathologischer Funktionen: Die Arbeit liefert explizite Konstruktionen von Funktionen, die scheinbar "normale" Eigenschaften (wie den Mittelwert) bewahren, aber das feinere statistische Verhalten (Frequenzen) zerstören oder verzerren. Dies ist relevant für die Ergodentheorie und die Untersuchung von Singularitäten in Wahrscheinlichkeitsverteilungen.
4. Kardinalität der Lösungsmenge: Es wird gezeigt, dass die Menge der Funktionen, die den asymptotischen Mittelwert fast überall erhalten, die Kardinalität eines Hyperkontinuums hat, was auf eine enorme Vielfalt solcher Transformationen hinweist.

Zusammenfassend liefert der Artikel eine tiefgehende Analyse der Beziehung zwischen Ziffernfrequenzen und deren Mittelwert in der ternären Darstellung. Er beweist, dass im strengen Sinne (für alle $x$ mit existierenden Frequenzen) die Erhaltung des Mittelwerts im ternären System die Erhaltung der Frequenzen erzwingt, während im Maß-sinn (fast überall) und bei nicht-existierenden Frequenzen Funktionen existieren, die den Mittelwert erhalten, aber die Frequenzstruktur fundamental verändern.