- 1、本文档共62页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散数学第四章2
南通大学理学院 第四章 二元关系和函数(2/3) 4.2 关系的运算 例4.2.1 设R={1,2,1,3,2,4,4,3},则 domR={1,2,4} ranR={2,3,4} fldR={1,2,3,4} 怎样计算Rn 呢? 如果R是用集合表达式给出的,可以通过n-1次右复合计算得到Rn .如果R是用关系矩阵M给出的,则Rn 的关系矩阵是Mn,即n个矩阵M之积.与普通矩阵乘法不同的是,其中的相加是逻辑加,即1+1=1,1+0=0+1=1,0+0=0 如果R是用关系图G给出的,可以直接由图G得到Rn 的关系图G.G的顶点集与G相同.考察G的每个顶点xi,如果在G中从xi 出发经过n步长的路径到达顶点xj,则在G中加一条从xi 到xj 的边.当把所有这样的便都找到以后,就得到图G. 例4.2.5 设A={a,b,c,d} R={a,b,b,a,b,c,c,d}, 求R的各次幂,分别用矩阵和关系图表示. 解:用关系图的方法得到关系图 如下: 4.3 关系的性质 一般起: 4.4 关系的闭包 4.5 等价关系和偏序关系 作业 Page 113, Ex 1-6,12-16 (2) 由R1和R2的传递性有 R1 ??R1 ??R1和R2 ??R2 ??R2 而 (R1∩R2) ??(R1∩R2) ?R1 ??R1∩R1 ??R2∩R2 ??R1∩R2 ??R2 (R1∩R2)∩R1 ??R2∩R2 ??R1 ?R1∩R2 从而证明了R1∩R2也是A上的传递关系. × × × × √ R1???R2 × √ √ √ × R1-R2 × × √ √ √ R1∪R2 √ √ √ √ √ R1∩R2 √ √ √ √ √ R1-1 传递性 反对称性 对称性 反自反性 自反性 关系闭包定义 定义7.14 设R是非空集合A上的关系,R的自反(对称或传递)闭包是A上的关系R,使得R满足以下条件:(1)R是自反的(对称的或传递的) (2)R ??R(3)对A上任何包含R的自反(对称或传递)关系R有R ? R.一般将R的自反闭包记作r(R),对称闭包s(R),传递闭包记作t(R). 定理4.4.1 设R为A上的关系,则有(1)r(R)=R∪R0(2)s(R)=R∪R-1(3)t(R)=R∪R2∪R3∪… 关系闭包的求法 关系矩阵和关系图求闭包的方法:设关系R,r(R),s(R),t(R)的关系矩阵分别为M,Mr,Ms和Mt,则Mr=M+EMs=M+MMt=M+M2+M3+…其中E是和M同阶的单位矩阵,M是M的转置矩阵.注意在上述等式中矩阵的元素相加时使用逻辑加.设关系R,r(R),s(R),t(R)的关系图分别记为G,Gr,Gs,Gt,则Gr,Gs,Gt的顶点集与G的顶点集相等.除了G的边以外,以下述方法添加新的边. 考察G的每个顶点,如果没有环就加上一个环.最终得到的是Gr .考察G的每一条边,如果有一条xi到xj的单向边,i≠j,则在G中加一条边xj到xi的反方向边.最终得到Gs .考察G的每个顶点xi,找除从xi出发的所有2步,3步,…,n步长的路径(n为G中的顶点数),检查完所有的顶点后就得到图Gt . 例4.4.1 设A={a,b,c,d},R={a,b,b,a,b,c,c,d,d,b},求r(R),s(R),t(R)以及它们的关系图和矩阵. 解: r(R)={a,b,b,a,b,c,c,d,d,b,a,a,b,b,c,c,d,d} s(R)={a,b,b,a,b,c,c,b,c,d,d,c,d,b,b,d} t(R)=R∪R2∪R3={a,a,a,b,a,c,a,d,b,a,b,b,b,c,b,d,c,d} 一.等价关系 定义4.5.1 设R为非空集合上的关系.如果R是自反的、对称的和传递的,则称R为A上的等价关系.设R是一个等价关系,若x,y∈R,称x等价于y,记做x~y. 例 4.5.1 设A={1,2,…,8},如下定义A上的关系R:R={x,y|x,y∈A∧x≡y(mod 3)}其中x≡y(mod 3)叫做x与y模3相等,即x除以3的余数与y除以3的余数相等. R为A上的等价关系,因为 x∈A,有x≡x(mod 3)x,y∈A,若x≡y(mod 3),则有y≡x(mod 3)x,y,z∈A,若x≡y(mod 3),y≡z(mod 3),则有x≡z(mod 3)
您可能关注的文档
- 福建省四地六校2016届高三第三次联考(12月)历史试卷.doc
- 福建省建瓯二中2012-2013学年上学期期末考试高二语文试卷.doc
- 福建省师大附中2015-2016学年高二上学期期末考试历史试卷.doc
- 福建省泉州七中2014届高三上学期第二次月考语文试题.doc
- 福州的老照片.doc
- 福建省普通高中地理会考知识点整理.docx
- 福建省漳州市科技计划项目申报书.doc
- 福建省福州外国语学校2016-2017学年高二上学期期末考试语文试题含答案.doc
- 禅文化与身心健康锻炼-2.ppt
- 福建省福州市连江县2014—2015学年第二学期七年级期末质量检查语文试卷.doc
- 某区纪委书记年度民主生活会“四个带头”个人对照检查材料.docx
- 某县纪委监委2024年工作总结及2025年工作计划.docx
- 某市场监督管理局2024年第四季度意识形态领域风险分析研判报告.docx
- 县委书记履行全面从严治党“第一责任人”职责情况汇报.docx
- 税务局党委书记2024年抓党建工作述职报告.docx
- 某市税务局副局长202X年第一季度“一岗双责”履行情况报告.docx
- 副县长在全县元旦春节前后安全生产和消防安全工作部署会议上的讲话.docx
- 某市委书记个人述职报告.docx
- 某县长在县委常委班子年度民主生活会个人对照检查材料1.docx
- 某县长在县委常委班子年度民主生活会个人对照检查材料.docx
文档评论(0)