Аксиома пустого множества

Аксиомой [существования] пустого множества называется следующее высказывание теории множеств:

$\mathrm{\exists <!--\; \exists \; -->}a\mathrm{\forall <!--\; \forall \; -->}b(b\notin <!--\; \notin \; -->a)$$\exists a\forall b\ (b\notin a)$.

Аксиома пустого множества провозглашает существование по меньшей мере одного пустого множества, то есть множества, не содержащего ни одного элемента. Пустое множество является своим подмножеством, но не является своим элементом.

Другие формулировки аксиомы пустого множестваПравить

$\mathrm{\neg <!--\; \neg \; -->}(\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}b(b\in <!--\; \in \; -->a))$$\neg \ (\forall a\exists b\ (b\in a))$ .

$\mathrm{\exists <!--\; \exists \; -->}a\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->a\leftrightarrow <!--\; \leftrightarrow \; -->b\ne <!--\; \ne \; -->b)$$\exists a\forall b\ (b\in a\leftrightarrow b\neq b)$ , что есть $\mathrm{\exists <!--\; \exists \; -->}a(a=\{b:<!--\; :\; -->b\ne <!--\; \ne \; -->b\})$$\exists a\ (a=\{b\colon b\neq b\})$ .

$\mathrm{\exists <!--\; \exists \; -->}a\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->a\leftrightarrow <!--\; \leftrightarrow \; -->b\in <!--\; \in \; -->b)$$\exists a\forall b\ (b\in a\leftrightarrow b\in b)$ , что есть $\mathrm{\exists <!--\; \exists \; -->}a(a=\{b:<!--\; :\; -->b\in <!--\; \in \; -->b\})$$\exists a\ (a=\{b\colon b\in b\})$ .

$\mathrm{\exists <!--\; \exists \; -->}a\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->a\leftrightarrow <!--\; \leftrightarrow \; -->a\in <!--\; \in \; -->b)$$\exists a\forall b\ (b\in a\leftrightarrow a\in b)$ , что есть $\mathrm{\exists <!--\; \exists \; -->}a(a=\{b:<!--\; :\; -->a\in <!--\; \in \; -->b\})$$\exists a\ (a=\{b\colon a\in b\})$ .

$\mathrm{\exists <!--\; \exists \; -->}a\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->a\leftrightarrow <!--\; \leftrightarrow \; -->b\not\subset b)$$\exists a\forall b\ (b\in a\leftrightarrow b\not \subset b)$ , что есть $\mathrm{\exists <!--\; \exists \; -->}a(a=\{b:<!--\; :\; -->b\not\subset b\})$$\exists a\ (a=\{b\colon b\not \subset b\})$ .

$\mathrm{\exists <!--\; \exists \; -->}a\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->a\leftrightarrow <!--\; \leftrightarrow \; -->b⊊<!--\; ⊊\; -->b)$$\exists a\forall b\ (b\in a\leftrightarrow b\subsetneq b)$ , что есть $\mathrm{\exists <!--\; \exists \; -->}a(a=\{b:<!--\; :\; -->b⊊<!--\; ⊊\; -->b\})$$\exists a\ (a=\{b\colon b\subsetneq b\})$ .

$\mathrm{\exists <!--\; \exists \; -->}a\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->a\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\Phi <!--\; \Phi \; -->}[b]\wedge <!--\; \wedge \; -->\mathrm{\neg <!--\; \neg \; -->}\mathrm{\Phi <!--\; \Phi \; -->}[b])$$\exists a\forall b\ (b\in a\leftrightarrow \Phi [b]\ \land \ \neg \Phi [b])$ , что есть $\mathrm{\exists <!--\; \exists \; -->}a(a=\{b:<!--\; :\; -->\mathrm{\Phi <!--\; \Phi \; -->}[b]\wedge <!--\; \wedge \; -->\mathrm{\neg <!--\; \neg \; -->}\mathrm{\Phi <!--\; \Phi \; -->}[b]\})$$\exists a\ (a=\{b\colon \Phi [b]\ \land \ \neg \Phi [b]\})$ .

$\cdots <!--\; \cdots \; -->$$\cdots$ 

ПримечанияПравить

1. Аксиому пустого множества можно вывести из следующей совокупности высказываний:

• $\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\forall <!--\; \forall \; -->}b(b=b\to <!--\; \to \; -->(b\notin <!--\; \notin \; -->a\to <!--\; \to \; -->b=b))$$\forall a\forall b\ (b=b\to (b\notin a\to b=b)\ )$ ,
• $\mathrm{\forall <!--\; \forall \; -->}b(b=b)$$\forall b\ (b=b)$ ,
• $\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}c\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->c\leftrightarrow <!--\; \leftrightarrow \; -->b\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->b\ne <!--\; \ne \; -->b)$$\forall a\exists c\forall b\ (b\in c\leftrightarrow b\in a\ \land \ b\neq b)$ .

Кроме того, аксиому пустого множества можно вывести из аксиомы бесконечности, представленной в следующем виде:

• $\mathrm{\exists <!--\; \exists \; -->}a(\mathrm{\exists <!--\; \exists \; -->}{a}_{\mathrm{\varnothing <!--\; \varnothing \; -->}}(a_{\mathrm{\varnothing <!--\; \varnothing \; -->}}\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->\mathrm{\forall <!--\; \forall \; -->}b(b\notin <!--\; \notin \; -->a_{\mathrm{\varnothing <!--\; \varnothing \; -->}}))\wedge <!--\; \wedge \; -->\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->a\to <!--\; \to \; -->\mathrm{\exists <!--\; \exists \; -->}c(c\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->\mathrm{\forall <!--\; \forall \; -->}d(d\in <!--\; \in \; -->c\leftrightarrow <!--\; \leftrightarrow \; -->d\in <!--\; \in \; -->b\vee <!--\; \vee \; -->d=b))))$$\exists a\ (\exists a_{\varnothing }\ (a_{\varnothing }\in a\ \land \ \forall b\ (b\notin a_{\varnothing }))\quad \land \quad \forall b\ (b\in a\to \exists c\ (c\in a\ \land \ \forall d\ (d\in c\leftrightarrow d\in b\ \lor \ d=b))))$ 

2. Руководствуясь аксиомой объёмности, можно доказать единственность пустого множества. Иначе говоря, можно доказать, что аксиома пустого множества равносильна высказыванию

$\mathrm{\exists <!--\; \exists \; -->}!a\mathrm{\forall <!--\; \forall \; -->}b(b\notin <!--\; \notin \; -->a)$$\exists !a\forall b\ (b\notin a)$ , что есть $\mathrm{\exists <!--\; \exists \; -->}a\mathrm{\forall <!--\; \forall \; -->}b(b\notin <!--\; \notin \; -->a)\wedge <!--\; \wedge \; -->\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\forall <!--\; \forall \; -->}{a}^{\prime }(\mathrm{\forall <!--\; \forall \; -->}b(b\notin <!--\; \notin \; -->a^{\prime })\wedge <!--\; \wedge \; -->\mathrm{\forall <!--\; \forall \; -->}b(b\notin <!--\; \notin \; -->a)\to <!--\; \to \; -->a^{\prime }=a)$$\exists a\forall b\ (b\notin a)\quad \land \quad \forall a\forall a'\ (\forall b\ (b\notin a')\ \land \ \forall b\ (b\notin a)\to a'=a)$ 

Единственность пустого множества не противоречит «бесконечной множественности» описаний пустого множества, включая следующие описания:

• $\mathrm{\varnothing <!--\; \varnothing \; -->}=\{b:<!--\; :\; -->b\in <!--\; \in \; -->\mathbb{R}\wedge <!--\; \wedge \; -->0\cdot <!--\; \cdot \; -->b=1\}$$\varnothing =\{b\colon b\in \mathbb {R} \land 0\cdot b=1\}$ ,
• $\mathrm{\varnothing <!--\; \varnothing \; -->}=\{b:<!--\; :\; -->b\in <!--\; \in \; -->\mathbb{N}\wedge <!--\; \wedge \; -->1-<!--\; -\; -->2=b\}$$\varnothing =\{b\colon b\in \mathbb {N} \land 1-2=b\}$ ,
• $\mathrm{\varnothing <!--\; \varnothing \; -->}=\{b:<!--\; :\; -->b\in <!--\; \in \; -->\mathbb{Z}\wedge <!--\; \wedge \; -->2\cdot <!--\; \cdot \; -->b=1\}$$\varnothing =\{b\colon b\in \mathbb {Z} \land 2\cdot b=1\}$ ,
• $\mathrm{\varnothing <!--\; \varnothing \; -->}=\{b:<!--\; :\; -->b\in <!--\; \in \; -->\mathbb{Q}\wedge <!--\; \wedge \; -->b=\sqrt{2}\}$$\varnothing =\{b\colon b\in \mathbb {Q} \land b={\sqrt {2}}\}$ .
• $\mathrm{\varnothing <!--\; \varnothing \; -->}=\{b:<!--\; :\; -->b\in <!--\; \in \; -->\mathbb{R}\wedge <!--\; \wedge \; -->b^2=-<!--\; -\; -->1\}$$\varnothing =\{b\colon b\in \mathbb {R} \land b^{2}=-1\}$ .

См. такжеПравить

• Аксиоматика теории множеств
• Пустое множество