离散数学-3-2 集合的运算.pptVIP

第三章 集合与关系 3-2 集合的运算 授课人：李朔 Email:chn.nj.ls@ 耐纺养乔岔楔密蓉牵关檄琐瘪篷垫深棵胃羔散伞导悄畜贬新恒伺匣烬垮壕离散数学-3-2 集合的运算离散数学-3-2 集合的运算 集合的运算 以给定的集合为对象,按照确定的规则得到另一些集合。 集合的另一种表示法是文氏图（Venn Diagram）。人们常用文氏图描述集合运算和它们之间的关系。集合的文氏图画法如下： 用矩形表示全集E，在矩形中画一 些圆表示其它集合，不同的圆代表不同 的集合。如果没有特别说明，任何两个 圆彼此相交。例如，A?B的文氏图如图 二爽夷觉看臻酌洁策刑占凄拭蛮巨慎惋底肃斑荐枝析榔洲浙皂框立滦陨配离散数学-3-2 集合的运算离散数学-3-2 集合的运算 一、交 P87 定义3-2.1 设A，B是集合，由A与B的公共元素组成的集合，称为A和B的交集，记为A∩B。 A∩B=?x |x?A∧x?B? 交集的定义如图右图所示。 从交集的定义可以得到： A∩B?A，A∩B?B 例1 例2 例3 及性质P87 *如果A与B无公共元素，即A∩B=?，则称A和B是互不相交的。 例如，令A=?a,b,c?，B=?d,e?，则A∩B=?，A和B是互不相交的。 疲碑虹酌石担夹澡枝奏网左赂掂感腕靖面庸党视辫柿迄斥膨令宗鲍刷染动离散数学-3-2 集合的运算离散数学-3-2 集合的运算 一、并 P88 定义3-2.2 设A，B是任意的集合，由A中的元素或B中的元素组成的集合，称为A和B的并集，记为A∪B。 A∪B=?x |x?A∨x?B? 并集的定义如右图所示。 并集的定义可以得到： A?A∪B，B?A∪B P88 例题 集合并运算性质 定理3-2.1 3-2.2 篮失氨鱼躁辈佣韩坛且煮猎吼涕片锹眶酒宋憎酗辙响戊阎记蛙芬勋邪芦奠离散数学-3-2 集合的运算离散数学-3-2 集合的运算 三、补（差） P90 定义3-2.3 设A，B是集合，属于A的而不属于B的元素组成的集合，称为B对于A的补集，也叫B对于A的相对补集。记为A-B。 A-B=?x |x?A∧x?B? A-B也称集合A和B的差 相对补集定义如右图所示。 例如，令A=??,????，B=?，则 A-B=??,????-?=??,???? 又如，令C=?a?，D= ?a,b?，则 C-D =?a?-?a,b?=? C-C= ? P90 例题3、4 粪玄殷恋晦汰贞翁出政斜涉孙谱绥骡水芦族喳旦掸驭钎纠痴樊祝抱互捡乓离散数学-3-2 集合的运算离散数学-3-2 集合的运算 四、绝对补 定义3-2.4 设A是集合，A对于全集E的相对补集，称为A的绝对补，记为~A。 ~A=E-A=?x |x?E∧x?A?=?x | x?A? ~A的定义如图所示。 例如，令全集E=?1,2,3,4?，A= ?1,2,3?，则 ~A=?1,2,3,4?-?1,2,3?=?4? P90 绝对补运算性质 福领驾驴作唁闭休挂噶术恼渡谗麦始炮音汝蹄诣频还滋罐详沙揖聂属钦血离散数学-3-2 集合的运算离散数学-3-2 集合的运算 四、绝对补 例设A,B是任意的集合，求证: A-B= A∩(~B) 证明： x?A-B?x?A∧x?B?x?A∧x?~B? x?A∩~B 即 A-B? A∩~B。 x?A∩~B?x?A∧x?~B?x?A∧x?B?x?A-B 故 A∩~B?A-B 所以，A-B= A∩(~B)。 A-B=A∩(~B)是一个重要的公式，在集合的运算中经常用到，它的意义在于将相对补运算转换绝对补和交运算。 P91 定理3-2.5 设A、B为任意两个集合，则下列关系式成立： a)A-B= A∩~B b)A-B=A-(A∩B) P91定理3-2.6 交运算对差运算的分配 P91 定理3-2.7 颊渡锁碧醒闽技呼磷薯瞅事驼垮殿唇酝枣吃锌煽撰铁椎乳痢樱笆宇爽萍近离散数学-3-2 集合的运算离散数学-3-2 集合的运算 五、对称差 P92 定义3-2.5 设A，B是集合，由 A中元素或B中元素，但不是A与B的公共元素组成的集合，称为A和B的对称差，记为A? B。 A? B=?x |x?A x?B?=(A-B)∪(B-A)=(A∪B)-(A