第6章关系.docVIP

第6章 关 系 6.1 关系 6.1.1 关系及二元关系 定义6.1 如果R是A1 (A2 (…(An一个子集，那么，称R为集合A1，A2，…，An-1到An的n元关系(n-ary relations)。当A1＝A2＝…＝An-1＝An时，也称R为A上的n元关系。当n = 2时，称R为A1到A2的二元关系。 几个特殊的二元关系今后会常常提到： ( ( A(B, 称(为A到B的空关系。 A(B ( A(B ，称A(B 为A到B的全关系。 EA=｛x,x|x(A｝,称为A上相等关系（有的教科书称之为恒等关系，记作IA）。 定义6.2 设R为A到B的二元关系。 （1）用xRy表示 x,y( R，意为x，y有R关系（为可读性好，我们将在不同场合使用这两种表达方式中的某一种）。(xRy表示x,y(R。 （2）称 Dom(R)为关系R的定义域（domain）， Dom(R)=｛x|x(A∧(y(x,y(R)｝ （3）称 Ran(R)为关系 R的值域（range）， Ran(R)＝｛y| y (B∧(x(x,y(R)｝ （4）称A为R的前域，B为R的陪域。 6.1.2 关系基本运算 定义6.3 如果R与S都是A到B的二元关系，并且(x(y (x(A(y(B((xRy(xSy)) ，那么，称关系R和S相等， 设R和S为A到B的二元关系，其并、交、差、补运算定义如下： R(S＝｛x,y( xRy∨xSy｝ R(S＝｛x,y( xRy∧xSy｝ R – S ＝｛x,y( xRy∧(xS y｝ Rˉ＝A(B(R ＝｛x,y((xR y｝ 有限集合上的二元关系的并、交、差、补运算的矩阵可如下求取： MR∪S = MR∨MS（对矩阵对应分量作逻辑析取运算） MR∩S = MR∧MS（对矩阵对应分量作逻辑合取运算） MR-S = MR∩S- =MR∧MS- MS- = (MS)ˉ（对矩阵各分量作逻辑非运算） 定义6.4 设R是A到B的关系，R的逆关系或逆(converse)是B到A的关系，记为R~，规定为 R~= ｛y,x ( xRy｝ 这里“~”称为关系的求逆运算。 很显然，对任意x(A , y(B，xRy ( yR~x 把R的关系图的所有有向边反转即可得到逆关系R~的关系图。 若MR为R的关系矩阵，那么 MR~＝MRι（Mι表示矩阵M的转置矩阵） 定理6.1 设R和S都是A到B的二元关系，那么 （1） R~~= R （2） Rˉ~= R~ˉ （3）(R(S)~= R~(S~ ； (R(S)~= R~(S~ ； (R(S)~= R~(S~ （4）R ( S ( R~( S~ 定义6.5 设R为A到B的二元关系，S为B到C的二元关系，那么R?S为A到C的二元关系，称为关系R与S的合成(compositions)关系或复合关系，定义为 R?S=｛x,z(x(A∧z(C∧(y(y(B∧xRy∧yRz)｝ 或简单地 R?S=｛x,z((y(xRy∧yRz)｝ 这里 ? 称为关系的合成运算或复合运算。 本定义的另一个表示方式如下： x,z (R?S ( (y(xRy∧yRz) 两个表示对象的结点之间，若有表示关系R的两条首尾相接的边时，那么它们之间就有表示关系R?R的边 关于关系合成运算的矩阵描述有以下结果。 定理6.6 设A=｛a1 ,…, am｝，B=｛b1 ,…, bn｝，C=｛c1 ,…, cp｝,R(A(B，S(B (C，MR=[rij]m(n为R的关系