补集
此条目没有列出任何参考或来源。 (2024年6月30日) |
在集合论和数学的其他分支中，存在补集的两种定义：相对补集和绝对补集。
相对补集[编辑]
若<math>A</math>和<math>B</math>是集合，则<math>A</math>在<math>B</math>中的相对补集是由所有属于<math>B</math>但不属于<math>A</math>的元素组成的集合。
<math>A</math>在<math>B</math>中的相对补集记为<math>B \setminus A</math>或<math>B - A</math>。
形式上：
- <math>B \setminus A=\{x\in B \mid x\not\in A\}</math>
例如：
下列命题给出一些相对补集同并集和交集等集合论运算相关的一些常用性质。
命题1：若<math>A,B,C</math>是集合，则下列等式恒成立：
- <math>C \setminus (A\cap B)=(C \setminus A)\cup(C \setminus B)</math>
- <math>C \setminus (A\cup B)=(C \setminus A)\cap(C \setminus B)</math>
- <math>C \setminus (B \setminus A)=(A\cap C)\cup(C \setminus B)</math>
- <math>(B \setminus A)\cap C=(B\cap C) \setminus A=B\cap(C \setminus A)</math>
- <math>(B \setminus A)\cup C=(B\cup C) \setminus (A \setminus C)</math>
- <math>A \setminus A = \varnothing</math>
- <math>\varnothing \setminus A = \varnothing</math>
- <math>A \setminus \varnothing = A</math>
绝对补集[编辑]
若给定全集<math>U</math>，则<math>A</math>在<math>U</math>中的相对补集称为<math>A</math>的绝对补集（简称补集），记为<math>A^{\complement}</math>，即：
- <math>A^{\complement} = U \setminus A</math>
（注意：根据ISO与中华人民共和国国家标准，<math>A</math>中子集<math>B</math>的补集记作<math>\complement_A B</math>。）
例如，若全集为自然数集合，则奇数集合的补集为偶数集合。
下列命题给出一些绝对补集同并集和交集等集合论运算相关的一些重要性质。
命题2：若<math>A</math>和<math>B</math>是全集<math>U</math>的子集，则下列恒等式成立：
- 德摩根定律：
- <math>(A\cup B)^{\complement} = A^{\complement}\cap B^{\complement}</math>
- <math>(A\cap B)^{\complement} = A^{\complement}\cup B^{\complement}</math>
- 补集律：
- <math>A\cup A^{\complement} = U</math>
- <math>A\cap A^{\complement} = \varnothing</math>
- <math>\varnothing^{\complement} = U</math>
- <math>U^{\complement} = \varnothing</math>
- 对合：
- <math>(A^{\complement})^{\complement} = A</math>
- 相对补集和绝对补集的关系：
- <math>A \setminus B=A \cap B^{\complement}</math>
- <math>(A \setminus B)^{\complement}=A^{\complement} \cup B</math>
上述表明，若<math>A</math>为<math>U</math>的非空子集，则<math>{A,A^{\complement}}</math>是<math>U</math>的一个分割。
补集的符号[编辑]
补集的符号在Unicode中为数学运算符区段中的“∁”（Unicode：U+2201）。
