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é^[1], à 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^[2]. Von Neumann dans son article de 1923^[3]^,^[4], qui est l'une des premières références qui l'aborde, le note O.

Exemples

Les ensembles $\{n\in \mathbb {Z} \mid 0<n<1\}$ et $\{n\in {\mathbb {Z}}\mid n^{2}=-1\}$ sont tous deux égaux à l'ensemble vide^[5].

Propriétés

Propriétés en lien avec les opérations ensemblistes

Pour tout ensemble A :

l'ensemble vide est un sous-ensemble de A :∅ ⊂ A ;
l'union de A avec l'ensemble vide est A :
∅ ∪ A = A ∪ ∅ = A,

soit : l'ensemble vide est élément neutre pour la réunion ;
l'intersection de A avec l'ensemble vide est l'ensemble vide :
∅ ∩ A = A ∩ ∅ = ∅,

soit : l'ensemble vide est élément 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 : ${\mathcal {P}}(\varnothing )=\{\varnothing \}$ ;
le produit cartésien de A par l'ensemble vide est vide :
A × ∅ = ∅ × A = ∅,

soit : l'ensemble vide est élément absorbant pour le produit cartésien ;
si A est non vide, l'ensemble des applications de A dans l'ensemble vide est vide :
A ≠ ∅ ⇒ ∅^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 ∅)^[6]. Si on la note ∅_A, on a donc :
A^∅ = {∅_A}.

Par exemple, {0, 1}^∅ = {∅_{{0, 1}}}, ce qui est cohérent avec l'égalité ${\mathcal {P}}(\varnothing )=\{\varnothing \}$ ci-dessus.

Dans le cas d'une famille d'ensembles :

l'union généralisée indexée par ∅ est égale à ∅ ;
l'intersection généralisée indexée par ∅ n'est pas définie dans le cas général ie. sans faire référence à un ensemble qui les contient tous, auquel cas elle est égale à ce dernier.

Autres propriétés

L'ensemble vide :

est unique par extensionnalité (un axiome de la théorie des ensembles qui assure qu'un ensemble est complètement défini par la donnée de tous ses éléments, d'où l'unicité de l'ensemble n'en contenant aucun) ;
est fini, de cardinal nul ce que l'on note card(∅) = 0 ;
admet une unique topologie, qui est {∅} : elle est à la fois grossière (donc cet espace topologique est connexe) et discrète (donc il est compact, comme tout espace fini discret) ;
admet une unique tribu, qui est {∅} (grossière et discrète).

Dans certaines variantes de la théorie des ensembles, on peut introduire des « objets » appelés ur-elements^[7] qui, comme l'ensemble vide, n'ont pas d'éléments et peuvent être éléments d'ensembles mais qui, contrairement à lui, 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^[3]^,^[4] 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 (voir supra) 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 $x_{0}\ni x_{1}\ni x_{2}\ldots$ se termine, donc il existe un $n$ tel que, dans cette suite, $x_{n}=\varnothing$ .

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 habité (en)^[8] 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^[9].

On a d'ailleurs le théorème :

Le principe du tiers exclu est équivalent à l'affirmation tout ensemble non vide est habité^[10]

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.

Représentation informatique

Davantage d’informations Nom usuel, Glyphe ...

Codage informatique du caractère « ensemble vide » et des caractères avec des glyphes voisines
Nom usuel	Glyphe	Point de code Unicode	Nom Unicode français ——— anglais	Entité HTML	Bloc Unicode
ensemble vide	Oo∅Oo	`U+2205`	ensemble vide ——— empty set	`∅`	Opérateurs mathématiques^[11]^,^[12]
ensemble vide inversé	Oo⦰Oo	`U+29B0`	ensemble vide réfléchi ——— reversed empty set	`⦰`	Symboles mathématiques divers – B^[13]^,^[14]
O barré (ou O barré obliquement)	OoØOo	`U+00D8`	lettre majuscule latine o barré obliquement ——— latin capital letter o with stroke	`Ø`	Commandes C1 et latin étendu^[15]^,^[16]
O minuscule barré (ou O minuscule barré obliquement)	OoøOo	`U+00F8`	lettre minuscule latine o barré obliquement ——— latin small letter o with stroke	`ø`	Commandes C1 et latin étendu^[15]^,^[16]
diamètre	Oo⌀Oo	`U+2300`	symbole diamètre ——— diameter sign	`⌀`	Signes techniques divers^[17]^,^[18]
barre oblique cerclée	Oo⊘Oo	`U+2298`	barre oblique de division cerclée ——— circled division slash	`&x2298;`	Opérateurs mathématiques^[11]^,^[12]
Tifinagh, glyphe « yah »	OoⵁOo	`U+2D41`	lettre tifinaghe yah académie berbère ——— tifinagh letter berber academy yah	`&x2D41;`	Tifinagh^[19]^,^[20]

Fermer

Légende : Les caractères neutres Oo Oo illustrent un contexte. Le rectangle coloré indique la chasse et le corps de ces caractères ; le caractère à représenter est affiché sur un autre fond coloré, p. ex. : C. Un diacritique est composé avec le caractère « ◌ », l'affichage est représenté avec le corps et la chasse de ce caractère « ◌ ». Des exemples sont ◌̰, ◌̃, ou ◌͠◌.

Note : selon la cohérence propre de la police d'affichage, la position des diacritiques et la chasse de certains caractères peuvent être altérées.

Note : le préfixe 0x (ou #x...; pour le html) indique une notation hexadécimale ; les points de codes Unicode sont toujours notés en hexadécimal (avec U+ en préfixe).

Voir aussi le caractère « barre oblique » : Oo/Oo

.

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Empty set » (voir la liste des auteurs).

[1]
L'unicode possède trois caractères distincts U+2205 (∅) pour l'ensemble vide, U+00D8 (Ø) lettre de l'alphabet danois, et U+2300 (⌀) représentant le diamètre d'un cercle. Ces trois caractères ont la forme d'un cercle barré par un trait allant du sud-ouest au nord-est. Il est plus aisé de les distinguer de la lettre Phi majuscule de l'alphabet grec (Φ), qui elle consiste en un cercle barré d'un trait vertical. Le rond barré n'est pas non plus le zéro barré. TeX possède au moins deux graphies, $\emptyset$ et $\varnothing$ .
[2]
(en) Jeff Miller, « Earliest Uses of Symbols of Set Theory and Logic », sur jeff560.tripod.com.
[3]
Johann von Neumann, « Zur Einführung der transfiniten Zahlen », Acta litterarum ac scientiarum Ragiae Universitatis Hungaricae Francisco-Josephinae, Sectio scientiarum mathematicarum, vol. 1,‎ 1923, p. 199-208 (lire en ligne).
[4]
John von Neumann, « On the introduction of transfinite numbers », dans Jean van Heijenoort, From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931, Harvard University Press, janvier 2002, 3^e éd. (ISBN 0-674-32449-8, lire en ligne), p. 346-354.
[5]
Saunders MacLane et Garrett Birkhoff (trad. de l'anglais par Jean Weil), Algèbre et solutions développées des exercices : structures fondamentales, les grands théorèmes, théorie de Galois, Paris, J. Gabay, 1996 (ISBN 978-2-87647-138-2, OCLC 490130463), p. 3.
[6]
Très précisément, par définition d'une application, c'est le triplet (∅, A, ∅).
[7]
Le préfixe « Ur » vient de ce terme allemand, qui signifie « originel ».
[8]
Cette notion est due à Brouwer, voir (en) Pierre Ageron, Logiques, ensembles, catégories : le point de vue constructif, Paris, Ellipses, coll. « Mathématiques pour le 2e cycle », 2000 (ISBN 978-2-7298-0245-5), chap. 3 (« Ensembles »), p. 11.
[9]
Affirmer en logique intuitionniste qu'un ensemble est habité suppose que l'on a un moyen de construire un habitant. Or en déclarant seulement « un ensemble non vide est habité » on ne fournit pas une telle construction, donc cette propriété ne peut pas être acceptée telle quelle en logique intuitionniste.
[10]
Ageron 2000, p. 11.
[11]
http://www.unicode.org/charts/fr/PDF/U2200.pdf
[12]
http://www.unicode.org/charts/PDF/U2200.pdf
[13]
http://www.unicode.org/charts/fr/PDF/U2980.pdf
[14]
http://www.unicode.org/charts/PDF/U2980.pdf
[15]
http://www.unicode.org/charts/fr/PDF/U0080.pdf
[16]
http://www.unicode.org/charts/PDF/U0080.pdf
[17]
http://www.unicode.org/charts/fr/PDF/U2300.pdf
[18]
http://www.unicode.org/charts/PDF/U2300.pdf
[19]
http://www.unicode.org/charts/fr/PDF/U2D30.pdf
[20]
http://www.unicode.org/charts/PDF/U2D30.pdf