集合的运算_集合与关系_离散数学.pptVIP

集合的运算 第1页 一、定义 设A、B是两个集合， ={x|x∈A∨x∈B} x∈A∪B  x∈A∨x∈B ={x|xA ∧ xB} x∈A∩B x∈A∧x∈B ={x|x∈A∧x  B} x∈A-B  x∈A∧xB ={x|x∈E∧x  A}= {x|x  A} x∈~A  xA   (x∈A) ={x|((xA) ∧(xB)) ∨((xB) ∧(xA))} AB=(A-B)∪(B-A) AB=(A∪B)-(A∩B) (1)并集 A∪B (2)交集 A∩B (3)差集 A-B (4)补集 ~A (5)对称差集AB 第2页 例： A={4,{1,2},{3}},B={{3},{1,2,3},4,{1,2},{1}} 则：A ∩B={4,{1,2},{3}}=A A∪B={4,{1,2},{3},{1,2,3},{1}}=B A-B=Φ B-A={{1,2,3},{1}} 第3页 二、集合的运算律 等幂律: A∪A=A；A∩A=A； 交换律: A∪B=B∪A;A∩B=B∩A 结合律: A∪(B∪C)=(A∪B)∪C； A∩(B∩C)=(A∩B)∩C； 恒等律: A∪Φ=A； A∩E=A； 零　律: A∪E=E； A∩Φ=Φ； 分配律: A∩(B∪C)=(A∩B)∪(A∩C) A∪(B∩C)=(A∪B)∩(A∪C) 吸收律: A∩(A∪B)=A; A∪(A∩B)=A； 集合的运算律是指集合的交、并、补、差等运算的主要性质，也称为集合的基本定律。 第4页 定理 否定律： ~ ~A=A ； 德摩根定律： ~(A∩B)=~A∪~B ~(A∪B)=~A∩~B 矛盾律： A∩ ~ A＝Φ； 排中律： A∪ ~A ＝E。 其他： A - A = Φ； A - B = A - (A∩B)； A - B =A∩ ~B; (A - B) - C = A - (B∪C)； A∪(B-A) = A∪B； E A B 第5页 三、证明集合相等的四种方法 方法一：命题演算法（逻辑等价式和推理规则） 方法二：等式代入法(假设交换律、分配律、同一律、零律已经成立) 方法三：证明出：AB 且 BA，则A=B。 方法四：反证法 第6页 三、证明集合相等的四种方法 方法一：命题演算法（逻辑等价式和推理规则） 例：证明A∪(A∩B)=A （吸收律） 证 任取x, x(A ∪(A ∩ B))  xA∨x(A ∩ B)  xA∨ (xA∧xB)  xA 因此得A ∪(AB) = A。 方法二：等式代入法(假设交换律、分配律、同一律、零律已经成立) 例 证明吸收律 A ∪(A ∩ B) = (A ∩ E) ∪(A ∩ B) = A ∩(E ∪ B) = A ∩ E = A 第7页 集合等式的证明 方法三：证明出：AB 且 BA，则A=B 依据： 定理3-1.1 A=B，当且仅当 AB且 BA。 例如： （P91定理3-2.5的证明方法） 方法四：反证法 假设不等，推出矛盾。 第8页 分析： (x)(x∈A∩B x∈A) (x)(x∈Ax∈B) 证明：A∩B=A，  (x)(x∈A∩B x∈A) (x)((x∈A∩B  x∈A)∧(x∈A x∈A∩B)) (x)((xA∩B∨x∈A)∧(xA∨x∈A∩B)) (x)(((x∈A∧x∈B)∨x∈A)∧ (xA∨(x∈A∧x∈B)) (x)(((xA∨xB)∨x∈A)∧ (xA∨(x∈A∧x∈B))) (x)(T∧(T∧ ( xA∨ x∈B))) (x)( xA∨ x∈B) (x)(x∈Ax∈B)  AB 证明P90定理3-2.3： A∩B=A AB 第9页 四、证明AB的四种方法： 方法一：A和B是用枚举方式定义的： 依次检查A的每个元素是否在B中出现。