离散数学第44陈瑜.pptxVIP

§4.4二元关系的闭包设R是A上的关系，我们希望R具有某些有用的性质，比如自反性、对称性、传递性等。如果R不具有这些性质，可以通过在R中添加一些有序对来改造R，得到新关系R′，使R′具有上述性质，但又不希望R′与R相差太多，即添加的有序对要尽可能的少，满足这些要求的R′就称为R的闭包。计算机学院/44定义4-4.1　设R是定义在A上的二元关系，如果另有A上的关系R′满足： 1)R′是自反的(或对称的、或可传递的)， 2)R? R′， 3)对A上任何其它满足1）和2）的关系R〞，则： R′? R〞。（表明R′的最小性） 则称R′为R的自反闭包(或对称闭包、或传递闭包)，分别记为r(R)(s(R)或t(R))。计算机学院/44例4.14设集合A＝{a,b,c},R＝{a,b,b,b,b,c}是定义在A上的二元关系，求r(R),s(R),t(R),并画出R，r(R),s(R),t(R)的关系图和求出相应的关系矩阵。解：r(R)＝{a,b,b,b,b,c,a,a,c,c}；s(R)＝{a,b,b,b,b,c,b,a,c,b}；t(R)＝{a,b,b,b,b,c,a,c}。计算机学院/44例4.14设集合A＝{a,b,c},R＝{a,b,b,b,b,c}是定义在A上的二元关系，求r(R),s(R),t(R),并画出R，r(R),s(R),t(R)的关系图和求出相应的关系矩阵。解：r(R