离散数学(第二版)第3章 节 集合的基本概念和运算.pptVIP

　　 命题代数与集合代数，两者都是一种称为布尔(Boole)代数的抽象代数的特定情况。 这个事实说明了，为什么命题演算中的各种运算与集合论中的各种运算极为相似。 在此，将列举若干集合恒等式，它们都有与其相对应的命题等价式。 　　下面介绍集合运算的恒等式。 　　定理3.2.5　设A，B，C为任意集合，那么下列各式成立。 (1) 等幂律 A∪A=A　　　　　 A∩A=A (2) 交换律 A∪B=B∪A 　　　　　 A∩B＝B∩A (3) 结合律 (A∪B)∪ C=A∪(B∪C) (A∩B)∩ C=A∩ (B∩C) (4) 同一律 A∪ ＝AA∩E=A (5) 零律 A∩= A∪E=E(6) 分配律 A∪ (B∩C)=(A∪B)∩ (A∪C) A∩ (B∪C)=(A∩B)∪ (A∩C) 　　(7) 吸收律 A∩( A∪B)=A 　 A∪(A∩B)=A 　　(8) 双重否定律 ～(～A)＝A ～E＝ 　～＝E　　(9) 排中律 A∪～A＝E　　(10) 矛盾律 A∩～A＝ 　　(11) 德·摩根律 ～(A∪B)＝～A∩～B ～(A∩B)＝～A∪～B A-(B∪C)＝(A-B)∩(A-C) A-(B∩C)＝(A-B)∪(A-C)　　(12) 补交转换律 A-B＝A∩～B　　证明(1)、(2)、(3)、(6)由逻辑运算∧，∨的相应定律立即可得。 现证(4)中的第一式。 　　 对任意x， 有　　　x∈A∪x∈A∨x∈x∈A(x∈为假)故 A∪＝A。 　　下证(5)中的第一式。 对任意x，有　　　x∈A∩x∈A∧x∈x∈(x∈为假)故 A∩=。 (4)、(5)中的其余两式请读者补证。 　 (8)、(9)、(10)、(12)易证，现证(11)的第一式。 　　　　　　～(A∪B)＝E-(A∪B)　　　　　　　　　　＝(E-A)∩(E-B)　　　　　　　　　　＝～A∩～B 　　再证(11)中第三式，其余留给读者。　 对任意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∈A∧x C) (x∈A-B)∧(x∈A-C) x∈(A-B)∩(A-C) 　　故A-(B∪C)＝(A-B)∩(A-C)。 证毕　　定理3.2.6　对任意集合A，B，下面四个命题等价。　　(1) AB　　(2) A-B= (3) A∪B=B　 (4) A∩B=A　　证明　我们来证明(1)(2)(3)(4)(1)。  (1) (2)：设A-B≠，存在a∈A-B，即a∈A，但aB，这与AB矛盾，故A-B=得证。 　　(2) (3)：为证A∪B=B，需证下面两式成立。　　① BA∪B。但由定理3.2.1之(2)，此已得证。 　　② A∪BB。为此设x为A∪B中任意一元素，从而x∈A或x∈B。 当x∈B时目的已达到。 当x∈A时，若xB，则x∈A-B，与A-B=矛盾，故x∈B。 总之，A∪B中元素x必为B中元素，所以A∪BB得证。 综合①、 ②可知A∪B=B。 　　(3)(4)：因A∪B=B，故A∩B=A∩(A∪B)=A(吸收律)。　　(4)(1)：设A∩B=A。 为证AB，又设x为A中任意一元素。 由此及A∩B=A，可知x∈B。 故AB得证。 从而证明四个命题等价。　　　证毕　　定理3.2.7　对任意集合A，有A-A＝， A-＝A， A-E=该定理易证。 　　定理3.2.8　对任意集合A，B，若它们满足A∪B＝E和A∩B＝，那么B＝～A。