Brontekst bekijken van Verzamelingen/Bijlage: Axioma's van Zermelo-Fraenkel

De verzamelingenleer wordt meestal gebaseerd op  de axioma's van twee wiskundigen [[w:Ernst Zermelo]] en [[w:Adolf Fraenkel|Abraham Fraenkel]] en vaak afgekort tot '''ZF'''. Het is de meest algemeen gebruikte van de verschillende [[w:axiomatisch systeem|axiomatische systemen]], die in het begin van de twintigste eeuw werden voorgesteld om een verzamelingenleer te formuleren, zonder de paradoxen van de [[w:naïeve verzamelingenleer]], zoals de [[w:paradox van Russell]]. In het bijzonder bevat ZF niet het [[w:comprehensieaxioma]], maar slechts een beperkte variant ervan. Daardoor is het in ZF niet voor elke eigenschap mogelijk een verzameling te vormen van alle objecten die deze eigenschap hebben.

Vandaag de dag is de Zermelo-Fraenkel-verzamelingenleer met het [[keuzeaxioma]] (afgekort tot ZFC, waarbij de C voor het Engelse '''C'''hoice staat) de standaardvorm van de axiomatische verzamelingenleer en het meest gebruikelijke fundament van de wiskunde.

== Grondstellingen ==
Het model van ZFC bestaat uit negen axioma's.
* [[w:Gelijkheidsaxioma]], dat stelt dat twee verzamelingen <math>x</math> en <math>y</math> gelijk zijn precies wanneer alle elementen van <math>x</math> ook elementen van <math>y</math> zijn, en vice versa. In de taal van [[w:predicatenlogica]]:
::<math>\forall x \forall y (x=y \Longleftrightarrow \forall z (z \in x \Longleftrightarrow z \in y))</math>
* [[w:Paaraxioma]], dat onder andere het bestaan van de [[w:singleton (wiskunde)|singleton]] vaststelt.
::<math>\forall x \forall y \exists p \forall z (z \in p \Longleftrightarrow (z = x \vee z = y))</math>
* [[w:Verenigingsaxioma]], dat samen met het paaraxioma het bestaan van de binaire vereniging <math>A \cup B</math> van twee verzamelingen <math>A</math> en <math>B</math> vaststelt.
::<math>\forall x \exists u \forall y \forall z ((z \in y \wedge y \in x)\Rightarrow z \in u)</math>
* [[w:Axiomaschema van afscheiding]], dat het bestaan van deelverzamelingen vaststelt. Het afscheiden gebeurt door het uitschrijven van een eindige logische formule, gebruikmakend van de taal van predicatenlogica. Laat <math>\phi(x,y,p_1,\dots,p_n)</math> een formule zijn in <math>n+2</math> vrije variabelen. Het schema bestaat uit alle axioma's
::<math>\forall p_1 \ldots \forall p_n \forall x \exists a \forall y (y \in a \Longleftrightarrow (y \in x \wedge \phi(x,y,p_1,\dots,p_n)))</math>
: voor elke formule <math>\phi</math>. In woorden: verzameling <math>a</math> bestaat als de afscheiding van verzameling <math>x</math> onder de formule <math>\phi</math>.
* [[w:Oneindigheidsaxioma]], dat stelt dat een [[w:inductieve verzameling]] bestaat.
::<math>\exists I (\emptyset \in I \wedge x \in I \Longrightarrow (x \cup \{x\}) \in I)</math>
: Voor het bestaan van de lege verzameling is gelijkheid en het schema van afscheiding nodig. Voor de binaire vereniging <math>x \cup \{x\}</math> is gelijkheid, paar, en vereniging nodig.
* [[w:Axiomaschema van vervanging]], dat kort gezegd het bestaan van verzamelingen als afbeeldingen van functies vaststelt.
* [[w:Machtsaxioma]], dat samen met het scheidingsaxioma het bestaan van de [[mw:achtsverzameling]] vaststelt
* [[w:Regulariteitsaxioma]], dat onder andere voorkomt dat verzamelingen elementen van zichzelf kunnen zijn. Onder andere met dit axioma wordt de [[w:Russellparadox|paradox van Russell]] voorkomen.
* [[w:Keuzeaxioma]], dat gelijkwaardig is aan de [[w:welordeningsstelling]] <ref> {{en}} {{aut|H. Rubin, J.E. Rubin}} [https://books.google.nl/books?hl=nl&lr=&id=LSsbBU9FesQC&oi=fnd&pg=PP1&dq=well+ordering+theorem+is+an+equivalence+of+choice&ots=mQe6Qa-7Ns&sig=DCxxDs7yDToCZA0PSooYxRfoKfE#v=onepage&q=well%20ordering%20theorem%20is%20an%20equivalence%20of%20choice&f=false Equivalents of the Axiom of Choice]</ref> .

== Voorbeelden ==
Een triviaal gevolg van het gelijkheidsaxioma is dat de lege verzameling <math>\emptyset</math>, als zij bestaat, uniek is. Dit betekent dat twee verzamelingen <math>A</math> en <math>B</math> beide leeg zijn, dan geldt <math>A = B</math>. Dit kan als volgt bewezen worden: de universele kwantificatie <math>\forall z ( z \in A \Longleftrightarrow z \in B)</math> is lediglijk waar, de verzamelingen hebben namelijk beide geen elementen. Uit het gelijkheidsaxioma volgt dan onmiddellijk dat <math>A = B</math>.

Door het toepassen van het paaraxioma op <math>x</math> en <math>x</math> volgt dat de singleton <math>\{x\}</math> bestaat voor elke verzameling <math>x</math>.

== Von Neumann ordinalen ==
In een model van verzamelingenleer waar het schema van afscheiding en de axioma's van gelijkheid, paar, vereniging en oneindigheid gelden, kunnen we tellen met de [[w:John von Neumann|Von Neumann]] ordinalen. Daartoe beschrijven we eerst de functie opvolger: <math>O(x)=x\cup \{x\}</math> omschrijft de opvolger van een verzameling <math>x</math>. Laat nu voor een inductieve verzameling <math>I</math> de minimale inductieve verzameling <math>M_I</math> zijn, die we definiëren als <math>M_I = \{x \in I \mid \forall J ( J \text{is inductief} \Longrightarrow x \in J \}</math>. Er blijkt dat deze minimale inductieve verzameling onafhankelijk is van de keuze van <math>I</math>, en we laten <math>M</math> de unieke minimale inductieve verzameling beschrijven.

De verzameling van natuurlijke getallen kan nu als volgt omschreven worden:
: <math>\N := M = \{0,1,2,\ldots\}</math>,
waarbij
* <math>0 := \emptyset</math>, de lege verzameling
* <math>1 := O(0) = \{\emptyset\} = \{0\}</math>
* <math>2 := O(1) = \{\emptyset,\{\emptyset\}\} = \{0,1\}</math>
* <math>3 := O(2) = \{\emptyset,\{\emptyset\},\{\emptyset,\{\emptyset\}\}\} = \{0,1,2\}</math>
* etc.
Merk op dat het aantal elementen in de von Neumann ordinalen overeenstemt met het getal.

== Geschiedenis ==
In 1908 stelde [[w:Ernst Zermelo]] de eerste axiomatische verzamelingenleer voor, de [[w:Zermelo-verzamelingenleer]]. Deze axiomatische theorie stond de constructie van [[w:ordinaalgetal]]len echter niet toe. Hoewel de meeste "gewone wiskunde" kan worden ontwikkeld zonder ooit gebruik te maken van ordinaalgetallen, zijn ordinaalgetallen een essentieel instrument in de meeste verzameling-theoretische onderzoeken. Bovendien was een van Zermelo's axioma's gebaseerd op een concept, dat van een "definiete" eigenschap, waarvan de operationele betekenis niet duidelijk was. In 1922 stelden [[w:Adolf Fraenkel|Abraham Fraenkel]] en [[w:Thoralf Skolem]] onafhankelijk van elkaar een operationalisering van deze "definiete" eigenschap voor als één die zou kunnen worden geformuleerd als een eerste orde theorie, waarvan de [[w:atomaire formule]]s werden gelimiteerd tot lidmaatschap van de verzameling en identiteit. Zij stelden ook onafhankelijk van elkaar voor om het [[w:axioma-schema van de specificatie]] te vervangen door het [[w:axioma-schema van vervanging]]. Dit schema werd, evenals het axioma van regulariteit (voor het eerst in 1917 voorgesteld door [[w:Dimitry Mirimanoff]]), toegevoegd aan de Zermelo-verzamelingenleer. Dit levert de theorie op die wordt aangeduid met '''ZF'''. Door het [[keuzeaxioma]] (AC) of een formulering die daaraan gelijkwaardig is toe te voegen aan ZF levert dit ZFC op.

==Voetnoten==
{{References}}