离散数学(第13讲).pptVIP

计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn * * 计算机学院 * 主要内容 1、等价关系 2、等价类及其性质 * 计算机学院 * §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-