离散数的学 关系闭包.pptVIP

44关系的闭包 ■闭包定义 闭包的构造方法 口集合表示 口矩阵表示 口图表示 闭包的性质 、闭包定义 定义设R是非空集合A上的关系,R的自反(对称或 传递)闭包是A上的关系R,使得R满足以下条件: (1)R是自反的(对称的或传递的) (2) RCR (3)对A上任何包含R的自反(对称或传递)关系 R有RR. 一般将R的自反闭包记作r(R,对称闭包记作s(R), 传递闭包记作(R 由闭包的定义可知, R的自反(对称,传递)闭包是含有R并且具有 自反(对称,传递)性质的“最小”的关系 如果R已是自反的二元关系,显然有:R=r(R)。 同样,当R是对称的二元关系时R=s(R); 当R是传递的二元关系时,R=t(R),且反之亦然。 关系的闭包运算 (1)已知一个集合中的二元关系R,则 r(R),s(R),t(R)是唯一的,它是包含R的 最小的自反(对称,传递)关系 (2)若R是自反(对称,传递)的,则 r(R),s(R),t(R)就是R本身。 (3)若R不是自反(对称,传递)的,则 可以补上最少序偶,使之变为自反、对称、 传递关系,从而得到r(R),s(R),t(R); 例:设A={a,b},R={a,a兴a,b)}, 则r(R)={a,a兴a,b〉b,b}, s(R)={a,a兴a,b〉b,a)}, t(R)={a,a×a,b}=R 例:设A={a,b,c}R={a,b,b,c