离散数学 第六章 集合代数.pptVIP

在后面的叙述中，若只说并或交，则这 都是指集合的初级并或初级交；如果在并或 交前边冠以“广义”两个字，则指集合的广义 并或广义交。 为了使得集合表达式更为简洁，我们对集合运算的优先顺序做如下规定：称广义并，广义交，幂集，绝对补运算 为一类运算，并，交，相对补，对称差运算 为二类运算。 一类运算优先于二类运算。 一类运算之间由右向左（指集合号前的一类运算符号）顺序进行。 二类运算之间由括号决定先后顺序。 例如下面的集合公式：∩A－∪B，∪P(A)，～P(A)∪∪B， ～(A∪B)都是合理的公式。例6.5 设A＝{{a},{a,b}}计算∪∪A，∩∩A 和∩∪A∪(∪∪A－∪∩A)。解  ∪A＝{a,b}  ∩A＝{a}  ∪∪A＝a∪b ∩∩A＝a ∩∪A＝a∩b   ∪∩A＝a  ∩∪A∪(∪∪A－∪∩A)＝(a∩b)∪((a∪b)－a) ＝(a∩b)∪(b－a) 所以, ∪∪A＝a∪b，∩∩A＝a， ∩∪A∪(∪∪A－∪∩A)＝b。 6.3 集合恒等式 一．基本集合恒等式 下面的恒等式给出了集合运算的主要算 律，其中A，B，C代表任意集合。幂等律 A∪A＝A (6.1) A∩A＝A (6.2)结合律 (A∪B)∪C＝A∪(B∪C)(6.3) (A∩B)∩C＝A∩(B∩C)(6.4) 交换律 A∪B＝B∪A(6.5) A∩B＝B∩A (6.6) 分配律 A∪(B∩C)＝(A∪B)∩(A∪C) (6.7) A∩(B∪C)＝(A∩B)∪(A∩C) (6.8) 同一律 A∪?＝A (6. 9) A∩E＝A (6.10) 零律 A∪E＝E (6.11) A∩?＝? (6.12) 排中律  A∪～A＝E (6.13) 矛盾律  A∩～A＝? (6.14) 吸收律 A∪(A∩B)＝A (6.15) A∩(A∪B)＝A (6.16) 德摩根律 A－(B∪C)＝(A－B)∩(A－C) (6.17) A－(B∩C)＝(A－B)∪(A－C) (6.18)～(B∪C)=～B∩～C(6.19)～(B∩C)=～B∪～C(6.20)～?＝E(6.21)～E＝?(6.22) 双重否定律 ～(～A)＝A (6.23) 我们选证其中的一部分。在证明中大量 用到命题逻辑的等值式，在叙述中采用半形 式化的方法，其中?表示当且仅当。 例6.6 证明式6.17，即A－(B∪C)＝(A－B)∩( A－C)。证对任意的x，x∈A－(B∪C) ?x∈A∧x?B∪C ?x∈A∧┐(x∈B∨x∈C) ?x∈A∧(┐x∈B∧┐x∈C) ?x∈A∧x?B∧x?C?(x∈A∧x?B)∧(x∈A∧x?C)?（x∈A－B)∧（x∈A－C）? x∈(A－B)∩(A－C) 所以 A－(B∪C)＝(A－B)∩( A－C) 例6.7 证明式6.10，即A∩E＝A。 证对任意的x， x∈A∩E?x∈A∧x∈E?x∈A(因为x∈E是恒真命题)，所以A∩E＝A。 以上证明的基本思想是：设P，Q为集合公式，欲证P＝Q，即证 P?Q∧Q?P为真。 也就是要证对于任意的x有 x∈P x∈Q 和 x∈Q x∈P 成立。对于某些恒等式可以将这两个方向的推理合到一起，就是 x∈P?x∈Q  不难看出，集合运算的规律和命题演算的某 些规律是一致的，所以命题演算的方法是证明集合恒等式的基本方法。等式6.1～6.23都可以利用这个方法得到。 证明集合恒等式的另一种方法是利用已知的恒等式来代入。 举例如下。例6.8 假设已知等式6.1～6.14，试证等式6.15 即A∪(A∩B)＝A。证: A∪(A∩B) ＝(A∩E)∪(A∩B) (由等式6.10) ＝A∩(E∪B)  (由等式6.8) ＝A∩(B∪E)  (由等式6.5) 由于两千年来无穷数学带来的困难，也由于