Axiome de l'ensemble vide
L'axiome de l'ensemble vide énonce qu'il existe un ensemble ne possédant pas d'éléments. Dans les présentations modernes, il ne fait pas partie des axiomes de la théories des ensembles de Zermelo, ou Zermelo-Fraenkel, car, dans un univers ensembliste non vide, il est conséquence du schéma d'axiomes de compréhension. Mais il peut être utile pour certaines théories des ensemble très faibles.
Exposition
[modifier | modifier le code]Cet axiome énonce que :
- il existe un ensemble qui n'a aucun élément
soit dans le langage formel de la théorie des ensembles de Zermelo-Fraenkel (théorie de l'appartenance notée « ∈ ») :
- ∃x ∀y y ∉ x
L'axiome d'extensionnalité permet de démontrer l'unicité d'un tel ensemble, qui est appelé l'ensemble vide et noté ∅ ou parfois { }.
Ensemble vide et schéma de compréhension
[modifier | modifier le code]Dès qu'il existe un ensemble, l'existence d'un ensemble vide peut être démontrée par compréhension, comme étant le sous-ensemble des éléments de celui-ci qui vérifient une propriété toujours fausse[1]. En logique du premier ordre, le plus souvent, les domaines d'interprétation des variables d'objets de base sont non vides[2]. Cela compliquerait beaucoup l'exposé des règles logiques de considérer des domaines vides[3]. Par conséquent l'axiome de l'ensemble vide ne fait pas partie des axiomes de la théorie des ensembles de Zermelo ou de Zermelo-Fraenkel, quand celles-ci sont présentées comme des théories du premier ordre. En effet, cela signifie ici que ce que l'on appelle un univers[4] (l'ensemble de base d'un modèle de la théorie des ensembles considérée, le domaine dans lequel sont interprétées les variables d'ensemble) est supposé non vide. Une nouvelle variable introduite dans le raisonnement désigne un ensemble arbitraire de l'univers, ce qui a un sens puisque cet univers est non vide.
Il suffit donc, dans le cas qui nous préoccupe, d'appliquer le schéma d'axiomes de compréhension à un ensemble arbitraire, pour une propriété jamais réalisée : soit y un ensemble, il existe par compréhension un ensemble a = {x ∈ y| x ≠ x}, et celui-ci est bien l'ensemble vide, c’est-à-dire que ∀x x ∉ a[5].
L'axiome de l'ensemble vide reste utile pour des théories des ensembles très faibles, sans axiome de compréhension, comme la théorie S' qui ne comprend pour axiomes que :
- l'axiome d'extensionnalité ;
- l'axiome de l'ensemble vide ;
- un axiome qui exprime essentiellement que si x et y sont des ensembles, alors x ∪ {y} est un ensemble.
Cette théorie est suffisante pour interpréter l'arithmétique de Robinson Q, et c'est donc, comme cette dernière, une théorie indécidable ainsi que toutes ses extensions[6].
Axiome d'existence
[modifier | modifier le code]Dans une présentation de la théorie des ensembles de Zermelo ou de Zermelo-Fraenkel qui ne présuppose pas une connaissance de la logique du premier ordre, ou qui ne suppose pas l'univers non vide a priori, l'existence de l'ensemble vide se déduit de n'importe quel axiome assurant l'existence d'un ensemble.
Paul Halmos introduit temporairement une hypothèse d'existence (il existe au moins un ensemble) pour démontrer l'existence d'un ensemble vide, sachant que les théories de Zermelo et de Zermelo-Fraenkel possèdent un axiome d'existence bien plus fort que l'axiome de l'ensemble vide, l'axiome de l'infini, qui intègre celui-ci[7].
Thomas Jech affirme directement que celui-ci se déduit de l'axiome de l'infini[8].
Kenneth Kunen ajoute un axiome « 0 » d'existence d'un ensemble « ∃x x=x », pour insister sur le fait que l'univers est non vide, tout en précisant que cet axiome n'est pas nécessaire car « conséquence des axiomes logiques »[9].
Notes et références
[modifier | modifier le code]- Halmos 1965, p. 17.
- Par exemple René Cori et Daniel Lascar, Logique mathématique, tome 1, Masson, (1re éd. 1993).
- En déduction naturelle, la règle d'introduction de l'existentielle suppose, pour pouvoir être interprétée correctement, que les domaines sont non vides Karim Nour, René David et Christoffe Raffalli, Introduction à la logique : théorie de la démonstration, , 352 p. (ISBN 978-2-10-006796-1).
- Cori et Lascar 2003, p. 113.
- Jean-Louis Krivine, Théorie des ensembles, Paris, Cassini, coll. « Nouvelle bibliothèque mathématique » (no 5), , 271 p. (ISBN 2-84225-096-6), p. 15.
- (en) Alfred Tarski, Andrzej Mostowski et Raphael Robinson, Undecidable theories, North Holland, , p. 34. Le résultat est dû pour l'essentiel à Alfred Tarski et Wanda Szmielew.
- Halmos 1965, p. 18.
- (en) Thomas Jech, Set Theory : The Third Millennium Edition, revised and expanded, Springer, , 3e éd., 772 p. (ISBN 978-3-540-44085-7, présentation en ligne), p. 8.
- (en) Kenneth Kunen, Set Theory : An Introduction to Independence Proofs, Amsterdam/New York/Oxford, North-Holland, , 313 p. (ISBN 0-444-85401-0), p. 10.
Bibliographie
[modifier | modifier le code]- Paul Halmos, Introduction à la théorie des ensembles [détail des éditions]
- René Cori et Daniel Lascar, Logique mathématique, tomes 2, chapitre 7 [détail des éditions], Masson, (1re éd. 1993)
