集合的概念与运算.ppt_第1页
集合的概念与运算.ppt_第2页
集合的概念与运算.ppt_第3页
集合的概念与运算.ppt_第4页
集合的概念与运算.ppt_第5页
已阅读5页,还剩46页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

第3讲 集合的概念与运算,1. 集合的概念 2. 集合之间的关系 3. 集合的运算 4. 文氏图、容斥原理,集合论(set theory),十九世纪数学最伟大成就之一 集合论体系 朴素(naive)集合论 公理(axiomatic)集合论 创始人康托(Cantor),Georg Ferdinand Philip Cantor 1845 1918 德国数学家, 集合论创始人.,什么是集合(set),集合:不能精确定义。一些对象的整体就构成集合,这些对象称为元素(element)或成员(member) 用大写英文字母A,B,C,表示集合 用小写英文字母a,b,c,表示元素 aA:表示a是A的元素,读作“a属于A” aA:表示a不是A的元素,读作“a不属于A”,集合的表示,列举法 描述法 特征函数法,列举法(roster),列出集合中的全体元素,元素之间用逗号分开,然后用花括号括起来,例如 A=a,b,c,d,x,y,z B=0,1,2,3,4,5,6,7,8,9 集合中的元素不规定顺序 C=2,1=1,2 集合中的元素各不相同(多重集除外) C=2,1,1,2=2,1,多重集(multiple set),多重集: 允许元素多次重复出现的集合 元素的重复度: 元素的出现次数(0). 例如: 设A=a,a,b,b,c是多重集 元素a,b的重复度是2 元素c的重复度是2 元素d的重复度是0,描述法(defining predicate),用谓词P(x)表示x具有性质P ,用x|P(x)表示具有性质 P 的集合,例如 P1 (x): x是英文字母 A=x|P1 (x)=x| x是英文字母 =a,b,c,d,x,y,z P2 (x): x是十进制数字 B=x|P2(x)= x|x是十进制数字 =0,1,2,3,4,5,6,7,8,9,描述法(续),两种表示法可以互相转化,例如 E=2,4,6,8, =x|x0且x是偶数 =x|x=2(k+1),k为非负整数 =2(k+1) | k为非负整数 有些书在列举法中用:代替|, 例如 2(k+1): k为非负整数,特征函数法(characteristic function),集合A的特征函数是A (x): 1,若xA A (x) = 0,若xA 对多重集, A (x)=x在A中的重复度,数的集合,N:自然数(natural numbers)集合 N=0,1,2,3, Z:整数(integers)集合 Z=0,1,2,=,-2,-1,0,1,2, Q:有理数(rational numbers)集合 R:实数(real numbers)集合 C:复数(complex numbers)集合,集合之间的关系,子集、相等、真子集 空集、全集 幂集、n元集、有限集 集族,子集(subset),子集: 若B中的元素也都是A中的元素, 则称B为A的子集, 或说B包含于A, 或说A包含B, 记作BA BA x(xBxA) 若B不是A的子集, 则记作BA BA x(xBxA) x(xBxA)x(xBxA) x(xBxA)x(xBxA),子集(举例),设A=a,b,c,B=a,b,c,d,C=a,b,则 AB, CA, CB,A,C,B,a,b,c,d,e,f,g,h,i,j,相等(equal),相等: 互相包含的集合是相等的. A=B AB BA A=B x(xAxB) A=B ABBA (=定义) x(xAxB)x(xBxA) (定义) x(xAxB)(xBxA) (量词分配) x(xAxB) (等值式),包含()的性质,AA 证明: AAx(xAxA) 1 若AB,且AB,则 BA 证明: AB (A=B) (ABBA) (定义) (AB) (BA) (德摩根律) AB (已知) BA (即BA) (析取三段论) #,包含()的性质(续),若AB,且BC, 则AC 证明: AB x(xAxB) x, xA xB (AB) xC (BC) x(xAxC), 即AC. #,真子集(proper subset),真子集: B真包含A: AB AB AB AB (AB AB) (定义) (AB) (A=B) (德摩根律) x(xAxB) (A=B) (定义),真包含()的性质,AA 证明: A A AA AA 10 0. # 若AB,则 BA 证明: (反证) 设BA, 则 AB AB AB AB (化简) BA BA BA BA 所以 AB BA A=B (=定义) 但是 AB AB AB AB (化简) 矛盾! #,真包含()的性质(续),若AB,且BC, 则AC 证明: AB AB AB AB (化简), 同理 BC BC, 所以AC. 假设A=C, 则BCBA, 又AB, 故A=B, 此与AB矛盾, 所以AC. 所以, AC. #,空集(empty set),空集:没有任何元素的集合是空集,记作 例如, xR|x2 +1=0 定理1: 对任意集合A, A 证明: Ax(xxA) x(0xA)1. # 推论: 空集是唯一的. 证明: 设1与2都是空集, 则 12 21 1=2 . #,全集,全集: 如果限定所讨论的集合都是某个集合的子集,则称这个集合是全集,记作E 全集是相对的, 视情况而定, 因此不唯一.例如, 讨论(a,b)区间里的实数性质时, 可以选E=(a,b), E=a,b), E=(a,B, E=a,b, E=(a,+),E=(-,+)等,幂集(power set),幂集: A的全体子集组成的集合,称为A的幂集,记作P(A) P(A)=x|xA 注意: xP(A) xA 例子: A=a,b, P(A)=,a,b,a,b. #,n元集(n-set),n元集: 含有n个元素的集合称为n元集 0元集: 1元集(或单元集),如a, b, , , |A|: 表示集合A中的元素个数, A是n元集 |A|=n 有限集 (fimite set): |A|是有限数, |A|, 也叫有穷集,幂集(续),定理: |A|=n |P(A)|=2n. 证明: 每个子集对应一种染色,一共有2n 种不同染色. #,A,a1,a1,a2,a3,an,a1,a3,集族(set family),集族: 由集合构成的集合. 幂集都是集族. 指标集(index set): 设A是集族, 若A=A|S, 则S称为A的指标集. S中的元素与A中的集合是一一对应的. 也记作A=A|S=AS 例1: A1,A2的指标集是1,2,集族(举例),例2: An=xN|x=n, A0=0, A1=1, An|nN=0,1,2, An|nN的指标集是N 例3: 设R+=xR|x0, Aa=0,a), Aa|aR+ 的指标集是R+,0,a,集合之间的运算,并集、交集 相对补集、对称差、绝对补 广义并集、广义交集,并集(union),并集: AB = x | (xA) (xB) xAB (xA) (xB) 初级并:,并集(举例),例1: 设An=xR|n-1xn,n=1,2,10,则 例2: 设An=xR|0x1/n,n=1,2,则,交集(intersection),交集: AB = x | (xA) (xB) xAB (xA) (xB) 初级交:,交集(举例),例1: 设An=xR|n-1xn,n=1,2,10,则 例2: 设An=xR|0x1/n,n=1,2,则,不相交(disjoint),不相交: AB= 互不相交: 设A1,A2,是可数多个集合, 若对于任意的ij, 都有AiBj=, 则说它们互不相交 例: 设 An=xR|n-1xn, n=1,2,10, 则 A1,A2,是不相交的,相对补集(set difference),相对补集: 属于A而不属于B的全体元素,称为B对A的相对补集, 记作A-B A-B = x | (xA) (xB) ,A-B,A,B,对称差(symmetric difference),对称差: 属于A而不属于B, 或属于B而不属于A的全体元素, 称为A与B的对称差, 记作AB AB=x|(xAxB)(xAxB) AB=(A-B)(B-A)=(AB)-(AB),AB,A,B,绝对补(complement),绝对补: A=E-A, E是全集, AE A=x|(xExA) A=xE|xA),A,A,相对补、对称差、补(举例),例: 设A=xR|0x2, A=xR|1x3, 则 A-B= xR|0x1=0,1) B-A= xR|2x3=2,3) AB=xR|(0x1)(2x3)=0,1)2,3),),),),广义并集(big union),广义并: 设A是集族, A中所有集合的元素的全体, 称为A的广义并, 记作A. A = x | z(xzzA 当是以S为指标集的集族时 A = A|S= A S 例: 设 A=a,b,c,d,d,e,f, 则 A= a,b,c,d,e,f,广义交集(big intersection),广义交: 设A是集族, A中所有集合的公共元素的全体, 称为A的广义交, 记作A. A = x | z(zAxz) 当是以S为指标集的集族时 A = A|S= A S 例: 设 A=1,2,3,1,a,b,1,6,7, 则 A= 1,广义交、广义并(举例),设 A1=a,b,c,d, A2=a,b, A3=a, A4=, A5=a(a), A6=, 则 A1= abc,d, A1= abc,d, A2=a,b, A2=a,b, A3=a, A3=a A4=, A4=, A5= a, A5= a A6=, A6=E,文氏图(Venn diagram),文氏图: 平面上的n个圆(或椭圆),使得任何可能的相交部分, 都是非空的和连通的 John Venn, 18341923 例:,文氏图(应用),文氏图可表示集合运算(结果用阴影表示),AB,AB,A-B,AB,A,A,A,A,A,A,A,B,B,B,B,B,AB=,文氏图(问题),Venn曾经构造出4个椭圆的文氏图, 并且断言: 没有5个椭圆的文氏图 Peter Hamburger & Raymond Pippert, 1996, 构造出5个椭圆的文氏图 Can you try it ?,文氏图(续),试试 n=4:,14 16,文氏图(续),试试 n=5,17 +,5 32,容斥原理(principle of inclusion/exclusion),容斥原理(或包含排斥原理),容斥原理(证明),n=2时的情况: |AB|=|A|+|B|-|AB| 归纳证明: 以n=3为例: |AB C| = |(AB)C|= |AB|+|C|-|(AB)C| = |A|+|B|-|AB|+|C|-|(AC)(BC)| = |A|+|B|-|AB|+|C| -(|AC|+|BC|-|(AC)(BC)|) = |A|+|B|+|C|-|AB|-|AC|-|BC| +|ABC|,A,B,B,C,A,容斥原理(举例),例1: 在1到10000之间既不是某个整数的平方,也不是某个整数的立方的数有多少? 解: 设 E=xN|1x10000, |E|=10000 A=xE|x=k2kZ, |A|=100 B=xE|x=k3kZ, |B|=21 则 |(AB)|=|E|-|AB| =|E|-(|A|+|B|-|AB|) =10000-100-21+4=9883 注意 AB= xE|x=k6kZ, |AB|=4. #,容斥原理(举例、续),例2: 在24名科技人员中,会说英,日,德,法语的人数分别为13, 5, 10, 和9, 其中同时会说英语,德语, 或同时会说英语,法语, 或同时会说德语,法语两种语言的人数均为4.会说日语的人既不会说法语也不会说德语. 试求只会说一种语言的人数各为多少?又同时会说英,德,法语的人数有多少? 解: 设E=x|x是24名科技人员之一, |E|=24 A=xE|x会说英语, B=xE|x会说日语, C=xE|x会说德语 D=xE|x会说法语,容斥原理(举例、续),解(续): 设所求人数分别为x1,x2,x3,x4,x(如图), A=xE|x会说英语, |A|=13 B=xE|x会说日语, |B|=5 C=xE|x会说德语, |C|=10 D=xE|x会说法语, |D|=9

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论