Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Axiome de l'ensemble vide
Résumé
L'axiome de l'ensemble vide est, en mathématiques, l'un des axiomes possibles de la théorie des ensembles. Comme son nom l'indique, il permet de poser l'existence d'un ensemble vide. Dans les présentations modernes, il n'est plus mentionné parmi les axiomes des théories des ensembles de Zermelo, ou Zermelo-Fraenkel, car il est conséquence en logique du premier ordre du schéma d'axiomes de compréhension.
Dans le langage formel des axiomes de Zermelo-Frankel, l'axiome s'écrit :
ou en d'autres termes :
Il existe un ensemble A tel que, pour tout ensemble B, B n'est pas un élément de A, c’est-à-dire qu'il existe un ensemble dont aucun ensemble n'est élément.
L'axiome d'extensionnalité peut être utilisé pour démontrer que cet ensemble est unique. Il est appelé l'ensemble vide et il est noté ∅ () ou parfois { }.
Essentiellement, l'axiome affirme donc que l'ensemble vide existe.
Dès qu'il existe un ensemble, l'existence de l'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. 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, en logique du premier ordre, les domaines d'interprétation des variables d'objets de base, ici des variables d'ensemble, sont non vides. Cela compliquerait beaucoup l'exposé des règles logiques de considérer des domaines vides. C'est ce qui permet l'introduction de nouvelles variables dans le raisonnement :
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.
Toutefois, dans la démonstration précédente de l'existence de l'ensemble vide, nous avons supposé l'existence de l'ensemble y.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.