离散数学二元关系..ppt

* Partial Ordering Relation 实例: 集合A上的恒等关系 IA 是A上的偏序关系. 小于或等于关系, 整除关系和包含关系也是相应集合上的偏序关系. 如： 数集上的小于或等于关系是全序关系； 整数集上的整除关系不是正整数集合上的全序关系。 8覆盖4 4覆盖2 6 覆盖2. 但8不覆盖2. 利用偏序自反、反对称、传递性简化的关系图 * 特点： 每个结点没有环 两个连通的结点之间的序关系通过结点位置的高低 表示，位置低的元素的顺序在前 具有覆盖关系的两个结点之间连边 * 练习1： 已知偏序集A,R的哈斯图如下图所示, 试求出集合A和关系R的表达式.? * * 7.7.2 哈斯图 A={a, b, c, d, e, f, g, h} R={b,d,b,e,b,f,c,d,c,e,c,f,d,f,e,f, g,h}∪IA * * 课堂练习 练习2： 已知偏序集,A,R的关系图如下，试将关系图改画成哈斯图。 * * 课堂练习 练习3 图示为偏序集A,R的哈斯图，试画出其关系图。 * * 课堂练习 问题 设A={1,2}，求A上的所有的偏序关系。 设A={1,2,3}，求A上的所有的偏序关系。 * * 7.7.3 偏序集中的特殊元素 定义7.24 ：设＜A,≤＞是偏序集,B?A, b∈B： 若?x(x ∈B → x ? b)成立，则称b为B的最大元。 若?x(x ∈B → b? x)成立，则称b为B的最小元。 例1： 对偏序集合＜{2,4,6,8}，R整除＞分别写出如下集合的最大元和最小元： {2，4，6，8} {2，4，8} {2，4，6} {4，6，8} 4 2 6 8 * * 例2： 对偏序集合＜{ 1, 2, 3, 4, 5, 6, 7, 8, 9 }, R整除＞分别写出如下集合的最大元和最小元： {1,3,5,9} {1,2,3,6} {1,3,5,7} {2,3,4,6,8} 7.7.3 偏序集中的特殊元素 * * 7.7.3 偏序集中的特殊元素 定义7.24 ：设＜A,≤＞是偏序集,B?A, b ∈B： ┐? x（ x∈B∧ b ? x），则称b为B的极大元。 ┐? x（ x∈B∧ x ? b ），则称b为B的极小元。 例1： 对偏序集合＜{2,4,6,8}，R整除＞分别写出如下集合的极大元和极小元： {2，4，6，8} {2，4，8} {2，4，6} {4，6，8} 4 2 6 8 * * 例2： 对偏序集合＜{ 1, 2, 3, 4, 5, 6, 7, 8, 9 }, R整除＞分别写出如下集合的极大元和极小元： {1,3,5,9} {1,2,3,6} {1,3,5,7} {2,3,4,6,8} 7.7.3 偏序集中的特殊元素 * * 7.7.3 偏序集中的特殊元素 性质 对于有穷集，极小元和极大元必存在，可能存在多个. 最小元和最大元不一定存在，如果存在一定惟一. 最小元一定是极小元；最大元一定是极大元. 孤立结点既是极小元，也是极大元. * * 7.7.3 偏序集中的特殊元素 定义7.25: 设A, ?为偏序集, B?A, a?A. （1） 若?x (x∈B→x? a) 成立, 则称a为B 的上界. （2） 若?x (x∈B→ a ?x) 成立, 则称 a 为B 的下界. （3） 令C＝{y | y为B的上界}, 则称C的最小元为B 的最小上界 或上确界. （4） 令D＝{y | y为B的下界}, 则称D的最大元为B 的最大下界 或下确界. 例： 对偏序集合＜{2,3,6,12,24,36}, R整除＞ ,求如下集合的上界、最小上界、下界、最大下界。 {2，3，6} {12，24，36} {2，3} {24，36} {6，12} * * 24 2 6 36 3 12 7.7.3 偏序集中的特殊元素 * * 7.7.3 偏序集中的特殊元素 例7.21： 设偏序集A,?如下图所示 求A 的极小元、最小元、极大元、最大元. 设B＝{ b, c, d }, 求B 的下界、上界、下确界、上确界. 解： 极小元：a, b, c, g； 极大元：a, f, h； 最小元：无 最大元：无 B的下界和最大下界都不存在, B的上界有d 和 f, 最小上界为 d. * * 7.7.3 偏序集中的特殊元素 性质： 下界、上界、下确界、上确界不一定存在 下界、上界存在不一定惟一 下确界、上确界如果存在，则惟一 集合的最小元就是它的下确界，最大元就是它的上确界；反之不对. * 区别: 在集合{a, b}中, a ? b且{a, b} = {b, a}。 在序