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

Dit artikel beschrijft de topologische, metrische en fractale eigenschappen van de verzameling reële getallen met een gegeven asymptotisch gemiddelde van de cijfers in hun 4-adische voorstelling, waarbij de frequenties van deze cijfers bestaan, en levert een constructie-algoritme, bewijst continuïteit en dichtheid, en bepaalt de voorwaarden voor Lebesgue-maat en de Hausdorff-Besicovitch-dimensie.

De kern

De Digitale Dans van de Cijfers: Een Reis door de Wiskunde van 4-tallige Getallen

Stel je voor dat elk getal tussen 0 en 1 een onbeëindige dans is, waarbij elke danser een specifiek cijfer voorstelt. In onze gewone wereld gebruiken we het tientallige stelsel (cijfers 0 tot 9). Maar in dit wetenschappelijke artikel kijken de auteurs, Pratsiovytyi en Klymchuk, naar een heel andere dansvloer: het viertallige stelsel (de "4-adische" representatie). Hier mogen de dansers alleen de cijfers 0, 1, 2 en 3 zijn.

De vraag die de auteurs zich stellen, is als volgt: Wat gebeurt er als we kijken naar de "gemiddelde energie" van deze dans?

1. De Gemiddelde Dansstap (De Asymptotische Gemiddelde)

Stel je voor dat je een getal als een lange rij cijfers ziet: 0, 1, 3, 2, 0, 1, ....
Als je naar de eerste 100 cijfers kijkt en je telt ze op en deelt door 100, krijg je een gemiddelde. Als je dit doet voor de eerste 1.000.000 cijfers, en dan voor 1 biljoen, en die gemiddelde blijft stabiel, dan hebben we een asymptotisch gemiddelde.

• Als je alleen maar 0's ziet, is het gemiddelde 0.
• Als je alleen maar 3's ziet, is het gemiddelde 3.
• Als je een perfecte mix hebt (evenveel 0's, 1's, 2's en 3's), is het gemiddelde 1,5.

De auteurs bestuderen groepen mensen (getallen) die allemaal precies hetzelfde gemiddelde hebben. Ze noemen deze groepen $S_\theta$.

2. De Twee Soorten Dansers: Normaal en Abnormaal

In de wiskunde zijn er twee soorten dansers:

• De "Normale" Dansers: Dit zijn de getallen waar elke cijfer (0, 1, 2, 3) precies even vaak voorkomt, net zoals een eerlijk muntje dat even vaak kop als munt geeft. De meeste willekeurige getallen zijn "normaal".
• De "Abnormale" Dansers: Dit zijn de getallen waar bepaalde cijfers vaker of minder vaak voorkomen, of waar de frequentie zelfs niet stabiel is.

De auteurs kijken specifiek naar de abnormale dansers die toch een vast gemiddelde hebben. Ze splitsen deze groep op in drie subgroepen:

1. $\Theta_1$: De dansers waarbij je precies kunt zeggen hoe vaak elk cijfer voorkomt (de frequenties bestaan).
2. $\Theta_2$: De dansers waarbij het soms wel, soms niet duidelijk is.
3. $\Theta_3$: De dansers waarbij de frequenties volledig chaotisch zijn.

Het artikel focust zich op de eerste groep ($\Theta_1$), omdat die het meest interessant is voor hun onderzoek.

3. De Verrassende Eigenschappen van deze Groepen

De auteurs ontdekken drie fascinerende dingen over deze groepen getallen:

A. Ze zijn overal (Overal Dicht)

Stel je een zwembad voor dat vol zit met blauwe druppels (de getallen met een specifiek gemiddelde). Je zou denken dat deze druppels misschien alleen in de hoek zitten. Maar nee! Als je ook maar een heel klein beetje in het zwembad kijkt, vind je altijd een blauwe druppel.
In wiskundetaal zeggen ze: deze verzameling is "overal dicht". Je kunt dus altijd een getal vinden dat precies het gewenste gemiddelde heeft, hoe klein het stukje getallenlijst ook is dat je bekijkt.

B. Ze zijn onzichtbaar voor de gewone maatstaf (Lebesgue-maat)

Dit is het meest verbluffende deel. Als je kijkt naar de "grootte" van deze groepen op de manier waarop we gewone lengtes meten (zoals de lengte van een lijn), dan is de grootte nul.

• Analogie: Stel je een heel groot park voor (alle getallen tussen 0 en 1). De "normale" getallen vullen het hele park. De "abnormale" getallen met een specifiek gemiddelde zijn als een onzichtbaar spook in dat park. Je kunt er doorheen lopen en je zult ze nooit echt "zien" met je gewone ogen, omdat ze geen enkele ruimte innemen. Ze bestaan wel, maar ze zijn "dun" als een spinnenweb.
• Uitzondering: Als het gemiddelde precies 1,5 is (de perfecte mix), dan is de groep juist weer groot en vult hij het hele park!

C. Ze zijn oneindig complex (Fractale Dimensie)

Hoewel deze groepen "dun" zijn (grootte 0), zijn ze niet leeg. Ze hebben een ingewikkelde, kromme structuur die wiskundigen fractaal noemen. Denk aan een sneeuwvlok of een broccoli: als je er heel dicht op kijkt, zie je steeds meer details.
De auteurs berekenen hoe "ruw" of "complex" deze structuur is. Ze vinden dat de complexiteit afhangt van het gewenste gemiddelde. Hoe verder het gemiddelde afwijkt van de perfecte mix (1,5), hoe "dunner" en complexer de structuur wordt.

4. Hoe bouw je zo'n getal? (Het Bouwplan)

De auteurs geven ook een recept (een algoritme) om zo'n getal te bouwen.
Stel je wilt een getal maken dat een gemiddelde van 1,0 heeft.

1. Je neemt een blokje papier.
2. Je schrijft een bepaald aantal 0's, dan een aantal 1's, dan 2's en dan 3's, precies in de verhouding die nodig is om het gemiddelde 1,0 te krijgen.
3. Je herhaalt dit blokje, maar elke keer maak je het blokje een stuk groter.
4. Als je dit oneindig vaak doet, krijg je een getal dat precies het gewenste gemiddelde heeft.

Het is alsof je een muur bouwt met bakstenen van verschillende kleuren. Als je de verhouding van de kleuren goed houdt, krijg je een muur met de juiste "kleurmix", zelfs als de muur oneindig hoog wordt.

Conclusie

Kort samengevat: Dit artikel laat zien dat er binnen de wereld van de getallen een verborgen universum bestaat. Hoewel de meeste getallen "normaal" zijn, zijn er ook groepen getallen die een heel specifiek, vast patroon volgen. Deze groepen zijn:

• Overal aanwezig (je kunt ze overal vinden).
• Onzichtbaar voor gewone metingen (ze hebben geen lengte).
• Oneindig complex (ze hebben een fractale structuur).

Het is een mooi voorbeeld van hoe wiskunde laat zien dat zelfs in het meest chaotische ogende universum van getallen, er diepe, verborgen orde en schoonheid schuilgaat.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Topological, Metric and Fractal Properties of the Set of Real Numbers with a Given Asymptotic Mean of Digits in their 4–adic Representation" van M. V. Pratsiovytyi en S. O. Klymchuk, in het Nederlands.

Titel

Topologische, metrische en fractale eigenschappen van de verzameling reële getallen met een gegeven asymptotisch gemiddelde van cijfers in hun 4-adische representatie (in het geval dat de cijferfrequenties bestaan).

1. Probleemstelling en Context

Het artikel onderzoekt de structurele eigenschappen van specifieke deelverzamelingen van het interval $[0, 1]$. De focus ligt op reële getallen die een asymptotisch gemiddelde van cijfers hebben in hun 4-adische representatie.

• Definitie: Voor een getal $x \in [0, 1]$ met 4-adische representatie $x = \sum_{k=1}^{\infty} \alpha_k(x) 4^{-k}$ (waarbij $\alpha_k \in \{0, 1, 2, 3\}$), wordt het asymptotisch gemiddelde $r(x)$ gedefinieerd als:
  $$r(x) = \lim_{n \to \infty} \frac{1}{n} \sum_{k=1}^{n} \alpha_k(x)$$
  mits deze limiet bestaat.
• De Verzameling $S_\theta$: De auteurs bestuderen de verzameling $S_\theta = \{x : r(x) = \theta\}$, waarbij $\theta \in [0, 3]$ een vaste parameter is.
• Voorwaarde: Het onderzoek concentreert zich specifiek op het geval waarin de frequenties van alle individuele cijfers ($\nu_i(x) = \lim_{n \to \infty} \frac{N_i(x,n)}{n}$) bestaan. De verzameling wordt onderverdeeld in $\Theta_1$ (waarbij alle frequenties bestaan), $\Theta_2$ (waarbij sommige bestaan en andere niet), en $\Theta_3$ (waarbij geen enkele bestaat). De analyse richt zich op de subset $\Theta_1$.

2. Methodologie

De auteurs combineren methoden uit de getaltheorie, maattheorie en fractale meetkunde:

• Relatie met Besicovitch-Eggleston verzamelingen: De verzameling $\Theta_1$ wordt geanalyseerd als een unie van Besicovitch-Eggleston verzamelingen $E[\tau_0, \tau_1, \tau_2, \tau_3]$, waarbij $\tau_i$ de frequentie van cijfer $i$ voorstelt. De voorwaarde voor een gegeven gemiddelde $\theta$ is:
  $$\tau_1 + 2\tau_2 + 3\tau_3 = \theta \quad \text{en} \quad \sum_{i=0}^3 \tau_i = 1$$
• Optimalisatie van Entropie: Om de fractale dimensie te schatten, minimaliseren de auteurs de functie $f(\tau) = \sum \tau_i \ln \tau_i$ (gerelateerd aan de entropie) onder de gegeven lineaire constraints.
• Constructieve Algoritmen: Er wordt een expliciet algoritme ontwikkeld om getallen te construeren die behoren tot deze verzamelingen. Dit gebeurt door blokken van cijfers te genereren waarbij de verhouding van de cijfers in elke blokkenschaal convergeert naar de gewenste frequenties.
• Maattheoretische Analyse: Er wordt gebruikgemaakt van de eigenschappen van normale getallen (waarbij alle frequenties $1/4$ zijn) om te bepalen of de verzameling een Lebesgue-maat van 0 of 1 heeft.

3. Belangrijkste Resultaten

A. Topologische Eigenschappen

• Dichtheid: De verzameling $\Theta_1$ is dicht in het interval $[0, 1]$. Dit betekent dat elk willekeurig klein interval een punt uit $\Theta_1$ bevat.
• Geslotenheid: De verzameling is gesloten.
• Continuïteit: De verzameling is een continuüm (ononderbroken).

B. Maattheoretische Eigenschappen (Lebesgue-maat)

De maat van de verzameling hangt af van de waarde van $\theta$:

• Geval $\theta \neq 3/2$: De verzameling $\Theta_1$ heeft een Lebesgue-maat van 0. Dit komt omdat voor $\theta \neq 3/2$ de verzameling geen "normale getallen" bevat (normale getallen hebben een gemiddelde van $1.5$ in basis 4). Aangezien bijna alle reële getallen normaal zijn, is de maat van de afwijkende verzameling nul.
• Geval $\theta = 3/2$: De verzameling $\Theta_1$ heeft een volledig Lebesgue-maat (maat 1). In dit geval bevat de verzameling de set van normale getallen (waarbij $\tau_i = 1/4$ voor alle $i$), wat een maat van 1 heeft.

C. Fractale Eigenschappen (Hausdorff-Besicovitch Dimensie)

• Dimensie Schatting: De auteurs leiden een ondergrens af voor de Hausdorff-dimensie $\alpha_0(\Theta_1)$.
  $$\alpha_0(\Theta_1) \geq \frac{-m(\theta)}{\ln 4}$$
  waarbij $m(\theta)$ het minimum is van de functie $\sum \tau_i \ln \tau_i$ onder de constraints.
• Uitzonderlijke Gevallen:
  • Voor $\theta = 0$: De enige mogelijke frequentie is $\tau_0=1$ en de rest 0. De dimensie is 0. De verzameling is een "anomalously fractal" verzameling (een zeer dunne, maar dichte verzameling).
  • Voor $\theta = 3$: De enige mogelijke frequentie is $\tau_3=1$ en de rest 0. De dimensie is eveneens 0.
  • Voor $0 < \theta < 3$(en$\theta \neq 3/2$): De dimensie is strikt positief, maar kleiner dan 1.

D. Constructie en Uniekheid

• Er wordt een algoritme gepresenteerd om een specifiek punt $x \in \Theta_1$ te construeren door blokken van cijfers toe te voegen met lengtes die afhangen van een rij $s_k$ en frequenties $\tau_{ik}$.
• Theorema 5 bewijst dat verschillende keuzes van de rij $s_k$ of de frequentiematrices leiden tot verschillende reële getallen, mits bepaalde convergentievoorwaarden worden geschonden. Dit bevestigt de rijkdom en complexiteit van de verzameling.

4. Bijdrage en Significantie

• Verrijking van de theorie: Waar eerdere werken (zoals [10] in de referentielijst) de case $s=3$ behandelden, toont dit artikel aan dat voor $s=4$ (en hoger) de verzamelingen $S_\theta$ rijker en complexer zijn.
• Verbinding tussen gemiddelde en frequentie: Het artikel maakt een duidelijke link tussen het concept van het "asymptotisch gemiddelde van cijfers" en de klassieke "cijferfrequenties". Het toont aan dat het bestaan van het gemiddelde niet automatisch het bestaan van individuele frequenties impliceert, maar dat de studie van $\Theta_1$ (waar beide bestaan) leidt tot specifieke fractale structuren.
• Toepassingen: De resultaten zijn relevant voor de studie van singuliere kansverdelingen, dynamische systemen en de meetkunde van getallen met specifieke cijferpatronen. De methode van het construeren van getallen met specifieke asymptotische eigenschappen is een krachtig instrument in de fractale analyse.

Conclusie

Het artikel biedt een grondige analyse van de verzameling getallen met een vast asymptotisch cijfergemiddelde in basis 4. De auteurs bewijzen dat deze verzamelingen, afhankelijk van de parameter $\theta$, ofwel een fractale dimensie van 0 hebben (bij de extremen 0 en 3), of een positieve fractale dimensie hebben, en dat ze een Lebesgue-maat van 0 hebben tenzij $\theta = 1.5$. De constructieve aanpak biedt een concrete manier om elementen uit deze complexe verzamelingen te genereren.