求助证明集合等式:A = (A\B) ∪ (A\C) ∪ (A∩B∩C)
嘿,你已经搞定了两个集合的情况,那三个集合的证明其实是这个思路的延伸,咱们用同样的集合代数规则一步步来,其实没那么复杂:
步骤1:把集合差转换成补集交集形式
首先回忆集合差的定义:$A\setminus B = A \cap \overline{B}$,$A\setminus C = A \cap \overline{C}$。先把右边的式子全部转换成交集形式:
$$
\text{右边} = (A \cap \overline{B}) \cup (A \cap \overline{C}) \cup (A \cap B \cap C)
$$
步骤2:合并前两项(用分配律)
对于前两个交集的并集,咱们用分配律提取公共的集合A:
$$
(A \cap \overline{B}) \cup (A \cap \overline{C}) = A \cap (\overline{B} \cup \overline{C})
$$
此时右边简化为:
$$
A \cap (\overline{B} \cup \overline{C}) \cup (A \cap B \cap C)
$$
步骤3:用德摩根律转换补集形式
这里用到德摩根律:$\overline{B} \cup \overline{C} = \overline{B \cap C}$(两个集合交集的补集等于它们补集的并集)。代入后右边变为:
$$
A \cap \overline{B \cap C} \cup (A \cap B \cap C)
$$
步骤4:再次用分配律提取公共集合A
把A从两个交集中提取出来,再次应用分配律:
$$
A \cap \left( \overline{B \cap C} \cup (B \cap C) \right)
$$
步骤5:利用全集的基本性质
你肯定知道,任何集合和它的补集的并集就是全集U:$\overline{D} \cup D = U$(这里令$D = B \cap C$)。所以括号里的部分就是U:
$$
A \cap U = A
$$
这样右边就等于左边的A,等式得证!
如果你喜欢更直观的拆分方式,也可以把全集拆成四个互斥的子集:
- $\overline{B} \cap \overline{C}$
- $B \cap \overline{C}$
- $\overline{B} \cap C$
- $B \cap C$
将A分别和这四个子集相交展开,会得到四个互斥的部分,再对比右边式子展开后的结果,会发现完全一致——本质和上面的代数方法是相通的,只是更直观地展示了集合的拆分逻辑。
内容的提问来源于stack exchange,提问作者Korko

