补集
补集
在集合论和数学的其他分支中,存在-{zh-cn:补集; 差集;的两种定义:-{zh-cn:相对补集; 相对差集(差集);和-{zh-cn:绝对补集; 绝对差集(补集);。
-{zh-cn:相对补集; 相对差集;.
若formula_1和formula_2是集合,则formula_1在formula_2中的-{zh-cn:相对补集; 相对差集(简称差集);是由所有属于formula_2但不属于formula_1的元素组成的集合。
formula_1在formula_2中的相对补集记为formula_9或formula_10。
形式上:
formula_11
例如:
*formula_12
*formula_13
*若formula_14是实数集合,formula_15是有理数集合,则formula_16为无理数集合。
下列命题给出一些相对补集同并集和交集等集合论运算相关的一些常用性质。
命题1:若formula_17是集合,则下列等式恒成立:
*formula_18
*formula_19
*formula_20
*formula_21
*formula_22
*formula_23
*formula_24
*formula_25
-{zh-cn:绝对补集; 绝对差集;.
若给定全集formula_26,则formula_1在formula_26中的相对补集称为formula_1的-{zh-cn:绝对补集(简称补集); 绝对差集(又称为补集);,记为formula_30,即:
formula_31
(注意:根据ISO与中华人民共和国国家标准,formula_1中子集formula_2的补集记作formula_34。)
例如,若全集为自然数集合,则奇数集合的补集为偶数集合。
下列命题给出一些绝对补集同并集和交集等集合论运算相关的一些重要性质。
命题2:若formula_1和formula_2是全集formula_26的子集,则下列恒等式成立:
德摩根定律:
*formula_38
*formula_39
补集律:
*formula_40
*formula_41
*formula_42
*formula_43
对合:
*formula_44
相对补集和绝对补集的关系:
*formula_45
*formula_46
上述表明,若formula_1为formula_26的非空子集,则formula_49是formula_26的一个分割。
补集的符号.
补集的符号为“∁”(Unicode:U+2201)。
图片快照过大,请您耐心等候,如果加载失败请稍后再试!