7
4.3.1 关系性质的定义和判别
对称性与反对称性（续）
例2 设A＝{a,b,c}, R1, R2, R3和R4都是A上的关系, 其中 R1＝{<a,a>,<b,b>}， R2＝{<a,a>,<a,b>,<b,a>} R3＝{<a,b>,<a,c>}， R4＝{<a,b>,<b,a>,<a,c>} R1 对称 R2 对称 R3 对称 ？ ？ ？ 反对称 反对称 反对称 ？ ？ ？
12
4.3.1 关系性质的定义和判别
传递性（续）
例3 设A＝{a, b, c}, R1, R2, R3是A上的关系, 其中 R1＝{<a,a>,<b,b>} R2＝{<a,b>,<b,c>} R3＝{<a,c>}
R1 和 R3 是A上的传递关系, R2 不是A上的传递关系.
13
4.3.1 关系性质的定义和判别
R∘RR 对MR2中1所在 位置, MR中相 位置都是1
如果顶点xi到 xj有边, xj到xk 有边,则从xi到 xk也有边
20
主对角 主对角 线元素 线元素 全是1 全是0
每个顶 点都有 环
每个顶 点都没 有环
注意：IA是对称关系也是反对称关系
4.3.1 关系性质的定义和判别
实例
例8 判断下图中关系的性质, 并说明理由
18
4.3.1 关系性质的定义和判别
传递性证明
证明模式 证明 R 在 A上传递 任取<x, y>，<y, z> <x, y>R<y, z>R …..………. <x, z>R 前提 推理过程 结论
例7 证明若 R∘RR , 则 R 在 A 上传递. 证 任取<x, y>，<y, z> <x, y>R <y, z>R <x, z>R∘R <x, z>R 因此 R 在 A 上是传递的.
10
4.3.1 关系性质的定义和判别
对称性与反对称性（续）
注： (2) 从关系图的特点来看： 对称关系的关系图中每对结点之间如果有边，一定是 有一对方向相反的边 ， 在反对称关系的关系图中，每对结点之间如果有边，一 定是 一条单方向的边 ， 在一个关系图中既有单方向的边，也有双方向的边，那 么这个关系 既不是对称的也不是反对称的 . 在一个关系图中，任意两结点之间都没有边，那么这个 关系 既是对称的也是反对称的 .
19
4.3.1 关系性质的定义和判别
关系性质判别
自反性 表达 式 关系 矩阵 关系 图 IAR 反自反 性 对称性 反对称性 传递性
R∩IA=
R=R1
矩阵是对称 矩阵 如果两个顶 点之间有边, 一定是一对 方向相反的 边(无单边)
R∩R1 IA
若rij＝1, 且 i≠j, 则rji＝0 如果两点之 间有边, 一定 是一条有向 边(无双向边)
29
4.3.2 关系的闭包
定理4.7的证明（续）
证 (2) s(R)=R∪R-1 只需证明R∪R-1满足对称闭包定义. ① 由(R∪R-1) -1= R-1∪( R -1) -1 = R-1∪ R 可知 R∪R-1 在 A上是对称的. ② RR∪R-1 ③ 下面证明R∪R-1是包含R 的最小的对称关系. 假设R是A上任一包含R 的对称关系，那么 RR, R-1 R-1= R
自反性与反自反性
定义4.14 设R为A上的关系, (1) 若x(x∈A→<x, x>R), 则称R在A上是自反的. (2) 若x(x∈A→<x, x>R), 则称R在A上是反自反的. 下列关系哪些是自反的，哪些是反自反的？ 自反 A上的全域关系EA ： , 恒等关系IA： , 自反 自反 小于等于关系LA ： , 自反 整除关系DA： ， 实数集上的小于关系： 反自反 ， 幂集上的真包含关系： 反自反 .
(3) 自反 ？
反自反 ？ 对称 ？
反对称 ？ 传递
？ 22
4.3.1 关系性质的定义和判别
实例
例10 A={a, b, c}, 构造A上的关系R，满足自反、对称、不 传递。
解：构造
R a b c a 1 1 b 1 1 1 1 1 c
(1) 自反、对称、传递 (2) 自反、对称、传递 (3) 自反、对称、不传递 (∵ <c, a> R)
4.3.1 关系性质的定义和判别
对称性与反对称性
定义4.15 设R为A上的关系, (1) 若xy(x,y∈A∧<x,y>∈R→<y,x>∈R), 则称R为A上 对称的关系. (2) 若xy(x,y∈A∧<x,y>∈R∧<y,x>∈R→x=y), 则称R 为A上的反对称关系.
实例 下面哪些关系是对称的，哪些是反对称的？ A上的全域关系EA： 对称 , 恒等关系IA： 对称 反对称 ， A上的空关系： 对称 反对称 。
(4) R 在 A 上反对称当且仅当 R∩R1IA
(5) R 在 A 上传递当且仅当 R∘RR
15
4.3.1 关系性质的定义和判别
自反性证明
证明模式 证明 R 在 A 上自反 任取 x, xA ……… ………..…. ……. <x, x>R 前提 推理过程 结论 例4 证明若 IA R ，则 R 在 A 上自反. 任取x, 证 xA <x, x> IA <x, x>R 因此 R 在 A 上是自反的.
23
4.3.1 关系性质的定义和判别
实例
例11 A={a, b, c}, 构造A上的关系R，满足不自反、对称、 传递。
解：构造
R a b c a 1 1 b 1 1 c
(1) 不自反、对称、不传递 (2) 不自反、对称、不传递 (3) 不自反、对称、传递
24
4.3.1 关系性质的定义和判别
运算与性质的关系
(1) R是自反的（对称的或传递的） (2) R R
(3) 对A上任何包含R 的自反（对称或传递）关系R 有
RR. 一般将 R 的自反闭包记作 r(R), 对称闭包记作 s(R), 传递
闭包记作 t(R).
26
4.3.2 关系的闭包
闭包定义（续）
说明： (1) 若R 是自反的，则 r(R)=R; (2) 若 R 是对称的，则 s(R)=R; (3) 若R 是传递的，则 t(R)=R; (4) 没有反自反闭包和反对称闭包。
离散数学（第3版） 屈婉玲 耿素云 张立昂 编著 清华大学出版社出版
4.3 关系的性质
上海大学 谢 江
1
4.3 关系的性质
• 4.3.1关系性质的定义和判别
– 自反性与反自反性 – 对称性与反对称性 – 传递性
• 4.3.2 关系的闭包
– 闭包定义 – 闭包计算 – Warshall算法
2
4.3.1 关系性质的定义和判别
如果i = j，那么这条边就变成一个xj的环），那么关系 R
具有传递性.
14
4.3.1 关系性质的定义和判别
关系性质的充要条件
设 R 为 A 上的关系, 则
(1) R 在 A 上自反当且仅当 IA R
(2) R 在 A 上反自反当且仅当 R∩IA= (3) R 在 A 上对称当且仅当 R=R1
9
4.3.1 关系性质的定义和判别
对称性与反对称性（续）
注： (1) 从关系矩阵的特点来看： 对称关系R的关系矩阵也是 对称的 ， 反对称关系R的关系矩阵中，除对角元素外，处于对称 位置的两元素 不能同时为1 ，即当 i≠j 时，rijrji = 0 ， 若一个关系只在主对角线上的位置有1，其它元素为 0， 那么该关系 既是对称的也是反对称的 .
17
4.3.1 关系性质的定义和判别
反对称性证明
证明模式 证明 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 <x, y>R∩R 1 <x, y>IA x=y 因此 R 在 A 上是反对称的.
(1)
(2)
(3)
(1) 自反，反对称.
(2) 反自反， 对称.
(3) 反对称，传递.
21
4.3.1 关系性质的定义和判别
实例
例9 判断下图中关系的性质, 并说明理由
(1)
(2)
(3)
(1) 自反 ？ (2) 自反 ？
反自反 ？ 对称 ？ 反自反 ？ 对称 ？
反对称 ？ 传递 反对称 ？ 传递
？ ？
16
4.3.1 关系性质的定义和判别
对称性证明
证明模式 证明 R 在 A 上对称 任取<x, y> <x, y>R …… ………..…. ……. <y, x>R 前提 推理过程 结论 例5 证明若 R=R1 , 则 R 在A上对称. 证 任取<x, y> <x, y>R <y, x>R 1 <y, x>R 因此 R 在 A 上是对称的.
R4 对称
？
反对称
？
8
4.3.1 关系性质的定义和判别
对称性与反对称性（续）
对任何集合A， 最大的对称关系是 EA ，最小的对称关系是 最小的反对称关系是 ；
