06集合代数案例介绍.pptVIP

广义并和广义交 定义6.10 设A为集合，A的元素的元素构成的集合称为A的广义并，记为∪A。 符号化表示为 ∪A＝{x | ?z(z∈A∧x∈z)} 定义6.11 设A为非空集合，A的所有元素的公共元素构成的集合称为A的广义交，记为∩A。 符号化表示为 ∩A＝{x | ?z(z∈A→x∈z)} 例6.4 例6.4 设 A＝{{a,b,c},{a,c,d},{a,e,f}}  B＝{{a}}  C＝{a,{c,d}} 则 ∪A＝{a,b,c,d,e,f}  ∪B＝{a}  ∪C＝a∪{c,d} ∪?＝? ∩A＝{a} ∩B＝{a} ∩C＝a∩{c,d} 广义并与广义交的说明 若A＝{A1,A2,…,An}，则∪A＝A1∪A2∪…∪An 若A＝{A1,A2,…,An}，则∩A＝A1∩A2∩…∩An 在后面的叙述中，若只说并或交，则这都是指集合的初级并或初级交；如果在并或交前边冠以“广义”两个字，则指集合的广义并或广义交。 为了使得集合表达式更为简洁，我们对集合运算的优先顺序做如下规定： 称广义并、广义交、幂集、绝对补运算为一类运算 并、交、相对补、对称差运算为二类运算。 一类运算优先于二类运算 一类运算之间由右向左顺序进行 二类运算之间由括号决定先后顺序。 例6.5 例6.5 设 A＝{{a},{a,b}} 计算∪∪A，∩∩A，∩∪A∪(∪∪A－∪∩A) 解答 ∪A＝{a,b} ∩A＝{a} ∪∪A＝a∪b ∩∩A＝a ∩∪A∪(∪∪A－∪∩A) ＝(a∩b)∪(a∪b－a) ＝(a∩b)∪(b-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) 6.3 集合恒等式 零律  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) 集合运算性质的一些重要结果 A∩B?A，A∩B?B   (6.24) A?A∪B，B?A∪B   (6.25) A－B?A  (6.26) A－B＝A∩～B  (6.27) A∪B＝B ? A?B ? A∩B＝A ? A－B＝? (6.28) A?B＝B?A  (6.29) (A?B)?C＝A?(B?C)  (6.30) A??＝A   (6.31) A?A＝?      (6.32) A?B＝A?C ? B＝C  (6.33) 对偶(dual)原理 对偶(dual)式：一个集合表达式，如果只含有∩、∪、～、?、E、＝、?、?，那么同时把∩与∪互换，把?与E互换，把?与?互换，得到式子称为原式的对偶