离散数学 第4章 集合与关系-二元关系.pdfVIP

第4 章 二元关系 4.5 等价关系 （A上的一类重要二元关系） 等价关系是最重要、最常见的二元关系之一。它有良 好的性质。在计算机科学和计算机技术、信息科学和信息 工程中都有广泛的应用。目前对等价关系的研究是深入而 完备的。本节介绍等价关系的主要结论。 定义4.5.1 设RA ×A ，如果R 是自反的，对称的和传 递的，则称R 是A 上的等价关系。设R 是等价关系，若 x,y R ，称x等价于y ，记做x ～y 。 【注】： ∵等价关系是自反的和对称的，∴等价关系的关 系矩阵主对角线全为1且是对称阵；其关系图每一个结点上 都有自回路且每两个结点间如果有边，一定有方向相反的 两条边。 第4 章 二元关系 判断关系R是等价关系的方法一：定义法 【例4.26 】设A=1,2,3,4,5 ，R是A 上的二元关系， R=1,1,1,2,2,1,2,2,3,3,3,4,4,3,4,4,5,5 ， 证明R是A 上的等价关系。 证明：验证R是否满足是自反、对称和传递的，利用定义判定。 依题意R=1,1,1,2,2,1,2,2,3,3,3,4,4,3,4,4,5,5 1) ∵I =1,1,2,2,3,3, 4,4,5,5 ∴I R ，故R是自反的； A A C 2) ∵R =1,1,2,1,1,2,2,2,3,3,4,3,3,4,4,4,5,5 ， ∴R=RC ，故R是对称的； 3) ∵R∘R =1,1,1,2,2,1,2,2,3,3,3,4,4,3,4,4,5,5， ∴R∘RR ，故R是传递的； 综合1)、2)、3)，利用等价关系定义可得：R是A 上的等价关系。 第4 章 二元关系 判断关系R是等价关系的方法二：关系矩阵法 【例4.27 】设A=1,2,3,4 ，R是A 上的二元关系， R=1,1,1,4,4,1,4,4,2,2,2,3,3,2,3,3， 证明R是A 上的等价关系。 证明：利用关系矩阵验证R是否满足是自反、对称和传递的，再利用等 价关系定义判定。  1 0 0 1   写出R 的关系矩阵M有：M  0 1 1 0   0 1 1 0     1 0 0 1 可见：M 的主对角线全为1且是对称阵，所以R是自反的和对称的； 又∵  1 0 0 1  1 0 0 1  1 0 0 1       0 1 1 0 0 1 1 0 0 1 1 0 M 2 M M        0 1 1 0   0 1 1 0   0 1 1 0       