II.2 Axiome de sélection
Axiome
Soit P(x)une propriété dépendant de x. Alors ∀a, ∃b, x ∈b⇔(x∈aet
P(x)). On a en outre b={x∈a, P (x)}.
Remarque : On ne peut pas définir {x/P (x)}. En effet, ce serait contradic-
toire : si P(x) : x /∈xet b={x/P (x)}alors b∈bssi b /∈babsurde !
Paradoxe de Russel : Il n’existe pas d’ensemble contenant tous les ensembles.
En effet, soit aun tel ensemble. Alors d’après l’axiome de sélection, b={x∈
a/x /∈x}existe : on a b∈b⇔b /∈babsurde !
Théorème 1.4 (Ensemble vide)
Il existe un unique ensemble n’ayant aucun élément. On le note ∅et on
a∀x, ∅ ⊂ x.
Démonstration : Soit aun ensemble. ∅={x∈a/x 6=x}n’a aucun élément.
∀x, (y∈∅⇒y∈x)donc ∀x, ∅ ⊂ x. Soit Ωun ensemble n’ayant aucun
élément. D’après ce qui précède, on a ∅ ∈ Ω. On a également ∀x, (y∈
Ω⇒y∈ ∅)donc ∀x, Ω⊂ ∅. Finalement, d’après le théorème 1.3 de double
inclusion (page 3) on déduit que Ω = ∅.
Définition 1.5 (Intersection) Soit aun ensemble non vide. On définit
l’intersection des éléments de apar :
\
x∈a
x={y∈c/x ∈a⇒y∈x}
où c∈a.
Remarque : Cette définition ne dépend pas de l’ensemble c∈achoisi. En
effet, soient c1, c2∈a. Soit z∈ {y∈c1/x ∈a⇒y∈x}. Comme c2∈aon
déduit que z∈c2: donc z∈ {y∈c2/x ∈a⇒y∈x}. En permutant 1et 2
on obtient l’inclusion inverse.
On peut aussi définir la différence, la différence symétrique et le complé-
mentaire d’un ensemble par rapport à un autre.
II.3 Axiome de la paire
Axiome
∀a, b, ∃c, [x∈c⇔(x=aou x=b)].cest noté {a, b}si a6=bet x={a}
si a=b.
Exemple :{∅} existe, puis {∅,{∅}}.
4