离散数学关系运算-图文

4
3、限制与像
定义 F 在A上的限制 F↾A = {<x,y> | xFy xA} A 在F下的像 F[A] = ran(F↾A)
例3 设 R={<1,2>, <2,3>, <1,4>, <2,2>} ，则 R↾{1}={<1,2>,<1,4>} R[{1}]={2,4} R↾= R[{1,2}]={2,3,4} 注意：F↾AF, F[A] ranF
1 0 M IA 0 0 1 1 M A A 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 M 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 1 1 1 0 0 1 1 1 1 1 ML A 0 0 0 1 1 1 1 1 1 1 0 0 0 0
即ranR = { y | x (<x,y>R) }。称domR ranR为R的域，记
为fldR 。即fldR = domR ranR 。 例1 设A={1，2，3，4}， R1是A上的二元关系，当a,b∈ A， 且a<b 时， (a,b) ∈ R1 , 求R和它的前域，值域和域。
解：根据题意R1 ={(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)}
14

在讨论关系矩阵运算前, 我们先定义布运算, 它只涉及数字0和1。

布尔加法（∨ ）：
0+0=0
0+1=1+0=1+1=1

布尔乘法（ ∧ ）：
Rο (S∪T)=(Rο S)∪(Rο T)
（ 2）
（ 3） （ 4） （ 5）
(S∪T)ο R=(Sο R)∪(Tο R)
Rο (S∩T)( Rο S)∩(Rο T) (S∩T)ο R( Sο R)∩(Tο R)
Rο (Sο T)=(Rο S)ο T
7
三、A上关系的幂运算
设R为A上的关系, n为自然数, 则 R 的 n次幂定义为： (1) R0={<x,x> | x∈A }=IA (2) Rn+1 = Rn∘R
3 2
9
四、幂运算的性质
定理 设 R 是 A 上的关系, m, n∈N, 则
(1) Rm∘Rn=Rm+n
(2) (Rm)n=Rmn
10
关系运算的矩阵表示 关系矩阵（matrix of relation）。 设R A×B， A=｛a1, a2, …, am｝, B=｛b1, b2, …, bn｝， 那么R的关系矩阵 MR 为一 m×n 矩阵，它的第 i , j 分量 rij 只 取值0或1， 而
4.2 关系的运算

基本运算定义
定义域、值域、域 逆、合成、限制、像
基本运算的性质 幂运算

定义 求法 性质
1
一、关系的基本运算定义
1、定义域、值域 和 域
定义 设R是二元关系，由（x,y）∈R 的所有x 组成的集合 称为 R的前域，记为domR。即domR = { x | y (<x,y>R) }。 使（x,y）∈R 的所有y组成的集合称为R的值域，记为ranR。
R∘S ={<1,3>, <2,2>, <2,3>}
S∘R ={<1,2>, <1,4>, <3,2>, <3,3>}
3
合成运算的图示方法
例2 已知 R={<1,2>, <1,4>, <2,2>，<2,3>, }， S={<1,1>, <1,3>, <2,3>, <3,2>, <3,3>}， 求R1， R∘S ， S∘R 。 利用图示（不是关系图）方法求合成 R∘S ={<1,3>, <2,2>, <2,3>} S∘R ={<1,2>, <1,4>, <3,2>, <3,3>}
注意： 对于A上的任何关系R1和R2都有 R10 = R20 = IA 对于A上的任何关系 R 都有 R1 = R
8
例：
X {a, b, c} R { a, b , b, c , c, a }
R { a, c , b, a , c, b }
2
R R R { a, a , b, b , c, c } Ix
5
二、关系基本运算的性质
定理1 设F是任意的关系, 则 (1) (F1)1=F (2) domF1=ranF, ranF1=domF 定理2 设F, G, H是任意的关系, 则 (1) (F∘G)∘H=F∘(G∘H) (2) (F∘G)1= G1∘F1
6
定理
（ 1）
设R, S, T均为A上二元关系， 那么
12
某关系R的关系图为：
1 2 3 5 4 6 a b c d
则R的关系矩阵为：
0 1 0 MR 0 0 0
0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0
13

思考： 写出集合A=｛1 , 2 , 3 , 4 ｝上的恒等关系、 空关 系、 全域关系和小于关系的关系矩阵。 答案：分别为：

1 rij 0
当且仅当aiRbj 当且仅当 ai Rb j
11
某关系R的关系图为：
1 2 3 5 4 6 a b c d
则R的关系矩阵为：
0 1 0 MR 0 0 0
0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0
故前域dom R1 ={1,2,3}, 值域 ran R1 ={2,3,4}， fldR ={1,2,3,4}。
2
2、逆与合成 R1 = {<y,x> | <x,y>R} R∘S = |<x,z> | y (<x,y>R<y,z>S) } 例2 已知 R={<1,2>, <1,4>, <2,2>，<2,3>, }， S={<1,1>, <1,3>, <2,3>, <3,2>, <3,3>}， 求R1， R∘S ， S∘R 。 解：R1={<2,1>, <3,2>, <4,1>, <2,2>}