版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、.,1,4.3 关系的性质,自反性 反自反性 对称性 反对称性 传递性,.,2,.,3,自反性与反自反性,例: 自反关系:A上的全域关系EA, 恒等关系IA 小于等于关系LA, 整除关系DA 反自反关系:实数集上的小于关系 幂集上的真包含关系,.,4,实例,例1 A=1,2,3, R1, R2, R3是A上的关系, 其中 R1, R2, R3,R2自反, R3反自反, R1既不是自反也不是反自反的,.,5,对称性与反对称性,实例: 对称关系:A上的全域关系EA, 恒等关系IA和空关系 反对称关系:恒等关系IA,空关系是A上的反对称关系.,.,6,实例,例2 设A1,2,3, R1, R2, R
2、3和R4都是A上的关系, 其中 R1,, R2, R3,, R4,R1 对称、反对称. R2 对称,不反对称. R3 反对称,不对称. R4 不对称、也不反对称.,.,7,传递性,实例: A上的全域关系EA,恒等关系IA和空关系 小于等于关系, 小于关系,整除关系,包含关系, 真包含关系,.,8,实例,例3 设A1,2,3, R1, R2, R3是A上的关系, 其中 R1, R2, R3,R1 和 R3 是A上的传递关系 R2不是A上的传递关系,.,9,关系性质的充要条件,设R为A上的关系, 则 (1) R在A上自反当且仅当 IA R (2) R在A上反自反当且仅当 RIA= (3) R在A上
3、对称当且仅当 R=R1 (4) R在A上反对称当且仅当 RR1IA (5) R在A上传递当且仅当 RRR,.,10,实例,例.判断下图中关系的性质, 并说明理由.,(2)反自反,不是自反的;反对称,不是对称的; 是传递的.,(1)不自反也不反自反;对称, 不反对称;不传递.,(3)自反,不反自反;反对称,不是对称;不传递.,.,11,自反性证明,证明模式 证明R在A上自反 任取x, xA . R 前提 推理过程 结论,例4 证明若 IA R ,则 R在A上自反. 证 任取x, xA IA R 因此 R 在 A 上是自反的.,.,12,对称性证明,证明模式 证明R在A上对称 任取 R . R 前
4、提 推理过程 结论,例5 证明若 R=R1 , 则R在A上对称. 证 任取 R R 1 R 因此 R 在 A 上是对称的.,.,13,反对称性证明,证明模式 证明R在A上反对称 任取 RR . x=y 前提 推理过程 结论,例6 证明若 RR1IA , 则R在A上反对称. 证 任取 R R R R 1 RR 1 IA x=y 因此 R 在 A 上是反对称的.,.,14,传递性证明,证明模式 证明R在A上传递 任取, RR . R 前提 推理过程 结论,例7 证明若 RRR , 则R在A上传递. 证 任取, R R RR R 因此 R 在 A 上是传递的.,.,15,运算与性质的关系,.,16,
5、4.4 关系的闭包,闭包定义 闭包的构造方法 集合表示 矩阵表示 图表示 闭包的性质,.,17,闭包定义,定义 设R是非空集合A上的关系, R的自反(对称或传递)闭包是A上的关系R, 使得R满足以下条件: (1)R是自反的(对称的或传递的) (2)RR (3)对A上任何包含R的自反(对称或传递)关系 R 有 RR. 一般将 R 的自反闭包记作 r(R), 对称闭包记作 s(R), 传递闭包记作 t(R).,.,18,闭包的构造方法,定理1 设R为A上的关系, 则有 (1) r(R) = RR0 (2) s(R) = RR1 (3) t(R) = RR2R3 说明: 对于有穷集合A (|A|=n
6、) 上的关系, (3)中的并是有 限的. 若 R是自反的,则 r(R)=R; 若R是对称的,则 s(R)=R; 若R是传递的,则 t(R)=R.,.,19,(3)t(R)RR2R3,先证RR2 t(R)成立,为此只需证明对任意 的正整数n有 Rn t(R)即可。用归纳法。 n1时,有 R1R t(R)。 假设Rnt(R)成立,那么对任意的有 Rn+1Rn R t(RnR) t(t(R)t(R) t(R) (因为t(R)是传递的) 这就证明了Rn+1 t(R)。 由归纳法命题得证。,.,20,再证t(R)RR2成立,为此只须证明RR2是传递的。 任取,,则 RR2 RR2 t(Rt) s(Rs)
7、 ts(Rt Rs) ts(Rt Rs) ts(Rt+s) RR2 从而证明了RR2是传递的。,.,21,推论 设R为有穷集A上的关系,则存在正整数r 使得 t(R)=RR2Rr,.,22,闭包的构造方法(续),设关系R, r(R), s(R), t(R)的关系矩阵分别为M, Mr, Ms 和 Mt , 则 Mr = M + E Ms = M + M Mt = M + M2 + M3 + E 是和 M 同阶的单位矩阵, M是 M 的转置矩阵. 注意在上述等式中矩阵的元素相加时使用逻辑加.,.,23,闭包的构造方法(续),设关系R, r(R), r(R), s(R), t(R)的关系图分别记为G
8、, Gr, Gs, Gt , 则Gr, Gs, Gt 的顶点集与G 的顶点集相等. 除了G 的边以外, 以下述方法添加新边: (1)考察G的每个顶点, 如果没有环就加上一个环,最终得到Gr . (2)考察G的每条边, 如果有一条 xi 到 xj 的单向边, ij, 则在G 中加一条 xj 到 xi 的反方向边,最终得到Gs. (3)考察G的每个顶点 xi, 找从 xi 出发的每一条 长度不超过n的 路径,如果从 xi 到路径中任何结点 xj 没有边,就加上这条 边. 当检查完所 有的顶点后就得到图Gt .,.,24,实例,例1 设A=a,b,c,d, R=, , R和 r(R), s(R), t(R)的关系图如下图所示.,R,r(R),s(R),t(R),.,25,R=, r(R) = RR0 =, =, s(R)= RR1 =, =, , t(R)
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 麻纺厂销售策略执行制度
- 甘肃榆中县第六中学等校2025-2026学年度七年级第二学期期末试卷数学(含解析)
- 胆囊结石围手术期护理2020
- 北京航空航天大学线性代数课件第一章行列式的定义
- 可编程逻辑器件发展简述
- 企业信息技术基础设施及管理
- 安全设备的部署和选择
- 几个大企业的企业文化纲领
- 品牌盟主企业解决方案
- 华中科大光通信与光网络工程系
- 2026年度全国保密教育线上培训考试题及答案
- 2026镁合金汽车轻量化应用的经济效益评估
- 名老中医工作室验收
- 2026年贵州水投水务集团有限公司招聘笔试真题及答案
- “六张网”系列专题研究报告:从“纲-目-结”看“十五五”时期我国水网投资新方向
- 2026年浙江省中考英语试卷试题真题及答案详解(精校打印版)
- 智能机电技术专业招生宣讲介绍
- 26新四年级上册道德与法治【知识点总结】
- 泄漏的日常检查与判定培训课件
- 新版部编人教版四年级上册道德与法治(课件)10购物有学问
- 规划健康生活综合实践活动教案
评论
0/150
提交评论