Zbiór pusty

Zbiór pusty – zbiór niezawierający żadnych elementów; zazwyczaj oznaczany symbolami $\varnothing ,$ $\mathrm{\varnothing },$ rzadziej $\{\}$ (niegdyś również: 0 lub Λ). Zbiór, który nie jest pusty, tj. taki, który zawiera choćby jeden element, nazywany jest zbiorem niepustym.

W teorii mnogości Zermela-Fraenkla istnienie zbioru pustego jest zagwarantowane przez aksjomat zbioru pustego, a jego jedyność wynika z aksjomatu ekstensjonalności.

Własności

• Zbiór pusty jest podzbiorem każdego zbioru:

  $\mathrm{\forall }A:\varnothing \subseteq A,$

bo zgodnie z definicją zachodzi

$\mathrm{\forall }x:(x\in \varnothing ⟹x\in A).$

Prawdziwość powyższej implikacji wynika z reguły z fałszu wynika wszystko.

• Suma dowolnego zbioru A i zbioru pustego jest równa zbiorowi A:

  $\mathrm{\forall }A:A\cup \varnothing =A$

• Iloczyn dowolnego zbioru A i zbioru pustego jest równy zbiorowi pustemu:

  $\mathrm{\forall }A:A\cap \varnothing =\varnothing$

• Iloczyn kartezjański dowolnego zbioru A i zbioru pustego jest równy zbiorowi pustemu:

  $\mathrm{\forall }A:A\times \varnothing =\varnothing$

• Jedynym podzbiorem zbioru pustego jest zbiór pusty:

  $\mathrm{\forall }A:(A\subseteq \varnothing ⟹A=\varnothing )$

Oznacza to, że zbiór potęgowy zbioru pustego zawiera tylko jeden element, czyli zbiór pusty.

• Moc zbioru pustego wynosi 0:

  $\left|\varnothing \right|=0$

• Dla dowolnego zbioru A zbiór pusty jest relacją w A zwaną relacją pustą.
• Dla dowolnego zbioru A można określić funkcję $f:\varnothing \to A,$ zwaną funkcją pustą.
• Jeżeli $F(x)$ jest dowolną funkcją zdaniową, to prawdą jest, że:

  $\mathrm{\forall }x\in \varnothing :(F(x)\wedge \mathrm{\neg }F(x))$

• Ponadto dla dowolnej funkcji zdaniowej $F(x)$ i zbioru A, na którym jest ona określona, zachodzi warunek:

  $[\mathrm{\forall }x\in A:(F(x)\wedge \mathrm{\neg }F(x))]⟹A=\varnothing$

• $\varnothing \ne \{\varnothing \}\ne \{\{\varnothing \}\}$ etc.

Zobacz też

• zbiór jednoelementowy

Bibliografia

• Szablon:Cytuj
• Szablon:Cytuj