离散数学CH51特殊关系课件.pptx
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《离散数学CH51特殊关系课件.pptx》由用户(三亚风情)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 CH51 特殊 关系 课件
- 资源描述:
-
1、1 第 5章 特殊关系离散数学第5章 特殊关系 Discrete Mathematics2 第 5章 特殊关系章节引入判定下列关系具有哪些性质?1.在全体中国人所组成的集合上定义的“同姓”关系;2.对任何非空集合A,A上的全关系;3.三角形的4.直线的“平行关系”;。发现:不同的关系却具有多个相同的性质。本章将研究具有不同性质组合的几种特殊关系相容关系、等价关系、拟序关系、偏序关系。3 第 5章 特殊关系学习要求历史人物相容关系等价关系 1内容导航C O N T E N T S次序关系函数 5.1 5.4 5.3 5.4特殊关系的应用 5.5作业 5.64 第 5章 特殊关系1646-1716
2、,德国哲学家、数学家,微积分的发现者之一。历史人物1643-17271643-1727,英国数学英国数学家、科学家和哲学家家、科学家和哲学家。经典力学理论经典力学理论开创者。开创者。5 第 5章 特殊关系学习要求历史人物相容关系等价关系 1内容导航C O N T E N T S次序关系函数 5.1 5.4 5.3 5.4特殊关系的应用 5.5作业 5.66 第 5章 特殊关系重点1 特殊关系的判定与证明2 等价类和商集的计算3 8个特殊元的判定个特殊元的判定4 复合函数的计算难点1 相容关系与覆盖的联系相容关系与覆盖的联系2等价关系与集合划分的联系等价关系与集合划分的联系3特殊关系的判定与证明
3、特殊关系的判定与证明4 8个特殊元的判定个特殊元的判定5 函数类型的证明函数类型的证明 学习要求7 第 5章 特殊关系学习要求相容关系等价关系内容导航C O N T E N T S次序关系函数 5.1 5.4 5.3 5.4特殊关系的应用 5.5作业 5.6历史人物8 第 5章 特殊关系5.1.1 相容关系的定义定义5.1 设R是定义在非空集合A上的关系,如果R是自反的、对称的,则称R是A上的相容关系。例5.1 设A是所有中国人组成的集合,试判断下列关系是否为相容关系。(1)A上的“同性”关系。(2)A上的“朋友”关系。(3)A上的“父子”关系。解题小贴士相容关系的判断方法 R是相容关系 R同
4、时具有自反性和对称性。是是否不具有对称性,自反性不具有对称性,自反性9 第 5章 特殊关系例5.4 例5.4 假设A是由下列英文单词组成的集合。Astudent,boy,work,table,to,girl,A上的关系R|x,yA且x和y有相同字母。(1)写出关系R中的所有元素。(2)写出R的关系矩阵。(3)画出R的关系图。(4)试说明R是相容关系。10 第 5章 特殊关系例5.4 解解 (1)令1=student,2=boy,3=work,4=table,5=to,6=girl,由R的定义可得R,。11 第 5章 特殊关系(4)由R的关系图或者关系矩阵可看出,R具有自反性和对称性,即R是相容
5、关系。1 0 0 1 1 00 1 1 1 1 00 1 1 0 1 11 1 0 1 1 11 1 1 1 1 00 0 1 1 0 1(a)123456(b)(2)R的关系矩阵如图5.1(a)。(3)R的关系图如图5.1(b)。图5.1例5.4 解(续)12 第 5章 特殊关系定义5.4 给定非空集合A,设有集合SA1,A2,Am。如果(1)Ai A且Ai,i=1,2,m;(2)。则S被称作集合A的一个覆盖。1miiAA例如:设A=1,2,3,4,5,6,则 1,2,4,5,2,3,5,6和1,2,4,5,3,5,6都是的A一个覆盖。5.1.2 集合的覆盖显然一个集合的覆盖是不惟一的。13
6、 第 5章 特殊关系定理5.1 定理5.1 给定集合A的一个覆盖SA1,A2,An,设:RA1A1A2A2AnAn (5.1)则R是A上的相容关系。1niiAA14 第 5章 特殊关系例5.3 例5.3 给定非空集合A=a,b,c和A上的两个不同覆盖S1a,b,c和S2=a,b,b,c,a,c,试给出S1和S2确定的相容关系。解 设覆盖S1和S2确定的相容关系分别为R1和R2,则R1a,b,c a,b,c,;R2(a,ba,b)(b,cb,c)(a,ca,c),。不同的覆盖可以构造出相同的相容关系。15 第 5章 特殊关系学习要求相容关系等价关系内容导航C O N T E N T S次序关系函
7、数 5.1 5.4 5.3 5.4特殊关系的应用 5.5作业 5.6历史人物16 第 5章 特殊关系问题引入具有具有。假设集合A是由10个红色、蓝色或绿色球组成的集合,如图5.4所示。定义A上的关系R为:如果x和y属于关系R,则x和y有相同的颜色。关系R具有哪些性质?17 第 5章 特殊关系5.4.1 等价关系的定义定义5.3 设R是定义在非空集合A上的关系,如果R是自反的、对称的、传递的,则、称R为A上的等价关系。等价关系的判断方法R是等价关系 R同时具有自反性、对称性和传递性。注意:R是等价关系,则R一定是相容关系;反之不然。18 第 5章 特殊关系例5.4 试判定例5.1中的关系是否为等
8、价关系。(1)A上的“同性”关系。(2)A上的“朋友”关系。(3)A上的“父子”关系。例5.4不具有传递性 是否否不具有对称性,自反性19 第 5章 特殊关系例5.5 针对图5.4中集合A上定义的关系R。(1)写出R中的所有元素。(2)画出R的关系图。(3)证明R是一个等价关系。例5.5解(1)根据R的定义得:R,,,,,,,,,,,,,。20 第 5章 特殊关系(2)R的关系图如图5.3所示。例5.5 解(续)21 第 5章 特殊关系例5.5 解 (续)显然,关系R将集合A分成了三个互不相交的子集,且它们的并集为A。22 第 5章 特殊关系例5.6例5.6 设n为正整数,考虑整数集合Z上的整
9、除关系如下:R=|x,yZ(n|(x-y)证明 R是一个等价关系。23 第 5章 特殊关系例5.6 证明24 第 5章 特殊关系以n为模的同余关系整数集Z上的整除关系R又被称为Z上以n为模的同余关系(Congruence Relation),记xRy为x y(mod n)(5.4)通常称(5.4)为同余式(Congruence)。如用resn(x)表示x除以n的余数,则x y(mod n)resn(x)resn(y)。25 第 5章 特殊关系以n为模的同余关系Z上的整除关系R将Z分成了下面n个互不相交的子集,且这些子集的并集为Z。S0=,2n,n,0,n,2n,;S1=,2n1,n1,1,n1
10、,2n1,;Sn-1=,2n1,n1,1,n1,2n1,。26 第 5章 特殊关系5.4.2 集合的划分定义5.3 给定非空集合A,设有集合S=A1,A2,Am。如果满足(1)Ai A且Ai,i1,2,m;(2)AiAj,ij,i,j1,2,m;(3)。m mi ii=1i=1A=AA=A则称S为集合A的一个(Partition),而A1,A2,Am叫做这个划分的(Block)或(Class)。注意:集合的一个划分一定是该集合的一个覆盖,反之不然。27 第 5章 特殊关系例5.7试给出非空集合A上2个不同的划分解(1)在A中设定一个非空真子集A1,令A2=A-A1,则根据集合划分的定义,A1,
11、A2就构成了集合A的一个划分,见图(a);(2)在A中设定两个不相交非空真子集A1和A2,令A3=A-(A1A2),则根据集合划分的定义,A1,A2,A3就构成了集合A的一个划分,见图(b)。(a)AA1(b)(b)A AA A1 1A A2 2注意:对同一个集合,划分的方法不同,得到的划分也不同。28 第 5章 特殊关系问题引入u1,4,8,10,2,7,9,3,5,6是集合A1,2,10的一个划分;u S0,S1,Sn-1是整数集Z的一个划分。像这种由等价关系产生的划分又被称为集合A上关于R的商集,划分中的每一块被称为等价类。29 第 5章 特殊关系5.4.3 等价类与商集解题小贴士等价类
12、xR的计算方法对A中的任意x,找出以x为第一元素的所有序偶,将其第二元素构成集合,这个集合就是xR。30 第 5章 特殊关系例5.8例5.8 设A1,2,3,4,5,6,7,8,9,R是A上以4为模的同余关系。(1)写出R中的所有元素。(2)计算R的所有等价类。(3)画出R的关系图。解:解:(1 1)根据)根据R R的定义得:的定义得:R R,。31 第 5章 特殊关系例5.8 解(续)解:(2)由例5.6知,A上的关系R是一个等价关系。于是有1R5R9R1,5,9;2R6R2,6;3R7R3,7;4R8R4,8。(3 3)R R对应的关系图如图对应的关系图如图5.55.5所示所示。32 第
13、5章 特殊关系 R Rx Ax Ax x定理5.433 第 5章 特殊关系定理5.4 证明34 第 5章 特殊关系 b)y xR R 假设xRyR,则 xRyR zxRyR RR RR (R是对称的)R (R是传递的)显然与 R矛盾。从而xRyR成立。定理5.4 证明(续)35 第 5章 特殊关系 R Rx Ax Ax x R Rx Ax Ax x R Rx Ax Ax x R Rx Ax Ax x定理5.4 证明(续)R Rx Ax Ax x36 第 5章 特殊关系商 集定义5.5 设R是非空集合A上的等价关系,由R确定的一切等价类构成的集合,称为集合A上关于R的商集(Quotient Se
14、t),记为A/R,即 A/RxR|(xA)(5.4)例如,例5.8中A关于R的商集A/R=1R,2R,3R,4R1,5,9,2,6,3,7,4,8。37 第 5章 特殊关系例5.9例5.9 设A=1,2,3,在P(A)上规定二元关系如下:R=|s,tP(A)|s|=|t|试证明R是A上的等价关系,并计算商集P(A)/R。38 第 5章 特殊关系例5.939 第 5章 特殊关系计算商集A/R的通用过程解题小贴士A是有限集或可数集,商集P(A)/R的计算步骤如下:(1)任选A中一个元素a,计算aR;(2)如果aRA,任选一个元素bAaR,计算bR;(3)如果aRbRA,任选一个元素cAaRbR,计
15、算cR。以此类推,直到A中所有元素都包含在计算出的等价类中。40 第 5章 特殊关系5.4.4 等价关系与划分41 第 5章 特殊关系5.4.4 等价关系与划分给定集合给定集合A A的的一个划分一个划分=A=A1 1,A,A2 2,A,An n,则由该划分确定的则由该划分确定的关系关系R=(AR=(A1 1A A1 1)(A)(A2 2A A2 2)(A An nA An n)是是A A上的等价关系上的等价关系,称此关系称此关系R R为由划分为由划分所导出的等价关系。所导出的等价关系。42 第 5章 特殊关系5.4.4 等价关系与划分 R Rx Ax Ax x43 第 5章 特殊关系5.4.4
16、 等价关系与划分注意:集合A上的等价关系与集合A的划分是一一对应的。44 第 5章 特殊关系例5.10例5.10 设A1,2,3,4,5,6,求出与下列划分对应的等价关系。(1)S11,2,3,5,4;(2)S21,3,2,4,5。解 (1)设与划分S1对应的等价关系为R1,则R1(1,21,2)(3,53,5)(44),。45 第 5章 特殊关系例5.10 解(续)(2)设与划分S2对应的等价关系为R2,则 R2(1,31,3)(2,3,52,3,5),。46 第 5章 特殊关系例5.11例5.11 设A=a,b,c,求A上所有的等价关系及其对应的商集。解 只有1个划分块的划分为S1,见图(
17、a);具有2个划分块的划分为S2、S3和S4,见图(b)、(c)和(d),具有3个划分块的划分为S5,见图(e)。bcabcabcabcabca (a)(b)(c)(d)(e)(a)(b)(c)(d)(e)47 第 5章 特殊关系例5.11(续)假设由Si导出的对应等价关系为Ri,i=1,2,3,4,5,则有 R1=S1S1=AA,A/R1=1,2,3;R2=1,21,233=,A/R2=1,2,3;R3=1,31,322=,A/R3=1,3,2;48 第 5章 特殊关系R4=2,32,311=,,A/R4=1,2,3;R5=112233=,=IA,A/R5=1,2,3。例5.11(续)49
18、第 5章 特殊关系学习要求相容关系等价关系内容导航C O N T E N T S次序关系函数 5.1 5.4 5.3 5.4特殊关系的应用 5.5作业 5.6历史人物50 第 5章 特殊关系问题引入制作一道四川名菜四川麻婆豆腐,需执行下面的任务:(1)把豆腐切块;(2)牛肉剁成牛肉馅;(3)把蒜苗切成段,蒜和姜切成小粒;(4)锅里倒清水烧热,下豆腐块,加盐煮一下捞出;(5)油温烧至7成热,下蒜、老姜、豆瓣酱翻炒,然后加 牛肉馅炒香;(6)加豆腐块、辣椒粉、水煮开,加蒜苗炒香,装盘上桌。图5.7这些任务之间存在“先后”关系,这种“先后”关系被称为次序关系。拟序关系偏序关系次序关系51 第 5章
19、特殊关系5.3.1 拟序关系定义5.6 设R是非空集合A上的关系,如果R是反自反、反对称和传递的,则称R是A上的拟序关系(Quasi-Order Relation),简称拟序,记为“”,读作“小于”,并将“”记为“ab”。序偶称为拟序集(Quasi-Order Set)。解题小贴士拟序关系的判断方法R是拟序关系 R同时具有反自反性、反对称性和传递性。注意:“”的逆关系“-1”也是拟序,用“”表示,读作“大于”。52 第 5章 特殊关系例5.12例5.12 判断下列关系是否为拟序关系(1)集合A的幂集P(A)上定义的“”;(2)实数集Z上定义的“大于”关系();不具有反自反性 否是53 第 5章
20、 特殊关系例5.13例5.13 如果关系R在非空集合A上是反自反和传递的,那么R一定是反对称的吗?用反证法。假设R不是反对称的关系,则存在x0,y0A,且x0y0,满足 R并且R。因为R具有传递性,从而有R。这与R的反自反性矛盾,从而假设错误,即R一定是反对称的。定义5.7 设R是非空集合A上的关系,如果R是反自反和传递的,则称R是A上的 拟序关系。54 第 5章 特殊关系问题引入假设集合A是制作四川麻婆豆腐的任务集,即A1,2,3,4,5,6,A上的关系R定义为:R 如果ij或者任务i必须在任务j之前完成。则关系R具有什么性质?是拟序关系吗?不具有反自反性 否具有自反性、反对称性和传递性的。
21、偏序关系55 第 5章 特殊关系5.3.2 偏序关系 设R是非空集合A上的关系,如果R是自反的、反对称的和传递的,则称R是A上的偏序关系(Partial Order Relation),简称偏序,记为“”,读作“小于等于”,并将“”记为ab。序偶称为偏序集(PartialOrder Set)。解题小贴士偏序关系的判断方法R是偏序关系 R同时具有自反性、反对称性和传递性。注意:(1 1)“”的逆关系是“”,“”记为“abab”,读作“a a大于等于b”b”。(2 2)“”“I IA A”为A A上的拟序关系,“”“I”“IA A”为A A上的偏序关系。56 第 5章 特殊关系例5.13 试判断下
22、列关系是否为偏序关系(1)设A=1,2,3,A上的关系R=,。(2)设A=1,2,3,A上的关系S=,。(3)整数集Z上的模m同余关系T。例5.13不具有自反性 否是否不具有反对称性 57 第 5章 特殊关系例5.14 证明整数集Z上的整除关系“|”是偏序关系。例5.1458 第 5章 特殊关系例5.15例5.15 试写出制作四川麻婆豆腐的任务集A1,2,3,4,5,6上的关系R中的元素,并画出它的关系图。解 根据R的定义,有R,其关系图如图5.8所示。59 第 5章 特殊关系哈斯图如果已知R是偏序关系,那么它的关系图一定具有如下特点:(1)每个结点都有自环(自反性);(2)任意两个结点要么有
23、且仅有一条边相连,要么没有边相连(反对称性);(3)如果元素a到元素b有边相连,元素b到元素c有边相连,则元素a到元素c必然有边相连(传递性)。R是偏序关系 R同时具有自反性、反对称性和传递性。60 第 5章 特殊关系哈斯图1.用小圆圈或点表示A中的元素,省掉关系图中所有的环;(因自反性)2.对任意x,yA,若xy,则将x画在y的下方,可省掉关系图中所有边的箭头;(因反对称性)3.对任意x,yA,若xy,且不存在zA,使得xz,zy,则x与y之间用一条线相连,否则无线相连。(因传递性)按照(1),(2)和(3)作成的图被称为R的哈斯图(Hasse图)。如果A上的关系R是偏序关系,那么可以按照下
24、面的方式简化它的关系图。61 第 5章 特殊关系例5.16例5.16 画出例5.15中关系R的哈斯图。解 例5.15中关系R的哈斯图如图5.9所示。62 第 5章 特殊关系例5.17例5.17 设A1,2,3,4,6,12,“”是A上的整除关系R,先写出R中元素,并判定能否画出R的哈斯图。如果能,请画出其哈斯图。解 由题意可得 R,。其哈斯图如图5.10所示。最大元最小元63 第 5章 特殊关系特殊元素 64 第 5章 特殊关系例5.18例5.18 设B12,4,6,12,B21,2,3是例5.17中集合A的子集,试求出B1,B2的最大元和最小元。解 子集B1,B2形成的哈斯图分别如图5.11
25、(a)和5.11(b)。从图5.11(a)可以看出,B1的最大元是12,最小元是2。从图5.11(b)可以看出,图的最上端存在 两个元素2和3,它们之间不能比较,因此 B2无最大元,最小元是1。极大元65 第 5章 特殊关系特殊元素 66 第 5章 特殊关系例5.19 例5.19 设B31,2,3,4,6,B44,6,12是例5.17中集合A的子集,试求出B3,B4的最大元、最小元、极大元和极小元。解 子集B3,B4形成的哈斯图分别如图5.12(a)和5.12(b)。B3,B4的最大元、最小元、极大元和极小元如下表所示。集合最大元极大元最小元极小元B3无4,611B41212无4,667 第
展开阅读全文