离散数学 关系的性质 ppt课件

合集下载
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
19
再证t(R)R∪R2∪…成立,为此只须证明 R∪R2∪…是传递的。
<x,y>R <y,z>R <x,z>RR <x,z>R 因此 R 在 A 上是传递的.
14
运算与性质的关系
R11 R1∩R2 R1∪R2 R1R2 R1∘R2
自反性 反自反性






×


×
对称性 反对称性





×


×
×
传递性 √ √ × × ×
15
4.4 关系的闭包
闭包定义 闭包的构造方法
R1 对称、反对称. R2 对称,不反对称. R3 反对称,不对称. R4 不对称、也不反对称.
6
传递性
实例: A上的全域关系EA,恒等关系IA和空关系 小于等于关系, 小于关系,整除关系,包含关系, 真包含关系
7
实例
例3 设A={1,2,3}, R1, R2, R3是A上的关系, 其中 R1={<1,1>,<2,2>} R2={<1,2>,<2,3>} R3={<1,3>}
如果两点之 如果顶点
间有边, 是一 xi 连通到
条有向边(无 xk , 则从 xi
双向边)
到 xk 有边
2
自反性与反Biblioteka Baidu反性
例: 自反关系:A上的全域关系EA, 恒等关系IA
小于等于关系LA, 整除关系DA 反自反关系:实数集上的小于关系
幂集上的真包含关系
3
实例
例1 A={1,2,3}, R1, R2, R3是A上的关系, 其中 R1={<1,1>,<2,2>} R2={<1,1>,<2,2>,<3,3>,<1,2>} R3={<1,3>}
R2自反, R3反自反, R1既不是自反也不是反自反的
4
对称性与反对称性
实例: 对称关系:A上的全域关系EA, 恒等关系IA和空关系
反对称关系:恒等关系IA,空关系是A上的反对称关系.
5
实例
例2 设A={1,2,3}, R1, R2, R3和R4都是A上的关系, 其中 R1={<1,1>,<2,2>}, R2={<1,1>,<1,2>,<2,1>} R3={<1,2>,<1,3>}, R4={<1,2>,<2,1>,<1,3>}
<x,y>R <y,x>R 1 < y, x >R 因此 R 在 A 上是对称的.
12
反对称性证明
证明模式 证明R在A上反对称
任取<x, y>
<x,y>R<y,x>R ………..………. x=y
前提
推理过程
结论
例6 证明若 R∩R1IA , 则R在A上反对称. 证 任取<x,y>
<x,y>R <y, x>R <x,y>R <x,y>R 1
R1 和 R3 是A上的传递关系 R2不是A上的传递关系
8
关系性质的充要条件
设R为A上的关系, 则 (1) R在A上自反当且仅当 IA R (2) R在A上反自反当且仅当 R∩IA= (3) R在A上对称当且仅当 R=R1 (4) R在A上反对称当且仅当 R∩R1IA (5) R在A上传递当且仅当 RRR
集合表示 矩阵表示 图表示
闭包的性质
16
闭包定义
定义 设R是非空集合A上的关系, R的自反(对
称或传递)闭包是A上的关系R, 使得R满足以
下条件: (1)R是自反的(对称的或传递的) (2)RR (3)对A上任何包含R的自反(对称或传递) 关系 R 有 RR. 一般将 R 的自反闭包记作 r(R), 对称闭包记作 s(R), 传递闭包记作 t(R).
表达 式
关系 矩阵
关系 图
IAR
主对角 线元素 全是1
每个顶 点都有 环
R∩IA= R=R1
主对角线 矩阵是对 元素全是 称矩阵 0
每个顶点 如果两个 都没有环 顶点之间
有边, 是一 对方向相 反的边(无 单边)
R∩R1 IA RRR
若rij=1, 且 i≠j, 则rji=0
对M2中1所 在位置, M中相应 位置都是1
4.3 关系的性质
自反性 反自反性 对称性 反对称性 传递性
1
定义
自反 反自反
x∈A,有 x∈A,有 <x,x>R), <x,x>R,
对称
反对称
传递
若 <x,y>∈R 有<y,x>∈R),
若<x,y>∈R且x y ,则<y,x> R
若<x,y>∈R <y,z>∈R,则
<x,z>∈R),
18
(3)t(R)=R∪R2∪R3∪…
先证R∪R2∪… t(R)成立,为此只需证明对任意 的正整数n有 Rn t(R)即可。用归纳法。 n=1时,有 R1=R t(R)。 假设Rnt(R)成立,那么对任意的<x,y>有
<x,y>∈Rn+1=Rn R t(<x,t>∈Rn∧<t,y>∈R) t(<x,t>∈t(R)∧<t,y>∈t(R)) <x,y>∈t(R) (因为t(R)是传递的) 这就证明了Rn+1 t(R)。 由归纳法命题得证。
9
实例
例.判断下图中关系的性质, 并说明理由.
(1)不自反也不反自反;对称, 不反对称;不传递. (2)反自反,不是自反的;反对称,不是对称的;
是传递的. (3)自反,不反自反;反对称,不是对称;不传递.
10
自反性证明
证明模式 证明R在A上自反
任取x,
xA ……………..….……. <x,x>R
<x,y>R∩R 1 <x,y>IA x=y 因此 R 在 A 上是反对称的.
13
传递性证明
证明模式 证明R在A上传递
任取<x, y>,<y, z>
<x,y>R<y, z>R …..………. <x,z>R
前提
推理过程
结论
例7 证明若 RRR , 则R在A上传递. 证 任取<x,y>,<y, z>
前提
推理过程
结论
例4 证明若 IA R ,则 R在A上自反.
证 任取x, xA <x,x> IA <x,x>R
因此 R 在 A 上是自反的.
11
对称性证明
证明模式 证明R在A上对称
任取<x, y>
<x,y>R ……………..….……. <y,x>R
前提
推理过程
结论
例5 证明若 R=R1 , 则R在A上对称. 证 任取<x,y>
17
闭包的构造方法
定理1 设R为A上的关系, 则有 (1) r(R) = R∪R0 (2) s(R) = R∪R1 (3) t(R) = R∪R2∪R3∪…
说明: • 对于有穷集合A (|A|=n) 上的关系, (3)中的并是有 限的. • 若 R是自反的,则 r(R)=R; 若R是对称的,则
s(R)=R; 若R是传递的,则 t(R)=R.
相关文档
最新文档