空集是指不含任何元素的集合。空集是任何集合的子集,是任何非空集合的真子集。空集不是无;它是内部没有元素的集合。
可以将集合想象成一个装有元素的袋子,而空集的袋子是空的,但袋子本身确实是存在的。
表示方法:
用符号Ø或者{ }表示。
注意:{Ø}是有一个Ø元素的集合,而不是空集。
在LaTeX中空集表示代码 \emptyset 。
0是一个数,不是集合。
{0}是一个集合,集合只有0这个元素。
Ø是一个集合,但是不含任何元素。
{Ø}是一个非空集合,集合只有空集这个元素。
空集举例:
当两圆相离时,它们的公共点所组成的集合就是空集;当一元二次方程的根的判别式值△<0时,它的实数根所组成的集合也是空集。
公理集合论:
在诸如策梅罗-弗兰克尔集合论的公理集合论中,空集的存在性是由空集公理确定的。空集的唯一性由外延公理得出。
使用分离公理,任何陈述集合存在性的公理将隐含空集公理。例如:若 A 是集合,则分离公理允许构造集合 ,它就可以被定义为空集。
空集的定义是什么呢