离散数学(14).pptVIP

第三章 二元关系 3.5 等价关系和划分 3.5.1 等价关系 二元关系的另一重要类型是等价关系,其定义如下: 定义3.5―1如果集合A上的二元关系R是自反的, 对称的和传递的,那么称R是等价关系。 (2)因为R具有对称性，所以如果a等价于b，则b也等价于a, 反映到R的有向图上，如果有从a到b的弧，那么也有从b到a的弧。 (2)因为具有R传递性，所以如果a等价于b，b等价于c则a也等价于c, 反映到有向图上，如果有从a到c有一条路径(长度为2)，则从a到c有一条弧(长度为1) 。 例1 (a) 同学集合A={a,b,c,d,e,f,g},A中的关系R是“住在同一房间”。这是等价关系,因为(i)任一个人和自己同住一间,具有自反性。(ii)若甲和乙同住一间,则乙和甲也同住一间,具有对称性。(iii)若甲和乙同住一间,乙和丙同住一间,则甲和丙也同住一间,具有传递性，现假设a和b同住一间, d, e, f同住一间,c住一间，则： R={a,a,a,b,b,a,b,b,c,c,d,d,e,e, f,f, d,e,e,d,e,f,f,e,d,f,f,d} 其有向图如下图所示 (b)数中的相等关系,集合中的相等关系(IA), 命题演算中的?关系,相同关系等都是等价关系。 (c)空集合?中的二元关系R