3.2 关系及运算.pptVIP

* 离散数学 卓泽朋 zhuozepeng@ 数学科学学院 ? 3.2 关系的运算 主要内容 一. 关系的合成 二. 关系的幂运算 三. 逆关系和关系的闭包 ? 3.2 关系的运算 定义1 设R_1是从A到B的关系,R_2是从B到 C的关系,从A到C的合成关系记为R_1R_2,定 义为 ? 3.2 关系的运算 注: 给出的关系的合成的定义也称为关系的 右复合. 例1 见教材P99 例3.2-1. ? 3.2 关系的运算 定理1 合成关系的性质: (1)结合律成立; (2)与并运算间的分配律成立; (3)与交运算间的性质. ? 3.2 关系的运算 定义2 设R是集合A上的二元关系,n是自然 数,那么R的n次幂记为R^n,定义如下 (1)R^0是A上的相等关系; (2)R^{n+1}=R^nR. ? 3.2 关系的运算 注: 1)A上任何关系的零次幂都相等,都等于 E_A; 2)对A上任何关系R,都有R^1=R; 3)给定A上的关系R和自然数n,怎样计算R^n? 当n=0时,易求,下面主要讨论n为正整数的情 形. ? 3.2 关系的运算 (1)如果R用集合表达式给出,可以通过n-1次 合成计算得到R^n; (2)如果R用关系矩阵M_R给出,则R^n的关系 矩阵是M_R^n,其中的相加是逻辑加,即 1+1=1+0=0+1=1,0+0=0; (3)如果R用关系图G给出,可以直接有图G得 到R^n的图G_1,G_1与G的结点集是相同的. ? 3.2 关系的运算 考察G的每个结点x_i,如果G中从x_i出发经 过n步长的路径到达结点x_j,则在G_1中 加一条从x_i到x_j的边,当把所有这样的边都 找到以后,就得到图G_1. 例2 见教材P102 例3.2-2. ? 3.2 关系的运算 定理2 设R为A上的关系,m,n是自然数,则 R^mR^n=R^{m+n};(R^m)^n=R^{mn}. 定理3 设A的势为n,R是A上的关系,则存在i和j,使R^i=R^j,0≤i＜j≤2^{n^2}. 定理4 见教材P102 定理3.2-5. ? 3.2 关系的运算 定义3 设R是从A到B的二元关系, R的逆关 系,简称R的逆,记作R^{-1},即 ? 3.2 关系的运算 定义4 设R是A上的二元关系, R的自反(对称, 传递)闭包是关系R’,使 (1)R’是自反的(对称的,传递的); (2)R是R’的子集; (3)对任何自反的(对称的,传递的)关系R’’,若 R是R’’的子集,则R’是R’’的子集. ? 3.2 关系的运算 注: 1) R的自反闭包,对称闭包,传递闭包分别 记作r(R),s(R)和t(R); 2)R的自反闭包,对称闭包和传递闭包是包含 R的具有自反性,对称性和传递性最小的关系; 3)如何构造闭包呢? ? 3.2 关系的运算 (1)集合表示 r(R)=R∪R^0; s(R)=R∪R^{-1}; t(R)=R∪R^2∪…. 若R为阶为n的有限集合A上的关系,则 t(R)=R∪R^2∪…∪R^n.(教材P108Th3.3-8) ? 3.2 关系的运算 (2)关系矩阵 设R,r(R),s(R),t(R)的关系矩阵分别是 M,M_1,M_2,M_3,则 M_1=M+E; M_2=M+M^T; M_3=M+M^2+…. 其中E和M是同阶的,且E 是单位矩阵,M^T是M的转置矩阵,元素的 加是逻辑加. ? 3.2 关系的运算 (3)关系图 见教材P107 Th3.3-5,6,7的上面一自然段. 例3 见教材P108 例3.3-3. 关于闭包的性质请见教材中的Th3.3-4,9,10.