- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
A ∪ B 2、定理3-7.1:设R,R1和R2均是A到B的二元关系, (1)(Rc)c=R (2)(R1∪ R2)c=R1c ∪ R2c (3)(R1 ∩ R2)c=R1c ∩ R2c (4)(A×B)c=B×A (5)(?R)c= ? Rc 这里 ? R= A×B - R (6)(R1 - R2)c=R1c - R2c 证明:(2) ? x,y?(R1∪R2)c ?y,x?R1∪R2 ?y,x?R1 ? y,x?R2 ?x,y?R1c ? x,y?R2c ?x,y?R1c∪R2c 3、定理3-7.2:设R是X到Y的关系,S是Y到Z的关系,则(R?S)c=Sc?Rc。 分析:R?S为X到Z的关系,(R?S)c为Z到X的关系 Sc为Z到Y的关系, Rc为Y到X的关系, Sc?Rc为Z到X的关系 证明: ?z,x?(R?S)c ?x,z?R?S ?(?y)(y?Y ? x,y?R ? y,z?S) ?(?y)(y?Y ? y,x?Rc ? z,y?Sc) ?z,x?Sc?Rc 可验证:(R?S)c = Sc?Rc 例:X={x,y,z},Y={1,2,3,4,5},R是X上关系,S是X到Y的关系。 R={x,x,x,z,y,y,z,y,z,z}, S={x,1,x,4,y,2,z,4,z,5},则 R?S={x,1,x,4,x,5,y,2,Z,2,z,4,z,5} Rc={x,x,y,y,y,z,z,x,z,z} Sc={1,x,2,y,4,x,4,z,5,z} Sc?Rc={1,x,2,y,2,z,4,x,4,z,5,x,5,Z}= (R?S)c 4、定理3-7.3:设R是X上的二元关系,则 (1)R是对称的,当且仅当R=Rc (2)R是反对称的,当且仅当R∩Rc?Ix 证明(1) 证:? 因为R是对称的, 故?x,y?R?y,x?R?x,y?Rc,所以R=Rc。 证:? 若R=Rc,因为 x,y?R?y,x?Rc?y,x?R 所以R是对称的。 (2)R是反对称的,当且仅当R ∩ Rc ? Ix 证明:若R是反对称的 ?x,y?R∩Rc?x,y?R?x,y?Rc ?x,y?R?y,x?R,R是反对称的, 即x=y,x,y ? Ix,故R∩Rc?Ix。 若R∩Rc?Ix,即?x,y?R∩Rc,有x,y?Ix,即x=y。 又任意x,y?R?y,x?R,有x,y?Rc ?x,y?R∩Rc?Ix ?x=y 即 当x,y?R?y,x?R时,有x=y,故R是反对称的。 恒等关系: ?A={a, a?a ? A} 称为A上的恒等关系。 5、定理:设R、S是X上的自反关系,则R∪S、R∩S、Rc也是X上的自反关系。 设R、S是X上的对称关系,则R∪S、R∩S、Rc也是X上的对称关系。 设R、S是X上的反对称关系,则R∩S、Rc也是X上的反对称关系。 本次作业 P119 (4) b) d) (8) * * 回顾: 自反、反自反关系的特点 关系矩阵的特点 自反关系的关系矩阵的对角元素均为1, 反自反关系的关系矩阵的对角元素均为0。 关系图的特点 自反关系的关系图,每个结点均有自回路, 反自反关系的关系图,每个结点均没有自回路。 回顾: 对阵、反对称关系的特点 关系矩阵的特点 对称关系的关系矩阵是关于主对角线对称; 反对称关系的关系矩阵,rij和rji(i≠j)这两个数至多一个是1,但允许两个均为0。 关系图的特点 对称关系的关系图,任何两个不同的结点之间,或者有双向两条弧,或者没有弧。 反对称关系的关系图,任何两个不同的结点之间至多有一条弧,但允许没有弧。 三、传递性 1、定义:设R是集合X上的二元关系,如果对于任意x,y,z?X,每当xRy,yRz时就有xRz,则称R是传递的。 R在X上传递 ?(?x)(?y)(?z)(x?X?y?X?z?X?xRy?yRz?xRz) 例:实数集R上的“”、“”、“≤”、“≥”,集合上的“?”关系,都是传递的。 R1={x,y,z,x,z,y}是传递的,
文档评论(0)