集合(德摩根证明)

集合代数

集合$S\ \ T \ \ U$
$S\ \cup \ T = T \ \cup \ S$
$S\ \cup (T\ \cup \ U) = (S\ \cup \ T) \cup \ U$
$S\ \cap (T\ \cup \ U) = (S\ \cap \ T) \cup (S\ \cap \ U)$
$S\ \cup (T\ \cap \ U) = (S\ \cup \ T) \cap (S\ \cup \ U)$
$S^c = \emptyset$
$(S^c)^c = S$
$S\ \cap \ S^c = \emptyset$
集合$A \ \ B$
$(A \cap B)^c = A^c \cup B^c$
$(A \cup B)^c = A^c \cap B^c$
空间$\ \Omega$
$S\ \cap \ \Omega = S$
$S\ \cup \ \Omega = \Omega$

德摩根定律

$$\bigg(\bigcup_n S_n\bigg)^c = \bigcap_n S_n^{c}$$
证明：设 $\ x \in (\cup_n S_n)^c$
　　　 $\ x \notin (\cup_n S_n)$
　　　对于任一 $\ n , \ x \notin \ S_n$
　　　对于任一 $\ n, \ x \in S_n^c$
　　　即： $x \in \cap_n S_n^c ,\ \ \ (\cup_n S_n)^c \subset \cap_n S_n^c$
　　　另一面，假设 $\ x \in \cap_n S_n^c$
　　　对于任一 $\ n, \ x \in S_n^c$
　　　对于任一 $\ n , \ x \notin S_n$
　　　即： $x \notin \cup_n S_n, \ \ \ x \in (\cup_n S_n)^c,\ \ \ \cap_n S_n^c \subset (\cup_n S_n)^c$
　　　

---

$$\bigg(\bigcap_n S_n \bigg)^c = \bigcup_n S_n^c$$
证明：由上条定理可知：
$$\bigg(\bigcup_n S_n^c \bigg)^c = \bigcap_ n (S_n^c)^c$$
由 $\ (S^c)^c = S$:
$$\bigg(\bigcup_n S_n^c \bigg)^c = \bigcap_n S_n$$
等式两边取补：
$$\bigcup_n S_n^c = \bigg(\cap_n S_n \bigg)^c$$