A上的等价关系.pptVIP

第六讲：关系（三） 上讲回顾 2.3 关系的性质 自反性 反自反性 对称性 反对称性 传递性 2.4 关系的闭包 自反闭包 对称闭包 传递闭包 本讲内容 2.5 等价关系 等价关系的定义 等价类 2.7 偏序关系 偏序关系的定义 哈斯图 2.5 等价关系 1.等价关系(equivalent relation) Def 设R ? A ? A, 若R具有自反性、对称性以及传递性, 则称R为A上的等价关系. 例2-47 设A = {a, b, c}, R = {(a, a), (b, b), (c, c), (b, c), (c, b)}, 则R具有自反性、对称性以及传递性, 因此R为A上的等价关系. 2.等价类 定义： 设R为A上的等价关系, 对于任意a ? A: 例2-47 定理 设R为A上的等价关系, 对于任意x , y ? A, 则 Proof (?) (?) 同理可得 例2-48 2.等价类 Theorem2-23：设R为A上的等价关系, 对于任意x , y ? A, 则 ?. Hint (反证) Def 2-19 ：A/R = {[x]R|x ? A}: A关于R的商集. 例2-47: A/R = {{a}, {b, c}} 例2-48: A/R = { [0]R, [1]R, [2]R} 2.等价类 Theorem2-24 设R是集合A上的等价关系，则A关于R的商集A/R是集合A的划分. (1)每个等价类非空. (2)不同的等价类不相交. (3)所有等价类的并就是A. 给定集合A的一个划分?, 按下面的方式可以得出A上的一个等价关系R: (x, y) ? R ? x和y在划分? 的同一个块. 例2-51 设A = {a, b, c}, ? = {{a}, {b, c}}, 则R = {(a, a), (b, b), (c, c), (b, c), (c, b)}, 它是A上的一个等价关系. 4 .偏序集的Hasse图 例：偏序集({1,2,3,4,5,6,7,8,9},整除)和(P({a,b,c}),?)的哈斯图. 5 . 偏序集中的特殊元素 5 . 偏序集中的特殊元素 例：设偏序集(A,?)，求A的极小元、最小元、极大元、最大元，设B＝{ b,c,d }, 求B的下界、上界、下确界、上确界. 解：极小元：a, b, c, g；极大元：a, f, h；没有最小元与最大元.B的下界和最大下界都不存在；上界有 d 和 f, 最小上界为 d. 作业 习题2.5：2、8 习题2.7：2、8 * */ 例2-48 Z上的模3同余关系R: 则R具有自反性、对称性以及传递性, 因此R为Z上的等价关系. 1.等价关系 Def2-23 设R ? A ? A, 若R具有自反性、反对称性和传递性, 则称R为A上的偏序. 例2-57 R, ? ？ 例2-58 P(X), ?？ 例： Z, |？ Remark 借用数的? 表示偏序, 可读作“小于等于”, (A, ? ) 称为偏序集. 例2-59 （N+, |）? 3.偏序关系 哈斯图是利用偏序关系的特点进行简化的关系图 偏序关系的自反性, 每个点处都有环,可以不必画出来. 偏序关系的反对称性和传递性,其边的方向是一致的, 通常都是从下到上方向,更主要的是可去掉由于传递出现的边,同时去掉边的方向. 例2-61 A ={1, 2, 3, 4}, ?. 4 .偏序集的Hasse图 Def 2-25： 设(A, ?)是偏序集, x, y ? A, (1)x ? y. (2) x ? y. (3)异于x和y且满足x ? z且z ? y的元素z不存在. 则称y盖住x. COV(A) = {(x, y)| x, y ? A且y盖住x}. 4 .偏序集的Hasse图 例2-62 设X = {a, b}, 则P(X) = {?, {a}, {b}, {a, b}}, 集P(X)上的包含关系“?”是其上的偏序关系,求COV(A). 分析：{a}盖住?? (1)? ? {a}.(2) ? ? {a}. (3) z = {b}, z = {a, b}: ? ? z且z ? {a}? Solution 根据定义知, {a}盖住?, {b}盖住?, {a, b}盖住{a}, {a, b}盖住{b}. 因此COV(A) = {(?, {a}), (?, {b}), ({a}, {a, b}), ({b}, {a, b})}. 4 .偏序集的Hasse图 Hasse图的画法: (1)用黑点代表A中元素; (2) y盖住x,