离散数学-等价关系与偏序关系.pptVIP

离散数学 集合论 主要内容 集合代数 二元关系 函数 §7.6 等价关系与划分 等价类 等价类的性质 等价类的性质 商集与划分 等价关系与划分 例 §7.7 偏序关系 可比与不可比 偏序集 哈斯图 例 特殊元素 例 例 特殊元素 * 集合的基本概念 集合的运算 有穷集合的计数 集合恒等式 有序对与笛卡儿积 二元关系 关系的运算 关系的性质 关系的闭包 等价关系与划分 偏序关系 函数的定义与性质 函数的复合与反函数 双射函数与集合的基数 例7.16 设 A={1,2…,8},定义 A 上的关系 R如下: 验证R是A上的等价关系. 一. 等价关系 定义7.15 设R为非空集合A上的关系.如果R是自反的, 对称的和传递的,则称R为A上的等价关系. 对等价关系R,若x,y?R, 则称 x 等价于y,记为x～y or xRy. 解:∵ ?x?A,有 , 故R是自反的. ?x,y?A, 若 , 则 , 故R是对称的. ?x,y,z?A,若 , 则 , 故 R是传递的. ∴ R是A上的一个等价关系. 定义 7.16 设 R 为非空集合A上的等价关系,?x?A, 令 称