$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Ensemble vide

  On appelle ensemble vide l'unique ensemble qui ne possède aucun élément. On le note généralement (un symbole à ne pas confondre avec le zéro noté 0 sur ordinateur!). L'ensemble vide vérifie de nombreuses propriétés faciles, comme le fait que l'union d'un ensemble A avec l'ensemble vide donne A, l'intersection de A avec l'ensemble vide donne l'ensemble vide.

  L'ensemble vide peut paraître anecdotique, pourtant il est au fondement des mathématiques. Ainsi, des mathématiciens comme Frege, Russell ou Von Neuman ont contruit l'ensemble des entiers naturels, et toute l'arithmétique qui leur est jointe, uniquement à partir de l'ensemble vide. Voici comment : 0 est identifié à l'ensemble vide. 1 est identifié à l'ensemble dont le seul élément est l'ensemble vide. 2 est identifié à l'ensemble dont les éléments sont l'ensemble vide, et 1. Et ainsi de suite....

  Mais au fait, est-on sûr que l'ensemble vide existe??? Voici ce que répond magnifiquement le philosophe des sciences Wesley Salmon :
"L'imbécile croit que les ensembles vides n'existent pas. Mais s'il en était ainsi, alors l'ensemble de tous ces ensembles serait vide, et par conséquent, celui-ci serait l'ensemble vide..."