CH3 集合及基本概念和运算.ppt

A与B的对称差也可等价地定义为 A⊕B=（A∪ B）－（A∩ B） 这时，对于上例，有 A⊕B={0,1,2,3}－{2}={0,1,3} 课堂练习 P72 3.1 集合的算律 任何代数运算都遵从一定的算律（恒等式），集合运算也不例外 下面列出的是集合运算的主要算律，其中的A，B，C表示任意的集合，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）=A 德.摩根律 ~ A∪B）= ~ A∩ ~ B ~ （A∩B）= ~ A∪ ~ B ~ ?=E ~ E=? A-（B∪C）=（A-B）∩（A-C） A-（B∩C）=（A-B）∪（A-C） 恒等式及集合相等的证明方法 之一 证明的基本思想是： 欲证P=Q，即证： P ? Q∧Q ? P 也就是要证明对任意的x有 x∈P ? x∈Q 例:证明 A-（B∪C）=（A-B）∩（A-C） 即证对? x, x∈A-(B∪C) ? x∈(A- B)∩(A-C) 证：x∈A-(B∪C) ? x∈A∧x ? B∪C ? x∈A∧﹁(x ∈B∪C) ? x∈A∧﹁(x ∈B∨x ∈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) 恒等式及集合相等的证明方法 之二： 利用已知算律证明 例: 证明（A－B）∪B = A∪B 证: （A－B）∪ B =（A∩~B）∪B =（A∪B）∩（~B∪B） =（A∪B）∩E = A∪B 除以上所给的算律以外，还有一些关于集合运算性质的重要结果 A∩B?A,A∩B?B A?A∪B,B?A∪B A-B?A A∪B=B ? A?B ? A∩B=A ? A-B=? A-B=A ∩ ~ B A-B=A-(A ∩ B) 文氏图 集合之间的相互关系和有关的运算可以用文氏图给予形象的描述 文氏图的构造方法如下: 首先画一个大矩形表示全集E 其次在矩形内画一些圆或任何其它的适合的闭曲线，用圆的内部表示集合 通常在图中画有阴影的区域表示新组成的集合 在一般情况下，如果不作特殊的说明，这些表示集合的圆应该是彼此相交的 如果已知某两个集合是不交的，则表示它们的圆彼此相离 例:用文氏图表示下面集合 (1) ~ A∪(B∩C) (2) (A ⊕ B)-C 集合中元素的计数 集合A={1，2，…，n}，它含有n个元素， 这个集合的基数是n，记作 card A = n 或 |A|=n 显然空集的基数是0，即|?|=0 定义 设A为集合，若存在自然数n，使得card A=|A|=n，则称A为有穷集，否则就称A为无穷集。 例 有100名程序员，其中47名熟悉C语言，35名熟悉C++语言，23名熟悉这两种语言。问有多少人对这两种语言都不熟悉？ 常用方法：文氏图、容斥原理 使用文氏图解决有穷集的计数问题 1.首先根据已知条件把对应的文氏图画出 一般地说，每一条性质决定一个集合，有多少条性质，就有多少个集合 如果没有特殊的说明，任何两个集合都是相交的 2.然后将已知集合的基数填入表示该集合的区域内 通常是从