离散数学第2版教学课件-等价关系与划分.pdfVIP

4.4 等价关系与划分 等价关系：同时具有自反、对称和传递性 。 等价关系是最重要、最常见的二元关系之一。 4.4 等价关系与划分 定义4.13 设R为非空集合A上的关系，如果R是自反的、对称的和传递的 定义4.13 ，则称R为A上的等价关系。设R为等价关系，如果x,y R，称x等价 于y ，记作x~y 。  例如，实数集上的相等关系、幂集上的各子集间的相等关系，三角形 集合上的三角形的相似关系都是等价关系。  因为等价关系是自反、对称和传递的，可以通过关系矩阵和关系图判 断某关系是否是等价关系。 4.4 等价关系与划分 （1）自反：x∈A ，x  x(mod 3) ，即x, x∈R。 例4.21 设A={1, 2, …, 8}，A上的关系R （2）对称：x, y∈A ，若x  y(mod 3) 即x, y∈R ，则y  x(mod 定义如下： 3)即y, x∈R。 R={x, y | x, yA  x  y(mod 3)} （3）传递：x, y, z∈A ，若x  y(mod 3)且y