- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
4.1 笛卡尔积与二元关系4.2 关系的运算重点讲义
* 关系的基本运算定义(续) 1)关系的逆 R的记作 R?1 = {y,x | x,y?R} 求关系的逆就是把其中的有序对颠倒过来. 例2 R={1,2, 2,3, 1,4, 2,2} ={2,1, 3,2, 4,1, 2,2} 2)关系R和S的复合运算(左复合) R°S = {x,y | ? z (x,z?S?z,y?R) } x,y∈ R°S ,表示在某”中间变量”z,使x通过S变到z,z再通过R变到y. * 2)关系R和S的复合运算 R·S = {x,y | ? z (x,z?S?z,y?R) } x,y∈ R°S ,表示在某”中间变量”z,使x通过S变到z,z再通过R变到y. x------z-------y S R * 关系的复合运算的两种定义 左复合(本教材采用): R·S = {x,y | ? z (x,z?S?z,y?R) } 右复合: R·S = {x,y | ? z (x,z?R?z,y?S) } 两种定义都是合理的,性质一样,但结果不同 * 利用关系图求关系的复合: 利用R和S的关系图求关系的复合: R·S ={1,2, 1,4, 3,2, 3,3} S·R ={1,3, 2,3, 2,2} R={1,2, 2,3, 1,4, 2,2} S={1,1, 1,3, 2,3 ,3,2, 3,3} S R R S * 例:设F是由A={1,2,3,4}到B={2,3,4}的关系 G是由B到C={3,5,6}的关系. 分别定义为 F={a,b|a+b=6}={2,4,3,3,4,2} G={b,c|b整除c}={2,6,3,6,3,3} 求复合关系F·G * 限制与像 关系F 在A上的限制 F?A = {x,y | xFy ? x?A} 含义:表示F对A中元素的作用----第一元素x?A对应的有序对. 例1: R={1,2, 2,3, 1,4, 2,2} A={1}, R?A={1,2,1,4} R?{1,2}={1,2,1,4,2,3,2,2} R??=? A 在F下的像:即F 在A上的限制 的值域 F[A] = ran(F?A) 实例 R[{1}]={2,4} R[{1,2}]={2,3,4} 求A 在F下的像的步骤,应1)先求出F 在A上的限制 ,2)再求出其值域. 注意:F?A?F, F[A] ?ranF * 例4.6:R在A上的限制,A在R下的像 设F,G是N上的关系,定义 F={(x,y|x,y∈N∧y=x*x} G={x,y|x,y∈N∧y=x+1} 求:G的逆,F?{1,2},F[{1,2}] * 例4.6(复合运算) 设F,G是N上的关系,定义 F={(x,y|x,y∈N∧y=x*x} G={x,y|x,y∈N∧y=x+1} 求:F·G , x------z-------y G F x+1=z y=z*z F·G =y=z*z=(x+1)(x+1) * 关系基本运算的性质 定理1 设F是任意的关系, 则 (1) (F?1)?1=F (2) domF?1=ranF, ranF?1=domF 证 (1) 任取x,y, 由逆的定义有 x,y∈(F ? 1)?1 ? y,x∈F?1 ? x,y∈F 所以有 (F?1)?1=F (2) 任取x, x∈domF?1 ? ?y(x,y∈F?1) ? ?y(y,x∈F) ? x∈ranF 所以有domF?1= ranF. 同理可证 ranF?1 = domF. * 定理2 设F, G, H是任意的关系, 则 (1) (F°G)°H=F°(G°H) (2) (F°G)?1= G?1°F?1 证 (1) 任取x,y, x,y?(F°G)°H ??t(x,t∈F°G∧t,y∈H) ? ?t (?s(x,s∈F∧s,t∈G)∧t,y∈H) ? ?t ?s (x,s∈F∧s,t
文档评论(0)