离散数学304217.pptVIP

第三章 二元关系 §3.1 基本概念 §3.2 关系的合成 §3.3 关系上的闭包运算 §3.4 次序关系§3.5 等价关系和划分 §3.1 基本概念 ?如果说,数学的研究对象是集合的话, 那么,研究集合的结构主要是研究关系. ?关系概念的应用非常广泛,尤其在计算科学中起着重要作用. 关系的概念 定义: A?B 的子集 R 叫做 A 到 B 的一个2元关系; A1???An 的子集 R 叫做A1???An上的一个n元关系. 若?x,y??R,则称x与y有关系R,并记为xRy. 例1: Aa,b,c,d; Be,f,g; 则 R?a,g?,?d,e?是一个2元关系,且有 aRg;dRe. 注:因一般地 ?x,y???y,x?,故一般地xRy?yRx. 二元关系的图示 ? 一般二元关系的图示如图3.1-1所示. ? 集合A上的二元关系也可用有向图表示.例如 A1,2,3,4,5上关系 R?1,2?,?2,2?,?3,2?,?3,4?,?4,3?的图示为 二元关系的前域,陪域,定义域,值域 ? R为A到B的一个2元关系时,称A为R的前域,称B为R的陪域. ? 集合 DRx|?y?x,y??R称为R的定义域;RRy|?x?x,y??R称为R的值域. ? 一般常有 DR? A, RR? B. ? 对于例1中的关系:R ?a,g?,?d,e?有DRa,d; RRg,e. 再如 A1,2,3,4,5上关系 R?1,2?,?2,2?,?3,2?,?3,4?,?4,3?有DR1,2,3,4; RR2,3,4. 一些重要关系 ?若 RA1???An, 则 R 称为全域关系;若 R? 则 R 称为空关系. ?设 S 和 R都是 A 到 B 的关系,则 R∪S,R∩S, R-S,R? 分别称为 R与 S 的并关系,交关系,差关系和 R 的补关系.例如: xR∩Sy ?xRy∧xSy; xR?y ? ?xRy; xR-Sy ? xR∩S?y ?xRy∧?xSy等. 这样一来,从已知关系可以派生出各种新关系. ?A上的2元关系 IA?x,x?|x?A称为相等关系. 定义域,值域的一些性质 ① DR∪SDR∪DS; ② DR∩S? DR∩DS; ③ RR∪S RR∪RS; ④ RR∩S? RR∩RS. 证① x?DR∪S ? ?yxR∪SyyxRy∨xSyyxRy∨?yxSy 量词分配x?DR∨x?DSx?DR∪DS ② DR∩S? DR∩ DS. 证: x?DR∩S? ?yxR∩SyyxRy∧xSyyxRy∧?yxSy 量词分配x?DR∧x?DSx?DR∩ DS 注: DR∩S? DR∩ DS一般不成立.例如,习题3.1#5中的关系R,S,就使上式不成立. 关系的几个重要特性 　　对于A上的任意关系 R 定义下列特性: R 在 A 中自反 ? ?xxRx; 取论述域为A R 在 A 中反自反 ? ?x?xRx; R 在 A 中对称 ? ?x?yxRy ? yRx; R 在 A 中反对称x?yxRy∧yRx ? xy; R 在 A 中传递x?y?zxRy∧yRz ? xRz 习题3.1的作业布置 #2 d;#3 a,c;#5 ;#8 b; #9 只做P1,P3;#11 c.提示:添加最少元素到 R3 上使之变成是传递关系. 习题3.1#7b 证明: A上有2|A?A|个2元关系 因为A?A有多少个子集,便有多少个A上的2元关系,所以,A上的2元关系的个数是: |?A?A|2|A?A| 2|A|·|A| 即2的|A|2次方. 一般地,A上的m元关系的个数是2的|A|m次方. 关系矩阵的概念重要 ?若R为Aa1,?,am到 Bb1,?,bn的一个关系,则 A,B元素排定之后,m?n 矩阵 MRrij称为 R 的关系矩阵,其中, rij1,当 aiRbj; rij0,当 ?aiRbj. ?例1: Aa,b,c,d; Be,f,g; 则 R ?a,g?,?d,e?的关系矩阵为: 习题3.1#3b求关系矩阵: A0,1,2,3, R?x,y? | x?2∧y?1　 解:R?x,y? |x0,1,2;y1,2,30,1?,?0,2?,?0,3?,?1,1?,?1,2?,?1,3?,?2,1?,2,2?,?2,3?. R的关系矩阵是: 空关系与全域关系的关系矩阵 ?空关系?的关系矩阵为全0 矩阵: M?0. ?全域关系 A?B 的关系矩阵为全1矩阵,记 为 J. ?相等关系IA的关系矩阵为单位矩阵: MIAE. 基于R与MR互相唯一决定,可用关系矩阵有效地刻画关系的许多性质对于有限集A上的任意关系R与S RS ? MRMS;令MRrij, MSsij R?S ? MR ? MS 即i?j rij ? si