Forcing und Unabhängigkeit

Forcing ist eine Technik zur Erweiterung eines Modells der Mengenlehre durch Hinzufügen eines sorgfältig ausgewählten generischen Objekts und die Hauptmethode, um zu beweisen, dass Aussagen von den Standardaxiomen unabhängig sind.

Definition

Forcing ist eine Methode, die, ausgehend von einem Modell der Mengenlehre und einer partiellen Ordnung darin, ein größeres Modell konstruiert, das einen generischen Filter enthält; durch die Kontrolle der partiellen Ordnung wird erreicht, dass vorgeschriebene Aussagen in der Erweiterung gelten oder nicht gelten, wodurch deren Konsistenz oder Unabhängigkeit bewiesen wird.

Scope

Dieses Thema behandelt die Forcing-Methode, partielle Ordnungen und generische Filter, die Forcing-Relation und die Konstruktion generischer Erweiterungen, die Erhaltung von Kardinalzahlen durch Kettenbedingungen und die kanonischen Unabhängigkeitsergebnisse für die Kontinuumshypothese und das Auswahlaxiom, zusammen mit Goedels komplementärem konstruktiblen Universum.

Core questions

• Wie erzeugt das Hinzufügen eines generischen Filters ein neues Modell der Mengenlehre?
• Wie wird die Wahrheit in der generischen Erweiterung durch die Forcing-Relation innerhalb des Grundmodells kontrolliert?
• Welche kombinatorischen Eigenschaften des Forcing-Posets erhalten Kardinalzahlen und Kofinalitäten?
• Wie etablieren Forcing und das konstruktible Universum zusammen die Unabhängigkeit der Kontinuumshypothese?

Key theories

Generische Erweiterungen und der Forcing-Satz

Gegeben sei ein generischer Filter über einer partiellen Ordnung, so wird jede Aussage, die in der resultierenden Erweiterung wahr ist, durch eine Bedingung erzwungen, und diese Forcing-Relation ist im Grundmodell definierbar, was eine Analyse der Erweiterung von innen heraus ermöglicht.

Konstruktibles Universum und Konsistenz der CH

Goedels inneres Modell konstruktibler Mengen erfüllt das Auswahlaxiom und die verallgemeinerte Kontinuumshypothese, was zeigt, dass diese mit den anderen Axiomen konsistent sind.

Unabhängigkeit der Kontinuumshypothese

Cohen verwendete Forcing, um einem Modell viele reelle Zahlen hinzuzufügen, so dass die Kontinuumshypothese fehlschlägt, was zusammen mit Goedels Ergebnis zeigt, dass die Hypothese von ZFC unabhängig ist.

Clinical relevance

Forcing ist das zentrale Werkzeug der zeitgenössischen Mengenlehre: Es wird verwendet, um die Unabhängigkeit einer breiten Palette von Aussagen in Analysis, Topologie und Algebra zu beweisen und die Stärke kombinatorischer Prinzipien zu kalibrieren, wodurch aufgezeigt wird, welche mathematischen Fragen die Standardaxiome nicht klären können.

History

Goedel führte 1938 das konstruktible Universum ein, um die Konsistenz der Kontinuumshypothese und des Auswahlaxioms zu beweisen. 1963 erfand Cohen das Forcing, um deren Unabhängigkeit zu beweisen, eine Arbeit, für die er die Fields-Medaille erhielt; Scott, Solovay und andere reformulierten das Forcing über Boolesche Modelle und entwickelten es zum Standardapparat des Fachgebiets.

Key figures

• Paul Cohen
• Kurt Goedel
• Dana Scott
• Robert Solovay

Seminal works

• kunen2011
• cohen1963
• godel1940

Frequently asked questions

Was ist ein generischer Filter intuitiv?

Es ist ein idealisiertes Objekt, das so gewählt wird, dass es jede im Grundmodell definierbare Anforderung erfüllt, so dass es ausreichend generisch ist, um nicht von einer einzelnen Definition dort erfasst zu werden. Das Hinzufügen erzeugt eine kontrollierte Erweiterung des Mengenuniversums.

Ändert Forcing die Wahrheit der Axiome der Mengenlehre?

Nein. Eine generische Erweiterung eines ZFC-Modells ist wiederum ein ZFC-Modell; Forcing ändert nur den Wahrheitswert von Aussagen, die von den Axiomen unbestimmt gelassen werden, wie die Kontinuumshypothese, was es genau zu einem Werkzeug für Unabhängigkeitsbeweise macht.