3.3关系上的闭包运算.pdfVIP

离散数学 DiscreteMathematics 3.3关系上的闭包运算 张晓西北工业大学计算机学院 zhangxiao@nwpu.edu.cn 2011110 目录 3.3.1逆关系逆关系 逆关系逆关系 3.3.2关系的闭包运算关系的闭包运算 关系的闭包运算关系的闭包运算 2011110 离散数学 2 3.3.1逆关系 定义3.3―1设R是从A到B的二元关系,关系关系R的的 关系关系 的的 -1 逆逆(或叫R的逆关系 记为R ,是一从B到A的 逆逆 二元关系,定义如下: -1-1 --11 RR ＝{y,x|x,y＝{y,x|x,y∈∈R}R} RR ＝＝{y,x|x,y{y,x|x,y∈∈R}R} 由定义由定义：： 由定义由定义：： 1 1 (R ) =R；； ；； 1 Φ =Φ。。 。。 2011110 离散数学 3 逆关系例子 例1 (a I上的关系 “”的逆是 “” (b 集合族上的关系A⊆B的逆是关系B⊆A (c 空关系的逆是空关系 1 (d)(A×B =B×A,即A×B的全域关系的逆等 于B×A的全域关系. 2011110 离散数学 4 性质 -1 1.xRy⇔⇔yR x ⇔⇔ 2. 将R的关系图中有向边的方向改变成相反方有向边的方向改变成相反方 有向边的方向改变成相反方有向边的方向改变成相反方 1 向向即得R 的关系图，反之亦然； 向向 1 3. 将R的关系矩阵转置即得R 的关系矩阵， 即 1 R和和R 的关系矩阵互为转置矩阵的关系矩阵互为转置矩阵。。 和和 的关系矩阵互为转置矩阵的关系矩阵互为转置矩阵。。 1 4. R 的前域与后域正好是R的后域和前域， 1 1 即domR=ranR ，domR =ranR； 1 1 1