补集

本页使用了标题或全文手工转换
维基百科,自由的百科全书

集合论和数学的其他分支中,存在补集的两种定义:相对补集绝对补集

相对补集

相对补集

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

中的相对补集记为

形式上:

例如:

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

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

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

绝对补集

绝对补集

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

(注意:根据ISO与中华人民共和国国家标准中子集的补集记作。)

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

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

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

德摩根定律
补集律:
對合
相对补集和绝对补集的关系:

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

补集的符号

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

参考文献

参见