03 集合.pptVIP

离散数学 第二篇 集合论 第三章 集合与关系 集合及其表示法 集合之间的关系 集合的运算 包含排斥原理 集合中元素的性质 集合中的元素具有确定性、互异性、无序性和抽象性的特征： 确定性是指一旦给定了集合A，对于任意元素a，就可以准确地判断a是否在A中。 互异性是指集合中的元素之间是彼此不同的。 无序性是指集合中的元素之间没有次序关系。 抽象性是指集合中的元素是抽象的，甚至可以是集合。 有限集和无限集 定义：包含有限个元素的集合，称为有限集或有穷集。 定义：包含无限个元素的集合，称为无限集或无穷集。 例：所有英文字母组成的集合是有限集，整数集合是无限集。 集合的基数 定义：设A是集合，则A中元素的个数称为集合A的基数或势，记为?A?。 例： 若A为有限集，则?A?＝正整数；|?|＝0； 若A为无限集， 对无穷可数，其基为N0(阿列夫零) 对无穷不可数，基为c 3-1.2 集合的表示 列举法：将集合中的元素一一列举，或列出足够多的元素以反映集合中元素的特征。 例：V={a,e,i,o,u} 或B={1,4,9,16,25,36…} 描述法：用谓词来概括集合中元素的属性，通常用A＝{x|P(x)}表示具有性质P的一些对象组成的集合A 。 例： V= {x|x是元音字母} ，B= {x|x=a2 , a是自然数} 文氏图：用一个大的矩形表示全集，在矩形内画一些圆或其它的几何图形，来表示集合，有时也用一些点来表示集合中的特定元素。 例：集合V={a,e,i,o,u} ，用文氏图表示如下: 集合的元素可以是集合。 A={a,b,c, {a,b,c}} 仅含一个元素的集合称为单元素集合。 {A}与集合A不同。{A}表示仅以集合A为元素的集合。 {{1，0}}与{1，0}不同。{{1，0}}表示仅以{1，0}为元素的集合，{1，0}是{{1，0}}的元素。 3-2 集合之间的关系 外延性原理：两个集合是相等的，当且仅当它们有相同的成员。两个集合A和B相等，记作A=B，两个集合不相等，则记作A≠B。 定理3-1.2 对于任意一个集合A， ? ?A。 证明：假设? ?A为假，则至少有一个元素x，使x?? 且x ? A，因为空集?不包含任何元素，所有这是不可能的。 3-3 集合的运算 集合的运算，就是给定集合为对象，按照确定的规则得到另外一些集合。 3-3.2 集合的并运算 定义3-2.2 设任意两个集合A和B，所有属于A或属于B的元素组成的集合S，称为A和B的并集，记作A∪B。 S=A∪B={x|(x∈A)∨(X∈B)} 由集合并运算的定义可知，并运算具有以下性质： A ∪ B=B ∪ A A ∪ (B ∪ C)=(A ∪ B) ∪ C A ∪ A=A A ∪φ=A A ∪ E =E A? A∪B B? A∪B 3-3-3 集合的补运算 由补的定义可知，补运算具有如下性质： ~(~A)=A ~E=? ~ ? =E A∪~A=E A∩~A= ? 3-3-4 集合的对称差 由对称差的定义很易推得如下性质： A⊕B=B⊕A A⊕φ=A A⊕A=φ A⊕B=(A∩~B)∪(~A∩B) (A⊕B)⊕C=A⊕(B⊕C) 定理3.3-1证明 3-3 包含排斥原理 示例 作业 P85 1(a)(b)(c) 4(a)(b) 6(a)(e) P94 3(a)(b) 4 5(a)(b) P99 1 4(a) 5 定理3-2.6 设A、B、C为三个集合，则 A ∩（B-C）=（A ∩B）－（A ∩C） 证明： A∩(B-C)=A∩(B∩?C)=A∩B∩?C 又(A∩B)- (A∩C)=(A∩B)∩~(A∩C) = (A∩B)∩ (~A∪~C) =(A∩B∩~A)∪(A∩B∩~C) =? ∪ (A∩B∩~C) = A∩B∩~C 因此， A∩(B-C)=(A∩B)-(A∩C) 定理3-2.7 设A、B为两个集合，若A?B，则 a) ~B ? ~A b) (B-A)∪A=B 证明： a) 若x?A，由A?B，则x?B，因此x?B必有x?A，故x?~B必要x?~A，即~B ? ~A 。 b) (B-A)∪A=(B∩~A)∪A=(B∪A)∩(~A∪A) =(B∪A)∪E=B∪A 因为A?B，就有B∪A＝B。因此， (B-A)∪A=B 定义3-2.5 设A、B为任意两个集合，A和B的对称差为集合S，其元素或属于A，或属于B，但不能既属于A又属于B，