The reals as a subset of an ultraproduct of finite fields

Dit artikel presenteert nieuwe methoden om externe deelverzamelingen van niet-standaardmodellen van rekenkunde te construeren en toont aan dat hoewel een kopie van de algebraïsche reële getallen in een ultraproduct van eindige velden op deze manier kan worden opgebouwd, een volledige kopie van het veld der reële getallen dat niet kan, maar wel een hyperreëel veld of een algebraïsch gesloten veld met de continuüm-kardinaliteit.

De kern

Stel je voor dat wiskunde een enorme bibliotheek is. In deze bibliotheek hebben we twee heel verschillende soorten boeken:

1. De "Eindige" boeken: Dit zijn boeken met een vast aantal pagina's, zoals de getallen in een klein landje (bijvoorbeeld alleen de getallen 0 tot 12, zoals op een klok). Dit zijn de eindige velden.
2. De "Oneindige" boeken: Dit zijn de boeken met de echte, oneindige getallen die we kennen, zoals de reële getallen ($\mathbb{R}$) die alle punten op een lijn vullen.

De auteur van dit paper, Roee Sinai, doet iets heel speciaals: hij probeert de "Oneindige" boeken te bouwen door duizenden "Eindige" boeken op een slimme manier aan elkaar te plakken. Hij gebruikt een wiskundig gereedschap dat een ultraproduct heet.

De Grote Uitdaging: De "Geest" vs. De "Lijst"

Het probleem is dat als je deze eindige boeken aan elkaar plakt, je een vreemd nieuw universum krijgt (een nonstandaard model). In dit universum bestaan er dingen die je niet kunt beschrijven met een simpele lijst of een simpele regel.

Stel je voor dat je een lijst maakt van alle getallen in dit nieuwe universum.

• Een interne set is als een lijst die je kunt maken met een simpele regel, zoals "alle even getallen".
• Een externe set is als een lijst die te complex is om met één regel te maken, bijvoorbeeld "alle getallen die precies op de echte reële lijn liggen".

De vraag die Sinai beantwoordt is: Kunnen we de echte reële getallen (de $\mathbb{R}$) vinden in dit nieuwe universum, en zo ja, kunnen we ze "schoon" bouwen met onze simpele regels?

De Drie Manieren om te "Bouwen"

Sinai onderzoekt drie manieren om deze externe sets te proberen te bouwen:

1. De "Lijst-methode" ($\sigma$-sets): Je probeert de reële getallen te maken door oneindig veel simpele lijsten op te tellen.
   • Resultaat: Niet mogelijk. De reële getallen zijn te complex. Je kunt ze niet bouwen door simpele lijsten op te stapelen. Het is alsof je probeert een oceaan te vullen met emmertjes water; je komt er nooit.
2. De "Snij-methode" ($\delta$-sets): Je probeert de reële getallen te maken door oneindig veel simpele lijsten door elkaar te snijden (alleen het overgebleven deel houden).
   • Resultaat: Niet mogelijk. Net als bij de lijst-methode is de oceaan te groot en te complex om zo te vangen.
3. De "Scherm-methode" (Almost Internal): Je gebruikt een simpele regel (een functie) en een "snijpunt" (een cut) om te filteren. Je kijkt naar alle getallen die door dit filter vallen.
   • Resultaat: Nee, de echte reële getallen zelf kunnen hier niet mee worden gebouwd. Ze zijn te "wazig" voor dit filter.

Het Verbazingwekkende Nieuws: Er is een "Tussenweg"

Hoewel je de exacte kopie van de reële getallen ($\mathbb{R}$) niet kunt bouwen met deze methoden, ontdekt Sinai iets fascinerends:

Je kunt wel een gigantisch groot veld bouwen dat bijna net zo groot is als de reële getallen, en dat zelfs nog meer bevat.

• Als je geluk hebt (en je gebruikt de juiste eindige getallen), kun je een veld bouwen dat algebraïsch gesloten is (dat betekent dat je er elke wortel uit kunt trekken, zelfs van negatieve getallen, zoals $\sqrt{-1}$).
• Dit nieuwe veld is zo groot dat het minstens evenveel getallen bevat als de reële getallen, maar vaak zelfs veel meer.
• In dit nieuwe veld kun je 2 tot de macht van het continuüm (een ongelofelijk groot aantal) verschillende kopieën van de reële getallen vinden. Het is alsof je een enorme kathedraal bouwt waar je in elke hoek een perfecte replica van je huis kunt vinden, maar de kathedraal zelf is veel groter en complexer dan je huis.

De Analogie: De Lijst en de Spiegel

Stel je voor dat de eindige velden ($F_p$) kleine spiegeltjes zijn.

• Als je ze allemaal in een rij zet (het ultraproduct), krijg je een enorme, vervormde spiegel.
• De echte reële getallen zijn als een perfect, glad oppervlak.
• Sinai laat zien dat je dit perfecte oppervlak niet kunt maken door alleen de randen van de spiegeltjes op te tellen of af te snijden.
• Maar! Je kunt wel een gigantische, glimmende hal bouwen (het nieuwe veld) die zo groot is dat je er onbeperkt veel perfecte spiegels (kopieën van $\mathbb{R}$) in kunt plaatsen. Deze hal is "bijna" gemaakt van de simpele spiegeltjes, maar heeft een structuur die net iets anders is dan de simpele lijsten.

Samenvatting in Gewone Taal

1. Je kunt de echte reële getallen niet "schoon" bouwen uit de simpele, eindige getallen die we gebruiken in computers, zelfs niet met slimme trucs. Ze zijn te complex.
2. Je kunt wel een "super-veld" bouwen dat veel groter is dan de reële getallen.
3. In dat super-veld zitten ongetelde kopieën van de reële getallen verstopt. Het is een rijkdom aan structuren die we niet direct konden zien, maar die wel bestaan als je naar de juiste plek kijkt.

Het paper is dus een reis van "Dit kan niet" naar "Nee, wacht, dit kan wel, maar dan in een veel grotere, verborgen vorm." Het laat zien dat de wiskundige wereld vol zit met verrassingen als je kijkt naar de grenzen tussen het eindige en het oneindige.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "The reals as a subset of an ultraproduct of finite fields" van Roee Sinai, geschreven in het Nederlands.

Titel: De reële getallen als een deelverzameling van een ultraproduct van eindige velden

Auteur: Roee Sinai
Datum: Maart 2026

---

1. Probleemstelling en Context

Het artikel onderzoekt de structurele relatie tussen de velden van eindige karakteristiek (specifiek ultraproducten van priemgetallen $F_p$) en de velden van karakteristiek 0, zoals de rationale getallen ($\mathbb{Q}$), de algebraïsche reële getallen ($\bar{\mathbb{Q}} \cap \mathbb{R}$) en de volledige veld van reële getallen ($\mathbb{R}$).

De kernvraag is of en hoe men externe deelverzamelingen (zoals een kopie van $\mathbb{R}$) kan construeren binnen een niet-standaard model van de rekenkunde ($^*\mathbb{N}$) of een ultraproduct van eindige velden ($\tilde{F} = \prod F_p / \mathcal{F}$), gebruikmakend van interne verzamelingen.

• Het is bekend dat $\mathbb{R}$ inbedbaar is in dergelijke ultraproducten.
• Echter, een kopie van $\mathbb{R}$ kan nooit een interne verzameling zijn, omdat geen enkele eindige veld $F_p$ een deelverzameling heeft die zelf een veld is (behalve de triviale gevallen).
• De auteur onderzoekt of $\mathbb{R}$ kan worden geconstrueerd als een "bijna-interne" verzameling, gedefinieerd via tellbare unies/doorsneden van interne verzamelingen of via pre-afbeeldingen van interne functies naar "sneden" (cuts) in de niet-standaarde natuurlijke getallen.

2. Methodologie

De auteur introduceert een formalisme om externe verzamelingen te classificeren op basis van hun complexiteit ten opzichte van interne verzamelingen:

1. $\sigma$-verzamelingen: Unies van tellbaar veel interne verzamelingen.
2. $\delta$-verzamelingen: Doorsneden van tellbaar veel interne verzamelingen.
3. Bijna-interne verzamelingen (Almost internal): Verzamelingen van de vorm $f^{-1}[C]$, waarbij $f$ een interne functie is en $C$ een "cut" (een naar beneden gesloten verzameling) in $^*\mathbb{N}$ is.

Technische hulpmiddelen:

• Interne functies: Er worden specifieke interne functies gedefinieerd die de "complexiteit" van elementen in het ultraproduct meten.
  • $f_{\mathbb{Q}}$: Meet de grootte van de teller en noemer van een rationaal getal.
  • $f_{\bar{\mathbb{Q}}}$: Meet de complexiteit van algebraïsche getallen via de grootte van de matrix die ze als eigenwaarde hebben (gebaseerd op de companion matrix van een polynoom).
• Sneden (Cuts): Het construeren van specifieke cuts $C \subseteq ^*\mathbb{N}$ die voldoen aan bepaalde algebraïsche eigenschappen (bijv. geslotenheid onder optelling en vermenigvuldiging, of het bevatten van wortels van polynomen).
• Zuiverheid en Saturatedheid: Gebruik wordt gemaakt van $\aleph_1$-gesatureerdheid van het ultraproduct om het bestaan van elementen te garanderen die aan bepaalde types voldoen.

3. Belangrijkste Resultaten

A. Onmogelijkheid voor $\mathbb{R}$ zelf

De auteur bewijst dat geen enkele kopie van de reële getallen $\mathbb{R}$ binnen het ultraproduct $\tilde{F}$ kan worden geconstrueerd als:

• Een $\sigma$-verzameling.
• Een $\delta$-verzameling.
• Een bijna-interne verzameling ($f^{-1}[C]$).
• Een unie of doorsnede van tellbaar veel interne verzamelingen.

Dit betekent dat $\mathbb{R}$ fundamenteel "te complex" is om op deze specifieke, relatief simpele manieren uit interne bouwstenen te worden opgebouwd.

B. Constructie van Super-velden (Superfields)

Hoewel $\mathbb{R}$ zelf niet constructeerbaar is, toont de auteur aan dat er wel grote velden bestaan die $\mathbb{R}$ bevatten en wel op deze manieren construeerbaar zijn. De resultaten hangen af van of het ultraproduct een vierkantswortel van $-1$ bevat:

1. Geen wortel van $-1$ (Real Closed Case):

   • Als $\tilde{F}$ geen $\sqrt{-1}$ bevat, bestaat er een $\delta$-deelveld (doorsnede van interne verzamelingen) dat een $\aleph_1$-gesatureerd reëel gesloten veld is.
   • Dit veld bevat een kopie van $\mathbb{R}$.
   • Er bestaan ook $\sigma$-deelvelden (unies) die reëel gesloten zijn, maar deze zijn niet $\aleph_1$-gesatureerd.
   • In beide gevallen zijn er minstens $2^{\mathfrak{c}}$manieren om$\mathbb{R}$ in te bedden.

2. Wel wortel van $-1$ (Algebraically Closed Case):

   • Als $\tilde{F}$ wel $\sqrt{-1}$ bevat, bestaat er een $\delta$-deelveld dat een algebraïsch gesloten veld is met kardinaliteit $\geq \mathfrak{c}$ (continuüm).
   • Ook hier is er een $\sigma$-deelveld dat algebraïsch gesloten is.
   • Deze velden bevatten eveneens $2^{\mathfrak{c}}$kopieën van$\mathbb{R}$.

C. Algebraïsche Structuren

De paper identificeert specifieke substructuren:

• De rationale getallen $\mathbb{Q}$ en de algebraïsche reële getallen $\bar{\mathbb{Q}} \cap \mathbb{R}$ zijn bijna-interne verzamelingen.
• Er wordt een verband gelegd tussen deze constructies en ringen van algebraïsche gehele getallen.

4. Significatie en Bijdrage

1. Grondslagen van de Analyse: Het werk verduidelijkt de hiërarchie van complexiteit tussen interne, $\sigma$, $\delta$ en bijna-interne verzamelingen in niet-standaard modellen. Het toont aan dat er een scherpe grens is tussen wat "constructibel" is met deze middelen en wat niet.
2. Existentie van "Grote" Kopieën: Het bewijst dat hoewel $\mathbb{R}$ niet direct als een eenvoudige externe verzameling (zoals een $\sigma$- of $\delta$-set) kan worden geconstrueerd, het wel altijd kan worden ingebed in een groter veld dat wel op deze manier construeerbaar is. Dit biedt een nieuwe manier om de reële getallen te benaderen binnen de logica van eindige velden.
3. Rijkdom van Inbeddingen: Het resultaat dat er $2^{\mathfrak{c}}$verschillende inbeddingen van$\mathbb{R}$ bestaan in deze constructies, benadrukt dat er geen "natuurlijke" of unieke keuze is voor een kopie van de reële getallen binnen een ultraproduct van eindige velden.
4. Technische Innovatie: De introductie van de functies $f_{\mathbb{Q}}$ en $f_{\bar{\mathbb{Q}}}$ en het gebruik van matrix-eigenwaarden om algebraïsche complexiteit te meten, biedt nieuwe methodologische tools voor het bestuderen van ultraproducten.

Conclusie

Roee Sinai toont aan dat de reële getallen een fundamenteel "externe" entiteit zijn die niet als een simpele unie of doorsnede van interne verzamelingen in een ultraproduct van eindige velden kan worden geconstrueerd. Echter, door het gebruik van sneden en interne functies, kunnen wel zeer rijke, $\aleph_1$-gesatureerde velden worden geconstrueerd die $\mathbb{R}$ als deelverzameling bevatten. Dit resulteert in een dieper inzicht in de structuur van niet-standaard modellen en de relatie tussen eindige en oneindige velden.