Das Extensionalitätsaxiom

Zweck des Extensionalitätsaxiom ist es eine Verbindung zwischen der Gleichheit von Mengen und der Elementbeziehung herzustellen. Wir fordern, dass Mengen, welche die selben Elemente enthalten, gleich sein sollen. Daraus wird sich ergeben, dass gleiche Mengen auch umfangsgleich sind, also die selben Elemente enthalten.

ExtZF

∀x(x∈a  ⟺  x∈b)  ⟹  a=b\forall x (x \in a \iff x \in b ) \implies a = b.
Es gilt damit auch die Äquivalenz: ∀x(x∈a  ⟺  x∈b)  ⟺  a=b\forall x (x \in a \iff x \in b ) \iff a = b. (Denn falls a=ba=b und ¬∀x(x∈a  ⟺  x∈b)\not\forall x (x \in a \iff x \in b ) , gilt a=aa=a und ¬∀x(x∈a  ⟺  x∈a)\not\forall x (x \in a \iff x \in a ) =F=F, da x∈a  ⟺  x∈ax \in a \iff x \in a eine Tautologie ist.)
Das Extensionalitätsaxiom stellt sicher, dass Gleichheit und Umfangsgleichheit von Mengen äquivalent sind.
Alternativ wäre also ein Aufbau der Mengenlehre mittels der Elementbeziehung und der Definition der Gleichheit durch a=b:=∀x(x∈a  ⟺  x∈b)a=b \eqdef\forall x (x \in a \iff x \in b ) möglich.
 
 

Definitionen

Wir können die Grundprädikate ∈\in und == auf Klassen erweitern.

Gleichheit von Klassen

Wir benutzen die Umfangsgleichheit um die Gleichheit von Klassen und Mengen untereinander zu definieren.
a=B := ∀x(x∈a  ⟺  x∈B) a = B \,\eqdef\, \forall x (x \in a \lequi x \in B ) und A=b := ∀x(x∈A  ⟺  x∈b) A = b \,\eqdef\, \forall x (x \in A \lequi x \in b ), also a=B  ⟺  B=aa=B\lequi B=a.
A=B := ∀x(x∈A  ⟺  x∈B) A = B \,\eqdef\, \forall x (x \in A \lequi x \in B ).

Elementbeziehung für Klassen

A∈B := ∃y(y=A∧y∈B)A\in B\,\eqdef\, \exists y(y=A \and y\in B) und A∈b := ∃y(y=A∧y∈b)A\in b\,\eqdef\, \exists y(y=A \and y\in b)
Die verbleibende Möglichkeit a∈Ba\in B, muss nicht definiert werden, denn sie ist schon Bestandteil der ZF-Sprache. (Falls B={x∣φ(x,… )}B=\{x | \phi(x,\dots)\},dann ist a∈Ba\in B ist eine Abkürzung für a∈{x∣φ(x,… )}a\in\{x | \phi(x,\dots)\} .)

Allklasse

Mit Mg(A)\mathrm{Mg}(A) wollen wir die Eigenschaft einer Klasse beschreiben, eine Menge zu sein, also:
Mg(A)  ⟺  ∃x(x=A)\mathrm{Mg}(A) \lequi \exists x(x=A).
Mit U\mathrm{U} bezeichnen wir die Klasse aller Mengen (Allklasse, Universum):
U:={x∣x=x}\mathrm{U}\eqdef \{x|x=x\}.
Mit diesen beiden Definitionen gilt: Mg(A)  ⟺  A∈U\mathrm{Mg}(A)\lequi A\in\mathrm{U}.
(Mg(A)\mathrm{Mg}(A)   ⟺  ∃y(y=A)\lequi\exists y(y=A)   ⟺  ∃y(y=A)∧∃y(y∈{x∣x=x})\lequi\exists y(y=A) \and \exists y(y\in \{x|x=x\})   ⟺  ∃y(y=A∧y∈{x∣x=x})\lequi \exists y(y=A \and y\in \{x|x=x\})   ⟺  A∈{x∣x=x}\lequi A\in \{x|x=x\}   ⟺  A∈U\lequi A\in \mathrm{U})

Leere Klasse

Die leere Klasse ∅\OO, soll diejenige Klasse sein, die keine Elemente enthält. Nur mit dem Extensionalitätsaxiom können wir weder zeigen, dass sie existiert, noch, dass es sich um eine Menge handelt.
∅:={x∣x≠x}\OO\eqdef\{x|x\neq x\}.
Es gilt ∀x(x∉∅)\forall x (x\notin \OO) (wegen   ⟺  ∀x¬(x∈{y∣y≠y})\lequi \forall x \not(x\in\{y|y\neq y\})   ⟺  ∀x¬(x≠x)\lequi \forall x \not (x\neq x)   ⟺  ∀x(x=x)\lequi \forall x(x=x)).

Satz BBAC

Aus KeZF und ExtZF folgt: Es gibt höchstens eine leere Klasse.

Beweis

Sei ∅′\OO' eine weitere Klasse ohne Elemente, für die also gilt ∀x(x∉∅′)\forall x (x\notin \OO'). Wir zeigen, dass dann ∅=∅′\OO=\OO' gilt. Für beliebiges xx gilt x∉∅∧x∉∅′x\notin \OO \and x\notin \OO'   ⟹  (x∉∅  ⟺  x∉∅′)\implies (x\notin \OO \lequi x\notin \OO')   ⟺  (x∈∅  ⟺  x∈∅′)\lequi (x\in \OO \lequi x\in \OO')
  ⟹  ∅=∅′\implies \OO=\OO'. (ExtZF) □\qed
Bis auf die leere Klasse ist ZF frei von Urelementen. (Urelemente sind in der Elemente, die selbst keine Elemente enthalten.) Möchte man eine Mengenlehre mit Urelementen konstruieren, kann man das Extensionalitätsaxiom in dieser Form nicht verwenden.

Satz BB9F

Aus KeZF und ExtZF folgt:
Jede Menge ist eine Klasse.

Beweis

Sei aa eine Menge, wir zeigen, dass a={x∣x∈a}a=\{x| x\in a\} gilt. Damit können wir jeder Menge durch einem Klassenterm über ihre Elemente beschreiben.
a={x∣x∈a}a=\{x| x\in a\}   ⟺  ∀y(y∈a  ⟺  y∈{x∣x∈a})\lequi \forall y(y\in a \lequi y\in \{x| x\in a\})   ⟺  ∀y(y∈a  ⟺  y∈a)\lequi \forall y(y\in a \lequi y\in a)   ⟺  T\lequi \mathrm{T} (KeZF) □\qed

Das ist ein Mittel, das Paradies nicht zu verfehlen: auf der einen Seite einen Mathematiker, auf der anderen einen Jesuiten; mit dieser Begleitung muß man seinen Weg machen, oder man macht ihn niemals.

Friedrich der Große

Copyright- und Lizenzinformationen: Diese Seite ist urheberrechtlich geschützt und darf ohne Genehmigung des Autors nicht weiterverwendet werden.
Anbieterkеnnzeichnung: Mathеpеdιa von Тhοmas Stеιnfеld  • Dοrfplatz 25  •  17237 Blankеnsее  • Tel.: 01734332309 (Vodafone/D2)  •  Email: cο@maτhepedιa.dе
Datenschutzerklärung

 

Zermelo-Fraenkel-Mengenlehre