Axiomatische Mengenlehre (ZFC)

Die Zermelo-Fraenkel-Mengenlehre mit dem Auswahlaxiom (ZFC) ist das Axiomensystem erster Ordnung, das als Standardgrundlage der modernen Mathematik dient.

Definition

ZFC ist eine Theorie der Logik erster Ordnung mit einem einzigen binären Relationssymbol für die Elementbeziehung, deren Axiome (Extensionalität, Paarmenge, Vereinigung, Potenzmenge, Unendlichkeit, Aussonderung, Ersetzung, Fundierung und Auswahl) das Universum der Mengen beschreiben und aus denen die gewöhnliche Mathematik abgeleitet werden kann.

Scope

Dieses Thema behandelt die einzelnen Axiome von ZFC, die kumulative Hierarchie der Mengen, die sie erzeugen, die Rolle der Axiomenschemata der Aussonderung und Ersetzung sowie den Sonderstatus des Auswahlaxioms. Es wird erklärt, wie vertraute mathematische Objekte innerhalb dieses Systems als Mengen kodiert werden.

Core questions

• Was besagt jedes ZFC-Axiom und warum wird es benötigt?
• Wie organisiert die kumulative Hierarchie das Universum der Mengen?
• Warum wird das Auswahlaxiom hervorgehoben und was impliziert es?
• Wie werden Zahlen, Funktionen und Relationen innerhalb von ZFC als Mengen konstruiert?

Key theories

Axiom der Extensionalität und Fundierung

Die Extensionalität besagt, dass Mengen durch ihre Elemente bestimmt sind, und die Fundierung schließt unendliche absteigende Elementketten aus, wodurch das Universum als eine wohlfundierte kumulative Hierarchie strukturiert wird.

Aussonderungs- und Ersetzungsschemata

Die Aussonderung bildet Teilmengen, die durch eine Eigenschaft definiert sind, und die Ersetzung erlaubt, dass das Bild einer Menge unter einer definierbaren Klassenfunktion eine Menge ist, was zusammen die Stärke liefert, die benötigt wird, um große Mengen zu bilden, ohne die klassischen Paradoxien wieder einzuführen.

Auswahlaxiom

Das Auswahlaxiom besagt, dass jede Sammlung nichtleerer Mengen eine Auswahlfunktion besitzt; es ist äquivalent zu Zorns Lemma und dem Wohlordnungssatz und ist in weiten Teilen der Mathematik unverzichtbar, aber unabhängig von den anderen Axiomen.

Clinical relevance

ZFC ist der implizite Rahmen, in dem die meisten praktizierenden Mathematiker argumentieren: Es legt fest, welche Objekte existieren und welche Konstruktionen legitim sind. Das Verständnis ihrer Axiome verdeutlicht daher, welche Argumente fundamental fundiert sind und welche von der Auswahl oder anderen umstrittenen Prinzipien abhängen.

History

Zermelo schlug 1908 die erste Axiomatisierung vor, um seinen Beweis des Wohlordnungssatzes zu sichern; Fraenkel und Skolem fügten in den 1920er Jahren das Ersetzungsschema hinzu, und von Neumann klärte die kumulative Hierarchie und Fundierung, wodurch das System entstand, das heute ZFC genannt wird.

Key figures

• Ernst Zermelo
• Abraham Fraenkel
• Thoralf Skolem
• John von Neumann

Seminal works

• kunen2011
• jech2003
• enderton1977

Frequently asked questions

Warum nicht einfach die naive Mengenlehre verwenden?

Die naive Komprehension, die die Bildung der Menge aller Mengen erlaubt, die eine beliebige Eigenschaft erfüllen, führt zu Russells Paradoxon. ZFC ersetzt die uneingeschränkte Komprehension durch die eingeschränkten Aussonderungs- und Ersetzungsschemata, die die Paradoxien vermeiden und dennoch stark genug für die Mathematik sind.

Ist das Auswahlaxiom notwendig?

Ein Großteil der Mainstream-Mathematik, einschließlich Basen für Vektorräume und viele Ergebnisse in der Analysis und Algebra, stützt sich darauf. Es ist unabhängig von den anderen Axiomen, kann also konsistent angenommen oder verneint werden, wird aber konventionell übernommen.