Linear fractals of the Besicovitch-Eggleston type

Dit artikel onderzoekt de topologische, metrische en fractale eigenschappen van de verzameling getallen in het interval [0;1] met een gegeven asymptotisch gemiddelde van cijfers in hun ternaire voorstelling en analyseert de samenhang met getallen die een specifieke cijferfrequentie hebben.

De kern

De Digitale Dans: Een Verhaal over Getallen, Frequenties en Mysterieuze Patronen

Stel je voor dat elk getal tussen 0 en 1 een uniek verhaal vertelt. In de wiskunde kunnen we deze verhalen schrijven in verschillende talen, zoals het decimale stelsel (ons bekende 0-9 systeem) of het ternaire stelsel (alleen met de cijfers 0, 1 en 2).

De auteurs van dit paper, Pratsiovytyi en Klymchuk, kijken naar een heel specifiek soort "verhalen": getallen die een heel bepaald patroon volgen in hoe vaak de cijfers 0, 1 en 2 voorkomen. Ze noemen dit de asymptotische gemiddelde waarde van de cijfers.

Laten we dit uitleggen met een paar creatieve analogieën.

1. Het Drie-Kleuren Sieradenkistje (Het Ternaire Stelsel)

Stel je een lange ketting voor, gemaakt van kralen in drie kleuren:

• Wit (0)
• Zwart (1)
• Rood (2)

Elk getal tussen 0 en 1 is een oneindig lange ketting van deze kralen.

• Als je een getal hebt als 0.102110..., dan is dat een ketting met witte, zwarte en rode kralen.

Normaal gesproken, bij "gewone" getallen (zoals de meeste getallen die we tegenkomen), zijn de kralen perfect gemengd. Je ziet ongeveer evenveel witte, zwarte als rode kralen. Dit noemen wiskundigen normale getallen. Het is alsof je een perfecte regenboog hebt.

2. De Mysterieuze Verzamelingen (Besicovitch-Eggleston)

Maar wat als je een ketting maakt die niet gemengd is?
Stel je wilt een ketting maken waar:

• 50% witte kralen zijn,
• 30% zwarte kralen zijn,
• 20% rode kralen zijn.

Dit is een heel specifiek soort ketting. Wiskundigen noemen deze verzameling van getallen een Besicovitch-Eggleston-set. Het is een "club" van getallen die allemaal hetzelfde kleurenpatroon hebben, maar dan oneindig lang.

De auteurs kijken nu naar een iets andere vraag: Wat is het gemiddelde "gewicht" van de kralen?

• Witte kralen wegen 0.
• Zwarte kralen wegen 1.
• Rode kralen wegen 2.

Als je het gemiddelde gewicht van een hele ketting uitrekent, kom je op een getal uit (bijvoorbeeld 1,2). De auteurs onderzoeken alle kettingen die precies op dat gemiddelde uitkomen.

3. De Grote Ontdekkingen

Hier zijn de belangrijkste dingen die ze hebben ontdekt, vertaald naar alledaagse taal:

A. Het is een "Super-Fractaal" (Een Koolstofkristal)
Stel je een koolstofkristal voor dat zo ingewikkeld is dat het, hoe dicht je ook kijkt, altijd nog meer details heeft. Dat is wat deze verzamelingen zijn.

• Ze zijn overal: Als je in het interval [0,1] ook maar een heel klein stukje pakt, zitten daar altijd getallen uit deze "speciale club" in. Ze zijn overal te vinden.
• Ze zijn volledig leeg (in een andere zin): Als je kijkt naar de "grootte" (de maat) van deze verzameling, is hij vaak 0. Het is alsof je een heel groot zwembad vult met water, maar de "vaste stof" (de getallen) die je erin doet, heeft geen volume. Ze zijn er wel, maar ze vullen de ruimte niet op zoals normaal water dat doet.
• Ze hebben een fractale dimensie: Dit is een manier om te zeggen hoe "vol" of "complex" een vorm is. De auteurs hebben een formule bedacht om precies te berekenen hoe complex deze verzameling is, afhankelijk van welk gemiddelde gewicht je kiest.

B. De Dans van de Frequenties
De auteurs laten zien dat er een strakke relatie is tussen hoe vaak een kleur voorkomt en wat het gemiddelde gewicht is.

• Als je weet hoe vaak je zwarte kralen (1) en rode kralen (2) hebt, kun je precies berekenen wat het gemiddelde gewicht is.
• Maar hier wordt het gek: Als je de frequentie van één kleur niet kunt bepalen (bijvoorbeeld, de zwarte kralen komen soms in blokken van 100, dan 1, dan 1000, dan 1... en dat patroon herhaalt zich nooit echt), dan is het ook onmogelijk om het gemiddelde gewicht te bepalen. Het ene hangt direct af van het andere.

C. De "Kip en Ei" Probleem
De paper laat zien dat als je probeert een getal te bouwen met een specifiek gemiddelde, je vaak ook automatisch een specifiek patroon van frequenties creëert.

• Als je wilt dat het gemiddelde 1 is, moet je precies de juiste balans vinden tussen zwarte en rode kralen.
• De auteurs bewijzen dat er voor elk mogelijk gemiddelde (tussen 0 en 2) een enorm groot aantal getallen bestaat die dit gemiddelde hebben. Het is een "ocean" van getallen, maar een ocean die onzichtbaar is voor het blote oog als je naar de "grootte" kijkt.

4. Waarom is dit interessant?

Stel je voor dat je een stad bouwt.

• De gewone getallen zijn de straten waar iedereen woont. Ze zijn groot, vol en normaal.
• De speciale getallen (deze fractalen) zijn de geheime tuinen in de stad. Je kunt ze niet zien als je alleen naar de oppervlakte kijkt (ze hebben geen "oppervlakte"), maar als je door een microscoop kijkt, zie je dat ze oneindig complex zijn. Ze hebben een eigen structuur die heel anders is dan de rest van de stad.

De auteurs hebben de blauwdrukken van deze geheime tuinen getekend. Ze hebben precies uitgerekend hoe ingewikkeld de structuur is (de fractale dimensie) voor elk mogelijk gemiddelde dat je kunt bedenken.

Kort samengevat:
Deze paper is een reis naar de grens van de wiskunde waar getallen niet meer "normaal" zijn. Het laat zien dat zelfs als getallen er op het eerste gezicht raar uitzien (met rare patronen van cijfers), ze toch een prachtige, complexe en meetbare structuur hebben. Het is alsof ze de "DNA-structuur" van deze mysterieuze getallen hebben ontcijferd.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Linear Fractals of the Besicovitch–Eggleston Type" van M. V. Pratsiovytyi en S. O. Klymchuk, geschreven in het Nederlands.

Titel: Lineaire fractalen van het Besicovitch–Eggleston-type

Auteurs: M. V. Pratsiovytyi en S. O. Klymchuk
Context: Onderzoek naar de topologische, metrische en fractale eigenschappen van verzamelingen van reële getallen in het interval $[0, 1]$ met een specifieke asymptotische gemiddelde waarde van cijfers in hun ternaire (3-adische) voorstelling.

---

1. Probleemstelling

Het artikel richt zich op de studie van verzamelingen van getallen waarbij de asymptotische gemiddelde waarde van de cijfers (asymptotic mean of digits) een vooraf bepaalde waarde $a$ heeft.

• Voor een getal $x \in [0, 1]$ met een $s$-adische voorstelling $\Delta_s \alpha_1 \alpha_2 \dots$ wordt de asymptotische gemiddelde waarde gedefinieerd als:
  $$r(x) = \lim_{n \to \infty} \frac{1}{n} \sum_{i=1}^n \alpha_i(x)$$
  (mits deze limiet bestaat).
• De auteurs onderzoeken specifiek het geval van het ternaire stelsel ($s=3$), waarbij de cijfers $\alpha_i \in \{0, 1, 2\}$ zijn.
• Het centrale probleem is het karakteriseren van de verzameling $S_a = \{x : r(x) = a\}$ voor $a \in [0, 2]$. De auteurs willen de topologische structuur, de Lebesgue-maat en de Hausdorff-Besicovitch fractale dimensie van deze verzamelingen begrijpen, en hoe deze relateert aan de klassieke verzamelingen van Besicovitch-Eggleston (waarbij de frequenties van individuele cijfers vastliggen).

2. Methodologie

De auteurs gebruiken een combinatie van analytische getaltheorie, maattheorie en fractale meetkunde:

• Relatie tussen frequentie en gemiddelde: Er wordt een strikt wiskundig verband gelegd tussen de asymptotische frequentie van cijfers ($\nu_i(x)$) en de asymptotische gemiddelde waarde ($r(x)$). Voor het ternaire stelsel geldt: $r(x) = \nu_1(x) + 2\nu_2(x)$.
• Verdeling in deelverzamelingen: De verzameling $S_a$ wordt opgesplitst in twee disjuncte deelverzamelingen:
  1. $K_a$: Getallen waarbij de frequenties van alle cijfers bestaan.
  2. $M_a$: Getallen waarbij de frequentie van het cijfer 0 niet bestaat (en bij uitbreiding ook die van andere cijfers, afhankelijk van $r(x)$).
• Optimalisatie voor fractale dimensie: Om de Hausdorff-dimensie van $K_a$ te bepalen, maximaliseren de auteurs de entropie-functie (gebaseerd op de formule van Besicovitch-Eggleston) onder de lineaire restricties die worden opgelegd door de som van frequenties ($\sum \nu_i = 1$) en de gewenste gemiddelde waarde ($\nu_1 + 2\nu_2 = a$).
• Constructieve bewijzen: Er worden constructieve methoden gebruikt om de dichtheid en continuïteitseigenschappen van frequentiefuncties aan te tonen, inclusief het construeren van getallen zonder gedefinieerde frequenties.

3. Belangrijkste Bijdragen en Resultaten

A. Relaties tussen Cijferfrequentie en Gemiddelde

• Lemma 2: Voor ternaire getallen waarbij alle cijferfrequenties bestaan, geldt de lineaire relatie:
  $$r(x) = \nu_1(x) + 2\nu_2(x)$$
• Lemma 6: Als de gemiddelde waarde $r(x)$ en de frequentie $\nu_0(x)$ bestaan, dan bestaan ook $\nu_1(x)$ en $\nu_2(x)$. Als $r(x)$ bestaat maar $\nu_0(x)$ niet, dan bestaan $\nu_1(x)$ en $\nu_2(x)$ ook niet.
• Lemma 4: Er is een symmetrie: $\nu_i(x) = \nu_{2-i}(1-x)$.

B. Eigenschappen van de Frequentiefunctie

• Theorema 2: De frequentiefunctie $\nu_i(x)$ is:
  1. Begrensd en neemt alle waarden in $[0, 1]$ aan.
  2. Onbepaald op een dichte verzameling in $[0, 1]$.
  3. Overal discontinu in $[0, 1]$.
• Lemma 5: Zelfs als de frequentie op een punt $x_0$ bestaat, bestaat de limiet van de frequentiefunctie $\lim_{x \to x_0} \nu_i(x)$ niet. Dit benadrukt de extreme pathologische aard van deze functies.

C. Eigenschappen van de Verzameling $K_a$ (waar frequenties bestaan)

De verzameling $K_a$ (getallen met een vastgesteld gemiddelde $a$ en bestaande frequenties) heeft de volgende eigenschappen:

• Topologie: $K_a$ is een continuüm (heeft de kardinaliteit van het continuüm) en is overal dicht in $[0, 1]$.
• Lebesgue-maat:
  • Als $a = 1$: De verzameling heeft volledige Lebesgue-maat ($\lambda(K_1) = 1$). Dit komt omdat $K_1$ de verzameling van "normale getallen" in basis 3 bevat (waar $\nu_0=\nu_1=\nu_2=1/3$, wat resulteert in $r(x)=1$).
  • Als $a \neq 1$: De verzameling heeft Lebesgue-maat 0.
• Fractale Dimensie: De auteurs leiden een expliciete formule af voor de Hausdorff-Besicovitch dimensie $\alpha_0(K_a)$. Deze wordt gevonden door de entropie te maximaliseren onder de gegeven restricties. De formule is:
  $$\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]$$
  waarbij $t = \sqrt{1 + 6a - 3a^2}$.
• Specifiek geval $a=1$: De dimensie is gelijk aan 1, wat consistent is met het feit dat de verzameling een volledige maat heeft.

D. De Verzameling $M_a$

De verzameling $M_a$ (waarbij frequenties niet bestaan) vormt een "superfractaal" met een Hausdorff-dimensie van 1, ongeacht de waarde van $a$, hoewel de focus van dit specifieke artikel meer ligt op de analyse van $K_a$.

4. Betekenis en Conclusie

Dit artikel draagt significant bij aan de theorie van fractale verzamelingen en de getaltheorie van $s$-adische representaties:

1. Verbinding van concepten: Het verduidelijkt de relatie tussen twee verschillende manieren om de "typische" eigenschappen van getallen te beschrijven: via de frequentie van individuele cijfers (Besicovitch-Eggleston) en via de sommatie van cijfers (asymptotisch gemiddelde).
2. Parametrisatie van fractalen: Het biedt een exacte formule voor de fractale dimensie van lineaire restricties op de cijferverdeling in het ternaire stelsel. Dit generaliseert eerdere resultaten die vaak beperkt waren tot het geval van gelijke frequenties (normale getallen).
3. Topologische inzicht: De resultaten tonen aan dat verzamelingen van getallen met een specifiek cijfergemiddelde, hoewel ze vaak een maat van nul hebben (voor $a \neq 1$), toch topologisch zeer rijk zijn (overal dicht en continuüm).
4. Toepassing: De methoden en formules zijn relevant voor het onderzoek naar singuliere verdelingen, ergodische theorie en de geometrische eigenschappen van verzamelingen gedefinieerd door asymptotische gedragingen van cijfers.

Samenvattend generaliseren de auteurs de theorie van Besicovitch-Eggleston naar verzamelingen gedefinieerd door een lineaire combinatie van cijferfrequenties (het gemiddelde), en leveren ze een volledige karakterisering van de maat- en dimensie-eigenschappen van deze verzamelingen in het ternaire stelsel.