**空集合**（英語：）是不含任何元素的集合，數學符號為\emptyset 、∅或{ }。

符号
--

空集符號源自北歐拉丁字母，不是希臘字母。
空集的标准符号由尼古拉·布尔巴基小組创造，寫作∅（\varnothing ），首先見於他們在1939年出版的《數學原本卷一：集合論》（）。這符號也可写作\emptyset ，有时候採用近似字符"Ø"，也可以使用大括號\{\;\}表示。

这符号源自北欧语言的拉丁字母「Ø」，但常被誤會為希腊字母""。（有兩個寫法：小寫的\varphi 和縮小了的大寫\phi\,，後者常被誤用為空集符號。\phi\,的中間为一長豎，中間的圈也較小，與\varnothing 的斜線和大圓不同。）。

提出用北歐字母為符號的，是布爾巴基小組成員安德烈·韦伊。他在自傳寫道：

|  |  |  |
| --- | --- | --- |
|  | 
採用\varnothing 符號表示空集，是我個人的責任，……\varnothing 屬於挪威語的字母，在布爾巴基中只有我懂得。 |  |

空集符號∅的Unicode編碼為U+2205，TeX代碼是`\emptyset`或`\varnothing`（後者是AMS符號，很多人較喜歡後者的字形）。

性质
--

（这里采用数学符号）。

* 对任意集合A，空集是A的子集；
{\displaystyle \forall A:\varnothing \subseteq A}
* 对任意集合A，空集和A的并集为A：
{\displaystyle \forall A:A\cup \varnothing =A}
* 对任意集合A，空集和A的交集为空集：
{\displaystyle \forall A:A\cap \varnothing =\varnothing }
* 对任意集合A，空集和A的笛卡尔积为空集：
{\displaystyle \forall A:A\times \varnothing =\varnothing }
* 空集的唯一子集是空集本身：
{\displaystyle \forall A:A\subseteq \varnothing \Rightarrow A=\varnothing }
* 空集的冪集是僅包含空集的集合：
{\displaystyle 2^{\varnothing }=\left\{\varnothing \right\}}
* 空集的元素个数（即它的势）为零；特別是，空集是有限的：
{\displaystyle \mathrm {card} \left(\varnothing \right)=0}

集合论中，两个集合相等，若它们有相同的元素；那么仅可能有一个集合是没有元素的，即空集是唯一的。

考慮空集為实数线（或任意拓扑空间）的子集，空集既是开集、又是闭集。空集的边界点集合是空集，是它的子集，因此空集是闭集。空集的内点集合也是空集，是它的子集，因此空集是开集。另外，空集是紧致集合，因为凡有限集合都是紧致的。

空集的闭包是空集。

空集和0
----

根据定义，空集有0个元素，或者称其势为0。然而，这两者的关系可能更进一步：在标准的自然数的集合论定义中，0被定义为空集。

常见问题
----

空集不是「无」；它是「内部」没有元素的集合，但這個集合是「存在」的，即「有」這個集合。这通常是初学者的一个难点。可以将集合想象成一个装有其元素的袋子──袋子可能是空的，但袋子本身确实是存在的。

有些人会想不通上述第一条性质，即空集是任意集合A的子集。按照子集的定义，这条性质是说{\displaystyle \left\{\right\}}的每个元素*x*都属于A。若这条性质不为真，那{}中至少有一个元素不在A中。由于{\displaystyle \left\{\right\}}中没有元素，也就没有{\displaystyle \left\{\right\}}的元素不属于A了，得到{\displaystyle \left\{\right\}}的每个元素都属于A，即{\displaystyle \left\{\right\}}是A的子集。

空集的运算
-----

空集（作为集合）上的运算也可能使人迷惑。（这是一种「空运算」。）
例如：空集元素的和为0（「空和」），而它们的积为1（见空积）。这可能看上去非常奇怪，空集中没有元素，他们是怎么相加和相乘的呢？
最终，这些运算的结果更多被看成是运算的问题，而不是空集的。比如，可以注意到0是加法的单位元，而1是乘法的单位元。

公理化集合论
------

在诸如策梅洛-弗兰克尔集合论的公理化集合论中，空集的存在性是由空集公理确定的。空集的唯一性由外延公理得出。

使用分類公理，任何陈述集合存在性的公理将隐含空集公理。例如：若A是集合，则分离公理允许构造集合{\displaystyle B=\left\{x\in A|x\neq x\right\}}，它就可以被定义为空集。

范畴论
---

若*A*为集合，则恰好存在一個从{\displaystyle \left\{\right\}}到A的函数f，即空函数。故此，空集是集合和函数的范畴的唯一初始对象。

空集只能通过一种方式转变为拓扑空间，即通过定义空集为开集；这个空拓扑空间是有连续映射的拓扑空间的范畴的唯一初始对象。

哲學層面
----

尽管空集在数学中是一个标准，并被广泛接受，仍然有人对它表示怀疑。

认为，这一概念「无疑是数学历史上的里程碑，……；不需要假设其在计算时的有效性要基于其确实表达了某些对象」，但在另一方面，「我们所知的空集只是它 (1)是个集合，(2)没有元素，(3)在没有元素的集合中唯一。然而，有很多东西『没有元素』，在集合论角度而言，叫做非集合。为什么它们没有元素是显而易见的，因为它们不是集合。不清楚的是，为什么在集合中，没有元素的集合是唯一的。仅仅通过约束是不可能将这么一个实体变出来的。」

在，，1984（在书中再次发表）中，小认为許多集合論中的結論，也可以透過對个体进行复数量化（英语：）來得到，所以無需把集合具体化為包含其他实体作为元素的实体。

參考資料
----

1. ↑
2. ↑  Scott Pakin.  (PDF): p. 65. 2009-11-09  [2014-09-16]. （原始内容 (PDF)存档于2015-03-28）.  引文格式1维护：冗余文本 (link)
3. ↑  E. J. Lowe.. Routledge. 2005: 87.
4. ↑  George Boolos, 1984, "To be is to be the value of a variable," *The Journal of Philosophy* 91: 430–49. Reprinted in his 1998 *Logic, Logic and Logic* (Richard Jeffrey, and Burgess, J. eds.) Harvard Univ. Press: 54–72.

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
集合论 |
| --- |
|  |
| 公理 | 
* 选择
	+ 可数
	+ 依賴
* 外延
* 无穷
* 配对
* 幂集
* 正则性
* 并集
* 马丁公理（英语：）

* 公理模式
	+ 替代
	+ 分类

 | Venn diagram of set intersection |
|  |
| 运算 | 
* 笛卡儿积
* 德摩根定律
* 交集
* 冪集
* 补集
* 对称差
* 并集

 |
|  |
| * 概念
* 方法
 | 
* 势
* 基数（大基数）
* 类
* 可构造全集（英语：）
* 连续统假设
* 對角論證法
* 元素
	+ 有序对
	+ 多元组
* 集合族
* 力迫
* 一一对应
* 序数
* 超限归纳法
* 文氏图

 |
|  |
| 集合类型 | 
* 可數集
* 空集
* 有限集合（继承有限集合）
* 模糊集
* 无限集合
* 递归集合
* 子集
* 传递集合
* 不可數集
* 泛集（英语：）

 |
|  |
| 理论 | 
* 可替代的集合论
* 集合论
* 朴素集合论
* 康托尔定理

* 策梅洛
	+ 广义（英语：）
* 《数学原理》
	+ 新基础
* 策梅洛-弗兰克
	+ 冯诺伊曼-博内斯-哥德尔
		- Morse–Kelley（英语：）
	+ 克里普克–普拉特克（英语：）
	+ 塔斯基–格罗滕迪克（英语：）

 |
|  |
| * 悖论（英语：）
* 问题
 | 
* 罗素悖论
* 蘇斯林問題
* ZFC系統無法確定的命題列表

 |
|  |
| 集合論者 | 
* 亚伯拉罕·弗兰克尔
* 伯特兰·罗素
* 恩斯特·策梅洛
* 格奥尔格·康托尔
* 约翰·冯·诺伊曼
* 库尔特·哥德尔
* 盧菲特·澤德
* 保尔·贝尔奈斯（英语：）
* 保罗·寇恩
* 理查德·戴德金
* 托马斯·耶赫（英语：）
* 威拉德·蒯因

 |

 |