第3章集合与关系hhs.ppt
《第3章集合与关系hhs.ppt》由会员分享,可在线阅读,更多相关《第3章集合与关系hhs.ppt(68页珍藏版)》请在三一办公上搜索。
1、第二部分 集合论,集合论溯源十六世纪末 起源十九世纪 德国数学家康托创立古典集合论1900年前后 出现各种悖论1908年 策莫罗建立集合论的公理系统目前 集合论公理系统有两种形式:策莫罗-弗兰克尔-柯很形式(ZFC)贝尔内斯-诺伊曼-葛德尔形式(BNG)在计算机领域得到广泛应用,第二部分 集合论,古典集合论 康托称集合是“一些确定的、不同的东西的总体,这些东西,人们能够意识到,并且能够判断一个给定的东西是否属于这个总体”。悖论-理发师悖论:在一个小岛上有唯一的一位理发师。他宣称:我为岛上所有不为自己理发的人理发,而不给那些为自己理发的人理发。”。请问:理发师的头发由谁来理呢?-罗素悖论:令集合
2、S为包含所有不以自身为元素的那些集合,即S=x|x x 请问:S S吗?,第二部分 集合论,ZFC公理:包括九个公理外延公理空集公理无序对公理正则公理替换公理方幂集公理集公理无限公理选择公理,外延公理:假定A和B都是集合,如果任何一个事物属于 A也一定属于B,属于B 也一定属于A,那么A和B是同一个集合,或称两个集合A和B相等。,空集公理:存在一个不包括任何元素的集合。,正则公理:任何一个非空集合A一定包含一个元素a,A的任何一个元素都不是 a 的元素,计算机应用领域 集合论是学习计算机科学必备的基础知识,计算机领域的大多数基本概念和理论都可以采用集合论的有关术语来描述和论证,集合论被广泛地应
3、用于形式语言、编译理论、信息检索、数据结构、算法分析、程序设计、人工智能等领域。,第三章 集合与关系,3.1 集合的基本概念3.2 集合的基本运算3.3 集合中元素的计数3.4 笛卡尔乘积3.5 关系的概念3.6 关系的表示与性质3.7 关系的运算3.8 关系的闭包运算3.9 相容关系与覆盖3.10 等价关系与划分3.11 偏序关系,3.1 集合的基本概念,1.集合定义 集合没有精确的数学定义 理解:由离散个体构成的整体称为集合,称这些个体为集 合的元素 常见的数集:N,Z,Q,R,C 等分别表示自然数、整数、有 理数、实数、复数集合,2.集合表示法 枚举法-通过列出全体元素来表示集合 谓词表
4、示法-通过谓词概括集合元素的性质 实例:枚举法:谓词法:,3.1 集合的基本概念,3.集合的元素具有的性质 无序性:元素列出的顺序无关 相异性:集合的每个元素只计 数一次 确定性:对任何元素和集合都 能确定这个元素是否 为该集合的元素 任意性:集合的元素也可以是 集合4元素与集合的关系 隶属关系:或者5集合的树型层次结构,d A,a A,3.1 集合的基本概念,6.集合与集合之间的关系:,=,定义6.1 A B x(xA xB),A是B的子集 定义6.2 A=B A B B A 定义6.3 A B A B A B,A是B的真子集 A B x(xA xB)思考:和 的定义 注意 和 是不同层次的
5、问题,3.1 集合的基本概念,7空集:不含有任何元素的集合 实例:x|xR x2+1=0 定理6.1 空集是任何集合的子集。证:对于任意集合A,A x(xxA)T(恒真命题)推论 是惟一的 一般地,称集合A的子集和A为A的平凡子集。,8.幂集:(A)=x|x A 实例:()=,()=,计数:如果|A|=n,则|(A)|=2n.,9.全集 E:包含了所有集合的集合 全集具有相对性:与问题有关,不存在绝对的全集,3.1 集合的基本概念,例 A=a,b,c,求A的幂集(A)。解:将A的子集从小到大分类:0元子集,即空集,;1元子集,即单元集,a,b,c;2元子集,a,b,b,c,a,c;3元子集,a
6、,b,c;集合A有(A)=,a,b,c,a,b,a,c,b,c,a,b,c。,习题:P86(6)d,3.2 集合的基本运算,1 集合的运算2 集合运算算律,集合的基本运算有:并 AB=x|xA xB 交 AB=x|xA xB 相对补 AB=x|xA xB 对称差 AB=(AB)(BA)绝对补 A=EA,文氏图,3.2 集合的基本运算,1 集合的运算2 集合运算算律,说明(1)并和交运算可以推广到有穷个集合上,即 A1 A2 An=x|xA1 xA2 xAn A1 A2 An=x|xA1 xA2 xAn(2)A B AB=AB=AB=A,例 A=0,1,2,B=2,3,计算解:,3.2 集合的基
7、本运算,1 集合的运算2 集合运算算律,任何代数运算都遵从一定的算律,集合运算也不例外。下面给出集合运算的主要算律,其中A,B,C表示任意的集合。幂等律 结合律 交换律 分配律 同一律 零 律 排中律 矛盾律 吸收律 双重否定律 德摩根律,3.2 集合的基本运算,1 集合的运算2 集合运算算律,除了以上算律,还有一些关于集合运算性质的重要结论,在此一并给出。建立了相对补运算和交运算之间的联系,可以利用它将相对补转变成交。给出了 的三种等价的定义,为证明两个集合之间包含关系提供了新方法,同时也可以用于集合公式的化简。,习题:P95(11)a,*3.3 集合中元素的计数包含排斥原理,集合A含有n个
8、元素,可以说集合A的基数是n,记作card A=n。所谓基数就是表示集合中所含元素多少的量。如果集合A的基数是n,也可以记为|A|=n。显然空集的基数是0,即|=0。定义3.3.1 设为集合,若存在自然数n(0也是自然数),使得|A|=card A=n,则称A为有穷集,否则就称A为无穷集。例3.3.1 有100名程序员,其中47名熟悉C语言,35名熟悉C+语言,23名熟悉这两种语言。问有多少人对这两种语言都不熟悉?解:设A,B分别表示熟悉C和C+语言的程序员的集合,则该问题可以用图3.3.1的文氏图表示。将熟悉两种语言的对应人数23填入AB的区域内,不难得到A-B和B-A的人数分别为|A-B|
9、=|A|-|AB|=47-23=24|B-A|=|B|-|AB|=35-23=12 从而得到|AB|=24+23+12=59,故,|(AB)|=100-59=41,即两种语言都不熟悉的有41人。,*3.3 集合中元素的计数包含排斥原理,设S是有穷集,P1和P2分别表示两种性质,对于S中的任何一个元素x,只能处于以下四种情况之一:(1)只具有性质P1;(2)只具有性质P2;(3)具有P1和P2两种性质;(4)两种性质都没有。令A1和A2分别表示S中具有性质P1和P2的元素的集合。为了使表达式简洁,对任何集合B,用 代替B。由文氏图不难得到以下公式 这就是容斥原理的一种简单形式。如果涉及到三条性质
10、,容斥原理的公式则变成,*3.3 集合中元素的计数包含排斥原理,定理 3.3.1 S中不具有性质P1,P2,Pm的元素数是 定理3.3.1证明略。推论 在S中至少具有一条性质的元素数是,*3.3 集合中元素的计数包含排斥原理,例:某班学生150人。数学考试成绩90分以上的有80人,语文考试成绩90分以上的有75人,两门课程均在90分以上的有50人,问(1)只有一门课程成绩90分以上的学生有多少人?(2)两门课程成绩均不在90分以上的学生有多少人?解:全集为该班学生组成的集合。设 由题意可知(1)即需求。因为 所以,即(2)即需求,3.4 笛卡尔乘积,定义7.1 由两个元素 x 和 y,按照一定
11、的顺序组成的二元组称为有序对,记作.有序对性质:(1)有序性(当xy时)(2)与相等的充分必要条件是=x=uy=v,定义7.2 设A,B为集合,A与B的笛卡儿积记作AB,且 AB=|xAyB.,3.4 笛卡尔乘积,例1 A=1,2,3,B=a,b,c AB=,BA=,A=,B=P(A)A=,P(A)B=,3.4 笛卡尔乘积,笛卡儿积的性质:(1)不适合交换律 AB BA(AB,A,B)(2)不适合结合律(AB)C A(BC)(A,B,C)(3)对于并或交运算满足分配律 A(BC)=(AB)(AC)(BC)A=(BA)(CA)A(BC)=(AB)(AC)(BC)A=(BA)(CA)(4)若 A
12、或 B 中有一个为空集,则 AB 就是空集.A=B=(5)若|A|=m,|B|=n,则|AB|=mn,证明 A(BC)=(AB)(AC)证 任取:A(BC)xAyBC xA(yByC)(xAyB)(xAyC)ABAC(AB)(AC)所以有A(BC)=(AB)(AC).,3.4 笛卡尔乘积,例2(1)证明A=B,C=D AC=BD(2)AC=BD是否推出 A=B,C=D?为什么?,解(1)任取 AC xAyC xByD BD(2)不一定.反例如下:A=1,B=2,C=D=,则AC=BD但是A B.,3.5 关系的概念,定义3.5.1 设A,B是任意两个集合,AB的子集R称为从A到B的二元关系,当
13、A=B 时,称R为A上的二元关系。从上述定义可以看出A到B的二元关系,也是序偶的集合。若 R,则称a与b有关系R,记作a R b。若,则称a与b没有关系R,记作。例如:设A=a,b,c,d,B=0,1,则R=a,0,b,0,c,1 就是一个从A到B的二元关系。定义3.5.2 设A,B是任意两个集合,R是A到B上的二元关系,若R=,则称为空关系。若R=AB,则称R为全关系。称为A上的恒等关系。全关系 例如:设A=0,1,2,则。,3.5 关系的概念,定义3.5.3 设A,B是两个集合,R是从A到B上的二元关系,则(1)若存在bB,使得R,则所有这样的aA组成的集合,称为二元关系R的定义域。记作d
14、om(R)或D(R),即(2)若存在aA,使得 R,则所有这样的bB组成的集合,称为二元关系R的值域。记作ran(R)或R(R),即 R的定义域和值域一起称作R的域,记作FLDR,即 FLDR=dom(R)ran(R)从X到Y的二元关系R,也可以用图解的方式表示,如图3.5.1所示,X和Y是两个集合。xi是集合X中的元素,yj是集合Y中的元素,当且仅当xiRyj时,才有一条从xi指向yj的有向边。,3.5 关系的概念,图 3.5.1 图解表示法,3.5 关系的概念,定理3.5.1 若R和S是从集合A到B上的两个二元关系,则R和S的并、交、补、差也是A到B上的二元关系。证明:因为R和S是从集合A
15、到B上的二元关系 所以有R AB,S AB。从而有 即RS和RS都是A到B上的二元关系。又因为 所以R和S也是A到B上的二元关系。由于 故R-S也是A到B上的二元关系,3.6 关系的表示与性质,1 关系的矩阵表示2 关系的图形表示3 关系的性质,设 X=a,b,c,Y=0,1,2,3,R=,。可得关系R的矩阵表示如下:由上例看出,给定从有限集X到Y的二元关系R,就可以构造出它的关系矩阵。给定两个有限集合 和,并且R是从X到Y的二元关系。如果有 则称矩阵 是R的关系矩阵,并记作。,3.6 关系的表示与性质,1 关系的矩阵表示2 关系的图形表示3 关系的性质,设画出R的关系图。解:R的关系图如图3
16、.6.1所示。图3.6.1 R的关系图,3.6 关系的表示与性质,1 关系的矩阵表示2 关系的图形表示3 关系的性质,定义3.6.1 设 R 为A上的关系,(1)若 x(xAR),则称 R 在 A 上是自反的.(2)若 x(xAR),则称 R 在 A 上是反自反的.,实例:自反:全域关系EA,恒等关系IA,小于等于关系LA,整除关系DA反自反:实数集上的小于关系、幂集上的真包含关系.A=1,2,3,R1,R2,R3是A上的关系,其中 R1,R2,R3R2 自反,R3 反自反,R1既不是自反的也不是反自反的.,3.6 关系的表示与性质,1 关系的矩阵表示2 关系的图形表示3 关系的性质,定义3.
17、6.2 设 R 为 A上的关系,(1)若xy(x,yARR),则称 R 为 A上对称的关系.(2)若xy(x,yARRx=y),则称 R 为A上的反对称关系.,实例:对称关系:A上的全域关系EA,恒等关系IA和空关系反对称关系:恒等关系IA和空关系也是A上的反对称关系.设A1,2,3,R1,R2,R3和R4都是A上的关系,其中 R1,,R2,R3,,R4,R1:对称和反对称;R2:只有对称;R3:只有反对称;R4:不对称、不反对称,3.6 关系的表示与性质,1 关系的矩阵表示2 关系的图形表示3 关系的性质,定义3.6.3 设R为A上的关系,若 xyz(x,y,zARRR),则称 R 是A上的
18、传递关系.,实例:A上的全域关系 EA,恒等关系 IA和空关系,小于等于和小于关系,整除关系,包含与真包含关系设 A1,2,3,R1,R2,R3是A上的关系,其中 R1,R2,R3R1和R3是A上的传递关系,R2不是A上的传递关系.,3.6 关系的表示与性质,1 关系的矩阵表示2 关系的图形表示3 关系的性质,3.7 关系的运算,1 关系的逆运算2 关系的合成运算,定义3.7.1 设R是从集合X到集合Y的二元关系,如果将R中每一对序偶的元素顺序互换,所得到的新的集合则称为R的逆关系,记作,即 由逆关系的定义可知,的关系图可以通过将R的关系图的所有有向弧逆转得到,它的关系矩阵可以通过将R的关系矩
19、阵转置得到。例3.7.1 设,求。解:。,3.7 关系的运算,1 关系的逆运算2 关系的合成运算,定理3.7.1 设R和S都是从X到Y的二元关系,则下列各式成立。(1)(2)(3)(4),这里R表示(5)(6)若,则,3.7 关系的运算,1 关系的逆运算2 关系的合成运算,定理3.7.2 设R是A上的二元关系,则(1)R在A上是自反的,当且仅当。(2)R在A上是反自反的,当且仅当。(3)R在A上是对称的,当且仅当。(4)R在A上是反对称的,当且仅当。,3.7 关系的运算,1 关系的逆运算2 关系的合成运算,定义3.7.2 设R是从集合X到集合Y的二元关系,S是从集合Y到Z的关系,则R S称为R
20、和S的合成关系,定义为 R S称为关系的合成运算。设R是从集合 到集合 的关系,S是从集合 到集合 的关系,则 是一个 的矩阵,是一个 的矩阵。依照普通矩阵乘法的运算,可以定义两个关系矩阵的合成运算。,3.7 关系的运算,由上述前两个矩阵可以构造这两个矩阵的合成矩阵,记作。元素 可由下式得到:其中。和的运算规则如下:两个关系的合成运算,就是将布尔关系矩阵做乘法,所得结果即为合成关系矩阵。,1 关系的逆运算2 关系的合成运算,3.7 关系的运算,1 关系的逆运算2 关系的合成运算,定理3.4.3 设X,Y,Z和W都是集合。R是从集合X到Y的关系,S是从集合 Y到Z的关系,T是从集合Z到W的关系。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 集合 关系 hhs

链接地址:https://www.31ppt.com/p-5907222.html