离散数学,二元关系与运算PPT课件.ppt_第1页
离散数学,二元关系与运算PPT课件.ppt_第2页
离散数学,二元关系与运算PPT课件.ppt_第3页
离散数学,二元关系与运算PPT课件.ppt_第4页
离散数学,二元关系与运算PPT课件.ppt_第5页
已阅读5页,还剩55页未读 继续免费阅读

下载本文档

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

文档简介

1、二元关系和运算,第四章,1,1. 二元有序组:由两个元素x和y按一定顺序排成二元组,记作: 。,4.1 二元关系的概念,如: 平面直角坐标系中点的坐标,一、二元关系的概念,2,二元有序组的性质,(1) 当x y时, ,(2) = ,当且仅当x = u,y = v,(1)、(2)说明有序组区别于集合,n元有序组:由n个元素x1,x2,xn,按一定顺序排成的n元组,记作:(x1,x2,xn) 。,3,2. 一种新的集合运算 积运算 :,设A、B为两集合,用A中元素为第一元素,B中元素作为第二元素构成的二元有序组的全体叫做A和B的笛卡儿积。,记作:A B,符号化:A B = | xA y B,4,例

2、4.1 设A=a,b,B=0,1,2 ,求AB,BA,解:根据笛卡儿积的定义知,A B = , , , ,B A = , , ,一般地:如果|A|=m,|B|=n,则 |AB|=|BA|=m n, , , , ,5,积运算的性质,(1) 若A,B中有一个空集,则笛卡儿积是空集,即: B = A = ,(2) 当AB,且A,B都不是空集时,有ABBA,(3) 当A,B,C都不是空集时,有(AB)C A(BC),因为(AB)C中的元素, z,而A(BC)中的元素为 。,6,(4) A(BC) = (AB)(AC) (对的分配律),(BC)A = (BA)(CA),A(BC) = (AB)(AC),

3、(BC)A = (BA)(C A),我们证明:,A(BC) = (AB)(AC),( ? ),( ? ),( ? ),7,证明思想,要证明两个集合相等,通常有两种方法:一是证两个集合相互包含;,二是利用已有的集合运算的性质(算律和已证明过的公式),仿照代数恒等式的证明方法,一步步从左(右)边推出右(左)边,或从左、右边分别推出同一个集合式子。,一般说来,最基本的集合相等关系要用第一种证法,比较复杂的集合相等关系用第二种方法更好,但第二种方法的使用取决于我们对算律和常用公式的熟练程度。,8,证明: 用第一种方法,对于任意的 A ( BC ), xAy(BC), xA(yByC ), (xAyB)

4、(xAyC), ABAC, (AB)(AC), A(BC)=(AB)(AC),9,例4.2 设A=1,2,求P(A)A,解: P(A)A,= ,1,2,1,2,= ,,n阶笛卡儿积:,= (x1,x2, xn) | x1A1x2A2 xnAn,A1 A2 An,1,2,,,,,,,10,二元关系:如果一个集合的元素都是二元有序组,则这个集合称为一个二元关系,记作:R 。,如果 R ,记作 x R y,3、二元关系的数学定义,11,从A到B的二元关系:设A,B为集合,A B的任何子集所定义的二元关系叫做从A到B的二元关系。,若A=B,叫做 A上的二元关系;,若|A|n,则|AA|n2。,就是说,

5、A上有 个不同的二元关系,其中包括空关系、全域关系UA和恒等关系IA。,AA的所有子集有 个。,12,例4.3 设A = a,b,写出P(A)上的包含关系R :,解: P(A) = ,a,ba,b,R = , , , ,13,A上关系的表示法,1. 关系矩阵:,设A=x1, x2, , xn),R是A上的关系,,则 (rij)nxn =,是R的关系矩阵,令:,二、二元关系的表示方法,14,2. 关系图:,以E = | xiAxjAxiRxj为有向边集组成的有向图G = ,以V=A=x1, x2, xn 为顶点集,,15,例4.4 设A=1,2,3,4,R=,是A上的关系,试写出R的关系矩阵并画

6、出关系图:,解: 关系矩阵 :,0 0 1 1,0 0 0 0,0 1 0 0,关系图 :,16,4.2 关系的运算,关系R的定义域: domR = x | (y)R (即R中有序组的第一个元素构成的集合),关系R的值域: ranR =y | (x)R (即R中有序组的第二个元素构成的集合),一、关系的定义域与值域,17,例4.5 下列关系都是整数集Z上的关系,分别求出它们的定义域和值域:,(1) R1= | x, y Z xy,(2) R2= | x, y Z x2+y2=1,(3) R3= | x, y Z y=2x,(4) R4= | x, y Z |x|=|y|=3,18,解: dom

7、R1 = ranR1 = Z,解: R2 = , ,domR2 = ( ? ),ranR2 = ( ? ),(1) R1= | x, y Z xy,(2) R2= | x, y Z x2+y2=1, ,19,解: domR3 = Z, ranR3 = 偶数,解: domR4 = ranR4 = ( ? ),(3) R3= | x, y Z y=2x,(4) R4= | x, y Z |x|=|y|=3,20,二、关系的常用运算,F是任意关系,F的逆F1= | yFx,F、G是任意两个关系,F与G的合成记作:F G= | (z)(xGzzFy),关系F在集A上的限制,记作:F | A= | xF

8、yxA,集A在关系F下的象FA = ran(F | A),(1) 逆:,(2) 合成:,(3) 限制:,(4) 象:,21,例4.6 设F,G是N上的关系,其定义为:,F = | x, yNy = x2,G = | x,yNy = x+1,求 G1,F G,G F,F |1,2,F1,2,解:由定义知:,G1 = | y, xNy = x+1,列出G1 中的元素就是,G1 = ,22,为了求F G,可以先直观表示如下:,对任何xN,即 y = (x+1)2,因此 F G = | x,yNy = (x+1)2,同理可求 G F = | (?) (自己做!),发现 F G G F,F |1,2 =

9、 ,F 1,2 = ran(F |1,2) = 1,4,23,关系运算的性质:设F、G、H、为任意关系,则有:,(1) (F1)1 = F,(2) domF1 = ranF,ranF1 = domF,(3) (F G) H = F (G H),(4) (F G)1 = G1 F1,(5) F (GH) = F GF H (对的分配律),(6) F (GH) F GF H (对的半分配律),(7) (GH) F = G FH F,(8) (GH) F G FH F,( ? ),( ? ),24,任取, (F G)1, F G, (z)( G F), (z)( G1 F1), G1 F1,(4)

10、(F G)1 = G1 F1的证明:,25,任取,F (GH), (z)(GH)F), (z)(GH)F) (注意对括号的顺序), (z)(GF(HF), F GF H, F (GH) = F GF H,(5) F (GH) = F GF H的证明:,26,4.3 关系的性质,R的关系矩阵:主对角线元素全是1,R的关系图:每个顶点都有环,自反性: x A 有R (R是A上的关系),关系矩阵:主对角线元素全是0,关系图: 每个顶点都没有环,反自反性:x A R,27,对称性:若 R,则 R,关系矩阵:对称阵,关 系 图:如果两个顶点之间有边,一定是一对方向相反的边。,28,反对称性:若 R且xy

11、,则 R,关系矩阵:如果rij = 1,且 i j,则rji = 0,关系图: 如果两个顶点之间有边,一定是只有一条有向边。,29,传递性:若 R且 R,则 R,关系图:如果顶点xi到xj有边, xj到xk有边,则从xi到xk有边,30,例4.7 设A=1,2,10,对于A上的关系R= | (xy)/3I,I为整数集,问R有哪些性质?,31,解:逐条性质加以验证R= | (xy)/3I,任取A中元素x,由于(xx)/3=0,所以R是自反的;,又设A中任意两个元素x,y,如果 xRy,即xy可被3整除,则yx也一定可被3整除,即yRx,从而R是对称的;,如果A中三 个元素x,y,z满足xRy,

12、yRz,则x y,yz被3整除,由于xz=(xy)+(yz),所以xz被3整除,从而xRz即R具有传递性。,32,4.4 关系的闭包运算,闭包:设RAA,,自反闭包 记作 r(R),对称闭包 记作 s(R),传递闭包 记作 t(R),由A求r(R),s(R),t(R)的过程叫闭包运算。,那么,包含R而使之具有自反性质的最小关系,称之为R的自反闭包;,包含R而使之具有对称性质(传递性质)的最小关系,称之为R的对称(传递)闭包。,一、定义,33,幂运算:设RAA,kN,约定,(1) R0 = IA = | xA,(2) R1 = R,(3) Rk+1 = Rk R,显然 Rm Rn = Rm+n

13、(Rm)n = Rmn,二、计算方法,为了有效地计算关系R的各种闭包,先引进关系的幂运算概念。,34,闭包运算的方法:设R是A上的任一关系,则,(1) r (R) = RIA,(2) s (R) = RR,(3) t (R) = RR2R3 Rn,35,矩阵形式:(M为R的关系矩阵),(1) Mr = M + E,(2) Ms = M + M (M 是M的转置),(3) Mt = M+M2+M3,其中“ +” 均表示“ 逻辑加”,36,例4.8 设A=a,b,c,d,A上的关系,求 r (R),s (R) 和 t (R),解: r(R) = RIA,=, , , , , , ,R=, ,= R

14、,三、实例,37,s(R) = RR,=,t(R) = RR2R3,= R,38,而R2 = R R,R3 = R2 R,R4 = R3 R,= ,= ,= , , , ,实际上,看到当k 4时,已有R4 RR2R3,故 t(R) = RR2R3,=, ,39,四、闭包运算的性质,设A是有限集且|A| = n,RAA,则:,40,4.6 等价关系和偏序关系,等价关系:集A上的关系R是自反的, 对称的和传递的。,等价类: R是集A上的等价关系,对于任一aA,,aR=x | aRx, xA,被称为a的等价类。,即A中所有和a有R关系的元素的集合。,一、等价关系及用途,41,等价类的性质:R是非空集

15、合,对任意的x,yA,下面的结论成立:,(1) x且xA (等价类为A的子集),(2) 若xRy,则x = y,(3) 若xRy,则xy = ,42,集A在等价关系R下的商集:设R为非空集A上的等价关系,以R的不交的等价类为元素的集合叫做A在R下的商集,记作A/R.,即:,A/R = xR | xA,43,集A的划分:设A是非空集合,,(1) ,(2) 中任意两个元素不交,(3) 中所有元素的并集为A,则 为A的划分。,如果存在一个A的子集族, P(A)满足以下条件:,44,由等价类的性质和商集的定义可知,商集A/R是A的划分,称之为由R诱导的划分。,反过来,给定A的任一划分 ,则A被分割成若

16、干个划分块。,若定义A上的二元关系R:x,yA且x,y属 的同一块,则xRy,那么R是A上的等价关系,称之为由 诱导的等价关系。,集A上的等价关系与划分是一一对应的。,45,例4.9 设A=1,2,3,求出A上所有的等价关系:,解:先求A的各种划分:只有1个划分块的划分1,具有两个划分块的划分2, 3,和4,具有3个划分块5。,1 = A,2 = 1,2,3,,4 = 3,1,2,,3 = 2,1,3,,5 = 1,2,3,46,设对应于划分i 的等价关系 Ri,i = 1,2,5,则有,R5 = ,,R1 = ,,R2 = ,,R3 = ,,R4 = ,,,,,,,,,,,,,,,,,,47

17、,偏序关系:集A上的关系R是自反的,反对称的和传递的,记作“ ”,且称A, )为偏序集。,二、偏序关系及用途,48,例4.10 设A=2,4,6,8,A上关系R是通常意义下的小于或等于关系,试写出R并验证它是偏序关系。,解:R=, , , ,(1)自反性:,(2)反对称性:,(3)传递性:, , , ,均属于R,对任意的R, 必有xy,当xy时, yx,从而R,对任意的R, R,由于 xyyz ,所以xz,从而R。,49,例4.11 设C=a,b,a,b,,C上关系T是集合的“ 包含于”,试写出T,并验证它是偏序关系。,解: 同例4.10类似,自己做!,50,偏序集的哈斯图,(1) 用小圆圈表

18、示偏序集的元素 (称为结点);,(2) 按每个元素在偏序中的次序从底向上列结点位置;,(3) 对于偏序集中任意两个元素x和y,如果xy且不存在另一个元素a,使xaay,则在x与y两结点之间划上一杠,即“ | ” (x在下,y在上),51,全序关系:设是偏序集,,(x)(y)(xAyA(xyyx),成立,则称A,)为全序集,这时的偏序关系叫全序关系。,全序集A,)中全部元素可以排序,它的哈斯图为一条直线。,如果,52,偏序集中的一些特殊元素,设是偏序集,BA,(1) 如果yB,使得(x)(xByx)为真,则y是B的最小元 (“ 小于” B中所有元 ),(2) 如果yB,使得(x)(xB xy)为真,则y是B的最大元 (“ 大于” B中所有元 ),53,(4) 若yB,使得 (x)(xBxy),则称y是B的极大元 (B中没有比y大的其他元),(5) 若yA,使得(x)(xB xy)为真,则称y是B的上界,(3) 若yB,使得 (x)(xBxy),则称y是B的极小元 (B中找不到x小于y ),54,(6) 若yA,使得(x)(xB yx)为真,则称y是B的

温馨提示

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

评论

0/150

提交评论