🔢 mathematics

Calculating the natural density of Mersenne numbers using nonstandard mathematical analysis

Door gebruik te maken van niet-standaard wiskundige analyse en een tweedimensionale matrix gebaseerd op de Pepis-Kalmar-paaringsfunctie, stelt het artikel voor dat de natuurlijke dichtheid van Mersenne-getallen een infinitesimale waarde is die gelijk is aan de reciproke van de oneindige som van de reciproken van oneven getallen.

Oorspronkelijke auteurs: Gennady Eremin

Gepubliceerd 2026-07-07

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Gennady Eremin

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

De Grote Vraag: Hoe "druk" zijn Mersenne-getallen?

Stel je voor dat je een oneindige rij mensen hebt met nummers 0, 1, 2, 3, enzovoort. Dit is de verzameling van alle natuurlijke getallen. Kies nu een specifieke groep mensen uit deze rij: de Mersenne-getallen (0, 1, 3, 7, 15, 31...). Dit zijn getallen die één minder zijn dan een macht van twee.

Wiskundigen vragen zich al lang af: Als je naar een enorme brok van deze rij kijkt, welk percentage van de mensen zijn Mersenne-getallen?

Is het 50%? (Zoals even getallen).
Is het 10%?
Of is het zo minuscuul dat het effectief nul is?

Lama lang was dit een onopgelost mysterie. Dit artikel beweert het op te lossen met een speciale vorm van wiskunde genaamd Niet-standaard Analyse.

Het Gereedschap: Een Gigantische Spreadsheet (De Matrix)

Om dit op te lossen, kijkt de auteur niet alleen naar een enkele lijn met getallen. Hij bouwt een gigantische, tweedimensionale spreadsheet (een matrix) die elk enkel natuurlijk getal precies één keer bevat. Geen duplicaten, geen ontbrekende getallen.

Hij gebruikt een slimme sorteerregel (de Pepis-Kalmar-paaringsfunctie) om deze spreadsheet te organiseren:

De Rijen (Horizontaal): Dit zijn eenvoudige rekenkundige patronen. Als je naar een enkele rij kijkt, zijn de getallen gelijkmatig verdeeld.
De Kolommen (Verticaal): Dit is het interessante deel. Elke kolom begint met een even getal (de "wortel") en volgt vervolgens een specifieke regel om het volgende getal te genereren: Vermenigvuldig met 2 en tel er 1 bij op.
- Voorbeeld: Begin met 0. De volgende is $2(0)+1 = 1$ . De volgende is $2(1)+1 = 3$ . De volgende is $2(3)+1 = 7$ .
- Dit creëert een "boom" van getallen die omhoog groeit. De allereerste kolom zijn de Mersenne-getallen. De volgende kolom is een soortgelijke familie genaamd Thabit-getallen, en zo verder.

De "Niet-standaard" Twist: Oneindig en Infinitesimaal

Standaard wiskunde heeft het meestal over limieten (het benaderen van nul). Dit artikel gebruikt Niet-standaard Analyse, wat "oneindig kleine" en "oneindig grote" getallen behandelt als werkelijke, vaste waarden.

Denk hierover na als volgt:

Oneindig Groot ( $\omega$ ): Stel je een getal voor dat zo groot is dat het groter is dan welk getal dan ook dat je kunt tellen.
Infinitesimaal ( $\epsilon$ ): Stel je een getal voor dat zo klein is dat het kleiner is dan elk breukje dat je kunt opschrijven, maar het is niet nul. Het is een "geest" van een getal.

De Berekening: Het Evenwicht in de Vergelijking Zoeken

De auteur kijkt naar de "dichtheid" (hoe druk de getallen zijn) in de kolommen van zijn spreadsheet.

De Rijen zijn Makkelijk: Als je naar de rijen kijkt, is de wiskunde eenvoudig. De eerste rij heeft een dichtheid van 1/2, de tweede 1/4, de derde 1/8, enzovoort. Als je al deze bij elkaar optelt ( $1/2 + 1/4 + 1/8...$ ), krijg je precies 1. Dit is logisch, omdat de hele spreadsheet 100% van alle getallen vertegenwoordigt.
De Kolommen zijn Lastig:
- De eerste kolom (Mersenne-getallen) is zo ijl dat de dichtheid een infinitesimaal getal is. Laten we deze piepkleine hoeveelheid $\epsilon$ noemen.
- De tweede kolom (Thabit-getallen) is nog ijler. De dichtheid is $\epsilon / 3$ .
- De derde kolom is nog ijler: $\epsilon / 5$ .
- De vierde: $\epsilon / 7$ .
- En zo verder, voor altijd.

De auteur betoogt dat als je de dichtheid van elke kolom bij elkaar optelt, je weer terug moet komen bij 1 (omdat de kolommen alle natuurlijke getallen dekken).

Hij stelt dus de volgende vergelijking op:
$1 = \epsilon + \frac{\epsilon}{3} + \frac{\epsilon}{5} + \frac{\epsilon}{7} + \dots$

Als je de kleine $\epsilon$ buiten de haakjes haalt, ziet het er zo uit:
$1 = \epsilon \times \left( 1 + \frac{1}{3} + \frac{1}{5} + \frac{1}{7} + \dots \right)$

De Conclusie

Het deel tussen de haakjes is de som van de reciproken (omgekeerde waarden) van alle oneven getallen ( $1 + 1/3 + 1/5...$ ). In de standaard wiskunde gaat deze som naar oneindig. In de niet-standaard visie van dit artikel is deze som een oneindig groot getal, dat de auteur $\omega$ noemt.

De vergelijking wordt dan:
$1 = \epsilon \times \omega$

Om de dichtheid van de Mersenne-getallen ( $\epsilon$ ) te vinden, deel je simpelweg 1 door dat enorme getal:
$\epsilon = \frac{1}{\omega}$

Wat Dit Betekent

Het artikel claimt twee hoofdzaken:

De dichtheid is NIET nul. Omdat $\epsilon$ een specifiek, niet-nul infinitesimaal getal is, hebben Mersenne-getallen een "positieve" (hoewel ongelooflijk kleine) dichtheid binnen de verzameling natuurlijke getallen.
De exacte waarde. De dichtheid is exact de reciproke (omgekeerde) van de som van de reciproken van alle oneven getallen.

In simpele woorden: De auteur bouwde een gigantisch rooster om getallen te organiseren. Hij ontdekte dat hoewel Mersenne-getallen extreem zeldzaam zijn (zo zeldzaam dat hun dichtheid een "infinitesimaal" is), ze niet niet-bestaand zijn. Hun "zeldzaamheid" is wiskundig in evenwicht met de oneindige som van oneven breuken om precies 1 te vormen.

Noot: Het artikel presenteert dit als een theoretische oplossing met behulp van specifieke niet-standaard wiskundige instrumenten. Het bespreekt geen praktische toepassingen, zoals cryptografie of computerwetenschappelijk gebruik, maar richt zich puur op het oplossen van dit theoretische getaltheoretische raadsel.

Technische Samenvatting: Het berekenen van de natuurlijke dichtheid van Mersenne-getallen met behulp van niet-standaard wiskundige analyse

Probleemstelling
Het artikel behandelt een langlopend open probleem in de getaltheorie: het bepalen van de natuurlijke dichtheid van de sequentie van Mersenne-getallen binnen de verzameling van niet-negatieve gehele getallen ( $\mathbb{N} = \{0, 1, 2, \dots\}$ ). Specifiek onderzoekt de auteur of deze dichtheid nul is of een positieve waarde heeft. Terwijl de standaardanalyse suggereert dat de dichtheid naar nul neigt naarmate het bereik toeneemt, streeft het artikel ernaar de aard van deze limiet te verklaren met behulp van niet-standaard wiskundige analyse.

Methodologie
De auteur hanteert een tweeledige aanpak die combinatorische getaltheorie combineert met niet-standaard analyse:

Matrixconstructie via Pepis-Kalmar-paring:
De auteur construeert een tweedimensionale matrix $\mathbb{M}$ die alle niet-negatieve gehele getallen zonder herhaling bevat. Deze matrix wordt gegenereerd met behulp van de Pepis-Kalmar-paringfunctie:
$f(x, y) = (2x + 1) \times 2^y - 1$
- Structuur: De $x$ -as vertegenwoordigt even getallen (beginnend bij 0) en de $y$ -as vertegenwoordigt de diepte van de sequentie.
- Kolommen (Mersenne-bomen): Elke kolom komt overeen met een specifieke $x$ $x$ -waarde en vormt een "unaire boom" (of Mersenne-boom) waarbij termen worden gegenereerd door de recursie $t' = 2t + 1$ $t^{'} = 2 t + 1$ .
  - De eerste kolom ( $x=0$ ) bevat de Mersenne-getallen ( $2^y - 1$ ).
  - De tweede kolom ( $x=1$ ) bevat Thabit-getallen ( $3 \times 2^y - 1$ ).
  - Opvolgende kolommen volgen het patroon $(2x+1) \times 2^y - 1$ .
- Uniciteit: De auteur bewijst dat alle termen in deze matrix uniek zijn, wat garandeert dat de matrix de verzameling van natuurlijke getallen $\mathbb{N}$ partitioneert.
Raamwerk van Niet-standaard Analyse:
Het artikel maakt gebruik van niet-standaard analyse, die werkelijke infinitesimale ( $\epsilon$ ) en oneindig grote ( $\omega$ ) grootheden introduceert als constante getallen in plaats van variabelen.
- Rijen: De natuurlijke dichtheid van elke rij (een rekenkundige progressie) wordt berekend als de inverse van het gemeenschappelijk verschil ( $1/2, 1/4, 1/8, \dots$ ). De som van deze dichtheden is gelijk aan 1, consistent met de dichtheid van $\mathbb{N}$ .
- Kolommen: De auteur analyseert de dichtheid van de kolommen. Voor de eerste kolom (Mersenne-getallen) wordt de dichtheid aangeduid als een infinitesimaal $\epsilon$ . Voor opvolgende kolommen ( $x=1, 2, \dots$ ) worden de dichtheden afgeleid als $\epsilon/3, \epsilon/5, \dots$ , overeenkomend met de oneven factoren $(2x+1)$ .

Belangrijkste Bijdragen en Resultaten
De primaire bijdrage is de afleiding van een specifieke vergelijking die de natuurlijke dichtheid van Mersenne-getallen relateert aan de som van de reciproken van oneven getallen.

Dichtheidsafleiding: Door de dichtheden van alle kolommen in de matrix op te tellen, vereensamigt de auteur de totale dichtheid met 1 (de dichtheid van $\mathbb{N}$ ). Dit levert de volgende vergelijking op:
$1 = \epsilon + \frac{\epsilon}{3} + \frac{\epsilon}{5} + \frac{\epsilon}{7} + \dots = \epsilon \times \left(1 + \frac{1}{3} + \frac{1}{5} + \frac{1}{7} + \dots\right)$
Definitie van $\omega$ : De term tussen haakjes wordt geïdentificeerd als $\omega$ , de som van de reciproken van alle oneven natuurlijke getallen, wat een oneindig grote waarde is in de niet-standaard analyse.
De Hoofdvergelijking: De relatie wordt geformaliseerd als:
$\epsilon \times \omega = 1 \quad \text{of} \quad \epsilon = \frac{1}{\omega}$
Stelling 2: Het artikel concludeert dat de natuurlijke dichtheid van Mersenne-getallen ( $\epsilon$ ) en de reciproke van de som van de reciproken van oneven natuurlijke getallen ( $1/\omega$ ) equivalente infinitesimale getallen zijn.

Betekenis en Claims
Het artikel beweert het openstaande probleem over de natuurlijke dichtheid van Mersenne-getallen op te lossen door te bewijzen dat de dichtheid positief (niet-nul) is.

Bewijs van Positiviteit: De auteur voert aan dat als $\epsilon$ nul zou zijn, de som van de kolomdichtheden nul zou zijn, wat in strijd is met het feit dat de matrix alle natuurlijke getallen dekt (dichtheid = 1). Daarom moet $\epsilon$ een positief infinitesimaal getal zijn.
Concrete Bepaling: Hoewel erkend wordt dat de distributiedichtheid van Mersenne-getallen traditioneel onbekend is in de standaard wiskunde, stelt het artikel dat het een "concrete vergelijking" heeft verkregen voor het bepalen van deze dichtheid binnen het kader van de niet-standaard analyse.
Equivalentie: Het resultaat vestigt een equivalentie tussen de dichtheid van Mersenne-getallen en de reciproke van de divergerende harmonische reeks van oneven getallen, waarbij beide worden behandeld als specifieke, niet-nul infinitesimale waarden binnen het niet-standaard getallensysteem.

Het artikel stelt geen experimentele toepassingen of toekomstige uitbreidingen voor buiten de gepresenteerde wiskundige afleiding. De betekenis wordt strikt geplaatst binnen de context van het oplossen van de theoretische vraag over de dichtheid van Mersenne-getallen met behulp van de instrumenten van de niet-standaard analyse.