离散数学关系的闭包摘要.pptx

1 4.4 关系的闭包 闭包定义 闭包的构造方法 集合表示 矩阵表示 图表示 闭包的性质 2 一、闭包定义 定义 设R是非空集合A上的关系, R的自反（对称或传递）闭包是A上的关系R?, 使得R?满足以下条件：（1）R?是自反的（对称的或传递的）（2）R?R?（3）对A上任何包含R的自反（对称或传递）关系 R?? 有 R??R??. 一般将 R 的自反闭包记作 r(R), 对称闭包记作 s(R), 传递闭包记作 t(R). 3 由闭包的定义可知， R的自反（对称，传递）闭包是含有R并且具有 自反（对称，传递）性质的“最小”的关系。 如果R已是自反的二元关系，显然有：R= r(R)。 同样，当R是对称的二元关系时R= s(R)； 当R是传递的二元关系时，R= t(R)，且反之亦然。 4 二、关系的闭包运算 （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)； 5 例：设Ａ={a,b,c},R={a,b,b,c,c,a}，求r(R),