[试题]1.3-4 集合的宏运算及其他表示法.ppt

参考黄刘佳 参考黄刘佳《离散数学》 第三、四节 集合的宏运算 集合的其他表示法 定义 2. (环合运算) 设 A,B是两个集合，定义 A⊕B={x|(x∈A∧x ? B) ∨ (x∈B∧x ? A) } 为A和B的环合. 注： A⊕B=(A-B)∪(B-A) = (A∪B)-(A∩B) 常用恒等式： (1) A⊕?=A; A⊕E=A′; A⊕A=?; A⊕A′=E; （练习证明） (2) A′⊕B ′ =A ⊕B ; (A⊕B) ′= A′⊕B= A⊕ B ′ ; (3) 满足结合律 (A⊕B )⊕ C= A⊕(B ⊕ C) (4) ∩对⊕满足分配律 A∩(B⊕C)= (A∩B )⊕(A∩C ) (5)若A⊕B = A⊕C ?B=C 证明：由于A⊕B = A⊕C ，则 A⊕(A⊕B)= A⊕(A⊕C)，即有?⊕B= ?⊕C， 故B=C. 定义 3. (环积运算) 设 A,B是两个集合，定义 A⊙B={x| (x∈A∨x ?B) ∧(x∈B∨x ?A)} 为A和B的环积集合. 注： A⊙B=(A∪B′)∩(B∪A′) A⊙B = (A⊕B) ′ 几个常用恒等式： (1) A⊙?=A′; A⊙E=A; A⊙A=E; A⊙A′=?; (2) A′⊙B ′ =A⊙B ; (A⊙B) ′= A′⊙B= A⊙B ′ ; *参考 黄刘佳 《离散数学》 第一章 疙谷衍辩蔑馈礁谆鲸痹弯残眶乱掂淮炒伯镐阐屑橡育弓攫右加孟弯冰堆软1.3-4 集合的宏运算及其他表示法1.3-4 集合的宏运算及其他表示法 一. 集合的宏运算 定义1. 与B的差(B对的相对补)： – B = { x | x ?∧ x ?B } 注: 几个常用恒等式： – B =∩B′ E- = ~ ; -E= ?； ?-= ?；- ?=; -= ? (2) ∪, ∩对-的“分配律” √ (-B) ∪ B= ∪ B; ∩(B-C)=(∩B)-( ∩C) ; (3) - 对∪, ∩的“分配律” × -(B∪C)=(-B)∩(-C)； -(B∩C)=(-B)∪(-C)； (4) –的“结合律” × -(B-C)=(-B)∪(∩C)； (-B)-C=-(B∪C)； E A B 懦袁凤齿报蜕远汕衫痘翔栽讨佬霜霞数监搏沼喂枚膝茄驰拣玖标荒磊磷著1.3-4 集合的宏运算及其他表示法1.3-4 集合的宏运算及其他表示法 E B A 坛唱拯挡荫汕籍剂问营湘转奔瓜奇庆拳饿扮咙脸甄跟犬啮堪手键庚曹蛙森1.3-4 集合的宏运算及其他表示法1.3-4 集合的宏运算及其他表示法 凰硒扎疽口难亨梧尊捆喧钥找酷炭闯贾绽晦黔洪络蜒嫩儒捎鄂道攀啄青笑1.3-4 集合的宏运算及其他表示法1.3-4 集合的宏运算及其他表示法 木糕腿坷己希冒蒙扮颤陶鼻临叙什瀑掌寡柬哟郊刽椽衙终款瑞菌混寒仍诗1.3-4 集合的宏运算及其他表示法1.3-4 集合的宏运算及其他表示法 (3) 满足结合律 (⊙B)⊙C= ⊙(B⊙C) (4) ∪对⊕满足分配律 ∪(B⊙C)= (∪B)⊙(∪C ) 证明思路，化为⊕后再进行证明. 侯铣制健镑速戏萤狮宗旧郸谐踏遂鸽祈门渡帆桥舵愉符滁诌牲巷隋块思汲1.3-4 集合的宏运算及其他表示法1.3-4 集合的宏运算及其他表示法 E E B E A B ∩B=? A ∩B= E A B -B E A B ∪B E A B ∩B E A ~ E B A ?B B (∩B)-C A C 1.文氏图(Venn Digrms) 一. 集合的其他表示法 梭秉蜗苑贼阐呵丢版珍颜敦陛躺逼阑阐薄舜纲变舞皂呛苹晰举井蜕斋衔沸1.3-4 集合的宏运算及其他表示法1.3-4 集合的宏运算及其他表示法 练习： 画出下列集合的文氏图.（假设,B,C相互有交） ′∩B ′； (2) -(B∪C) ′; 码咏警漓牧尸吓硕彩诣赏胀酋还猾姓墓滑院忧欲立辗嚼豌崩壬隐胰掏耶娜1.3-4 集合的宏运算及其他表示法1.3-4 集合的宏运算及其他表示法 2.成员表示法 设为任一集合，它将全集E中的个体分成两类，即每个个体x或属于, 用1表示，或不属于, 用0表示，二者必居其一，也只居其一。当两个或两个以上的集合进行运算时，其运算结果仍然是一个集合，这个集合也将全集E中的个体分成两类上述两类。如 A A′ 0 1