幂运算的性质

定理 7.6 设 A 为 n 元集 ,R 是 A 上的关
系 , 则存在自然数 s 和 t, 使得 Rs = Rt.

证明： R 为 A 上的关系 , 由于 |A|=n,A 上

2
的不同关系只有 2n 个 . 列出 R 的各次幂
n2
2
R ,R ,R ,…,
0 1 2 R ,…, 时必存在自然数 s
和 t 使得 Rs = Rt
定理 7.7 设 R 是 A 上的关系 ,m,n∈N,
则
(1) RmRn = Rm+n
(2) (Rm)n = Rmn
证 用归纳法
(1) 对于任意给定的 m∈N.
若 n=0, 则有 RmR0 = RmIA = Rm = Rm+0
假设 RmRn = Rm+n,
则有 RmRn+1=Rm(RnR)=(RmRn)R=Rm+n+1
所以对一切 m,n∈N 有 Rm Rn = Rm+n.
(2) 对于任意给定的 m∈N.
若 n=0, 则有
(Rm)0 = IA = R0 = Rm×0
假设 (Rm)n = Rmn, 则有
(Rm)n+1 = (Rm)nRm = (Rmn)Rn

= Rmn+m = Rm(n+1)
所以对一切 m,n∈N 有 (Rm)n = Rmn.
定理 7.8 设 R 是 A 上的关系 ,
若存在自然数 s,t(s<t) 使得 Rs=Rt, 则
(1) 对任何 k∈N 有 Rs+k = Rt+k
(2) 对任何 k,i∈N 有 Rs+kp+i=Rs+i, 其中 p=ts
(3) 令 S={R0,R1,…,Rt1}, 则对于任意的
q∈N 有 Rq∈S
说明：有穷集 A 上的关系 R 的幂序列 R0,R1,…
是一个周期性变化的序列。就象正弦函数一
样，利用它的周期性可以将 R 的高次幂化简
为 R 的低次幂。
 §7.4 关系的性质
定义 7.11 ：设 R 为 A 上的关系，
(1) 若 x(x∈A→<x,x>∈R) ，则称 R 在 A
上是自反的。
(2) 若 x(x∈A→<x,x>R) ，则称 R 在 A
上是反自反的。
例 7.10 设 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>}
说明 R1,R2 和 R3 是否为 A 上的自反关系和反自
反关系。
解答 R1 既不是自反的也不是反自反的 ;
R2 是自反的 ;
R3 是反自反的。
例如 全域关系 EA ，恒等关系 IA ，小于等
于关系 LA ，整除关系 DA 都是为 A 上的自反
关系。
包含关系 R 是给定集合族 A 上的自反关系。

小于关系和真包含关系都是给定集合或集
合族上的反自反关系。
定义 7.12 ：设 R 为 A 上的关系，
(1) 若  xy(x,y∈A∧<x,y>∈R→
<y,x>∈R), 则称 R 为 A 上对称的关系。
(2) 若 xy(x,y∈A∧<x,y>∈R∧<y,x>∈R
→x=y), 则称 R 为 A 上的反对称的关系。
等同于  xy(x,y∈A∧<x,y>∈R∧x≠y→
┐<y,x>∈R
例 7.11 设 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>}
说明 R1,R2,R3,R4 是否为 A 上对称和反对称关系。
解答 : R1 既是对称也是反对称的。
R2 是对称的但不是反对称的。
R3 不是对称的但是反对称的。
R4 既不是对称的也不是反对称的。
例如 A 上的全域关系 EA ，恒等关系 IA 和
空关系都是 A 上的对称关系。
恒等关系 IA 和空关系也是 A 上的反对称关
系。
但全域关系 EA 一般不是 A 上的反对称关系，
( 除非 A 为单元集或空集 ) 。
定义 7.13: 设 R 为 A 上的关系，若
xyz(x,y,z∈A∧<x,y>∈R∧<y,z>∈R
→<x,z>∈R) 称 R 是 A 上的传递关系。

注意：这个定义是个蕴含式，即如果前件
为真，则看后件的真假；如果前件为假，
则蕴含式一定为真 .
例 7.12 设 A ＝ {1,2,3} ， R1 ， R2 ， R3
是 A 上的关系，其中
R1 ＝ {<1,2>,<2,3>}
R2 ＝ {<1,1>,<2,2>}
R3 ＝ {<1,3>}
说明 R1 ， R2 和 R3 是否为 A 上的传递关系。
解答 R1 不是 A 上的传递关系，
R2 是 A 上的传递关系，
R3 是 A 上的传递关系。
例如
A 上的全域关系 EA, 恒等关系 IA 和空关系都
是 A 上的传递关系。
小于等于关系，整除关系和包含关系也是
相应集合上的传递关系。
定理 7.9 ：设 R 为 A 上的关系，则
（ 1 ） R 在 A 上自反当且仅当 IA  R
（ 2 ） R 在 A 上反自反当且仅当 R∩IA ＝

（ 3 ） R 在 A 上对称当且仅当 R ＝ R-1
（ 4 ） R 在 A 上反对称当且仅当 R∩R-1
IA
（ 5 ） R 在 A 上传递当且仅当 RRR
定理 7.9: ：设 R 为 A 上的关系，则
（ 5 ） R 在 A 上传递当且仅当 RRR
证明：必要性 . 任取 <x,y> 有
<x,y>∈RR
 t(<x,t>∈R∧<t,y>∈R)
 <x,y>∈R 所以 RR  R
充分性 . 任取 <x,y>,<y,z>∈R, 则
<x,y>∈R∧<y,z>∈R<x,z>∈RR<x,z>
∈R
所以 R 在 A 上是传递的
 关系性质的三种等价条件
自反性 反自反性 对称性 反对称性 传递性
集 IAR R∩IA= R=R1 R∩R1IA RRR
合
例设 A={1,2,3},R 是 A 上的关系 ,R ＝
{<1,1>,<2,2>,<3,3>,<1,2>} 说明 R 的性质。
解答 R 是自反的，
R 不是反自反的，
R-1 ＝ {<1,1>,<2,2>,<3,3>,<2,1>},R 不是对称
的
R 是反对称的，
 关系性质的三种等价条件
自反性 反自反性 对称性 反对称性 传递性
关系 主对角 主对角线 矩阵是 若 rij ＝ 1, M2 中 1 位
矩阵 线元素 元素全是 对称矩 且 i≠j, 置, M中
全是 1 0 阵 则 rji ＝ 0 相应位置
都是 1

 a11 a12 a13 a14 

a 
a22 a23 a24 
R  21

a31 a32 a33 a34 

 
a41 a42 a43 a44 
 关系性质的三种等价条件
自反性 反自反性 对称性 反对称性 传递性
关系 主对角 主对角线 矩阵是 若 rij ＝ 1, M2 中 1 位
矩阵 线元素 元素全是 对称矩 且 i≠j, 置, M中
全是 1 0 阵 则 rji ＝ 0 相应位置
都是 1

 a11 a12 a13 a14  b11 b12 b13 b14 

a a22 a23 a24  b 
 21
 b22 b23 b24 
R R 
2 21
 a31 a32 a33 a34  b31 b32 b33 b34 
   
a41 a42 a43 a44  b41 b42 b43 b44 
 自反性 反自反性 对称性 反对称性 传递性
关系 主对角 主对角线 矩阵是 若 rij ＝ 1, M2 中 1 位
矩阵 线元素 元素全是 对称矩 且 i≠j, 置, M中
全是 1 0 阵 则 rji ＝ 0 相应位置
都是 1

1 1 0 0 1 1 1 0 R 是自反的 ,
1 1 0 0 
11 1 1  0 1 1 1 1
1 1 0 R 2   R 不是反自反
RR 0
0 0 0 1 1 11 0 0 1 1 的,
 0    
0 0 0 0 0 11 0 0 0 1 R 不是对称的 ,
R 不是反对称
的,
 关系性质的三种等价条件
自反性 反自反 对称性 反对称性 传递性
性
关 每个顶 每个顶 两点之间有 两点之间有 点 xi 到 xj
系 点都有 点都没 边 , 是一对 边 , 是一条 有边 ,x 到
j
图环 有环 方向相反的 有向边 ( 无
xk 有边 , 则
边 ( 无单 双向边 )
xi 到 xk 也有
边)
边
 自反性 反自反 对称性 反对称性 传递性
性
关 每个顶 每个顶 两点之间有 两点之间有 点 xi 到 xj
系 点都有 点都没 边 , 是一 边 , 是一条 有边 , x
j
图环 有环 对方向相反 有向边 ( 无
到 xk 有边 ,
的边 ( 无单 双向边 )
则 xi 到 xk
边)
R 不是自反的
也有边 ,
R 不是反自反
的,
R 是对称的 ,
R 不是反对称
的,
 自反性 反自反 对称性 反对称性 传递性
性
关 每个顶 每个顶 两点之间有 两点之间有 点 xi 到 xj
系 点都有 点都没 边 , 是一 边 , 是一条 有边 , x
j
图环 有环 对方向相反 有向边 ( 无
到 xk 有边 ,
的边 ( 无单 双向边 )
则 xi 到 xk
边)
R 是自反的 ,
也有边
R 不是反自反
的,
R 不是对称的 ,
R 是反对称的 ,
R 不是传递的 .
关系的性质和运算之间的联系
设 R1 和 R2 都是 A 上的关系，他们都具有某些共
同的性质，经过运算后是否保持原来性质的情
况如下表：
反自反 反对称
自反性 对称性 传递性
性 性
R11 √ √ √ √ √
R1∩R2 √ √ √ √ √
R1∪R2 √ √ √ × ×
R1R2 × √ √ √ ×
R1  R 2 √ × × × ×
1 、设， S 上关系 R 的关系图如下，则 R 具有
（ D ）性质。
A ．自反性、对称性、传递性；
B ．反自反性、反对称性；
C ．反自反性、反对称性、传递性；
D ．自反性 。
2 、设 S={1 ， 2 ， 3} ， R 为 S 上的关系，其
关系图如下，则 R 具有（ D ）的性质。
A 、自反、对称、传递；
B 、什么性质也没有；
C 、反自反、反对称、传递；
D 、自反、对称、反对称、传递。
3 、设 S={1 ， 2 ， 3,4} ， R 为 S 上的关
系，其关系图如下，求 R 具有的性质。

1 0 0 0 R 是自反的 ,
1 1 1 
0 R 不是反自反
R 的,
0 0 1 1
  R 不是对称的 ,
0 0 0 1 R 是反对称的 ,
R 不是传递的 .
4 、设 R ， S 是集合 A 上的关系，则下列说法
正确的是（ A ）
A ．若 R ， S 是自反的 , 则 R  S 是自反的；
B ．若 R ， S 是反自反的 , 则 R  S 是反自
反的；
C ．若 R ， S 是对称的 , 则 R  S 是对称的；
D ．若 R ， S 是传递的 , 则 R  S 是传递的。
 §7.4 关系的性质
定义 7.11 ：设 R 为 A 上的关系，
(1) 若 x(x∈A→<x,x>∈R) ，则称 R 在 A
上是自反的。
(2) 若 x(x∈A→<x,x>R) ，则称 R 在 A
上是反自反的。
定义 7.12 ：设 R 为 A 上的关系，
(1) 若  xy(x,y∈A∧<x,y>∈R→
<y,x>∈R), 则称 R 为 A 上对称的关系。
(2) 若 xy(x,y∈A∧<x,y>∈R∧<y,x>∈R
→x=y), 则称 R 为 A 上的反对称的关系。
等同于  xy(x,y∈A∧<x,y>∈R∧x≠y→
┐<y,x>∈R
定义 7.13: 设 R 为 A 上的关系，若
xyz(x,y,z∈A∧<x,y>∈R∧<y,z>∈R
→<x,z>∈R) 称 R 是 A 上的传递关系。
 §7.5 关系的闭包
定义 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) 。
例 设 A={a,b,c,d},
R={<a,b>,<b,a>,<b,c>,<c,d>}, 求 R 的自反闭
包 r(R) ，对称闭包 s(R) ，传递闭包 t(R) 。
解：
r(R)={<a,b>,<b,a>,<b,c>,<c,d>,
<a,a>,<b,b>,<c,c>,<d,d>}

r(R)={<a,b>,<b,a>,<b,c>,<c,d>,
<a,a>,<b,b>,<c,c>,<d,d>}
″={<a,b>,<b,a>,<b,c>,<c,d>,
<a,a>,<b,b>,<c,c>,<d,d>,<a,d>}
不是 R 的自反闭包
例 设 A={a,b,c,d},
R={<a,b>,<b,a>,<b,c>,<c,d>}, 求 R 的自
反闭包 r(R) ，对称闭包 s(R) ，传递闭包
t(R) 。
解：
s(R)={<a,b>,<b,a>,<b,c>,<c,d>,
<c,b>,<d,c>}
t(R)={<a,b>,<b,a>,<b,c>,<c,d>,
<a,a>,<a,c>,<b,b>,<b,d>}
•闭包的构造方法
• 集合表示
• 关系矩阵表示
• 关系图表示
集合表示构造闭包的方法 :
定理 7.10 设 R 为 A 上的关系 , 则有
(1) r(R)=R∪R0
(2) s(R)=R∪R1
(3) t(R)=R∪R2∪R3∪…
说明：对有穷集 A(|A|=n) 上的关系 ,
(3) 中的并最多不超过 Rn
例 设 A={a,b,c,d},
R={<a,b>,<b,a>,<b,c>,<c,d>,<d,b>},
求 r(R), s(R), t(R).
r(R)= R∪R0=
{<a,b>,<b,a>,<b,c>,<c,d>,<d,b>}∪
{<a,a>,<b,b>,<c,c>,<d,d>}
={<a,b>,<b,a>,<b,c>,<c,d>,<d,b>
<a,a>,<b,b>,<c,c>,<d,d>}
例 设 A={a,b,c,d},
R={<a,b>,<b,a>,<b,c>,<c,d>,<d,b>},
求 r(R), s(R), t(R).
s(R)= R∪R1=
{<a,b>,<b,a>,<b,c>,<c,d>,<d,b>}∪
{<b,a>,<a,b>,<c,b>,<d,c>,<b,d>}
={<a,b>,<b,a>,<b,c>,<c,b>,<c,d>,<d,c>
,<d,b>,<b,d>}
例 设 A={a,b,c,d},
R={<a,b>,<b,a>,<b,c>,<c,d>,<d,b>},
求 r(R), s(R), t(R).
t(R)= R∪R2∪R3∪…
=EA
定理 7.11 ：设 R 是非空集合 A 上的关系，
则
（ 1 ） R 是自反的当且仅当 r(R) ＝ R 。
（ 2 ） R 是对称的当且仅当 s(R) ＝ R 。
（ 3 ） R 是传递的当且仅当 t(R) ＝ R 。
定理 7.12 ：设 R1 和 R2 是非空集合 A 上
的关系，且 R1  R2 ，则
（ 1 ） r(R1)  r(R2)
（ 2 ） s(R1)  s(R2)
（ 3 ） t(R1)  t(R2)
定理 7.13 ：设 R 是非空集合 A 上的关系，
（ 1 ）若 R 是自反的，则 s(R) 与 t(R)
也是自反的。
（ 2 ）若 R 是对称的，则 r(R) 与 t(R)
也是对称的。
（ 3 ）若 R 是传递的，则 r(R) 是传递的。
 §7.6 等价关系与集合的划分
定义 7.15 ：设 R 为非空集合上的关系。
如果 R 是自反的、对称的和传递的，则称
R 为 A 上的等价关系。
例如： A ＝ {1,2,3}, R 为 A 上的关系
R={<1,1>,<2,2>,<3,3>,<1,2>,<2,1>}

设 R 是一个等价关系，若 <x ， y>∈R ，

称 x 等价于 y ，记做 x ～ y 。
实例 设 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 的余数相等 .
1.x∈A, 有 x≡x(mod 3)
2.x,y∈A, 若 x≡y(mod3), 则有
y≡x(mod3)
3.x,y,z∈A, 若 x≡y(mod 3),y≡z(mod
3), 则有 x≡z(mod 3)
故 R 为 A 上的等价关系
R={<1,1>,<2,2>,…,<8,8>,
<1,4>,<4,1>,<1,7>,<7,1>,<4,7>,<7,4>,
<2,5>,<5,2>,<2,8>,<8,2>,<5,8>,<8,5>,
<3,6>,<6,3>}

模 3 等价关系的关系图
定义 7.16 设 R 为非空集合 A 上的等价关
系 , x∈A, 令 [x]R={y|y∈A∧xRy}, 称
[x]R 为 x 关于 R 的等价类 , 简称为 x 的等
x
价类 , 简记为 [x] 或

实例 A={1, 2, … , 8} 上模 3 等价关系
的等价类：
[1] = [4] = [7] = {1, 4, 7}
[2] = [5] = [8] = {2, 5, 8}
[3] = [6] = {3, 6}
等价类的性质
定理 7.14 设 R 是非空集合 A 上的等价
关系 , 则
(1)xA,[x] 是 A 的非空子集
(2)x,yA, 如果 xRy, 则 [x]=[y]
(3)x,yA, 如果 xRy, 则 [x] 与 [y] 不
交
(4) ∪{[x]|xA}=A
定义 7.17 设 R 为非空集合 A 上的等价关系 , 以 R 的所有等
价类作为元素的集合称为 A 关于 R 的商集 , 记做 A/R,
A/R = {[x]R|x∈A}
实例 设 A={1,2,…,8} ， A 关于模 3 等价关系 R 的商集为
A/R ={{1,4,7},{2,5,8},{3,6}}
A 关于恒等关系和全域关系的商集为：
A/IA={{1},{2},…,{8}} ，
A/EA = {{1,2,…,8}}
定义 7.18 设 A 为非空集合 , 若 A 的子集
族 π(π  P(A)) 满足 :
(1)  π
(2) xy(x,yπ∧x≠y→x∩y=)
(3) ∪π = A
则称 π 是 A 的一个划分 , 称 π 中的元素
为 A 的划分块 .
例如 A={1,2,…,8},
π={{1,4,7},{2,5,8},{3,6}}
例 17 设 A ＝ { a, b, c, d }, 给定
 1, 2, 3, 4, 5, 6 如下：
1={{ a, b, c },{ d }}
2={{ a, b}, { c }, { d }}
3={{ a }, { a, b, c, d }}
4={{ a, b}, { c }}
5={,{ a, b }, { c, d }}
6={{ a, { a }}, { b, c, d }}
 例 18 给出 A ＝ {1,2,3} 上所有的等价关
系
解 先做出 A 的划分 , 从左到右分别记作
 1, 2, 3, 4, 5.
1 1 1 1 1

2 3 2 3 2 3 2 3 2 3

1 2 3 4 5

1 对应 EA,5 对应 IA,2,3 和 4 分别对应

R2,R3,R4
R2={<2,3>,<3,2>}∪IA
R3={<1,3>,<3,1>}∪IA