Totalities of Infinite Sets

Titel: Totaliteiten van Oneindige Mengen

Auteur: William Johnston
Onderwerp: Wiskundige logica, verzamelingenleer, maattheorie

---

1. Het Probleem

De traditionele definitie van de kardinaliteit van oneindige verzamelingen, geïntroduceerd door Georg Cantor in 1874, baseert zich op de existentie van een bjectie (een één-op-één correspondentie) tussen twee verzamelingen. Binnen het Zermelo-Fraenkel axiomasysteem (ZF) en onder de aanname van de Continuümhypothese, hebben verzamelingen van reële getallen slechts twee mogelijke kardinaliteiten:

• Aftelbaar: $\aleph_0$ (bijvoorbeeld de natuurlijke getallen $\mathbb{N}$ of rationale getallen $\mathbb{Q}$).
• Onaftelbaar: $\aleph_1$ (bijvoorbeeld de reële getallen $\mathbb{R}$).

De beperking: Deze binaire indeling is te grof om subtiere verschillen tussen onaftelbare verzamelingen te onderscheiden. Bijvoorbeeld, de verzameling van normale getallen en de verzameling van irrationale getallen hebben beide kardinaliteit $\aleph_1$, hoewel de eerste "kleiner" voelt in termen van meetkundige of topologische dichtheid. Het artikel stelt dat er behoefte is aan een verfijning die de Cantoriaanse kardinaliteit respecteert, maar extra onderscheidingsvermogen biedt zonder de bestaande theorie te vervangen.

2. Methodologie

De auteur introduceert het concept van "Totaliteit" (totality) als een verfijning van kardinaliteit. In plaats van alleen te kijken naar de existentie van een bjectie, worden totaliteiten gedefinieerd via specifieke constructies die extra structurele eigenschappen (zoals het complement, topologische eigenschappen of maattheoretische eigenschappen) betrekken.

De paper presenteert vier constructies:

Constructie 1: Cardinaliteit met Complement (Definitie 1)

De kardinaliteit wordt niet alleen bepaald door de verzameling $A$, maar ook door de aard van zijn complement $R \setminus A$.

• Als $A$ onaftelbaar is en zijn complement ook onaftelbaar: $|A| = \aleph_1 \setminus \aleph_1$.
• Als $A$ onaftelbaar is en zijn complement aftelbaar: $|A| = \aleph_1 \setminus \aleph_0$.
• Als $A$ onaftelbaar is en zijn complement eindig (grootte $n$): $|A| = \aleph_1 \setminus n$.
• Dit creëert een hiërarchie: $n < \aleph_0 < \aleph_1 \setminus \aleph_1 < \aleph_1 \setminus \aleph_0 < \aleph_1 \setminus n$.

Constructie 2: Stapsgewijze Totaliteit (Definitie 2)

Een proces waarbij totaliteiten worden opgesplitst in stappen.

• Stap 1: Verdeelt verzamelingen in $\Omega_0$ (aftelbaar), $\Omega_{1/2}$ (onaftelbaar met onaftelbaar complement) en $\Omega_1$ (onaftelbaar met aftelbaar complement).
• Stap 2: Verfijnt $\Omega_{1/2}$ door te kijken naar gesloten intervallen die de verzameling bevatten. Als het complement in elk interval onaftelbaar is, krijgt het $\Omega_{1/3}$; als er een interval bestaat waar het complement aftelbaar is, krijgt het $\Omega_{2/3}$.
• Dit proces kan worden doorgezet om steeds fijnere partities te creëren binnen verzamelingen met dezelfde Cantoriaanse kardinaliteit.

Constructie 3: Strategische Totaliteitsparen via Buitenmaat (Stelling 1)

Dit is de meest innovatieve methode die verzamelingen van een ruimte $X$ vergelijkt met verzamelingen van zijn machtsverzameling $P(X)$.

• Methode: Gebruik van een metrische buitenmaat (metric outer measure) $m$ op een metrische ruimte $(X, d)$. De maat van een open bal is gedefinieerd als $2r$.
• Toepassing op $P(X)$: De Hausdorff-metriek op $P(X)$ (de verzameling van alle deelverzamelingen van $X$) wordt gebruikt om een corresponderende buitenmaat $\mu$ te definiëren.
• Doel: Het creëren van een "strategisch totaliteitspaar" waarbij totaliteiten van $X$ en $P(X)$ op een zinvolle manier vergeleken kunnen worden, ondanks dat Cantor bewijst dat $|P(X)| > |X|$.
• Resultaat: In deze constructie kunnen een verzameling $A \subseteq X$ en zijn machtsverzameling $P(A)$ dezelfde totaliteit hebben (bijvoorbeeld $\Omega_2$), zelfs als hun kardinaliteiten verschillend zijn.

Constructie 4: Totaliteit als Limiet (Stelling 2)

Een oneindig stapsgewijs proces dat de totaliteit definieert als de limiet van een reeks stappen.

• Stap $n$: Verzamelingen worden ingedeeld op basis van de som van de lengtes van open intervallen die de verzameling (of zijn complement) bedekken. De intervallen worden steeds smaller opgesplitst ($k/2^n$).
• Limiet: De totaliteit wordt gedefinieerd als $|A|_\infty = \lim_{n \to \infty} |A|_n = \Omega_{s_\infty}$.
• Structuur: De totaliteiten nemen de vorm aan van $\Omega_a$, $\Omega_M$ (het "midden" voor onbepaalde gevallen), en $\Omega_{M-a}$.
• Eigenschap: Tussen elke twee onaftelbare totaliteiten ligt er altijd een andere, wat suggereert dat de dichtheid van deze totaliteiten veel groter is dan die van de kardinaliteiten.

3. Belangrijkste Bijdragen

1. Verfijning van Kardinaliteit: De introductie van "totaliteit" als een concept dat de Cantoriaanse kardinaliteit behoudt maar extra dimensies toevoegt (complementgrootte, topologische dichtheid, meetkundige maat).
2. Vergelijking van Verschillende Type Verzamelingen: De methode om totaliteiten te definiëren die toestaan om deelverzamelingen van een ruimte $X$ direct te vergelijken met deelverzamelingen van de machtsverzameling $P(X)$, wat traditioneel onmogelijk was binnen de strikte kardinaliteitshiërarchie.
3. Toepassing op Specifieke Verzamelingen:
   • De verzameling van normale getallen krijgt een strikt lagere totaliteit dan de irrationale getallen, wat intuïtief overeenkomt met het feit dat normale getallen "zeldzamer" zijn in bepaalde zin, hoewel ze beide kardinaliteit $\aleph_1$ hebben.
   • De Cantor-set en intervallen krijgen verschillende totaliteiten binnen dezelfde kardinaliteit.
4. Filosofische Implicatie: De suggestie dat het verfijnen van definities binnen een axiomasysteem (zonder het systeem zelf te veranderen) kan leiden tot oplossingen voor onbeslisbare stellingen (zoals de Continuümhypothese) op het niveau van de verfijning.

4. Resultaten

• Hiërarchie: Er is een nieuwe, dichte hiërarchie van totaliteiten gecreëerd ($\Omega_s$) die strikt geordend is en waarvoor geldt: als twee verzamelingen dezelfde totaliteit hebben, hebben ze ook dezelfde Cantoriaanse kardinaliteit (de omgekeerde is niet noodzakelijk waar).
• Strategische Paren: Het is bewezen dat er een consistent systeem bestaat (gebaseerd op metrische buitenmaten) waarbij $X$ en $P(X)$ dezelfde totaliteit kunnen hebben, wat een nieuwe manier biedt om de "grootte" van verzamelingen te interpreteren.
• Dichtheid: In de limietconstructie (Stelling 2) geldt dat er tussen elke twee onaftelbare totaliteiten altijd een andere totaliteit bestaat, wat een continuüm van totaliteiten suggereert dat rijker is dan het continuüm van kardinaliteiten.

5. Betekenis en Conclusie

Het artikel biedt een nieuwe wiskundige lens om oneindige verzamelingen te bekijken. Hoewel het de fundamentele resultaten van Cantor niet ontkent, biedt het een "musculair" deductief raamwerk om nuances te onderscheiden die door de traditionele kardinaliteit worden gemaskeerd.

De auteur concludeert dat het verfijnen van definities stap voor stap een manier kan zijn om om te gaan met onbeslisbare stellingen in de wiskunde. Hoewel de Continuümhypothese onbeslisbaar blijft binnen het standaard ZF-systeem, zou deze onbeslisbaarheid op het niveau van de verfijnde "totaliteit" kunnen worden opgelost of omzeild. Dit opent de deur voor nieuwe inzichten in de structuur van de reële getallen en de relatie tussen een ruimte en zijn machtsverzameling, en maakt de toepassing van Cantoriaanse theorie op diverse verzamelingen "aangenamer" en informatiever.