Ensemble Vide


Ensemble Vide

Ensemble vide

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

Sommaire

Notation

L'ensemble vide peut être noté d'un rond barré \varnothing ou simplement {}, deux accolades ouvrantes et fermantes ne contenant rien. La notation ∅ a été introduite par le mathématicien français André Weil du groupe Bourbaki.

À noter que 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é.

Propriétés

  • Pour tout ensemble A, l'ensemble vide est un sous-ensemble de A :
    A ensemble, ∅ ⊂ A
  • Pour tout ensemble A, l'union de A avec l'ensemble vide est A :
    A ensemble, ∅ ∪ A = A
  • Pour tout ensemble A, l'intersection de A avec l'ensemble vide est l'ensemble vide :
    A ensemble, ∅ ∩ A = ∅
  • Le seul sous-ensemble de l'ensemble vide est l'ensemble vide lui-même. :
    A ensemble, A ⊂ ∅ ⇒ A = ∅
  • Le cardinal de l'ensemble vide est zéro, en particulier l'ensemble vide est fini :
    Card(∅) = 0
  • Pour tout ensemble non vide E. L'ensemble des fonctions de E dans l'ensemble vide est vide. L'ensemble des fonctions de l'ensemble vide dans E est lui un singleton.

Les mathématiciens préfèrent parler de l'ensemble vide plutôt que d'un ensemble vide. En effet, dans la théorie des ensembles, deux ensembles sont égaux s'ils contiennent les mêmes éléments : ainsi, il ne peut y avoir qu'un ensemble ne contenant aucun élément.

Difficultés de la notion d'ensemble vide

L'ensemble vide ne correspond pas à rien ; c'est en fait un ensemble qui ne contient rien, mais en tant qu'ensemble il n'est pas rien. Ce point est souvent difficile à saisir au premier abord. On peut, afin de mieux comprendre, comparer un ensemble à un sac : un sac vide est vide, mais le sac en lui-même existe.

De même, la notation {∅} n'a pas le même sens que ∅. La dernière notation décrit un ensemble qui ne contient rien alors que la première décrit un ensemble contenant un élément : l'ensemble vide. On peut, afin de mieux comprendre, reprendre l'analogie du sac vide. Un tiroir contenant un sac vide - {∅} - n'est pas vide et contient bien un objet - ∅ -.

On peut aussi être surpris par la première propriété ci-dessus, c'est-à-dire le fait que l'ensemble vide soit un sous-ensemble de n'importe quel ensemble A. D'après la définition d'un sous-ensemble, cela veut dire que pour tout élément x de ∅, x appartient à A. Raisonnons a contrario : si l'ensemble vide n'est pas inclus dans A, alors il existe au moins un élément de l'ensemble vide qui n'appartient pas à A. Or, il n'y a aucun élément dans l'ensemble vide, donc plus particulièrement aucun élément de l'ensemble vide qui n'appartienne pas à A. On en conclut donc que tout élément de ∅ appartient à A et donc que ∅ est un sous-ensemble de A. Plus généralement, toute proposition commençant par « pour tout élément de ∅ » est vraie.

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 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.

Voir aussi


Articles de mathématiques en rapport avec la notion de nombre
Définition des nombres · Entiers naturels · Entiers relatifs · Nombres transfinis  · Nombres décimaux · Nombres rationnels · Nombres constructibles · Nombres algébriques · Nombres transcendants · Nombres calculables · Nombres réels · Nombres complexes · Nombres hypercomplexes · Quaternions · Octonions · Sédénions · Nombres hyperréels · Nombres surréels · Nombres ordinaux · Nombres cardinaux · Nombres p-adiques · Nombres normaux · Suite d'entiers · Constantes mathématiques · Grands nombres · Infiniments petits · Infini
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Ensemble vide ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Ensemble Vide de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Ensemble vide — En mathématiques, l ensemble vide est l ensemble ne contenant aucun élément. Sommaire 1 Notation 2 Propriétés 3 Difficultés de la notion d ensemble vide …   Wikipédia en Français

  • ensemble vide — tuščioji aibė statusas T sritis automatika atitikmenys: angl. empty set vok. Leerensemble, n rus. пустое множество, n pranc. ensemble vide, m …   Automatikos terminų žodynas

  • Axiome De L'ensemble Vide — 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… …   Wikipédia en Français

  • Axiome de l'ensemble vide — 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… …   Wikipédia en Français

  • L'Ensemble Vide — est un duo comique acadien. Éric Thériault et Gérald Arseneault sont les membres fondateurs du duo qui existe depuis 1989. Originaires du nord du Nouveau Brunswick (Saint Quentin et Kedgwick), ils remportent en 1992 les prestigieuses auditions… …   Wikipédia en Français

  • Ensemble Dénombrable — En mathématiques, un ensemble est dit dénombrable, ou infini dénombrable, lorsque ses éléments peuvent être listés sans omission ni répétition dans une suite indexée par les entiers. Certains ensembles infinis, au contraire, contiennent trop d… …   Wikipédia en Français

  • Ensemble denombrable — Ensemble dénombrable En mathématiques, un ensemble est dit dénombrable, ou infini dénombrable, lorsque ses éléments peuvent être listés sans omission ni répétition dans une suite indexée par les entiers. Certains ensembles infinis, au contraire,… …   Wikipédia en Français

  • Ensemble Fini — En mathématiques, un ensemble E est dit fini si et seulement s il existe un entier n et une bijection de E sur l ensemble des entiers naturels strictement plus petits que n, en particulier, si n = 0, E est l ensemble vide qui est donc bien fini.… …   Wikipédia en Français

  • vide — [ vid ] adj. et n. m. • 1762; vuide XIIIe; du fém. de l a. fr. vuit (1080); lat. pop. °vocitus, de vocuus, vacuus→ vacuité I ♦ Adj. 1 ♦ Qui ne contient rien de perceptible; dans lequel il n y a ni solide, ni liquide. Espace vide entre deux choses …   Encyclopédie Universelle

  • vidé — vide [ vid ] adj. et n. m. • 1762; vuide XIIIe; du fém. de l a. fr. vuit (1080); lat. pop. °vocitus, de vocuus, vacuus→ vacuité I ♦ Adj. 1 ♦ Qui ne contient rien de perceptible; dans lequel il n y a ni solide, ni liquide. Espace vide entre deux… …   Encyclopédie Universelle