离散数学(第13讲).pptVIP

计算机学院计算机科学与工程学院冯伟森Email：fws365@scu.edu.cn**计算机学院*主要内容1、闭包运算的性质2、等价关系3、等价类及其性质*计算机学院*闭包运算的性质定理5-4.3设R1，R2是集合A上的关系，且R1?R2，则：1)r(R1)?r(R2)2)s(R1)?s(R2)3)t(R1)?t(R2)定理5-4.4设R是集合A上的关系，则：若R是自反的，则s(R),t(R)也是自反的若R是对称的，则r(R),t(R)也是对称的若R是传递的，则r(R)也是传递的*计算机学院*多重闭包定义5-4.21）集合A上的关系的自反对称闭包定义为rs(R)＝r(s(R))2）集合A上的关系的自反传递闭包定义为rt(R)＝r(t(R))3）集合A上的关系的对称传递闭包定义为st(R)＝s(t(R))同上，我们还可定义sr(R),tr(R),ts(R),…定理5-4.5设R是集合A上的关系，则：1)rs(R)＝sr(R) 2)rt(R)＝tr(R)3)st(R)?ts(R)*计算机学院*例5-4.3设A＝{1,2},R＝{1,2},则：传递闭包和自反传递闭包，常用于形式语言与程序设计中，在计算机文献中，常把关系R的传递闭包t(R)记作R+，而自反传递闭包rt(R)记作R*。显然有(R+)+=R+。 st(R)＝s(t(R))＝s({1,2}) ＝{1,2,2,1} ts(R)＝t(s(R))＝t({1,2,2,1}) ＝{1,2,2,1,1,1,2,2}即：st(R)?ts(R)*计算机学院*§5.1等价关系我们知道，一个事物常常可以有很多种表现形式，如1/2可以写成2/4，3/6，5/10等等，一个命题公式也可以表示成很多不同然而等价的形式。当我们以某种尺度来看待这些表面不同而实质上具有相同特征的事物时，归类分析的想法就产生了，这就是等价关系的核心思想。定义5.1设R是定义在集合A上的关系，如果R是自反的、对称的、传递的，则称此关系R为A上的等价关系。*计算机学院*例5.1-11）在全体中国人所组成的集合上定义的“同姓”关系，就是具备自反的、对称的、传递的性质，因此，就是一个等价关系；对任何集合A,考虑R＝A×A,则R是A上的等价关系；三角形的“相似关系”、“全等关系”等都是等价关系；直线的“平行关系”不是等价关系，因为它们不是自反的。幂集上定义的“?”，整数集上定义的“≤”都不是等价关系，因为它们不是对称的。*计算机学院*例5.1-2证明(1)对任意x?Z，有m|(x-x)，所以x,x?R，即R是自反的。(2)对任意x,y?Z，若x,y?R，即m|(x-y)，所以m|(y-x)，所以，y,x?R，即R是对称的。(3)对任意x,y,z?Z，若x,y?R且y,z?R，有m|(x-y)且m|(y-z)，所以由(x-z)=(x-y)+(y-z)得m|(x-z)，所以，x,z?R，即R是传递的。由(1)、(2)、(3)知，R是Z上的等价关系。■设m为正整数，考虑整数集合Z上的关系如下：R={x,y|{x,y∈Z}∧(m|(x-y))}证明R是一个等价关系。*计算机学院*以m为模的同余关系上述R称为Z上以m为模的同余关系，一般记xRy为x＝y(modm)称为同余式。如用resm(x)表示x除以m的余数，即x=km+resm(x)则x＝y(modm)?resm(x)＝resm(y)。注意：x、y关于m1同余，但x、y关于m2不同余。此时，R将Z分成了如下m个子集：{…,-3m,-2m,-m,0,m,2m,3m,…}{…,-3m+1,-2m+1,-m+1,1,m+1,2m+1,3m+1,…}{…,-3m+2,-2m+2,-m+2,2,m+2,2m+2,3m+2,…} …{…,-2m-1,-m-1,-1,m-1,2m-1,3m-1,4m-1,…}*计算机学院* 这m个Z的子集具有的特点：在同一个子集中的元素之间都有关系R，而不同子集的元素之间无关系R。也就是说，通过等价关系，将集合分成若干子集，使这些子集构成的集合就是Z的一个划分。 事实上，对任意正整数m，Z的任意非空子集A，关系R={x,y|(x,y∈A)∧(m|(x-y))}都是A上的等价关系。例5.1-3*计算机学院*我们常见的时钟上的时针重复关系即为m=12，A={0,1,2,3,…,23}，此等价关系R的关系