Mulțime vidă

În matematică, mulțimea vidă este mulțimea care nu conține niciun element. Se notează cu $\{\}$, cu $\emptyset$ sau cu $\varnothing$ (simbol introdus de către Bourbaki).

Existența mulțimii vide este o noțiune subtilă în fundamentele matematicii. În unele sisteme axiomatice, necesită o axiomă specifică (axioma mulțimii vide); în altele poate fi demonstrată. De exemplu, în sistemul axiomatic Zermelo-Fraenkel, dat fiind existența unei mulțimi $w$, mulțimea vidă se poate defini altfel:

$\varnothing =\{u\in w\mid (u\in u)\land \lnot (u\in u)\},$

iar unicitatea ei se deduce din axioma extensivității (de aceea vorbim de mulțimea vidă ci nu de o mulțime vidă).

Proprietăți

Mulțimea vidă are următoarele proprietăți:

• $\forall A,\ A\subseteq \varnothing \Rightarrow A=\varnothing$
• $2^{\varnothing }=\{\varnothing \}$
• $\mathrm {Card} (\varnothing )=0$
• $\forall A,\ \varnothing \subseteq A$
• $\forall A,\ A\cup \varnothing =A$
• $\forall A,\ A\cap \varnothing =\varnothing$
• $\forall A,\ A\times \varnothing =\varnothing$

Pentru orice proprietate logică P:

• $\forall x\in \varnothing ,\ P(x).$
• $\neg (\exists x\in \varnothing ,\ P(x)).$

Bibliografie

• Gh. Sirețchi, Analiză matematică, Editura didactică și pedagogică.