本页使用了标题或全文手工转换

补集

维基百科,自由的百科全书
跳转至: 导航搜索

集合论和数学的其他分支中,存在补集(台湾叫做差集、中國大陸叫做补集)的两种定义:相对补集绝对补集

相对补集[编辑]

相对补集

集合,则中的相对补集,是由所有属于但不属于的元素組成的集合。

中的相对补集通常写作(或)。

形式上:

例如:

  • 实数集合,有理数集合,则无理数集合。

下列命题给出一些相对补集同并集交集等集合论运算相关的一些常用性质。

命题1:若是集合,则下列等式恒成立:

绝对补集[编辑]

绝对补集

若给定全集,则中的相对补集称为绝对补集(或简称补集),写作,即:

(注意:根据ISO与国家标准,中子集的补集记作。)

例如,若全集为自然数集合,则奇数集合的补集为偶数集合。

下列命题给出一些绝对补集同并集和交集等集合论运算相关的一些重要性质。

命题2:若是全集的子集,则下列恒等式成立:

德·摩根律
补集律:
回旋律(重补集律):
相对补集和绝对补集的关系:

上述表明,若的非空子集,则的一个分割

补集的符号[编辑]

补集的符号为“”(Unicode:U+2201)。

参考[编辑]