Zum Inhalt springen
Startseite

Zermelo‑Fraenkel‑Mengenlehre (ZF) und ZFC: Grundlagen, Geschichte und Bedeutung

Überblick über die Zermelo‑Fraenkel‑Mengenlehre (ZF), ihre Axiome, die Erweiterung durch das Auswahlaxiom (ZFC), historische Entwicklung und Bedeutung für die moderne Mathematik.

Autor: Erstellt: Aktualisiert:

Die Zermelo‑Fraenkel‑Mengenlehre, kurz ZF, ist ein formalisiertes Axiomensystem zur axiomatischen Beschreibung der Mengenlehre. ZF legt fest, welche Mengen existieren dürfen und wie man aus vorhandenen Mengen neue erzeugt. Fügt man das Axiom der Wahl hinzu, spricht man von ZFC. Dieses System dient heute vielen Mathematikern als Standardgrundlage für Aussagen über Mengen und Strukturen in der gesamten Mathematik.

Bildergalerie

1 Bild
Ernst Zermelo
en.wikipedia.org · CC BY-SA 2.0 de

Grundidee und typische Axiome

ZF besteht aus mehreren Axiomen oder Axiomenschemata, die Zusammenhänge zwischen Mengen regeln, ohne Widersprüche wie das Russellsche Paradoxon zuzulassen. Wichtige Prinzipien sind:

  • Extensionalität: Mengen mit denselben Elementen sind gleich.
  • Leere Menge: Es existiert eine Menge ohne Elemente.
  • Aussonderung/Separation (Schema): Teilmengen können mittels Eigenschaft gebildet werden.
  • Paare und Vereinigung: Konstruktionen für geordnete Paare und Vereinigungen von Mengen.
  • Potenzmenge: Zu jeder Menge gehört die Menge aller Teilmengen.
  • Unendlichkeit: Es existiert eine unendliche Menge (Grundlage für die natürlichen Zahlen).
  • Ersetzungs‑/Replacement‑Schema: Bilder von Mengen unter definierbaren Abbildungen sind Mengen.
  • Fundierung/Regularität: Verhindert unendliche Abstiegsfolgen von Mengen‑Mitgliedschaften.

Das Auswahlaxiom (Choice) ist nicht Teil von ZF; zusammen ergeben sie ZFC, das viele mathematische Beweise erleichtert, aber auch umstrittene Konsequenzen zulässt.

Kurz zur Geschichte

Die Axiomatisierung entstand aus dem Bedarf, die naiven Mengenbegriffe nach Entdeckung des Russellschen Paradoxons zu sichern. Ernst Zermelo veröffentlichte 1908 eine erste Axiomatisierung; Abraham Fraenkel und Thoralf Skolem erweiterten und verbesserten dieses System in den 1920er Jahren. Seitdem hat sich ZF bzw. ZFC als dominierendes formales Fundament etabliert.

Bedeutende Resultate und offene Fragen

Wichtige metamathematische Entwicklungen betreffen Unabhängigkeits‑ und Konsistenzaussagen: Kurt Gödel zeigte, dass das Auswahlaxiom und die Kontinuumshypothese mit ZF vereinbar sind, falls ZF konsistent ist; später zeigte Paul Cohen mit der Methode des Forcings, dass die Kontinuumshypothese unabhängig von ZF (bzw. ZFC) ist. Solche Ergebnisse zeigen, dass manche Aussagen innerhalb ZF/ZFC weder beweisbar noch widerlegbar sind.

Anwendungen und Alternativen

ZF/ZFC dient als Grundlage für weite Teile der Mathematik, von Analysis und Algebra bis zur Topologie. In der Forschung spielen Erweiterungen wie große Kardinalaxiome eine Rolle, genauso wie alternative formale Systeme (z. B. NBG‑Mengenlehre oder konstruktive Theorien). Debatten über das Auswahlaxiom und über zusätzliche Annahmen gehören weiterhin zur Grundlagenforschung.

Weiterführende Hinweise

Einführende und vertiefende Texte behandeln sowohl die Axiome als auch historische und philosophische Aspekte. Weitere Informationen finden sich bei einführenden Quellen zu Zermelo, zur allgemeinen Mengenlehre, zum Axiom der Wahl und zu metamathematischen Ergebnissen wie jenen von Gödel und Cohen.

Axiome

Ein Axiom ist eine Aussage, die ohne Frage akzeptiert wird und für die es keinen Beweis gibt. ZF enthält acht Axiome.

  1. Das Axiom der Ausdehnung besagt, dass zwei Mengen gleich sind, wenn und nur wenn sie die gleichen Elemente haben. Zum Beispiel ist die Menge { 1 , 3 } {\displaystyle \{1,3\}} {\displaystyle \{1,3\}}und der Satz { 3 , 1 } {\displaystyle \{3,1\}}{\displaystyle \{3,1\}} sind gleich.
  2. Das Gründungsaxiom besagt, dass jede Menge S den Anzeigestil S {\displaystyle S}(außer der leeren Menge) ein Element enthält, das disjunkt ist (keine Mitglieder teilt) mit S {\darstellungsstil S} {\displaystyle S}.
  3. Das Spezifikationsaxiom besagt, dass bei einer Menge S {\Darstellungsstil S} {\displaystyle S}und ein Prädikat F {\darstellungsstil F} F(eine Funktion, die entweder wahr oder falsch ist), dass eine Menge existiert, die genau die Elemente von S {\Anzeigestil S} enthält{\displaystyle S}, bei denen F {\Anzeigestil F} Fwahr ist. Zum Beispiel, wenn S = { 1 , 2 , 3 , 5 , 6 } {\displaystyle S=\{1,2,3,5,6\}} {\displaystyle S=\{1,2,3,5,6\}}, und F {\darstellungsstil F} Fist "dies ist eine gerade Zahl", dann besagt das Axiom, dass die Menge { 2 , 6 } {\an8}Darstellungsstil {\{\2,6\}} {\displaystyle \{2,6\}}existiert.
  4. Das Axiom der Paarung besagt, dass es bei zwei gegebenen Mengen eine Menge gibt, deren Mitglieder genau die beiden gegebenen Mengen sind. Wenn also die beiden Mengen { 0 , 3 } gegeben sind {\augenblick \{0,3\}} {\displaystyle \{0,3\}}und { 2 , 5 } {\a6}Anzeige-Stil {\a6} {\displaystyle \{2,5\}}dieses Axiom besagt, dass die Menge { { { 0 , 3 } , { 2 , 5 } } {\\{\{\{\{\{\{\},\{\{\}},\{\{\2,5\}\}} {\displaystyle \{\{0,3\},\{2,5\}\}}existiert.
  5. Das Einheitsaxiom besagt, dass es für jede Menge eine Menge gibt, die nur aus den Elementen der Elemente dieser Menge besteht. Wenn man zum Beispiel die Menge { { 0 , 3 } , { 2 , 5 } } {\displaystyle \{\{0,3\},\{2,5\}\}} {\displaystyle \{\{0,3\},\{2,5\}\}}Dieses Axiom besagt, dass die Menge { 0 , 3 , 2 , 5 } {\Anzeigestil \{0,3,2,5\}} {\displaystyle \{0,3,2,5\}}existiert.
  6. Das Ersetzungsaxiom besagt, dass für eine beliebige Menge S {\Anzeigestil S} {\displaystyle S}und eine Funktion F {\Anzeigestil F} Fdass die Menge, die aus den Ergebnissen des Aufrufs von F {\Darstellungsstil F} Fauf allen Mitgliedern von S {\Darstellungsstil S} besteht, {\displaystyle S}existiert. Zum Beispiel, wenn S = { 1 , 2 , 3 , 5 , 6 } {\Anzeigestil S=\{1,2,3,5,6\}} {\displaystyle S=\{1,2,3,5,6\}}und F {\Anzeigestil F} Fist "addiere zehn zu dieser Zahl", dann besagt das Axiom, dass die Menge { 11 , 12 , 13 , 15 , 16 } {\Anzeigestil \{11,12,13,15,16\}} {\displaystyle \{11,12,13,15,16\}}existiert.
  7. Das Unendlichkeitsaxiom besagt, dass die Menge aller ganzen Zahlen (wie durch die Von-Neumann-Konstruktion definiert) existiert. Dies ist die Menge { 0 , 1 , 2 , 3 , 4 , . . . . } {\displaystyle \{0,1,2,3,4,...\}} {\displaystyle \{0,1,2,3,4,...\}}
  8. Das Axiom der Potenzmenge besagt, dass die Potenzmenge (die Menge aller Teilmengen) einer beliebigen Menge existiert. Zum Beispiel ist die Potenzmenge von { 2 , 5 } Anzeigeart {\2,5\} {\displaystyle \{2,5\}}ist { { } , { 2 } , { 5 } , { 2 , 5 } } {\displaystyle \{\{\},\{2\},\{5\},\{2,5\}\}} {\displaystyle \{\{\},\{2\},\{5\},\{2,5\}\}}

Axiom der Wahl

Das Axiom der Wahl besagt, dass es möglich ist, aus jedem der Elemente einer Menge ein Objekt herauszunehmen und eine neue Menge zu bilden. Wenn man beispielsweise die Menge { { 0 , 3 } , { 2 , 5 } } {\displaystyle \{\{0,3\},\{2,5\}\}} {\displaystyle \{\{0,3\},\{2,5\}\}}würde das Axiom der Wahl zeigen, dass eine Menge wie { 3 , 5 } {\an8}Darstellungsstil {\{\3,5\}} {\displaystyle \{3,5\}}existiert. Dieses Axiom kann aus den anderen Axiomen für endliche Mengen nachgewiesen werden, aber nicht für unendliche Mengen.

Verwandte Artikel

Autor

AlegsaOnline.com Zermelo‑Fraenkel‑Mengenlehre (ZF) und ZFC: Grundlagen, Geschichte und Bedeutung

URL: https://de.alegsaonline.com/art/110521

Teilen

Quellen