山东科技大学 离散数学3-11 相容关系.pptVIP

第三章 集合与关系第11讲 上次课回顾 关系的性质： 自反性 反自反性 对称性 反对称性 传递性 复合关系和逆关系 关系的闭包： 集合的划分和覆盖： 3-10 等价关系与等价类 一、等价关系 定义3-10.1：设R为集合A上的二元关系，若R是自反的、对称的和传递的，则称R为等价关系。 aRb，称为a等价于b。由于R是对称的，a等价b即b等价a，反之亦然，a与b彼此等价。 例如，平面上三角形集合中，三角形的相似关系是等价关系。 鉴于空集合中的二元关系是等价关系，是一种平凡情形，因此，一般讨论非空集合上的等价关系。 例题1：设集合T={1，2，3，4}，R={1，1，1，4，4，1，4，4，2，2，2，3，3，2，3，3}。验证R是T上的等价关系。 解：画出R的关系图 每个结点都有自回路，说明R是自反的。任意两个结点间或没有弧线连接，或有成对弧出现，故R是对称的。从序偶表示式中，可以看出，R是传递的。 故R是T上的等价关系。 模m等价是I（整数集合）或其子集上的等价关系，并且是一类重要的等价关系。 定义：设m为一正整数而a，b?I。若存在k，使a-b=km，则称a与b是模m等价，记为a?b(mod m)。 如1与4是模3等价， 1与7是模3等价， 4与7是模3等价， 4与1是模3等价， 7与1是模3等价， 1与1是模3等价，…… 二、等价类 1、定义3-10.2：设R为集