离散数学等价偏序函数.pptVIP

第八节 习题课 以下基本运算要熟练 A?B, dom R, ranR, fldR, R?1, R?S , Rn , r( R), s( R), t( R) 求等价类和商集A/R 给定A的划分?，求出?所对应的等价关系 求偏序集中的极大元、极小元、最大元、最小元、上界、下界、上确界、下确界 掌握基本的证明方法 证明涉及关系运算的集合等式 证明关系的性质、证明关系是等价关系或偏序关系 * 第六节 等价关系与划分 主要内容 等价关系的定义与实例 等价类及其性质 商集与集合的划分 等价关系与划分的一一对应 一、等价关系的定义与实例 定义7.15 设R为非空集合上的关系. 如果R是自反的、对 称的和传递的, 则称R为A上的等价关系. 设R是一个等价 关系, 若x,y∈R, 称x等价于y, 记做x～y. 在我们日常生活和学习中，就有一些等价关系的例子， 如： （1）在一群人的集合上年龄相等的关系是等价关系， 而朋友关系不一定是等价关系，因为它可能不是传递的。 （2）命题公式间的逻辑等值关系是等价关系。 （3）集合上的恒等关系是等价关系。 （4）在同一平面上直线之间的平行关系，三角形之间的 相似关系都是等价关系。 实例 设A={1,2,…,8}, 如下定义A上的关系R： R={x,y| x,y∈A∧x ≡ y(mod 3)