离散数学第4章-二元关系.pptVIP

第四章 关系 4.1 二元关系 4.2 关系的性质 4 .3 关系的运算 4 .5 关系的闭包 4.6 等价关系与划分 4.1 二元关系 一 定义4.1（二元关系） 设A和B是任意两个集合，A?B的子集R称为从A到B的二元关系。当A=B时，称R为A上的二元关系。若(a, b)?R，则称a与b有关系R，记为aRb。 (a, b)?R：a与b没有关系R R=?：空关系 R=A?B：全关系 4.1 二元关系 二 定义4.2（定义域，值域） 设R是从A到B的二元关系，A的一个子集{a|存在b，使得(a, b)?R}称为R的定义域，记为Dom R。B的一个子集{b|存在a，使得 (a, b)?R}称为R的值域，记为Ran R。 A称为R的前域，B称为R的培域，并且Dom R?A，Ran R?B。 4.1 二元关系 三 定义4.3 （n元关系） 设A1,……,An是n个任意集合，定义A1×……×An的子集R为A1,……,An的n元关系。 当A1=……=An时，R称为A上的n元关系。 4.2 关系的性质 一 定义4.4(关系的性质) 设R是集合A上的二元关系。 (1)如果对任意a?A，有aRa，则称R是自反的。 (2)如果对任意a?A，有(a, a)?R，则称R是反自反的。 (3) 对任意a, b?A，如果aRb必有bRa，则称R是 对称的。 (4)对任意a, b?A，如果aRb且bRa，必有a=b，则称R是反对称的。 (5)对任意a, b, c?A，如果aRb且bRc，必有aRc，则称R是传递的。 4.2 关系的性质 二 定义4.5（关系矩阵） 设A和B是两个有限集A={a1, ……, am}，B={b1, ……, bn}，R是从A到B的二元关系，称m ?n阶矩阵MR=(mij)为R的关系矩阵，其中 若(ai, bj)?R， mij =1 若(ai, bj) ?R，mij =0 4.2 关系的性质 三 关系图 设A={a1, ……, an}，R是A上的二元关系。A中每个元素ai用一个点表示，称该点为顶点ai 。 如果ai R aj，则从顶点ai到顶点aj存在一条弧。 如果ai R ai，则从顶点ai到顶点ai存在一条封闭弧。 这样表示R中关系的图形，称为R的关系图。 4 .3 关系的运算 定义4.6 设R1和R2是从A到B的两个二元关系，对于a?A，b?B，定义： R1?R2：a(R1?R2)b? aR1b或aR2b； R1?R2：a(R1?R2)b? aR1b且aR2b； R1-R2： a(R1-R2)b? aR1b且(a, b)?R2; ?1：a ?1b?(a,b)?(A?B)-R1。 4 .3 关系的运算 一 逆运算 定义4.7（逆关系） 设R是从A到B的二元关系，则从B到A的二元关系记为R-1，定义为R-1 ={(b,a)|(a,b)?R}，称为R的逆关系。 定理2.1 （1）(R-1)-1=R; （2）(R1?R2)-1= R1-1? R2-1; （3）(R1?R2)-1= R1-1 ?R2-1; （4） (A?B)-1= B?A； 4 .3 关系的运算 定理4.1 （5）?-1=?； （6）(?)-1= A?B-R-1; （7） (R1-R2)-1= R1-1-R2-1； （8）若R1?R2，则R1-1? R2-1 。 证明 4 .3 关系的运算 定理4.2 R是A上的二元关系，则R是对称的?R=R-1。 4 .3 关系的运算 二 复合运算 定义4.8（复合关系） 设R1是从A到B的二元关系， R2是从B到C的二元关系，则从A到C的二元关系记为R1°R2，定义为R1°R2 ={(a, c) | a?A, c?C, 且存在b?B使(a, b)? R1, (b, c)? R2}称为R1和R2的复合关系。 定理4.3（结合律） (R1°R2)°R3 = R1°(R2°R3) 不满足交换律 4 .3 关系的运算 三 幂运算 定义4.9（幂运算） 设R是A上的二元关系，n?N，R的n次幂记为Rn，定义如下： (1) R0是A上的恒等关系（即R0 ={(a, a)|a?A}），记为IA，又R1=R； (2)Rn+1= Rn°R。 定理4.4 (1) Rm °Rn=Rm+n (2) (Rm)n= Rmn