集合论 计算机科学,集合论 - 东南大学计算机科学与工程学院.ppt

集合论 - 东南大学计算机科学与工程学院

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 6.3 集合恒等式 设 A,B,C,D是论述域E的任何子集，于是有: 幂等律 A∪A = A A∩A = A 结合律 (A ∪ B) ∪ C＝A ∪( B ∪ C) (A ∩ B) ∩ C＝A ∩ (B ∩ C) 交换律 A∪B＝B∪A A∩B＝B∩A 分配律 A∪(B∩C)= (A∪B) ∩ (A∪C) A∩(B∪C)= (A∩B) ∪ (A∩C) 同一律 A∪? = A A∩E= A 零律 A∪E = E A∩?=? 排中律 A∪～A＝E 矛盾律 A∩～A＝? 吸收律 A∪(A∩B)= A A∩(A∪B)= A 摩根定律 A- (B∪C)=(A-B) ∩ (A-C) A- (B∩C)=(A-B) ∪(A-C) ~ (B∪C)=~ B∩~C ~ (B∩C)=~B∪~C ～E＝? ～ ? ＝E 双重否定律 ~(~A)=A 6.3 集合恒等式 A ∩B ?A A ∩B ? B A ? A∪B B ? A∪B A-B ?A A-B=A∩~B A∪B=B? A ? B ? A ∩B =A ? A-B= ? A?B = B?A (A?B)?C=A?(B?C) A??=A A?A=? A?B=A?C?B=C 6.3 集合恒等式 例： 证明A－B＝A ? ～B 证：对任意的x， x∈(A－B) ? x∈A ∧ x ?B ? x∈A ∧ x ∈～B ? x∈ A ? ～B 所以A－B＝A ? ～B 6.3 集合恒等式 例： 如果A ? B和C ? D，那么(A∪C) ?(B∪D) 证明：设x是属于(A∪C)的任意元素， 那么x∈A ∨ x∈C，现分情况证明： 如果x∈A，因为A ? B，所以x∈B 所以x∈ B∪D； 如果x∈C，因为C ? D，所以x∈D 所以x∈ B∪D 因此，如果x∈ A∪C，那么x∈ B∪D 所以有 (A∪C) ?(B∪D) 6.3 集合恒等式 证明： A∪B=B? A ? B ? A ∩B =A ? A-B= ? 证明:先证A∪B=B ? A ? B。假设任意x， x?A ? x?A ∨ x? B ? x?A∪B ?x?B 所以A ? B 再证A ? B ? A ∩B =A ，显然A ∩B ? A ，对任意x， x?A ? x?A ∧ x? A ? x?A ∧ x? B ?x?A ∩B 所以A ∩B =A 6.3 集合恒等式 再证：A ∩B =A ? A-B= ? A－B＝ A ∩～B ＝(A ∩B ) ∩～B ＝A ∩(B∩～B)= ? 再证： A-B= ? ? A∪B=B 因为(A-B)∪B=A∪B,而A-B= ? ? A∪B=B 6.3 集合恒等式 第六章 习题课 主要内容 集合的两种表示法 集合与元素之间的隶属关系、集合之间的包含关系的区别与联系 特殊集合：空集、全集、幂集 文氏图及有穷集合的计数 集合的?, ?, ?, ?, ?等运算以及广义?, ?运算 集合运算的算律及其应用 基本要求 熟练掌握集合的两种表示法 能够判别元素是否属于给定的集合 能够判别两个集合之间是否存在包含、相等、真包含等关系 熟练掌握集合的基本运算(普通运算和广义运算) 掌握证明集合等式或者包含关系的基本方法 练习1 1．判断下列命题是否为真 (1) ??? (2) ??? (3) ??{?} (4) ??{?} (5) { a, b } ? { a, b, c, {a, b, c}} (6) { a, b } ?{ a, b, c, {a, b}} (7) { a, b} ? { a, b, {{a, b}}} (8) { a, b} ?{ a, b, {{a,b}}} 解 (1)、(3)、(4)、(5)、(6)、(7)为真，其余为假. 方法分析 (1) 判断元素a与集合A的隶属关系是否成立基本方法： 把 a 作为整体检查它在A中是否出现，注意这里的 a 可 能是集合表达式. (2) 判断A?B的四种方法 若A,B是用枚举方式定义的，依次检查A的每个元素是否在B中出现. 若A,B是谓词法定义的，且A,