Ensemble vide
En mathématiques, l'ensemble vide est l'ensemble ne contenant aucun élément.

Notation 
L'ensemble vide peut être noté d'un O barré, à savoir ∅ ou simplement { }, qui est une paire d'accolades ne contenant qu'une espace, pour représenter un ensemble qui ne contient rien. La notation ∅ a été introduite par André Weil, dans le cadre de l'institution de notations par le groupe Bourbaki. Von Neumann dans son article de 1923, qui est l'une des premières références qui l'aborde, le note O.

Exemples 
Les ensembles  et  sont tous deux égaux à l'ensemble vide.

Propriétés 
Pour tout ensemble A :
 l'ensemble vide est un sous-ensemble de A :
 l'union de A avec l'ensemble vide est A :
 ∅ ∪ A = A ∪ ∅ = A,
 soit : l'ensemble vide est neutre pour la réunion ;
 l'intersection de A avec l'ensemble vide est l'ensemble vide :
 ∅ ∩ A = A ∩ ∅ = ∅,
 soit : l'ensemble vide est absorbant pour l'intersection ;
 le seul sous-ensemble de l'ensemble vide est l'ensemble vide lui-même :
 A ⊂ ∅ ⇔ A = ∅,
 donc l'ensemble des parties de l'ensemble vide est un singleton, dont l'élément est l'ensemble vide :  ;
 le produit cartésien de A par l'ensemble vide est vide :
 A × ∅ = ∅ × A = ∅,
 soit : l'ensemble vide est absorbant pour le produit cartésien ;
 si A est non vide, l'ensemble des applications de A dans l'ensemble vide est vide :
 A ≠ ∅ ⇒ ∅ = ∅ ;
 l'ensemble des applications de l'ensemble vide dans A est un singleton, dont l'élément est l'« application vide de ∅ dans A » (de graphe ∅). Si on la note ∅, on a donc :
 A = {∅}.
 Par exemple, {0, 1} = {∅}, ce qui est cohérent avec l'égalité  ci-dessus.

L'union d'une famille d'ensembles indexée par ∅ est égale à ∅.

L'intersection d'une famille d'ensembles indexée par ∅ n'est pas définie sans faire référence à un ensemble qui les contient tous. Auquel cas, elle est égale à ce dernier.

∅ est fini ; son cardinal est 0 : card(∅) = 0.

∅ admet une unique topologie, qui est {∅}. Elle est à la fois grossière (donc cet espace topologique est connexe) et discrète (donc cet espace est compact, comme tout espace fini discret).

∅ admet une unique tribu, qui est {∅} (grossière et discrète).

Deux ensembles sont égaux s'ils contiennent les mêmes éléments ; c'est l'axiome d'extensionnalité de la théorie des ensembles. Par conséquent, il ne peut y avoir qu'un ensemble ne contenant aucun élément, donc un seul ensemble vide.

Dans certaines variantes de la théorie des ensembles, on peut introduire des « objets » appelés ur-elements, qui eux aussi n'ont pas d'éléments et peuvent aussi être éléments d'ensembles, mais qui, contrairement à l'ensemble vide, ne sont pas des ensembles.

Subtilité de la notion d’ensemble vide 

L'ensemble vide ne contient rien, mais comme c'est un ensemble, il n’est pas rien. C'est la base sur laquelle s'appuie von Neumann pour construire les entiers et les ordinaux.

La notation {∅} n'a pas le même sens que la notation ∅ ; en effet, l’ensemble désigné par ∅ n'a aucun élément (car c’est l'ensemble vide), tandis que l’ensemble désigné par {∅} en a un (cet élément est l'ensemble vide). D'ailleurs, von Neumann définit 0 comme étant ∅ et 1 comme étant {∅}.

Rappelons  que l'ensemble vide est un sous-ensemble de n'importe quel ensemble A, c'est-à-dire que pour tout élément x de ∅, x appartient à A, ce qui s'écrit formellement : (∀x ∈ ∅) x ∈ A. Plus généralement, un énoncé de la forme « tout élément de l'ensemble vide possède la propriété P  », ou plus formellement (∀x ∈ ∅) P(x), qui est une abréviation de ∀x (x ∈ ∅ ⇒ P(x)), est toujours vrai, par ex falso quodlibet ; de même, tout énoncé de la forme «il existe un élément de l'ensemble vide possédant la propriété P  » est toujours faux (ce second résultat est sans doute plus évident, mais ce n'est que la négation de l'affirmation précédente).

L'axiome de fondation affirme que toute suite  se termine, donc il existe un  tel que, dans cette suite, .

L'ensemble vide dans la théorie axiomatique des ensembles 

L'ensemble vide est essentiel dans la théorie des ensembles ou théorie ZFC, son existence est assurée par l'axiome de l'ensemble vide. Son unicité découle de l'axiome d'extensionnalité.

De plus, on peut démontrer en utilisant le schéma d'axiomes de compréhension, que l'existence d'un ensemble quelconque implique l'axiome de l'ensemble vide, ce qui évite, quand on formalise la théorie des ensembles en logique du premier ordre, de faire appel à un axiome spécifique pour l'existence de l'ensemble vide (voir axiome de l'ensemble vide).

Le point de vue intuitionniste 
On dit, par définition, qu'un ensemble est  s'il a au moins un élément.

Par conséquent :
un ensemble habité est non vide,

Sa réciproque s'énonce ainsi :
un ensemble non vide est habité,
et peut se formuler :
un ensemble qui n'est pas ∅ possède au moins un élément.
Affirmer son équivalence à un ensemble habité est non vide
nécessite le tiers exclu et n'est donc pas valide en logique intuitionniste.

On a d'ailleurs le théorème :
 Le principe du tiers exclu est équivalent à l'affirmation tout ensemble non vide est habité

Le point de vue catégorique 

L'ensemble vide peut être caractérisé très simplement comme objet de la catégorie des ensembles. C'est en effet l'unique objet ayant la propriété suivante :

Pour tout ensemble E, il existe une et une seule flèche de ∅ vers E.

Dans le cas de cette catégorie, flèche signifie application. Plus généralement, un objet qui, dans une catégorie, a cette propriété est appelé un objet initial.

Notes et références

Voir aussi

Articles connexes 
 Somme vide
 Produit vide
 Type vide
 Matrice vide

Bibliographie 

Ensemble
Zéro
Vide