离散数学二元关系.ppt
《离散数学二元关系.ppt》由会员分享,可在线阅读,更多相关《离散数学二元关系.ppt(141页珍藏版)》请在三一办公上搜索。
1、2023/5/24,1,第四章 二元关系,主要内容:关系的概念及表示方法 关系的性质 关系的运算:关系的复合,求逆关系,关系的闭包。三种关系:等价关系,相容关系,次序关系。,2023/5/24,2,一、序偶与有序n元组1.定义:由两个对象x、y组成的序列称为有序二元组,也称之为序偶,记作;称x、y分别为序偶的第一,第二元素。注意,序偶与集合x,y不同:序偶:元素x和y有次序;集合x,y:元素x和y的次序无关紧要。,4-1 序偶与集合的笛卡尔积,2023/5/24,3,2.定义:设,是两个序偶,如果x=u和y=v则称和相等,记作=。3.定义:有序3元组是一个序偶,其第一个元素也是个序偶。有序3元
2、组,c可以简记成,但不是有序3元组。,2023/5/24,4,4.定义:有序n元组是一个序偶,其第一个元素本身是个有序n-1元组,记作,xn。且可以简记成。5.定义=(x1=y1)(x2=y2)(xn=yn),2023/5/24,5,例如“斗兽棋”的16颗棋子,,设:A=红,蓝 B=象,狮,虎,豹,狼,狗,猫,鼠每个棋子可以看成一个序偶,斗兽棋可记成集合AB:,2023/5/24,6,1.定义:设A、B是集合,由A的元素为第一元素,B的元素为第二元素组成序偶的集合,称为A和B的笛卡尔积,记作AB,即 AB=|xAyB 例1 设A=0,1,B=a,b,求AB,BA,AA。解:AB=,BA=,AA
3、=,可见 ABBA所以,集合的笛卡尔积运算不满足交换律。,2023/5/24,7,另外(AB)C=,c|AB cC A(BC)=|aA BC,因 不是有序三元组,所以(AB)CA(BC)。故也不满足结合律。,2.性质 1)如果A、B都是有限集,且|A|=m,|B|=n,则|AB|=mn。证明:由笛卡尔积的定义及排列组合中的乘法原理,直接推得此定理。2)A=B=,2023/5/24,8,3)对和满足分配律。设A,B,C是任意集合,则 A(BC)=(AB)(AC);A(BC)=(AB)(AC);(AB)C=(AC)(BC);(AB)C=(AC)(BC);证明:任取A(BC)xA yBC xA(yB
4、yC)(xA yB)(xAyC)ABAC(AB)(AC)所以式成立。(其余可以类似证明),2023/5/24,9,4)若C,则 AB(ACBC)(CACB)证明:充分性:设AB,求证 ACBC 任取AC xAyC xByC(因AB)BC 所以,ACBC。必要性:若C,由ACBC 求证 AB 取C中元素y,任取 xA xAyC AC BC(由ACBC)xByC xB 所以,AB。所以 AB(ACBC)类似可以证明 AB(CACB)。,2023/5/24,10,5)设A、B、C、D为非空集合,则 ABCDACBD证明:首先,由ABCD 证明ACBD 任取xA,任取yB,所以 xAyBAB CD(由
5、ABCD)xCyD 所以,ACBD。其次,由AC,BD 证明ABCD 任取AB xAyB xCyD(由AC,BD)CD 所以,ABCD 证毕。,2023/5/24,11,6)约定(A1A2)An-1)An)=A1A2An 特别 AAA=An 设R是实数集合,则R2表示笛卡尔坐标平面,R3表示三维空间,Rn表示n维空间。3.应用 1)令A1=x|x是学号 A2=x|x是姓名 A3=男,女 A4=x|x是出生日期 A5=x|x是班级 A6=x|x是籍贯 则A1A2A3 A4A5 A6中一个元素:这就是学生档案数据库的一条信息,所以学生的档案就是A1A2A3 A4A5 A6的一个子集。,2023/5
6、/24,12,2)令A=a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z 是英文字母表 一个英文单词可以看成有序n元组:如 at=,boy=,data=,computer=于是可以说:atA2,boyA3,dataA4,computerA8,所以英文词典中的单词集合可以看成是 AA2An 的一个子集。作业 P105,2023/5/24,13,4-2 关系及其表示法,相关 按照某种规则,确认了二个对象或多个对象之间有关系,称这二个对象或多个对象是相关的。,例1:大写英文字母与五单位代码的对应关系R1:令=A,B,C,D,Z=30,23,16,
7、22,21是五单位代码集合=11000,10011,01110,10010,10001R1=,.,2023/5/24,14,例2:令=1,2,3,4,A中元素间的关系R2:R2=,AA,关系的定义定义1:设A、是集合,如果AB,则称R是一个从A到B的二元关系。如果 RAA,则称R是A上的二元关系。二元关系简称为关系。定义2:任何序偶的集合,都称之为一个二元关系。如:R=,基本概念,2023/5/24,15,R xRy 也称之为x与y有关系。,R xRy 也称之为x与y没有关系。,例3.R是实数集合,R上的几个熟知的关系,从例3中可以看出关系是序偶(点)的集合(构成线、面)。,2023/5/24
8、,16,关系的定义域与值域定义域(domain):设RAB,由所有R的第一个元素组成的集合,称为R的定义域。记作dom R,即 dom R=x|y(R)值域(range):设RAB,由所有R的第二个元素组成的集合,称为R的值域。记作ran R,即 ran R=y|x(R)令:R1=,dom R1=1,2,3,4 ran R1=1,2,3,4,2023/5/24,17,枚举法:即将关系中所有序偶一一列举出,写在大括号内。如R=,。谓词公式法:即用谓词公式表示序偶的第一元素与第二元素间的关系。例如 R=|xR时,从x到y引一条有向弧(边)。这样得到的图形称为R的关系图。,关系的表示方法,2023/
9、5/24,18,例 设A=1,2,3,4,B=a,b,c,R1 AB,R2 AA,R1=,R2=,R1、R2的关系图如下:,2023/5/24,19,矩阵表示法:设A=a1,a2,am,B=b1,b2,bn是个有限集,RAB,定义R的mn阶矩阵 MR=(rij)mn,其中,例:R1=,R2=,2023/5/24,20,空关系:因为AB,(或AA),所以也是一个从A到B(或A上)的关系,称之为空关系。即无任何元素的关系,它的关系图中只有结点,无任何边;它的矩阵中全是0。完全关系(全域关系):AB(或AA)本身也是一个从A到B(或A上)的关系,称之为完全关系。即含有全部序偶的关系。它的矩阵中全是1
10、。,三个特殊关系,2023/5/24,21,A上的恒等关系IA:IAAA,且IA=|xA为A上的恒等关系。例如 A=1,2,3,则IA=,A上的、完全关系及IA的关系图及矩阵如下:,2023/5/24,22,由于关系就是集合,所以集合的、-、和运算对关系也适用。例如 A是学生集合,R是A上的同乡关系,S是A上的同姓关系,则RS:或同乡或同姓关系RS:既同乡又同姓关系R-S:同乡而不同姓关系RS:同乡而不同姓,或同姓而不同乡关系 R:不是同乡关系,这里R=(AA)-R作业 P109、c)d),关系的集合运算,2023/5/24,23,本节中所讨论的关系都是集合A中的关系。关系的性质主要有:自反性
11、、反自反性、对称性、反对称性和传递性。一.自反性定义:设R是集合A中的关系,如果对于任意xA都有R(xRx),则称R是A中自反关系。即 R是A中自反的关系x(xAxRx)例如:在实数集合中,“”是自反关系,因为,对任意实数x,有x x.,4-3 关系的性质,2023/5/24,24,从关系有向图看自反性:每个结点都有环。从关系矩阵看自反性:主对角线都为1。,令A=1,2,3,确定以下八个关系中哪些是自反的?,2023/5/24,25,二.反自反性定义:设R是集合A中的关系,如果对于任意的xA都有R,则称R为A中的反自反关系。即 R是A中反自反的x(xAR)从关系有向图看反自反性:每个结点都无环
12、。从关系矩阵看反自反性:主对角线都为0。如 实数的大于关系,父子关系是反自反的。注意:一个不是自反的关系,不一定就是反自反 的,如前边R6、R7非自反,也非反自反。,2023/5/24,26,R2、R5、R8、均是反自反关系。,观察下图:,2023/5/24,27,三.对称性定义:R是集合A中关系,若对任何x,yA,如果有xRy,必有yRx,则称R为A中的对称关系。R是A上对称的 xy(xAyAxRy)yRx)从关系有向图看对称性:在两个不同的结点之间,若有边的话,则有方向相反的两条边。从关系矩阵看对称性:以主对角线为对称的矩阵。例 邻居关系和朋友关系是对称关系。,2023/5/24,28,R
13、3、R4、R6、R8均是对称关系。,2023/5/24,29,四.反对称性定义:设R为集合A中关系,若对任何x,yA,如果有xRy,和yRx,就有x=y,则称R为A中反对称关系。,由R的关系图看反对称性:两个不同的结点之间最多有一条边。从关系矩阵看反对称性:以主对角线为对称的两个元素中最多有一个1。另外对称与反对称不是完全对立的,有些关系它既是对称也是反对称的,如空关系和恒等关系。,2023/5/24,30,上面R1、R2、R4、R5、R8均是反对称关系。R4、R8既是对称也是反对称的。,2023/5/24,31,五.传递性定义:R是A中关系,对任何x,y,zA,如果有xRy,和yRz,就有x
14、Rz,则称R为A中传递关系。即R在A上传递xyz(xAyAzAxRyyRz)xRz)例 实数集中的、,集合、是传递的。从关系关系图和关系矩阵中不易看清是否有传递性。必须直接根据传递的定义来检查。检查时要特别注意使得传递定义表达式的前件为F的时候此表达式为T,即是传递的。即若R与R有一个是F时(即定义的前件为假),R是传递的。,例如 A=1,2,下面A中关系R是传递的。通过带量词的公式在论域展开式说明R在A上传递,xyz(xAyAzAxRyyRz)xRz)xyz(xRyyRz)xRz)(为了简单做些删改)yz(1RyyRz)1Rz)yz(2RyyRz)2Rz)(z(1R11Rz)1Rz)z(1R
15、22Rz)1Rz)(z(2R11Rz)2Rz)(z(2R22Rz)2Rz)(1R11R1)1R1)(1R11R2)1R2)(1R22R1)1R1)(1R22R2)1R2)(2R11R1)2R1)(2R11R2)2R2)(2R22R1)2R1)(2R22R2)2R2)(FF)F)(FT)T)(TF)F)(TF)T)(FF)F)(FT)F)(FF)F)(FF)F)T,2023/5/24,33,以上R1、R3、R4、R5、R8均是传递的关系。,本节要求:1.准确掌握这五个性质的定义。2.熟练掌握五个性质的判断和证明。R是A中自反的x(xAxRx)R是A中反自反的x(xAR)R是A上对称的xy(xAy
16、AxRy)yRx)R是A上反对称的xy(xAyAxRyyRx)x=y)xy(xAyAxyxRy)y x)R在A上传递xyz(xAyAzAxRyyRz)xRz)注意 性质表达式的前件为F时此表达式为T,即R是满足此性质的。(自反和反自反性除外),2023/5/24,35,2023/5/24,36,下面归纳这八个关系的性质:Y-有 N-无,2023/5/24,37,2023/5/24,38,练习1:令I是整数集合,I上关系R定义为:R=|x-y可被3整除,求证R是自反、对称和传递的。证明:自反性:任取xI,因 x-x=0,0可被3整除,所以有R,故R自反。对称性:任取x,yI,设R,由R定义得 x
17、-y可被3整除,即x-y=3n(nI),y-x=-(x-y)=-3n=3(-n),-nN R,R是对称的。传递性:任取x,y,zI,设xRy,yRz,由R定义得 x-y=3m,y-z=3n(m.nI)x-z=(x-y)+(y-z)=3m+3n=3(m+n),m+nN 所以xRz,所以R传递。证毕,2023/5/24,39,练习2:设R是集合A上的一个自反关系,求证:R是对称和传递的,当且仅当和 在R中,则有也在R中。证明:必要性 已知R是对称和传递的。设R 又R,(要证出 R)因R对称的故R,又已知R 由传递 性得R。所以有如果和在R 中,则有也在R中。充分性 已知任意 a,b,cA,如和在
18、R中,则有也在R中。,2023/5/24,40,先证R对称 任取 a,bA 设R,(要证出 R)因R是自反的,所以R,由R且R,根据已知条件得R,所以R是对称的。再证R传递 任取 a,b,cA 设R,R。(要证出R)由R是对称的,得R,由R且R,根据已知条件得R,所以R是传递的。作业 第113页、,2023/5/24,41,4-4 关系的复合,下面介绍由两个关系生成一种新的关系,即关系的复合运算。例如,有3个人a,b,c,A=a,b,c,R是A上兄妹关系,S是A上母子关系,RS即a是b的哥哥,b是a的妹妹;b是c的母亲,c是b的儿子。则a和c间就是舅舅和外甥的关系,记作 RS,称它是R和S的复
19、合关系。,2023/5/24,42,1.定义:设R是从X到Y的关系,S是从Y到Z的关系,则R和S的复合关系记作RS。定义为:RS=|xXzZ y(yY RS)显然,RS 是从X到Z的关系。2.复合关系的计算方法(俗称过河拆桥法)A=1,2,3 B=1,2,3.4 C=1,2,3,4,5RAB SBC枚举法R=,S=,则 RS=,2023/5/24,43,有向图法,关系矩阵法令A=a1,a2,am B=b1,b2,bn C=c1,c2,ct RAB SBC,2023/5/24,44,2023/5/24,45,谓词公式法设I是实数集合,R和S都是I上的关系,定义如下:R=|y=x2+3x S=|y
20、=2x+3,所以 RS=|y=2x2+6x+3,三.性质 关系复合运算不满足交换律,但是1.满足结合律:RAB SBC TCD 则,2023/5/24,46,b(bBR(S T)b(bBRc(cCST)bc(bBR(cCST)cb(cC(bBRST)c(cCb(bBRS)T)c(cC(R S)T),所以,可以用下图形象表示:,证明:任取,2023/5/24,47,2.RAB SBC TBC,证明 任取R(ST)b(bBRST)b(bBR(ST)b(bBRS)(bBRT)b(bBRS)b(bBRT)R SR T(R S)(R T)所以R(ST)=(R S)(R T),2023/5/24,48,证
21、明 任取R(ST)b(bBRST)b(bBR(ST)b(bBRS)(bBRT)b(bBRS)b(bBRT)R S R T(R S)(R T)所以 R(ST)(R S)(R T)x(A(x)B(x)xA(x)xB(x),2023/5/24,49,3.R是从A到B的关系,则,验证:,令A=1,2,3,B=a,b,c,d,从这两个图看出它们的复合都等于R。,2023/5/24,50,4.关系的乘幂 令R是A上关系,由于复合运算可结合,所以关系的复合可以写成乘幂形式。即,例如R是A上关系,如上图所示,可见R2,表明在R图上有从a到c有两条边的路径:abc;R3,表明在R图上有从a到d有三条边的路径:a
22、bcd。.如果Rk,表明在R图上有从x到y有k条边(长为k)的路径(x,yA)。,有,(m,n为非负整数),2023/5/24,51,4-5 逆关系,一.定义 R是从A到B的关系,如果将R中的所有序偶的两个元素的位置互换,得到一个从B到A的关系,称之为R的逆关系,记作RC,或 R-1。RC=|R RC R二.计算方法 1.R=,RC=,2023/5/24,52,2.RC的有向图:是将R的有向图的所有边的方向颠倒一下即可。3.RC的矩阵 M=(MR)T 即为R矩阵的转置。如,三.性质令R、S都是从X到Y的关系,则 1.(RC)C=R 2.(RS)C=RCSC。3.(RS)C=RCSC。4.(RS
23、)C=RCSC。,2023/5/24,53,证明1:任取(RS)C,则(RS)C RS RS RCSC RCSC所以(RS)C=RCSC,其它类似可证。5.RS RC SC。证明:充分性,已知RC SC,则任取RRC SC S RS 必要性,已知R S,则任取RC R S SC RCSC,2023/5/24,54,6.(R)C=RC证明:任取(R)C RR RC RC(R)C=RC,7.令R是从X到Y的关系,S是Y到 Z的关系,则(R S)C=SC RC。(注意RC SC)证明:任取(R S)CR Sy(yYRS)y(yYSCRC)SC RC 所以(R S)C=SC RC,2023/5/24,
24、55,8.R是A上关系,则 R是对称的,当且仅当 RC=R R是反对称的,当且仅当 RRC IA。证明:充分性,已知 RC=R(证出R对称)任取x,yA 设R,则RC,而RC=R 所以有R,所以R对称。必要性,已知R 对称,(证出RC=R)先证RCR,任取RC,则R,因R对称所以有R,所以RCR。再证R RC,任取R,因R对称,所以有R,则RC,所以RRC。最后得RC=R。,2023/5/24,56,证明 充分性,已知RRC IA,(证出R反对称)任取x,yA 设R 且R,RRRRC,RRC IA(因RRC IA)x=y 所以R反对称。必要性,已知R反对称,(证出RRC IA)任取RRC RR
25、CRRC RRx=y(因R反对称)IA 所以RRC IA。,作业:第118页a)b)、,2023/5/24,57,4-6 关系的闭包运算,关系的闭包是通过关系的复合和求逆构成的一个新的关系。这里要介绍关系的自反闭包、对称闭包和传递闭包。,一.例子 给定 A中关系R,如图所示,求A上另一个关系R,使得它是包含R的“最小的”(序偶尽量少)具有自反(对称、传递)性的关系。这个R就是R的自反(对称、传递)闭包。,2023/5/24,58,这三个关系图分别是R的自反、对称、传递闭包。,二.定义:给定 A中关系R,若A上另一个关系R,满足:RR;R是自反的(对称的、传递的);R是“最小的”,即对于任何A上
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 二元关系
![提示](https://www.31ppt.com/images/bang_tan.gif)
链接地址:https://www.31ppt.com/p-4934667.html