Große Kardinalzahlen

Große Kardinalzahlen sind starke Unendlichkeitsaxiome, die die Existenz von Kardinalzahlen behaupten, die so groß sind, dass ihre Existenz nicht in ZFC bewiesen werden kann, und sie bilden eine nahezu lineare Hierarchie, die die Stärke mathematischer Theorien kalibriert.

Definition

Ein großes Kardinalzahlaxiom behauptet die Existenz einer Kardinalzahl mit einer starken Abschluss- oder Reflexionseigenschaft, typischerweise ausdrückbar durch eine elementare Einbettung des Universums; solche Kardinalzahlen übersteigen das, was ZFC als existent beweisen kann, und erhöhen somit die Konsistenzstärke der Theorie.

Scope

Dieses Thema behandelt die wichtigsten Begriffe großer Kardinalzahlen wie inakkessible, Mahlo-, schwach kompakte, messbare und superkompakte Kardinalzahlen, ihre Charakterisierungen durch Reflexion und elementare Einbettungen, die Konsistenzstärke-Hierarchie, die sie erzeugen, und ihre Verbindungen zu Determinismus und der inneren Modelltheorie.

Core questions

• Welche Abschluss- und Reflexionseigenschaften definieren die wichtigsten großen Kardinalzahlen?
• Wie charakterisieren elementare Einbettungen messbare und stärkere Kardinalzahlen?
• Warum bilden große Kardinalzahlen eine nahezu lineare Hierarchie der Konsistenzstärke?
• Wie interagieren große Kardinalzahlen mit Determinismus und der Struktur der reellen Zahlen?

Key theories

Inakkessible und Mahlo-Kardinalzahlen

Eine inakkessible Kardinalzahl ist regulär und eine starke Limeszahl, sodass sie nicht durch die üblichen Mengenoperationen erreicht werden kann und ein natürliches Modell von ZFC liefert; Mahlo-Kardinalzahlen reflektieren Inakkessibilität und beginnen die Hierarchie.

Messbare Kardinalzahlen und elementare Einbettungen

Eine messbare Kardinalzahl trägt einen nichttrivialen abzählbar vollständigen Ultrafilter, äquivalent dazu ist sie der kritische Punkt einer elementaren Einbettung des Universums in ein inneres Modell, was dem Konstruktibilitätsaxiom widerspricht.

Konsistenzstärke-Hierarchie

Große Kardinalzahlaxiome sind nach relativer Konsistenz geordnet, sodass die Konsistenz eines Axioms die aller schwächeren impliziert, was einen Maßstab liefert, an dem die Stärke beliebiger Theorien gemessen wird.

Clinical relevance

Große Kardinalzahlen liefern die kanonische Skala der Konsistenzstärke in der Mathematik: Viele Aussagen erweisen sich als äquikonsistent mit der Existenz einer großen Kardinalzahl, und starke große Kardinalzahlen implizieren Regularitätseigenschaften der reellen Zahlengeraden wie projektive Determinismus und Lebesgue-Messbarkeit definierbarer Mengen.

History

Inakkessible Kardinalzahlen entstanden aus Zermelos und Sierpinski-Tarskis Untersuchung von Modellen der Mengenlehre, und Ulams Arbeit von 1930 über Maße führte zu messbaren Kardinalzahlen. Scott zeigte 1961, dass eine messbare Kardinalzahl das Konstruktibilitätsaxiom widerlegt, und die nachfolgende Arbeit von Solovay, Martin, Woodin und anderen baute die moderne Hierarchie und ihre Verbindungen zum Determinismus auf.

Key figures

• Stanislaw Ulam
• Dana Scott
• Robert Solovay
• Hugh Woodin

Seminal works

• kanamori2009
• jech2003
• kunen2011

Frequently asked questions

Warum kann ZFC die Existenz großer Kardinalzahlen nicht beweisen?

Eine inakkessible Kardinalzahl liefert ein Mengenmodell von ZFC; daher kann ZFC nach Gödels zweitem Unvollständigkeitssatz die Existenz einer solchen Kardinalzahl nicht beweisen, ohne seine eigene Konsistenz zu beweisen, was es nicht kann. Dieselbe Argumentation gilt a fortiori für stärkere große Kardinalzahlen.

Warum sollte man Axiome studieren, deren Konsistenz nicht bewiesen werden kann?

Große Kardinalzahlen bieten eine kohärente und wohlgeordnete Skala zum Vergleich der Stärke mathematischer Theorien, und sie klären ansonsten unabhängige Fragen über definierbare Mengen reeller Zahlen, was sie zu einem zentralen Organisationswerkzeug macht, auch wenn ihre Konsistenz angenommen werden muss.