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

Dit artikel onderzoekt transformaties van het interval $[0;1)$ en functies die de asymptotische gemiddelde waarde van de cijfers in de ternaire voorstelling van een getal behouden, en geeft de noodzakelijke en voldoende voorwaarden op om tot deze klasse te behoren.

De kern

Stel je voor dat elk getal tussen 0 en 1 een geheim codeboek is. In dit boek wordt elk getal niet geschreven met cijfers zoals 1, 2 of 3, maar als een oneindige rij van symbolen in een speciaal systeem (in dit geval het "ternaire" of basis-3 systeem, met de cijfers 0, 1 en 2).

Dit artikel van Pratsiovytyi, Klymchuk en Makarchuk gaat over een heel specifiek spelletje met deze codeboeken: Hoe kunnen we de code veranderen zonder het "gemiddelde karakter" van het getal te veranderen?

Hier is de uitleg in simpele taal, met wat creatieve vergelijkingen:

1. De Basis: Het Getal als een Oneindige Ketting

Stel je een getal voor als een oneindige ketting van schakels. Elke schakel is een cijfer (0, 1 of 2).

• De frequentie: Als je naar een heel lange ketting kijkt, hoe vaak komt er een '0' voor? Hoe vaak een '1'? En een '2'? Soms zijn deze verhoudingen stabiel (bijvoorbeeld: 33% nullen, 33% enen, 33% tweeën). Dit noemen ze de frequentie.
• Het gemiddelde: Stel je voor dat je aan de schakels trekt. Een '0' weegt niets, een '1' weegt één kilo, en een '2' weegt twee kilo. Het asymptotische gemiddelde is gewoon het gemiddelde gewicht van al die schakels in de oneindige ketting.

2. Het Grote Doel: De "Geest" van het Getal Behouden

De auteurs onderzoeken functies (regels om getallen om te zetten). Ze zoeken naar regels die het gemiddelde gewicht van de schakels behouden.

• Voorbeeld: Als een getal een gemiddelde van 1 heeft (wat betekent dat het gemiddeld gezien evenveel '1's als '2's heeft, of een mix die uitkomt op 1), dan moet het nieuwe getal na de transformatie ook precies datzelfde gemiddelde van 1 hebben.

3. De Verrassing: Je kunt de frequentie veranderen, maar het gemiddelde niet

Dit is het meest interessante deel van het artikel.

Stel je voor dat je een bak met rode, blauwe en groene balletjes hebt.

• Frequentie behouden: Je mag de balletjes niet verplaatsen. Als je 33% rood had, moet je er 33% rood houden.
• Gemiddelde behouden: Je mag de balletjes wel verplaatsen, zolang het totale gewicht maar gelijk blijft.

De auteurs tonen aan dat er regels zijn die het gemiddelde behouden, maar de frequentie veranderen.

• De Analogie: Stel je hebt een rij met veel '0's en veel '2's. Het gemiddelde is 1 (want 0 en 2 middelen elkaar uit). Je kunt nu een regel bedenken die de '0's en '2's omwisselt met '1's op een slimme manier. Je hebt nu minder '0's en '2's, en meer '1's. De verhouding (frequentie) is veranderd, maar omdat je '0's en '2's hebt vervangen door '1's, blijft het gemiddelde gewicht precies 1!

4. De "Normale" Mensen vs. De "Exoten"

Het artikel maakt een onderscheid tussen twee soorten getallen:

1. De "Normale" getallen: Dit zijn de meeste getallen. Bij hen komen alle cijfers (0, 1, 2) even vaak voor (elk 1/3). Hun gemiddelde is altijd 1.
2. De "Exoten": Getallen die heel onevenwichtig zijn, bijvoorbeeld getallen die bijna alleen maar '0's hebben.

De auteurs bewijzen iets heel belangrijks:

• Als je een getal hebt dat extreem is (bijvoorbeeld alleen maar '0's, gemiddelde 0), dan kun je geen regel bedenken die het gemiddelde 0 houdt, tenzij je ook de frequentie behoudt. Je kunt de '0's niet veranderen in iets anders zonder het gemiddelde te breken.
• Maar bij de "normale" getallen (waar het gemiddelde 1 is) heb je veel meer vrijheid. Je kunt de verhoudingen van de cijfers flink aanpassen, zolang het gemiddelde maar op 1 blijft staan.

5. Het "Onmogelijke" Experiment

In het laatste deel van het artikel bouwen ze een heel gekke, wiskundige machine (een functie).

• Deze machine neemt een normaal getal en verandert de volgorde van de cijfers op een manier die zo gek is dat je nooit kunt zeggen hoe vaak een bepaald cijfer voorkomt (de frequentie bestaat niet meer, het is een chaotische dans).
• Maar! Ondanks dat de frequentie volledig weg is en de cijfers in een chaos zitten, blijft het gemiddelde gewicht van het getal perfect hetzelfde.

Samenvatting in één zin

Het artikel laat zien dat je het "gemiddelde karakter" van een getal kunt behouden terwijl je de verdeling van de onderdelen (de frequentie) volledig kunt veranderen of zelfs volledig kunt laten verdwijnen, zolang je maar slim genoeg bent met het uitwisselen van de cijfers.

Het is alsof je een muziekstuk kunt herschrijven: je kunt de noten (de cijfers) volledig veranderen en de volgorde op de kop zetten, zolang de gemiddelde toonhoogte van het hele stuk maar hetzelfde blijft. De luisteraar hoort dan een heel ander geluid (andere frequentie), maar het "gevoel" van het gemiddelde blijft intact.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Transformations and Functions that Preserve the Asymptotic Mean of Digits in the Ternary Representation of a Number" van Pratsiovytyi, Klymchuk en Makarchuk, in het Nederlands.

Titel

Transformaties en functies die de asymptotische gemiddelde van cijfers in de ternaire representatie van een getal behouden.

1. Probleemstelling en Context

Het artikel onderzoekt transformaties en functies op het interval $[0, 1)$ die invariante eigenschappen behouden met betrekking tot de s-adische representatie (in dit geval specifiek voor $s=3$, de ternaire representatie) van reële getallen.

De kernconcepten zijn:

• Digitfrequentie ($\nu_i(x)$): De limiet van de relatieve frequentie van het cijfer $i$ in de representatie van $x$.
• Asymptotisch gemiddelde van cijfers ($r(x)$): Gedefinieerd als $r(x) = \lim_{n \to \infty} \frac{1}{n} \sum_{k=1}^n \alpha_k(x)$, waarbij $\alpha_k(x)$ de $k$-de cijfer is. Voor een ternair systeem ($s=3$) geldt $r(x) = 1\cdot\nu_1(x) + 2\cdot\nu_2(x)$.

Het centrale probleem is het identificeren van functies die de asymptotische gemiddelde $r(x)$ behouden, maar niet noodzakelijkerwijs de individuele digitfrequenties $\nu_i(x)$ behouden. De auteurs willen de necessary en sufficient voorwaarden vaststellen voor transformaties die tot deze klasse behoren, en het onderscheid onderzoeken tussen functies die de fractale dimensie behouden versus die welke dat niet doen.

2. Methodologie

De auteurs hanteren een combinatie van methoden uit de getaltheorie, maattheorie (Lebesgue-maat) en fractale meetkunde:

• Definitie van Klassen: Ze definiëren strikt de verzameling van transformaties die digitfrequenties behouden en die welke alleen het asymptotische gemiddelde behouden.
• Groepstheoretische Analyse: Ze analyseren de algebraïsche structuur van de verzameling van transformaties die digitfrequenties behouden.
• Constructie van Specifieke Functies: Ze construeren expliciete voorbeelden van functies (vaak via manipulatie van de cijferreeks) om te bewijzen dat bepaalde implicaties niet gelden (bijv. dat behoud van $r(x)$ niet impliceert behoud van $\nu_i(x)$).
• Asymptotische Analyse: Gebruik van limieten, de Stolz-Cesàro-stelling en schattingen van sommen van faculteiten om het gedrag van nieuwe functies op "normale" getallen (getallen met gelijke frequenties voor alle cijfers) te analyseren.
• Fractale Dimensie: Toepassing van de formule van Besicovitch-Eggleston voor de Hausdorff-dimensie van verzamelingen met gegeven cijferfrequenties.

3. Belangrijkste Bijdragen en Resultaten

A. Behoud van Digitfrequenties

• Groepstructuur: De verzameling $V$ van alle transformaties van $[0, 1)$ die de frequenties van alle cijfers behouden, vormt een niet-commutatieve groep onder compositie.
• Voorbeelden: Er worden functies gegeven die frequenties behouden maar geen transformaties zijn (bijv. het verschuiven van cijfers of het toevoegen van een vast cijfer).
• Relatie met Fractale Dimensie: Er wordt aangetoond dat er functies bestaan die digitfrequenties behouden, maar niet de Hausdorff-Besicovitch fractale dimensie behouden. Een voorbeeld is een functie die een Besicovitch-Eggleston-verzameling (met dimensie $>0$) afbeeldt op een enkel punt (dimensie 0), terwijl de frequenties binnen de verzameling behouden blijven.

B. Behoud van het Asymptotisch Gemiddelde (zonder behoud van frequenties)

Dit is het meest significante deel van het artikel, specifiek voor het ternaire systeem ($s=3$).

• Theorema 2 (Uniciteit voor extreme waarden): Voor getallen waarbij het asymptotisch gemiddelde $r(x)$ gelijk is aan 0 of 2, impliceert het behoud van $r(x)$ automatisch het behoud van alle digitfrequenties.
  • Als $r(x)=0$, dan moet $\nu_0(x)=1$ en $\nu_1(x)=\nu_2(x)=0$.
  • Als $r(x)=2$, dan moet $\nu_2(x)=1$ en $\nu_0(x)=\nu_1(x)=0$.
  • Conclusie: Er bestaat geen functie die $r(x)$ behoudt maar de frequenties verandert voor deze specifieke extreme gevallen.
• Theorema 3 (Behoud bijna overal): Er wordt een functie $f$ geconstrueerd die het asymptotisch gemiddelde behoudt voor normale getallen (waarvoor $\nu_0=\nu_1=\nu_2=1/3$ en dus $r(x)=1$), maar niet de individuele frequenties behoudt.
  • De functie vervangt systematisch bepaalde "1"-cijfers door "0" en de daaropvolgende "1" door "2" op basis van de positie modulo 7.
  • Resultaat: Voor een normaal getal $x$ verandert de functie de frequenties naar $\nu_0(f(x)) = 8/21$, $\nu_1(f(x)) = 5/21$, en $\nu_2(f(x)) = 8/21$.
  • Controle: Het nieuwe gemiddelde is $0 \cdot (8/21) + 1 \cdot (5/21) + 2 \cdot (8/21) = 21/21 = 1$. Het gemiddelde blijft behouden, maar de frequenties veranderen.
• Cardinaliteit: De verzameling van functies die het asymptotisch gemiddelde bijna overal behouden, heeft de kardinaliteit van het hypercontinuüm.

C. Functies zonder gedefinieerde frequenties

• Theorema 4 (Constructie): De auteurs construeren een functie $f$ die het asymptotisch gemiddelde behoudt ($r(f(x)) = r(x) = 1$) voor alle $x$ in de verzameling van normale getallen, maar waarbij de digitfrequenties $\nu_i(f(x))$ niet bestaan (ze oscilleren en convergeren niet).
  • Dit wordt bereikt door blokken van cijfers met lengtes die gebaseerd zijn op faculteiten ($n!$) te gebruiken, waarbij de verhouding van cijfers varieert op een manier die de limiet van de frequentie verhindert, maar de gewogen som (het gemiddelde) stabiel houdt.

4. Significatie en Implicaties

• Onafhankelijkheid van concepten: Het artikel bewijst dat het concept van "asymptotisch gemiddelde van cijfers" strikt zwakker is dan "behoud van digitfrequenties". Het is mogelijk om de gemiddelde waarde te behouden terwijl de onderliggende verdeling van cijfers fundamenteel verandert of zelfs instabiel wordt.
• Fractale Meetkunde: De resultaten hebben implicaties voor de studie van fractale verzamelingen (zoals Besicovitch-Eggleston-sets). Het toont aan dat transformaties die een fractale eigenschap (het gemiddelde) behouden, de geometrische complexiteit (de fractale dimensie) van de verzameling kunnen vernietigen.
• Ergodische Theorie: De constructie van functies die het gemiddelde behouden maar geen frequenties, biedt nieuwe inzichten in de structuur van maatbehoudende transformaties en de relatie tussen statistische eigenschappen van getallen en hun meetkundige afbeeldingen.
• Toepassingsgebied: De methoden zijn generaliseerbaar naar andere $s$-adische systemen en kunnen bijdragen aan het begrijpen van singuliere verdelingen en de meetkunde van getallen met specifieke asymptotische eigenschappen.

Conclusie

Pratsiovytyi, Klymchuk en Makarchuk leveren een rigoureuze wiskundige analyse van de relatie tussen digitfrequenties en hun asymptotisch gemiddelde. Ze tonen aan dat hoewel behoud van frequenties altijd leidt tot behoud van het gemiddelde, het omgekeerde niet geldt. Ze construeren expliciete voorbeelden van functies die het gemiddelde behouden terwijl ze de frequenties veranderen of zelfs elimineren, wat de complexiteit en de rijkdom van de structuur van getallen in $s$-adische representaties onderstreept.