补集

维基百科，自由的百科全书

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

补集可以看作两个集合相减，有时也称作差集。

[编辑] 相对补集

若 A 和 B 是集合，则 A 在 B 中的相对补集，或叫做 B 和 A 的集合论差，是这样一个集合，其元素属于 B，但不属于 A。

A 在 B 中的相对补集通常写作 B − A （或 B \ A）。

形式上：

例如：

• {1,2,3} − {2,3,4}   =   {1}
• {2,3,4} − {1,2,3}   =   {4}
• 若 是实数集合， 是有理数集合，则 }- 为无理数集合。

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

命题 1：若 A，B，C 是集合，则下列恒等式成立：

• C − (A ∩B)  =  (C − A) ∪(C − B)
• C − (A ∪B)  =  (C − A) ∩(C − B)
• C − (B − A)  =  (A ∩C) ∪(C − B)
• (B − A) ∩C  =  (B ∩C) − A  =  B ∩(C − A)
• (B − A) ∪C  =  (B ∪C) − (A − C)
• A − A  =  Ø
• Ø − A  =  Ø
• A − Ø  =  A

[编辑] 绝对补集

若给定全集 U，则 A 在 U 中的相对补集称为 A 的绝对补集（或简称补集），写作 A^C，即：

A^C  =  U − A

（注意：根据ISO与国家标准，A中子集B的补集记作。）

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

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

命题 2：若 A 和 B 是全集 U 的子集，则下列恒等式成立：

德·摩根律：

• (A ∪B)^C  =  A^C ∩B^C
• (A ∩B)^C  =  A^C ∪B^C

补集律：

• A ∪A^C   =  U
• A ∩A^C  =  Ø
• Ø^C  =  U
• U^C  =  Ø

回旋律（重补集律）：

• A^CC  =  A.

相对补集和绝对补集的关系：

• A − B = A ∩ B^C
• (A − B)^C = A^C ∪ B

上述表明，若 A 为 U 的非空子集，则 {A, A^C } 是 U 的一个分割。

[编辑] 参考

• 集合代数
• 朴素集合论
• 对称差