Ersetzungsaxiom

ein Axiom, das Abraham Fraenkel 1921 als Ergänzung zur Zermelo-Mengenlehre von 1907 vorschlug und später ein fester Bestandteil der Zermelo-Fraenkel-Mengenlehre ZF wurde
(Weitergeleitet von Ersetzungsschema)

Das Ersetzungsaxiom ist ein Axiom, das Abraham Fraenkel 1921 als Ergänzung zur Zermelo-Mengenlehre von 1907 vorschlug und später ein fester Bestandteil der Zermelo-Fraenkel-Mengenlehre (ZF) wurde.[1] Es besagt informell, dass die Bilder von Mengen ebenfalls Mengen sind.

Durch das Ersetzungsschema kann man zum Beispiel die Elemente der Menge der natürlichen Zahlen

,

deren Existenz nach dem Unendlichkeitsaxiom gegeben ist, „ersetzen“ durch

,

wobei die kleinste Ordinalzahl ist und wir eine Funktion (bzw. einen funktionalen Ausdruck) der Form benutzten. In der prädikatenlogischen Sprache wird das Ersetzungsaxiom präzisiert als Axiomenschema, das unendlich viele Axiome umfasst. Daher wird es heute auch oft als Ersetzungsschema bezeichnet.

Formulierung

Bearbeiten

In den heute üblichen Formulierungen innerhalb der Prädikatenlogik lautet es als Schema wie folgt: Für jedes Prädikat  , in dem die Variable   nicht vorkommt, ergibt das Schema das Axiom

 .

Alle Axiome dieser Form sind Axiome der Zermelo-Fraenkel-Mengenlehre. Die Bedingung   im Axiom besagt, dass das zweistellige Prädikat   rechtseindeutig (funktional) ist, das heißt, zu jedem   gibt es höchstens ein   mit  . Der Teilausdruck   formalisiert, dass   das Bild von   unter   ist.

Die Menge  , deren Existenz das Ersetzungsaxiom garantiert, ist aufgrund des Extensionalitätsaxioms eindeutig bestimmt.

Bedeutung zur Konstruktion „großer Mengen“

Bearbeiten

Die Existenz einer Menge der Form   lässt sich in der Zermelo-Mengenlehre nicht beweisen, wie Fraenkel in seiner Veröffentlichung von 1921 bemerkte. Dies gilt auch dann, wenn man Fundierungsaxiom und Auswahlaxiom hinzunimmt. Ebenso wenig lässt sich die Existenz einer Menge größer als jedes   mit   beweisen (also die Existenz einer Menge mindestens der Mächtigkeit  , siehe Beth-Funktion), und schon die Existenz einer Ordinalzahl   (das heißt einer Menge  ) lässt sich nicht zeigen. Dies folgt daraus, dass   in ZFC ein Modell der Zermelo-Mengenlehre mit Fundierungsaxiom und Auswahlaxiom ist (Skolem bemerkte dies 1922[2]). In diesem Modell ist die Kardinalität jeder Menge durch ein   mit   beschränkt, jede Ordinalzahl der Form   oder   mit  .

Das Ersetzungsaxiom erlaubt die Konstruktion all dieser „großen Mengen“.

Beziehung zu anderen Axiomen und äquivalente Prinzipien

Bearbeiten

Erlaubt man, wie in der obigen Formulierung, dass   nicht alle Mengen auf eine weitere abbilden muss, ergibt sich aus dem Ersetzungsschema direkt das Aussonderungsschema: Jede Menge   für ein Prädikat   ist gerade das Bild von   unter dem Prädikat  .

Das Ersetzungsaxiom erlaubt es, das Prinzip der transfiniten Rekursion zu beweisen. In ZFC ohne das Ersetzungsaxiom ist dieses Prinzip äquivalent zum Ersetzungsaxiom. Transfinite Rekursion erlaubt direkt die Konstruktion der Ordinalzahlarithmetik, der Aleph-Funktion, der Beth-Funktion und der Von-Neumann-Hierarchie sowie den Beweis, dass jede Wohlordnung isomorph zu einer Ordinalzahl ist.[3]

Azriel Levy zeigte 1960 die Äquivalenz des Ersetzungsaxioms zum Levy-Montague-Reflexionsprinzip unter Voraussetzung der übrigen Axiome. Dies erübrigt das Ersetzungsaxiom im Scottschen Axiomensystem. Dieses zeigt auch, dass endlich viele Instanzen des Axiomenschemas nicht ausreichen, um ZF zu axiomatisieren: Für jede solche endliche Menge von Axiomen findet sich ein  , das Modell von Z mit Fundierungsaxiom und dieser endlichen Menge ist. Insbesondere lässt sich die Widerspruchsfreiheit von ZFC nicht aus der Widerspruchsfreiheit irgendeiner Teilmenge der ZFC-Axiome mit nur endlich vielen Instanzen des Ersetzungsschemas ableiten.

Bedeutung in der Mathematik

Bearbeiten

Die Bedeutung des Ersetzungsaxioms außerhalb der Mengenlehre wird mitunter infrage gestellt.[4] Es wird nicht für jegliche Bildung einer Bildmenge benötigt: Ist bekannt, dass   oder   eine Menge ist (wie es etwa der Fall ist, wenn   als Funktion von einer Menge in eine andere gegeben ist), so genügt das Aussonderungsaxiom, um das Bild von   als Menge zu bilden.

Die Mengenlehre, die Nicolas Bourbaki 1949 zur Grundlegung der gesamten Mathematik in einem Aufsatz vorschlug und die als Teilsystem der Zermelo-Mengenlehre mit Auswahlaxiom gesehen werden kann, verzichtet auf das Ersetzungsaxiom. Der 1954 erstmals (und dann überarbeitet 1970) erschienene Teil des Bandes Théorie des ensembles zur Begründung der Élements de mathématique enthielt dann eine Variante des Ersetzungsaxioms, genannt « schéma de sélection et réunion » (deutsch: „Schema der Aussonderung und Vereinigung“). Unter Verwendung der hier gewählten Formelzeichen lautet die Variante so, dass von   nicht angenommen wird, dass es funktional ist, sondern nur, dass für jedes   eine Menge aller   mit   existiert.[5][6][7][8] Auch die kategorientheoretische Axiomatisierung der Mengenlehre über eine Elementary theory of the category of sets verzichtet auf ein dem Ersetzungsaxiom entsprechendes Prinzip, während das System gleichwertig zu ZFC ohne das Ersetzungsaxiom ist.[9][10]

Ein Beispiel für einen Satz mit direkten Berührungspunkten zu anderen Teilgebieten der Mathematik, der sich in der Zermelo-Mengenlehre (auch mit Fundierungs- und Auswahlaxiom) nicht beweisen lässt, ist die Borel-Determiniertheit (das heißt, dass in gewissen Spielen, deren Gewinnbedingung eine Borel-Menge ist, stets ein Spieler eine Gewinnstrategie besitzt).[11] Der Beweis der Borel-Determiniertheit in ZFC erfolgt per Rekursion über die Borel-Hierarchie.

Zwar baut die moderne Theorie der Ordinalzahlen und der Kardinalzahlen, die nach John von Neumann als bestimmte durch die Elementrelation geordnete Mengen definiert werden, auf dem Ersetzungsaxiom auf, Teile der Ordinalzahlarithmetik beispielsweise lassen sich jedoch auch ohne Ersetzungsaxiom rekonstruieren, wenn man Ordinalzahlen als Isomorphieklassen von Wohlordnungen auffasst. Die Ordinalzahl   ergibt sich dann beispielsweise als ordnungstheoretische Summe von zwei Wohlordnungen (anschaulich gesprochen durch „Aneinanderhängen“). Ein globales Auswahlaxiom erlaubt die Wahl eines kanonischen Repräsentanten für jede Ordinalzahl.

Das Ersetzungsaxiom in Mengenlehren mit echten Klassen

Bearbeiten

In der Neumann-Bernays-Gödel-Mengenlehre wird das Ersetzungsaxiom als ein Axiom formuliert, in dem über eine Klasse   quantifiziert wird, anstatt für   Prädikate einzusetzen. In der Formulierung von John von Neumann von 1925 folgt dieses Axiom neben anderen aus der limitation of size, oder spezieller daraus, dass eine Klasse genau dann echt ist, wenn eine Surjektion auf die Allklasse existiert.[12] Analoges gilt für die stärkere Morse-Kelley-Mengenlehre.

Pendant in kategorialer Mengenlehre

Bearbeiten

Die Elementary theory of the category of sets (ETCS) lässt sich um ein Pendant des Ersetzungsaxioms erweitern, sodass in der resultierenden Theorie ZFC interpretierbar wird und umgekehrt. Eine Möglichkeit lautet wie folgt: Für jede prädikatenlogische Formel   (über Morphismen   und Objekte  ) ist die folgende Aussage ein Axiom: Ist   ein Objekt, sodass für alle Elemente   bis auf Isomorphie genau ein Objekt   existiert mit  , so existiert ein Objekt   und ein Morphismus  , sodass für alle Elemente     die Faser von   unter   („ “, kategorientheoretisch formulierbar als Pullback) ist.[13]

Eine frühere Formulierung findet sich in einem Aufsatz von Gerhard Osius aus dem Jahr 1973, auf William Lawveres 1964 veröffentlichte Einführung der ETCS verweisend.[14]

Geschichte

Bearbeiten

Georg Cantor schrieb 1899 an Richard Dedekind:

„Zwei äquivalente Vielheiten sind entweder beide ‚Mengen‘, oder beide inkonsistent.“[15]

In moderner (klassentheoretischer) Sprache formuliert: Existiert eine Bijektion zwischen zwei Klassen, so sind entweder beide Mengen oder beide echte Klassen. Colin McLarty zieht diese Forderung als Motivation seiner kategorialen Formulierung des Ersetzungsaxioms heran. Cantors Forderung lässt sich laut McLarty dahingehend vereinfachen, dass eine Klasse, die Bild einer Menge ist, auch eine Menge ist.[13]

Fraenkel formulierte 1921 das Axiom wie folgt:

„Ist   eine Menge und wird jedes Element von   durch ein ‚Ding des Bereiches  ‘ […] ersetzt, so geht   wiederum in eine Menge über.“[1]

Er sah in der Unmöglichkeit, etwa die oben genannte Menge   zu konstruieren, eine Unzulänglichkeit der Zermelo-Mengenlehre zur Begründung der Cantorschen Mengenlehre.[1]

Thoralf Skolem bestätigte diese Unmöglichkeit und gab 1922 eine Formulierung als Axiomenschema. In seiner Formulierung wird auch nicht mehr gefordert, dass das Prädikat jede Menge auf eine weitere abbildet.[16]

In Zermelos Formulierung der Zermelo-Fraenkel-Mengenlehre von 1930 lautete das Ersetzungsaxiom:

„Ersetzt man die Elemente   einer Menge   eindeutig durch beliebige Elemente   des Bereiches, so enthält dieser auch eine Menge  , welche alle diese   zu Elementen hat.“

Er bemerkte auch, dass aus dem Ersetzungsaxiom das Aussonderungsaxiom und das Paarmengenaxiom ableitbar sind.[17][18][19]

Von Neumann nannte das Axiom auch Axiom von Fraenkel.[20]

Literatur

Bearbeiten
  • Akihiro Kanamori: In Praise of Replacement. In: The Bulletin of Symbolic Logic. Band 18, Nr. 1. Association for Symbolic Logic, März 2012.

Einzelnachweise

Bearbeiten
  1. a b c Abraham Fraenkel: Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre. (1921).Abraham Fraenkel: Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre. In: Mathematische Annalen. Band 86, 1922, S. 230–237. Abgerufen am 8. Mai 2023.
  2. Kanamori, S. 61.
  3. Joel David Hamkins: Transfinite recursion as a fundamental principle in set theory. 20. Oktober 2014, abgerufen am 23. Dezember 2014.
  4. Kanamori, S. 46.
  5. Adrian Mathias: Unordered pairs in the set theory of Bourbaki 1949. In: Archiv der Mathematik. Band 94, Nr. 1. Springer, 2010, S. 1–10, doi:10.1007/s00013-009-0006-7 (online [PDF; 194 kB; abgerufen am 23. August 2021]).
  6. Maribel Anacona, Luis Carlos Arboleda, F. Javier Pérez-Fernández: On Bourbaki’s axiomatic system for set theory. In: Synthese. Band 191. Springer, 2014, S. 4078, doi:10.1007/s11229-014-0515-1.
  7. Nicolas Bourbaki: Théorie des ensembles (= Eléments de mathématique). Herman, Paris 1954, Kapitel 2, S. 64.
  8. Nicolas Bourbaki: Théorie des ensembles (= Eléments de mathématique). Diffusion, Paris 1977, ISBN 2-225-81909-2, Théorie des ensembles, S. 4 (französisch).
  9. axiom of replacement, Eintrag im nLab. (englisch)
  10. Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic. Springer, 1992, ISBN 0-387-97710-4, S. 335.
  11. Harvey Friedman: Higher set theory and mathematical practice. In: Annals of Mathematical Logic. Band 2, Nr. 3, 1971, S. 325–357, doi:10.1016/0003-4843(71)90018-0.
  12. Kanamori, S. 64.
  13. a b Colin McLarty: Exploring Categorical Structuralism. In: Philosophia Mathematica. Band 12, Nr. 1. Oxford University Press, 2004, S. 48, doi:10.1093/philmat/12.1.37.
  14. Gerhard Osius: Categorial Set Theory: A Characterization of the Category of Sets. In: Journal of Pure and Applied Algebra. Band 4, Nr. 1. North-Holland, 1974, S. 116, doi:10.1016/0022-4049(74)90032-2.
  15. Georg Cantor: Gesammelte Abhandlungen mathematischen und philosophischen Inhalts. Hrsg.: Ernst Zermelo. Springer, 1932, ISBN 978-3-642-30416-3, Aus dem Briefwechsel zwischen Cantor und Dedekind, S. 444.
  16. Thoralf Skolem: Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre. In: Wissenschaftliche Vorträge, gehalten auf dem 5. Kongress der skandinavischen Mathematiker in Helsingfors vom 4. bis 7. Juli 1922. 1923, ZDB-ID 771194-3, S. 217–232.
  17. Ernst Zermelo: Grenzzahlen und Mengenbereiche, Fundamenta Mathematicae 16 (1930), Bemerkung S. 31
  18. Walter Felscher: Naive Mengen und abstrakte Zahlen I, Mannheim, Wien, Zürich, 1978, S. 62.
  19. Wolfgang Rautenberg: Grundkurs Mengenlehre. (PDF; 1,0 MB) Fassung Berlin 2008, S. 26
  20. Kanamori, S. 62.