A Note on a Theorem of Apter

Der Artikel zeigt, dass die Konsistenz von $\mathrm{ZF} + \mathrm{AD}_{\mathbb{R}}$ plus der Aussage, dass $\Theta$ messbar ist, die Konsistenz von $\mathrm{ZF}$ impliziert, in dem $\Theta$ sowohl das kleinste stark reguläre als auch das kleinste messbare Kardinalzahl ist und alle unendlichen Kardinalzahlen unter $\Theta$ eine abzählbare Kofinalität besitzen.

Das Wesentliche

Das große Puzzle der Unendlichkeit: Eine Reise durch die Welt ohne Auswahl

Stellen Sie sich das Universum der Mathematik wie ein riesiges, unendliches Baukastensystem vor. Die Mathematiker bauen damit Modelle der Realität auf. Normalerweise benutzen sie dabei eine sehr mächtige Regel, die Axiom der Wahl (AC) genannt wird. Diese Regel erlaubt es ihnen, aus jeder beliebigen Menge von Objekten einfach eines auszuwählen, auch wenn die Menge unendlich groß ist und keine klare Ordnung hat. Es ist wie ein Zauberstab: „Ich nehme einfach dieses hier."

Aber was passiert, wenn wir diesen Zauberstab weglegen? Was, wenn wir uns in einer Welt befinden, in der man nicht einfach „irgendeins" auswählen darf, sondern nur das nehmen kann, was sich logisch und konstruktiv begründen lässt? Das ist das Szenario der Axiom of Determinacy (AD). In dieser Welt verhalten sich die Zahlen und Mengen völlig anders. Die gewohnten Regeln brechen zusammen.

Die Suche nach dem „kleinsten Riesen"

In der normalen Mathematik gibt es riesige Zahlen, sogenannte große Kardinalzahlen. Diese sind so groß, dass sie bestimmte Eigenschaften haben, die normale Zahlen nicht haben. Eine dieser Eigenschaften ist die Messbarkeit (man kann sie mit einem perfekten Maßstab vermessen).

Normalerweise ist die kleinste messbare Zahl sehr, sehr groß. Aber in der Welt ohne den „Zauberstab" (ohne AC) kann es sein, dass die kleinste messbare Zahl überraschend klein ist – vielleicht sogar so klein wie die erste unendliche Zahl nach den natürlichen Zahlen ($\omega_1$).

Die Forscher in diesem Papier stellen sich nun eine spezielle Frage:

Wie klein kann die kleinste messbare Zahl sein, wenn wir fordern, dass sie auch noch „stark regulär" ist?

„Stark regulär" ist hier ein technischer Begriff, der im Grunde bedeutet: „Diese Zahl ist so stabil und robust, dass man sie nicht durch das Zusammenfügen kleinerer Teile erreichen kann." Es ist wie ein massiver Felsblock, der nicht aus Sandkörnern besteht, die man einfach aufeinanderstapelt.

Die Entdeckung: Ein neuer Rekord

Die Autoren (Rahman Mohammadpour, Otto Rajala und Sebastiano Thei) haben bewiesen, dass es möglich ist, ein mathematisches Universum zu konstruieren, in dem:

1. Die kleinste messbare Zahl genau dieselbe ist wie die kleinste „stark reguläre" Zahl.
2. Alle Zahlen, die kleiner als diese sind, sind „zerbrechlich" (sie haben eine unendliche, aber zählbare Struktur).
3. Dieses Universum ist konsistent, das heißt, es führt zu keinen Widersprüchen.

Die Analogie:
Stellen Sie sich eine Treppe vor, die in den Himmel führt.

• Die unteren Stufen sind die kleinen Zahlen.
• In der normalen Welt (mit AC) gibt es eine riesige, unüberwindbare Mauer (die erste messbare Zahl), weit oben.
• In der Welt ohne AC (AD) kann die Mauer manchmal ganz unten sein.
• Die Autoren zeigen nun: Man kann die Treppe so bauen, dass die erste stabile, unzerstörbare Plattform (die stark reguläre Zahl) exakt dort ist, wo die erste messbare Plattform ist. Und das ist der niedrigste Punkt, an dem das überhaupt möglich ist.

Wie haben sie das gemacht? (Der Bauplan)

Um dieses Universum zu bauen, nutzen die Autoren eine Technik namens Prikry-Forcing.

• Das Bild: Stellen Sie sich vor, Sie haben einen riesigen, stabilen Turm (eine messbare Zahl). Sie wollen diesen Turm so manipulieren, dass er „wackelig" wird (seine Struktur ändert sich), aber gleichzeitig die Stabilität der anderen Türme in der Nähe erhalten bleibt.
• Der Trick: Sie nutzen einen speziellen Mechanismus (das Forcing), der den Turm „abträgt" und ihn in eine unendliche, aber zählbare Folge von kleineren Teilen zerlegt. Dadurch verliert er seine Eigenschaft, „stark regulär" zu sein, und wird „zerbrechlich".
• Das Ergebnis: Sie tun dies für alle messbaren Zahlen unterhalb einer bestimmten Grenze ($\Theta$). Alle diese kleineren Zahlen werden „zerstört" (sie werden nicht mehr messbar oder stark regulär).
• Der Gewinner: Die Zahl $\Theta$ selbst bleibt übrig. Sie ist die einzige, die nicht angefasst wurde. Sie ist nun die kleinste messbare Zahl und gleichzeitig die kleinste stark reguläre Zahl.

Warum ist das wichtig?

Früher glaubten Mathematiker, dass man für ein solches Ergebnis extrem mächtige, fast göttliche Axiome (sehr große Kardinalzahlen) braucht. Diese Arbeit zeigt jedoch, dass man mit weniger „Ressourcen" (einem schwächeren mathematischen Rahmen) auskommt.

Sie haben die Anforderungen an die „Stärke" des Universums gesenkt. Es ist, als würden sie beweisen, dass man einen perfekten Kreis nicht mit einem riesigen Kompass zeichnen muss, sondern mit einem viel einfacheren Werkzeug, wenn man die richtigen Tricks kennt.

Was bleibt offen?

Am Ende des Papiers stellen die Autoren Fragen, die wie Wegweiser für zukünftige Entdecker sind:

• Wie stark muss das Fundament wirklich sein, damit diese Konstruktion funktioniert?
• Kann man die Eigenschaften dieser Zahl noch weiter verfeinern? (Zum Beispiel: Kann sie messbar sein, aber nur für bestimmte Arten von Mustern?)

Zusammenfassend:
Dieses Papier ist ein Meisterwerk des mathematischen Feinbaus. Es zeigt, wie man in einer Welt ohne die üblichen Auswahlregeln ein Universum konstruiert, in dem die „kleinste messbare Zahl" und die „kleinste stabile Zahl" eins sind. Es ist ein Beweis dafür, dass die Mathematik der Unendlichkeit noch viele Überraschungen bereithält, wenn man bereit ist, die alten Werkzeuge zu verlassen und neue Wege zu gehen.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Papers „A Note on a Theorem of Apter" von Rahman Mohammadpour, Otto Rajala und Sebastiano Thei auf Deutsch.

1. Problemstellung und Motivation

Das Papier adressiert ein fundamentales Problem der Mengenlehre ohne das Auswahlaxiom (ZF): Die Identifizierung der kleinstmöglichen messbaren Kardinalzahl unter zusätzlichen Regularitätsbedingungen.

• Hintergrund: Unter dem Axiom der Determiniertheit (AD) und der Annahme $V=L(\mathbb{R})$ sind alle regulären Kardinalzahlen unterhalb von $\Theta$ messbar. $\Theta$ ist definiert als die kleinste Kardinalzahl, auf die die reellen Zahlen $\mathbb{R}$ nicht abbildbar sind.
• Die Frage: Wie klein kann die erste messbare Kardinalzahl sein, wenn man zusätzlich fordert, dass sie „unzugänglich" (inaccessible) im Sinne von ZF ist?
• Bisherige Ergebnisse:
  • Jech zeigte in den 1960ern, dass $\omega_1$ messbar sein kann.
  • Apter [1] bewies unter AD, dass die erste messbare Kardinalzahl die erste reguläre Limes-Kardinalzahl sein kann.
  • Gitik, Hayut und Karagila [5] zeigten, dass aus einem $\kappa^{++}$-superkompakten Kardinal eine Erweiterung existiert, in der $\kappa$ messbar und die erste stark unzugängliche Kardinalzahl ist.
• Das Ziel der Autoren: Die große Kardinalstärke (Large Cardinal Strength) des Satzes von Gitik, Hayut und Karagila zu reduzieren. Die Autoren verwenden dabei eine leicht abweichende Definition von „Unzugänglichkeit", die sie als stark regulär (strongly regular) bezeichnen. Eine Kardinalzahl $\kappa$ ist stark regulär, wenn sie überabzählbar ist und für jedes $\alpha < \kappa$ und jede Funktion $f: \mathcal{P}(\alpha) \to \kappa$ das Bild von $f$ in $\kappa$ beschränkt ist.

2. Methodik

Die Autoren nutzen eine Kombination aus symmetrischen Erweiterungen, Prikry-Forcing und der Theorie der Determiniertheit.

• Ausgangsannahme: Die Arbeit geht von der Konsistenz von $ZF + \Theta_{meas}$ aus, wobei $\Theta_{meas}$ die Konjunktion von ADR (Axiom of Determinacy for Reals) und der Existenz eines $R$-vollständigen Maßes auf $\Theta$ ist. Dies ist eine schwächere Annahme als ein Woodin-Limit von Woodin-Kardinalzahlen.
• Prikry-Forcing: Für jede messbare Kardinalzahl $\kappa < \Theta$ wird ein Prikry-Forcing $P_\kappa$ bezüglich des kanonisch kleinsten Maßes $\mu_\kappa$ auf $\kappa$ definiert.
• Produkt-Forcing: Es wird ein endliches Träger-Produkt $P = \prod_{\kappa \in M}^{fin} P_\kappa$ gebildet, wobei $M$ die Menge aller messbaren Kardinalzahlen unterhalb von $\Theta$ ist.
• Symmetrische Erweiterung: Anstatt das volle Forcing-Modell zu betrachten, konstruieren die Autoren eine symmetrische Erweiterung $N$. Diese wird induktiv definiert, indem nur Mengen zugelassen werden, die über eine endliche Teilmenge der generischen Filter $G_\kappa$ definierbar sind.
  • Dies ist entscheidend, um die Messbarkeit der einzelnen $\kappa < \Theta$ zu zerstören (durch Erhöhung der Kofinalität auf $\omega$), während die Struktur von $\Theta$ selbst erhalten bleibt.
• Lifting von Maßen: Ein zentraler technischer Schritt ist das „Heben" (Lifting) des $R$-vollständigen Maßes $\mu$ auf $\Theta$ von der Grundwelt $V$ in das symmetrische Modell $N$. Dies wird durch die Analyse der Filter $G_c$ für endliche Mengen $c$ erreicht.

3. Schlüsselbeiträge und Ergebnisse

Das Hauptergebnis ist der folgende Satz:

Satz 1.1: Unter der Annahme $ZF + \Theta_{meas}$ existiert eine Erweiterung, die $ZF$ erfüllt, in der:

1. $\Theta$ eine stark reguläre Kardinalzahl ist.
2. $\Theta$ die kleinste überabzählbare reguläre Kardinalzahl ist.
3. $\Theta$ die kleinste messbare Kardinalzahl ist.
4. Alle überabzählbaren Kardinalzahlen unterhalb von $\Theta$ haben die Kofinalität $\omega$ (sind also singulär).

Technische Details der Beweisführung:

• Zerstörung der Messbarkeit unterhalb von $\Theta$: Durch das Prikry-Forcing wird für jedes $\kappa \in M$ die Kofinalität auf $\omega$ gesetzt (Lemma 3.6). Da messbare Kardinalzahlen regulär sein müssen, sind alle $\kappa < \Theta$ in $N$ nicht mehr messbar (Proposition 3.7).
• Erhaltung der Regularität von $\Theta$: Proposition 3.8 zeigt, dass $\Theta$ in $N$ stark regulär bleibt. Der Beweis nutzt die Tatsache, dass jede Funktion $f: \mathcal{P}(\alpha) \to \Theta$ in $N$ bereits in einer endlichen Erweiterung $V[G_c]$ liegt. Da AD eine Surjektion von $\mathbb{R}$ auf $\mathcal{P}(\xi)$ impliziert, würde eine unbeschränkte Funktion auf $\Theta$ in $V$ eine unbeschränkte Abbildung von $\mathbb{R}$ nach $\Theta$ erzeugen, was der Annahme $\Theta_{meas}$ widerspricht.
• Messbarkeit von $\Theta$: Proposition 3.9 beweist, dass das $R$-vollständige Maß $\mu$ auf $\Theta$ in $N$ zu einem Maß $\mu^*$ liftet, das $\Theta$ messbar macht. Der Beweis zeigt, dass $\mu^*$ ein ultrafilter, $\Theta$-vollständig und normal ist.

4. Signifikanz und Implikationen

• Reduktion der Konsistenzstärke: Das Paper zeigt, dass die Existenz eines Modells, in dem die erste messbare Kardinalzahl mit der ersten stark regulären Kardinalzahl zusammenfällt, bereits aus der schwächeren Annahme $ZF + \Theta_{meas}$ folgt. Dies ist schwächer als die Annahme eines Woodin-Limits von Woodin-Kardinalzahlen, die für ähnliche Ergebnisse von Gitik et al. benötigt wurde.
• Neue Definition von Unzugänglichkeit: Die Einführung des Begriffs „stark regulär" klärt die Nuancen zwischen verschiedenen Definitionsvarianten von Unzugänglichkeit in ZF, die unter AC äquivalent, aber unter ZF unterschiedlich sind.
• Öffentliche Fragen (Open Questions): Die Autoren stellen mehrere offene Fragen, die die Grenzen dieses Ergebnisses ausloten:
  • Was ist die exakte Konsistenzstärke von „$\Theta$ ist die erste unzugängliche und erste messbare Kardinalzahl" im Sinne von Gitik et al.?
  • Kann die erste unzugängliche Kardinalzahl eine messbare Kardinalzahl sein, die ein normales Maß trägt, das sich auf Punkte der Kofinalität $\omega_1$ konzentriert?
  • Wie groß kann der Ort $o(\Theta)$ (die Ordnungszahl des Ultrapotenz-Systems) sein, wenn $\Theta$ die erste messbare Kardinalzahl ist?

Fazit

Das Paper liefert einen wichtigen Fortschritt im Verständnis der Struktur von Kardinalzahlen unter dem Axiom der Determiniertheit. Es demonstriert, dass durch geschickte Anwendung von symmetrischen Erweiterungen und Prikry-Forcing die Hierarchie der messbaren Kardinalzahlen so manipuliert werden kann, dass $\Theta$ als kleinste messbare und reguläre Kardinalzahl hervortritt, ohne die extrem starken großen Kardinalaxiome zu benötigen, die in früheren Arbeiten als notwendig erachtet wurden. Dies untermauert die Vermutung, dass die Theorie „ZF + $\Theta$ ist die erste messbare und erste unzugängliche Kardinalzahl" eine geringere Konsistenzstärke als ein Woodin-Limit von Woodin-Kardinalzahlen besitzt.