🔢 mathematics

Decomposition of real numbers into sums of Lüroth sets

Dit artikel onderzoekt de decompositie van reële getallen in sommen van Lüroth-sets met specifieke cijferbeperkingen, waarbij resultaten over congruentie modulo 1 en de Hausdorff-dimensie worden gevestigd die klassieke bevindingen over kettingbreuken uitbreiden naar Lüroth-ontwikkelingen.

Oorspronkelijke auteurs: Maiken Gravgaard, Ying Wai Lee

Gepubliceerd 2026-02-18

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Maiken Gravgaard, Ying Wai Lee

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Het Grote Puzzelstukje: Hoe getallen uit elkaar vallen en weer samenkomen

Stel je voor dat je een gigantische, oneindige legpuzzel hebt. De stukjes van deze puzzel zijn alle mogelijke reële getallen (zoals 1, 3,14, 0,001, enzovoort). Wiskundigen zijn al eeuwenlang gefascineerd door de vraag: Kunnen we deze puzzelstukjes op een slimme manier in groepjes verdelen, zodat we ze weer kunnen samenvoegen tot een heel nieuwe, complete afbeelding?

Dit artikel, geschreven door Maiken Gravgaard en Ying Wai Lee, onderzoekt precies dit, maar dan met een heel specifiek type puzzelstukje: de Lüroth-getallen.

1. Wat zijn Lüroth-getallen? (De "Lego-blokjes")

Om dit te begrijpen, moeten we eerst kijken naar hoe we getallen schrijven.

We kennen de decimale schrijfwijze: 0,75 is 7 tienden en 5 honderdsten.
We kennen ook breuken of decimale breuken.

Maar er is een andere, wat exotischere manier om getallen te schrijven, genaamd de Lüroth-ontwikkeling.
Stel je voor dat je een getal niet schrijft met cijfers 0-9, maar met een rijtje speciale Lego-blokjes (noem ze $d_1, d_2, d_3...$ ). Elk blokje heeft een specifieke grootte en vorm. Als je deze blokjes op een heel specifieke manier stapelt, krijg je een getal.

De auteurs kijken naar groepen getallen waarbij ze regels stellen voor welke blokjes je mag gebruiken:

De "Kleine" Groep ( $L_{\le k}$ ): Je mag alleen blokjes gebruiken die kleiner zijn dan een bepaald getal $k$ . (Bijvoorbeeld: alleen blokjes van grootte 2, 3 of 4).
De "Grote" Groep ( $L_{\ge k}$ ): Je mag alleen blokjes gebruiken die groter zijn dan een bepaald getal $k$ . (Bijvoorbeeld: alleen blokjes van grootte 100, 101, 102...).

2. Het Experiment: Het "Optellen" van de Puzzelstukjes

De kernvraag van het artikel is: Wat gebeurt er als we twee van deze groepen getallen bij elkaar optellen?

In de wiskunde noemen we dit een somset.

Als je een getal uit groep A hebt en een getal uit groep B, en je telt ze bij elkaar op, krijg je een nieuw getal.
Doe je dit met alle mogelijke combinaties, wat voor een vorm ontstaat er dan?

De verrassende ontdekking:
Vaak zijn deze groepen getallen heel "hol" of "gezaagd" (ze lijken op een Cantor-set, een fractal met gaten). Je zou denken dat als je twee holle groepen optelt, je nog holle groepen krijgt.
Maar, net zoals je twee dunne, holle netten over elkaar kunt leggen om een volledig dicht doek te maken, blijken deze Lüroth-groepen soms elkaar perfect aan te vullen.

Het artikel bewijst dat:

Als je twee groepen "kleine" blokjes optelt (bijvoorbeeld $L_{\le 3} + L_{\le 5}$ ), krijg je soms een volledig, ononderbroken lijn van getallen. Er zijn geen gaten meer!
Soms lukt dit niet. Als je bijvoorbeeld twee groepen van "zeer kleine" blokjes ( $L_{\le 3} + L_{\le 3}$ ) optelt, blijven er nog steeds gaten over. Het is dan nog geen complete lijn.

3. De Metafoor van de "Gatenvuller"

Stel je voor dat je een muur hebt met gaten (de getallen die niet in je groep zitten).

De auteurs hebben ontdekt dat als je een groep met "kleine" gaten (beperkte blokjes) combineert met een groep met "grote" gaten (grote blokjes), ze elkaar perfect kunnen vullen.
Het artikel toont aan dat je met de juiste combinatie (bijvoorbeeld een groep met blokjes tot grootte $k+2$ en een groep met blokjes vanaf grootte $k$ ) de hele muur kunt dichten. Je kunt elk willekeurig getal maken door twee van deze specifieke getallen bij elkaar op te tellen.

4. De "Dikte" van de Gaten (Fractals en Dimensie)

Naast het vullen van gaten, kijken de auteurs ook naar hoe "dik" of "vol" deze groepen getallen zijn. Dit noemen ze de Hausdorff-dimensie.

Een lijn heeft dimensie 1.
Een punt heeft dimensie 0.
Een fractal (zoals een sneeuwvlok) heeft een dimensie ergens tussen 0 en 1.

De auteurs berekenen precies hoe "dik" deze Lüroth-groepen zijn. Ze ontdekken dat als je twee van deze groepen optelt, de totale "dikte" vaak groter wordt dan 1. Als de som van de diktes groter is dan 1, is de kans heel groot dat je een volledig, ononderbroken stuk krijgt (een interval).

5. Waarom is dit belangrijk? (De "Waarom"-vraag)

Dit klinkt misschien als abstract wiskundig gedoe, maar het heeft diepere betekenis:

Verbinding tussen gebieden: Het laat zien hoe wiskundige patronen (getaltheorie) en de vorm van figuren (fractale meetkunde) met elkaar verbonden zijn.
Voorspellen: Het helpt wiskundigen te begrijpen hoe complexe systemen zich gedragen. Net zoals je kunt voorspellen of twee netten elkaar overlappen, kun je nu voorspellen of bepaalde groepen getallen samen alles kunnen vormen.
Vergelijking met andere systemen: De auteurs vergelijken hun resultaten met bekende systemen zoals kettingbreuken (een andere manier om getallen te schrijven). Ze tonen aan dat de regels voor Lüroth-getallen opmerkelijk lijken op die van kettingbreuken, maar ook unieke verschillen hebben.

Samenvatting in één zin:

De auteurs hebben bewezen dat je door slimme combinaties van getallen met specifieke "bouwregels" (Lüroth-getallen) vaak een volledig, gatenvrij universum van getallen kunt creëren, en ze hebben precies berekend hoe dik die bouwstenen moeten zijn om dat te bereiken.

Het is als het bewijzen dat je met twee soorten gebroken glas (elk met hun eigen patroon van scheuren) een perfect helder raam kunt maken, zolang je de juiste maten kiest.

Titel: Decompositie van reële getallen in sommen van L¨uroth-sets

Auteurs: Maiken Gravgaard en Ying Wai Lee
Tijdschrift: International Journal of Number Theory (2026)

1. Probleemstelling en Context

Het artikel onderzoekt de decompositie van reële getallen als sommen van elementen uit specifieke fractale verzamelingen, bekend als L¨uroth-sets. Deze sets worden gedefinieerd door getallen waarvan de L¨uroth-expansie beperkte cijfers (digits) heeft.

De auteurs plaatsen dit probleem in de context van de wiskundige geschiedenis van somsets (Minkowski-sommen) van fractale verzamelingen. Een klassiek resultaat is dat de som van twee middendrit-Cantor-sets ( $C_{1/3} + C_{1/3}$ ) het volledige interval $[0, 2]$ vormt, ondanks dat $C_{1/3}$ een Lebesgue-maat van 0 heeft. In de theorie van kettingbreuken is er uitgebreid onderzoek gedaan naar verzamelingen $F_{\le k}$ (waarbij de partiële quotiënten begrensd zijn door $k$ ) en $F_{\ge k}$ (waarbij ze ondergrenzen hebben). Bekende resultaten (zoals die van Hall, Hlavka en Astels) tonen aan dat bepaalde sommen van deze kettingbreuk-sets congruent zijn met $\mathbb{R}$ modulo 1 (d.w.z. elke reële getal kan worden geschreven als een som van elementen uit deze sets plus een geheel getal).

Het centrale vraagstuk van dit artikel is: Gelden soortgelijke resultaten voor L¨uroth-expansies? L¨uroth-expansies zijn een alternatieve representatie van reële getallen in het interval $(0, 1]$ , gerelateerd aan de L¨uroth-map (een lineaire dynamische systeem), in tegenstelling tot de niet-lineaire Gauss-map voor kettingbreuken.

2. Methodologie

De auteurs combineren technieken uit de getaltheorie, dynamische systemen en de meetkunde van fractalen. De kernmethodologie omvat:

Constructie als General Cantor Sets: De auteurs modelleren L¨uroth-sets ( $L_A$ ) als algemene Cantor-sets. Ze introduceren een "Stepwise Complete Construction" (SCC) om deze sets te construeren door open intervallen iteratief te verwijderen uit een gesloten interval.
Dikte (Thickness) en $\gamma$ -waarden: Ze maken gebruik van de theorie van thickness ( $\tau$ $τ$ ) en de afgeleide $\gamma$ $γ$ -waarde ( $\gamma = \tau/(1+\tau)$ $γ = τ / (1 + τ)$ ), zoals ontwikkeld door Astels en Hlavka. Deze kwantiteiten meten hoe "dik" een fractale set is en bepalen of de som van twee sets een interval vormt.
- Als de som van de $\gamma$ -waarden van meerdere sets $\ge 1$ is, en bepaalde geometrische voorwaarden (grootte van gaten vs. lengte van intervallen) worden voldaan, dan vormt de som een interval.
Hausdorff-dimensie: Voor de analyse van de dimensie gebruiken ze resultaten van iteratieve functiesystemen (IFS) en de stelling van Peres-Shmerkin over de dimensie van somsets van attractoren.
Vergelijking met Kettingbreuken: De resultaten worden constant vergeleken met de bestaande theorie voor kettingbreuken ( $F_{\le k}, F_{\ge k}$ ) om analogieën en verschillen bloot te leggen.

3. Belangrijkste Bijdragen en Resultaten

A. Congruentie modulo 1 (Sommen die het volledige interval vullen)

De auteurs bewijzen dat bepaalde sommen van L¨uroth-sets congruent zijn met $\mathbb{R}$ modulo 1, wat betekent dat elke reële getal kan worden geschreven als een som van elementen uit deze sets plus een geheel getal.

Theorema 2.1 (Bovenbegrensde sets):
- $L_{\le 3} + L_{\le 5} \equiv \mathbb{R} \pmod 1$
- $L_{\le 4} + L_{\le 4} \equiv \mathbb{R} \pmod 1$
- $L_{\le 3} + L_{\le 3} + L_{\le 3} \equiv \mathbb{R} \pmod 1$
- Negatief resultaat: $L_{\le 3} + L_{\le 3} \not\equiv \mathbb{R} \pmod 1$ (de som is geen interval).
- Conjectuur: $L_{\le 3} + L_{\le 4} \equiv \mathbb{R} \pmod 1$ (nog niet bewezen, maar sterk gesuggereerd door data).
Theorema 2.3 (Onderbegrensde sets):
Voor een som van $n$ sets $L_{\ge k_j}$ geldt dat de som congruent is met $\mathbb{R} \pmod 1$ als twee voorwaarden worden voldaan:
1. De som van de diameters van de sets is $\ge 1$ (een noodzakelijke voorwaarde).
2. De rij van ondergrenzen $(k_j)$ is niet te wijd verspreid (een technische voorwaarde om gaten te vullen).
  Dit generaliseert eerdere resultaten voor kettingbreuken.
Corollary 2.4: Voor elke $k \ge 2$ geldt dat $k \cdot L_{\ge k} \equiv \mathbb{R} \pmod 1$ . Dit is het L¨uroth-analogon van een bekend resultaat voor kettingbreuken.
Theorema 2.5 (Gemengde sets):
Voor elke $k \ge 2$ geldt: $L_{\le k+2} + L_{\ge k} \equiv \mathbb{R} \pmod 1$ .
Dit suggereert dat een combinatie van een boven- en onderbegrensde set vaak voldoende is om het interval te vullen. De auteurs conjectureren dat zelfs $L_{\le k} + L_{\ge k} \equiv \mathbb{R} \pmod 1$ waar is.

B. Hausdorff-dimensie

De auteurs analyseren de fractale dimensie van deze sets en hun sommen.

Theorema 2.9: Voor eindige verzamelingen $A$ en $B$ geldt:
$\dim(L_A + L_B) = \min\{1, \dim L_A + \dim L_B\}$
Dit bevestigt dat er geen "dimensie-overlap" is die de som kleiner maakt dan de som van de individuele dimensies, zolang de som $\le 1$ is.
Theorema 2.10: Ze geven een ondergrens voor de dimensie van $L_{\ge k}$ :
$\dim L_{\ge k} > \frac{1}{2} + \frac{1}{2 \log(\max\{16, k\})}$
Dit is analoog aan resultaten van Good voor kettingbreuken.
Theorema 2.11: Voor elke $k \ge 2$ geldt:
$\dim(L_{\ge k} + L_{\ge k}) = 1$
Hoewel de somset een volledige dimensie heeft (d.w.z. het is "groot" in de zin van dimensie), is het nog niet bewezen of het een interval bevat (zie Conjectuur 2.12).

4. Significatie en Impact

Uitbreiding van de Getaltheorie: Het artikel breidt de klassieke theorie over sommen van kettingbreuk-sets uit naar L¨uroth-expansies. Dit is significant omdat L¨uroth-expansies een lineair dynamisch systeem vertegenwoordigen, terwijl kettingbreuken een niet-lineair systeem zijn. Het vinden van analoge resultaten suggereert een diepere, universele structuur in de additieve eigenschappen van getallen met beperkte cijferrepresentaties.
Technische Vooruitgang: De toepassing van de "thickness"-theorie van Astels op L¨uroth-sets is een belangrijke methodologische bijdrage. De auteurs hebben de complexe constructie van L¨uroth-sets succesvol vertaald naar de taal van algemene Cantor-sets, waardoor bestaande krachtige stellingen (zoals die van Hlavka en Astels) direct toepasbaar werden.
Nieuwe Richtingen: Het artikel introduceert nieuwe conjecturen (zoals Conjectuur 2.6 en 2.7) en identificeert open problemen, zoals de exacte grens voor de som $L_{\le 3} + L_{\le 4}$ en de relatie tussen "slecht benaderbare" en "goed benaderbare" getallen in de context van L¨uroth-expansies.

Kortom, dit werk levert een rigoureuze wiskundige onderbouwing voor de decompositie van reële getallen via L¨uroth-expansies en vestigt een nieuwe brug tussen de theorie van fractale somsets en de getaltheorie.