A countable-support symmetric iteration separating PP from AC

De auteurs construeren een transitiesymmetrisch model dat voldoet aan ZF, het Axioma van Dependent Choice en het Pruning Principle, maar waarin het Axioma van Keuze faalt, door middel van een Ord-lange iteratie met telbare ondersteuning die lokale keuzeprincipes en het Pruning Principle afdwingt terwijl het niet-welgeordende karakter van een specifieke verzameling behouden blijft.

De kern

Stel je voor dat de wiskunde een enorme bibliotheek is, gevuld met regels over hoe je dingen kunt ordenen, tellen en kiezen. De meest bekende en krachtige regel in deze bibliotheek heet de Axioma van Keuze (AC). Deze regel zegt simpelweg: "Als je een verzameling dozen hebt, zelfs als ze oneindig zijn, kun je altijd uit elke doos één voorwerp kiezen."

Voor de meeste wiskundigen is dit een vanzelfsprekendheid. Maar er is een andere, iets zwakkere regel die al decennia lang een mysterie is: het Partitieprincipe (PP). Dit principe zegt: "Als je een grote hoop objecten kunt verdelen in kleinere groepen (een surjectie), dan kun je die groepen ook weer terugplakken tot de originele hoop (een injectie)."

In de normale wiskunde (met de Axioma van Keuze) is PP hetzelfde als AC. Maar de vraag is: Is PP misschien waar, zelfs als AC niet waar is? Kunnen we de "verdeling" doen zonder de "keuze" te kunnen maken?

Dit paper, geschreven door Frank Trevor Gilson, is als een architect die een heel speciaal huis bouwt om dit vraagstuk op te lossen. Hij wil een wereld creëren waarin:

1. Je wel kunt verdelen (PP is waar).
2. Je wel kunt kiezen uit verzamelingen die al een volgorde hebben (ACWO is waar).
3. Maar je niet kunt kiezen uit alle verzamelingen (AC is onwaar).

Hier is hoe hij dit doet, vertaald naar alledaagse beelden:

1. Het Startpunt: De Chaoszaal (Het "Seed Model")

Gilson begint met een "zaadje": een wiskundige wereld die al een beetje chaotisch is. Hij bouwt een verzameling van Cohen-reële getallen (laten we ze "willekeurige patronen" noemen).

• Het probleem: In deze wereld zijn er zoveel patronen dat je ze niet kunt nummeren (je kunt ze niet in een rij zetten van 1, 2, 3...). Ze zijn "niet goed te ordenen".
• De consequentie: Omdat je ze niet kunt nummeren, kun je ook niet zomaar uit elke doos met patronen één kiezen. De Axioma van Keuze (AC) is hier kapot. Maar gelukkig werkt de "Dependent Choice" (DC) nog wel: je kunt een keten van keuzes maken, zolang je maar één stap vooruit kijkt.

2. De Bouwplaat: De Symmetrische Iteratie

Nu moet hij dit zaadje uitbouwen tot een heel universum, zonder de chaos (het gebrek aan AC) te vernietigen, maar wel de PP-regel te repareren. Hij gebruikt een techniek die lijkt op het bouwen van een toren, verdieping voor verdieping.

• De verdiepingen (Successor stages): Op elke nieuwe verdieping van de toren voegt hij "pakketten" toe.
  • PP-pakketten: Deze pakketten zorgen ervoor dat als er een verdeling is tussen twee groepen binnen een specifieke "veilige zone" (de verzameling $T$), er altijd een manier is om ze weer terug te plakken. Het is alsof hij voor elke mogelijke puzzel in die zone een oplossing in de muur verwerkt.
  • ACWO-pakketten: Deze zorgen ervoor dat als een verzameling al een volgorde heeft (zoals de natuurlijke getallen), je daar wel uit kunt kiezen.
• De symmetrie (De "Dekking"): Dit is het slimste deel. Hij bouwt de toren met een spiegelende symmetrie. Stel je voor dat je een toren bouwt, maar je hebt een magische spiegel die elke verdieping kan spiegelen. Als je een keuze maakt op verdieping 5, kan de spiegel die keuze op verdieping 5 "ongedaan maken" door hem te spiegelen.
  • Door deze spiegeling (symmetrie) te gebruiken, zorgt hij ervoor dat je nooit een globale volgorde kunt maken voor de hele verzameling patronen. De spiegel verstoort elke poging om alles in een rij te zetten. Zo blijft AC onwaar (je kunt niet alles ordenen).

3. De Lift en de Annulering (Diagonal Lifts)

Om te voorkomen dat de toren instort of dat de regels vergeten worden, gebruikt hij een ingenieus systeem van lifts en annuleringen.

• Stel je voor dat je een lift hebt die door de hele toren gaat. Soms moet je een keuze "annuleren" (cancelleren) om de symmetrie te bewaren.
• Hij gebruikt een trucje: als een keuze te veel invloed heeft op de symmetrie, "tilt" hij die keuze naar een andere plek in de toren en annuleert hij de oorspronkelijke invloed. Dit zorgt ervoor dat de DC-regel (Dependent Choice) intact blijft, terwijl de AC-regel (volledige keuze) geblokkeerd blijft.

4. Het Resultaat: Een Nieuwe Wereld

Uiteindelijk heeft hij een compleet universum (de toren) gebouwd. Als je daar gaat wonen, zie je het volgende:

• Je kunt wel kiezen uit geordende lijsten: Als je een lijst hebt met nummers, kun je er wel iets uit kiezen (ACWO).
• Je kunt wel verdelen en terugplakken: Als je een grote hoop hebt die je in groepen kunt verdelen, kun je die groepen ook weer samenvoegen (PP).
• Maar je kunt niet alles ordenen: Er is een verzameling (de Cohen-patronen) die zo willekeurig is dat je ze nooit in een rij kunt zetten. Je kunt dus niet uit elke verzameling kiezen.

Waarom is dit belangrijk?

Voorheen dachten veel wiskundigen dat PP en AC misschien onlosmakelijk met elkaar verbonden waren. Gilson heeft bewezen dat dit niet zo is. Hij heeft een wereld getoond waarin de "verdeling-regel" werkt, maar de "keuze-regel" faalt.

Het is alsof hij een huis heeft gebouwd waarin je wel de ramen kunt openen (PP), maar de deur niet kunt vergrendelen (AC). Het toont aan dat de wiskundige realiteit veel complexer en interessanter is dan we dachten, en dat je regels kunt breken zonder dat de hele structuur instort.

Kortom: Dit paper is een meesterwerk van wiskundige architectuur. Het bouwt een wereld waarin je deels vrij bent om te kiezen, maar waar een fundamentele chaos blijft bestaan, en bewijst dat deze twee toestanden perfect naast elkaar kunnen bestaan.

Technische samenvatting

Titel: Een iteratie met aftelbare ondersteuning die het Partitieprincipe (PP) scheidt van het Axioma van Keuze (AC)

1. Het Probleem en de Context

In de verzamelingenleer zonder het Axioma van Keuze (ZF) is de relatie tussen het Partitieprincipe (PP) en het Axioma van Keuze (AC) een langdurig open probleem.

• PP stelt dat voor elke surjectie $f: Y \twoheadrightarrow X$ er een injectie $i: X \hookrightarrow Y$ bestaat.
• In ZFC is PP triviaal waar, omdat elke surjectie een rechterinverse (een keuzefunctie) toelaat.
• Het doel van dit artikel is om een model te construeren waarin ZF + DC + PP + ACWO gelden, maar AC niet. Dit zou bewijzen dat PP strikt zwakker is dan AC.

De auteurs richten zich specifiek op het scheiden van PP van AC, terwijl ze het Axioma van Keuze voor wel-geordende verzamelingen (ACWO) behouden. ACWO stelt dat elke familie van niet-lege verzamelingen, geïndexeerd door een wel-geordende verzameling, een keuzefunctie toelaat.

2. Methodologie: Symmetrische Iteratie

De constructie maakt gebruik van een Ord-lengte iteratie met aftelbare ondersteuning (countable-support symmetric iteration) over een grondmodel $V$ dat voldoet aan ZFC.

• Het Zaadmodel (Seed Model): De constructie begint met een "Cohen symmetrisch zaadmodel" $N$, verkregen door het forceren met $Add(\omega, \omega_1)$ (het toevoegen van $\omega_1$ Cohen-reële getallen) met een symmetrische extensie. In dit model $N$ geldt ZF + DC, maar AC faalt omdat de verzameling $A = \{c_\alpha : \alpha < \omega_1\}$ van Cohen-reële getallen niet wel-geordend is.
• Gecodeerde Parameters: Twee vaste parameters worden gedefinieerd in $N$:
  • $S := A^\omega$ (de verzameling van aftelbare rijen uit $A$).
  • $T := \mathcal{P}(S)$ (de machtsverzameling van $S$).
  • Het model voldoet aan SVC(S) (Small Violation of Choice), wat impliceert dat elke verzameling een surjectie toelaat vanuit $S \times \eta$ voor een ordinaal $\eta$.
• De Iteratie: De auteurs voeren een iteratie uit over alle ordinales ($Ord$). Op opvolgende stadia worden "pakket-forceringen" (package forcings) toegevoegd die specifieke surjecties splitsen.
  • PP-splitting pakketten ($Q_f$): Voor surjecties $f: Y \twoheadrightarrow X$ waarbij $X, Y \subseteq T$, wordt een forcering toegevoegd die een rechterinverse (een sectie) voor $f$ creëert. Dit forceert het lokale principe PPsplit $\upharpoonright T$.
  • ACWO-pakketten ($R_f$): Voor surjecties $f: S \times \eta \twoheadrightarrow \lambda$ (waarbij $\lambda$ een ordinaal is), wordt een forcering toegevoegd die een rechterinverse creëert. Dit zorgt voor het behoud van ACWO.
• Diagonale Lifts en Filters: Een cruciaal technisch aspect is het gebruik van diagonale lift-automorfismen en een aangepaste limietfilter ($\tilde{F}^*_\lambda$). Deze filters zijn $\omega_1$-compleet en normaal. Ze zorgen ervoor dat de symmetriebehoudseigenschappen (hereditair symmetrische namen) behouden blijven tijdens de iteratie, terwijl de gewenste splitsingen toch worden geforceerd.
• Boekhouding (Bookkeeping): Een class-gebaseerde boekhouding zorgt ervoor dat elke mogelijke surjectie van het vereiste type uiteindelijk op een bepaald stadium wordt behandeld en gesplitst.

3. Belangrijkste Bijdragen en Technieken

• Orbit-Symmetrische Pakketten: In plaats van individuele forceringen te gebruiken, gebruiken de auteurs "orbit-pakketten". Dit betekent dat voor een gegeven surjectie $f$, het hele orbit onder de automorfismengroep wordt geforceerd. Dit behoudt de symmetrie en voorkomt dat ongewenste keuzeprincipes onbedoeld worden geïntroduceerd.
• Diagonale Cancellatie: De auteurs introduceren een mechanisme van "diagonale cancellatie" om automorfismen te construeren die specifieke coördinaten (pakketten) fixeren terwijl ze andere permuteren. Dit is essentieel om te bewijzen dat de limietfilters goed gedefinieerd zijn en dat de niet-wel-geordendheid van $A$ behouden blijft.
• Ryan-Smith Localisatie: Het artikel maakt gebruik van een krachtig resultaat van Ryan en Smith:
  $$\text{PP} \iff (\text{PP} \upharpoonright T \land \text{ACWO})$$
  onder de aanname van SVC$^+(T)$. Omdat de constructie SVC(S) (en dus SVC$^+(T)$) behoudt, volstaat het om lokaal PP te forceren (op $T$) en ACWO te garanderen om globaal PP te verkrijgen.

4. Resultaten

Het hoofdstelling (Theorem 5.85) stelt dat er een transitiesymmetrisch model $M$ bestaat dat voldoet aan:
$$\text{ZF} + \text{DC} + \text{PP} + \text{ACWO} + \neg\text{AC}$$

Specifieke resultaten binnen het model $M$:

1. ZF en DC: De axioma's van Zermelo-Fraenkel en het Axioma van Afhankelijke Keuze (DC) blijven behouden dankzij de aftelbare ondersteuning en de $\omega_1$-compleetheid van de filters.
2. $\neg$AC: De verzameling $A$ van Cohen-reële getallen blijft niet-wel-geordend. Dit wordt bewezen door aan te tonen dat elke potentiële wel-ordening van $A$ symmetrisch moet zijn onder een diagonale lift die twee Cohen-reële getallen verwisselt, wat een contradictie oplevert.
3. PP: Door de lokale splitsing van alle surjecties op $T$ en het behoud van ACWO, volgt uit de Ryan-Smith localisatie dat PP globaal geldt in $M$.
4. ACWO: Het Axioma van Keuze voor wel-geordende verzamelingen wordt expliciet geforceerd via de $R_f$-pakketten.
5. Gevolgen: Het model voldoet ook aan het Ordeprincipe (elke verzameling kan lineair worden geordend) en bepaalde Kinna-Wagner-principes (KWP1 en KWP2).

5. Betekenis en Impact

Dit artikel levert een significant bijdrage aan de theorie van keuzevrije verzamelingenleer (Choiceless Set Theory):

• Bevestiging van onafhankelijkheid: Het bewijst definitief dat het Partitieprincipe (PP) strikt zwakker is dan het volledige Axioma van Keuze (AC), zelfs wanneer men het sterke ACWO behoudt.
• Technische doorbraak: De constructie van een Ord-lengte iteratie met aftelbare ondersteuning die DC behoudt terwijl het specifieke keuzeprincipes forceert, is een complexe technische prestatie. Het lost problemen op rondom de interactie tussen limietstadia en symmetrie in class-length iteraties.
• Verrijking van het landschap: Het voegt een nieuw, subtiel model toe aan het spectrum van modellen waar AC faalt maar andere sterke principes (zoals PP en ACWO) wel gelden. Dit helpt de hiërarchie van keuzeprincipes verder te verfijnen.

Samenvattend biedt Gilson een rigoureuze constructie die aantoont dat het mogelijk is om een wereld te creëren waarin elke surjectie een injectieve omkering toelaat (PP), zonder dat men volledige keuzevrijheid (AC) heeft, zelfs niet voor wel-geordende indexen.