空集
Multi tool use
Clash Royale CLAN TAG#URR8PPP
空集是不含任何元素的集合，數學符號為∅displaystyle emptyset 
目录
1 符号
2 性质
3 空集和0
4 常见问题
5 空集的运算
6 公理化集合论
7 范畴论
8 哲學層面
9 參考資料
符号
空集符號源自北歐拉丁字母，不是希臘字母。
空集的标准符号由尼古拉·布尔巴基小組创造，寫作∅（∅displaystyle varnothing
这符号源自北欧语言的拉丁字母「Ø」，但常被誤會為希腊字母“φ”。（φ有兩個寫法：小寫的φdisplaystyle varphi 
提出用北歐字母為符號的，是布爾巴基小組成員安德烈·韦伊。他在自傳寫道：
J'étais personnellement responsable de l'adoption du symbole Ø pour l'ensemble vide, ... Le Ø appartenait à l'alphabet norvégien, et j'étais seul dans Bourbaki à le connaître. [1]
- 採用∅displaystyle varnothing
空集符號∅的Unicode編碼為U+2205，TeX代碼是emptyset或varnothing（後者是AMS符號，很多人較喜歡後者的字形[2]）。
性质
（这里采用数学符号）。
- 对任意集合Adisplaystyle A
，空集是Adisplaystyle A
- ∀A:∅⊆Adisplaystyle forall A:varnothing subseteq A
- ∀A:∅⊆Adisplaystyle forall A:varnothing subseteq A
- 对任意集合Adisplaystyle A
- ∀A:A∪∅=Adisplaystyle forall A:Acup varnothing =A
- ∀A:A∪∅=Adisplaystyle forall A:Acup varnothing =A
- 对任意集合Adisplaystyle A
- ∀A:A∩∅=∅displaystyle forall A:Acap varnothing =varnothing
- ∀A:A∩∅=∅displaystyle forall A:Acap varnothing =varnothing
- 对任意集合Adisplaystyle A
- ∀A:A×∅=∅displaystyle forall A:Atimes varnothing =varnothing
- ∀A:A×∅=∅displaystyle forall A:Atimes varnothing =varnothing
- 空集的唯一子集是空集本身：
- ∀A:A⊆∅⇒A=∅displaystyle forall A:Asubseteq varnothing Rightarrow A=varnothing
- ∀A:A⊆∅⇒A=∅displaystyle forall A:Asubseteq varnothing Rightarrow A=varnothing
- 空集的冪集是僅包含空集的集合：
- 2∅=∅displaystyle 2^varnothing =leftvarnothing right
- 2∅=∅displaystyle 2^varnothing =leftvarnothing right
- 空集的元素个数（即它的势）为零；特別是，空集是有限的：
- card(∅)=0displaystyle mathrm card left(varnothing right)=0
- card(∅)=0displaystyle mathrm card left(varnothing right)=0
集合论中，两个集合相等，若它们有相同的元素；那么仅可能有一个集合是没有元素的，即空集是唯一的。
考慮空集為实数线（或任意拓扑空间）的子集，空集既是开集、又是闭集。空集的边界点集合是空集，是它的子集，因此空集是闭集。空集的内点集合也是空集，是它的子集，因此空集是开集。另外，空集是紧致集合，因为凡有限集合都是紧致的。
空集的闭包是空集。
空集和0
根据定义，空集有0个元素，或者称其势为0。然而，这两者的关系可能更进一步：在标准的自然数的集合论定义中，0被定义为空集。
常见问题
空集不是无；它是内部没有元素的集合，而集合就是有。这通常是初学者的一个难点。可以将集合想象成一个装有其元素的袋子──袋子可能是空的，但袋子本身确实是存在的。
有些人会想不通上述第一条性质，即空集是任意集合Adisplaystyle A
空集的运算
空集（作为集合）上的运算也可能使人迷惑。（这是一种空运算。）
例如：空集元素的和为0，而它们的积为1（见空积）。这可能看上去非常奇怪，空集中没有元素，他们是怎么相加和相乘的呢？
最终，这些运算的结果更多被看成是运算的问题，而不是空集的。比如，可以注意到0是加法的单位元，而1是乘法的单位元。
公理化集合论
在诸如策梅洛-弗兰克尔集合论的公理化集合论中，空集的存在性是由空集公理确定的。空集的唯一性由外延公理得出。
使用分類公理，任何陈述集合存在性的公理将隐含空集公理。例如：若Adisplaystyle A
范畴论
若A为集合，则恰好存在一個从displaystyle leftright
空集只能通过一种方式转变为拓扑空间，即通过定义空集为开集；这个空拓扑空间是有连续映射的拓扑空间的范畴的唯一初始对象。
哲學層面
尽管空集在数学中是一个标准，并被广泛接受，仍然有人对它表示怀疑。
Jonathan Lowe认为，这一概念「无疑是数学历史上的里程碑，……；不需要假设其在计算时的有效性要基于其确实表达了某些对象」，但在另一方面，「我们所知的空集只是它 (1)是个集合，(2)没有元素，(3)在没有元素的集合中唯一。然而，有很多东西『没有元素』，在集合论角度而言，叫做非集合。为什么它们没有元素是显而易见的，因为它们不是集合。不清楚的是，为什么在集合中，没有元素的集合是唯一的。仅仅通过约束是不可能将这么一个实体变出来的。」[3]
在"To be is to be the value of a variable…"，Journal of Philosophy，1984（在书Logic, Logic and Logic中再次发表）中，小George Boolos认为許多集合論中的結論，也可以透過對个体进行复数量化來得到，所以無需把集合具体化為包含其他实体作为元素的实体。[4]
參考資料
^ André Weil: Souvenirs d'apprentissage, Birkhäuser Verlag, Basel, 1991, p. 119. ISBN 978-3-7643-2500-8
^ Scott Pakin. The Comprehensive LaTeX Symbol List (PDF): p. 65. 2009-11-09 [2014-09-16]. （原始内容 (PDF)存档于2015-03-28）. 引文格式1维护：冗余文本 (link)
^ E. J. Lowe. Locke. Routledge. 2005: 87.
^ *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.
| |||||||||||||||||||||||||||||||||||||||
