第3章 10偏序关系.pptVIP

*计算机科学与技术学院 * 3.10 偏序关系 例1 实数集R上的“≤”关系显然是一个偏序关系。 3.10.1 偏序关系的定义 定义3.10.1 集合A上的关系ρ,如果它是自反的,反对称的且可传递的,则称ρ是A上的偏序关系.记作“≤”,序偶 称为偏序集。 证明 对于任意 ，有 ，所以“ ”是自反的。 对任意 ，若 且 ，则 所以“ ” 是反对称的。 例2 全集合U的幂集2U上的“ ”关系也是一个偏序关系。 对任意 ，若 ， ，则 所以“ ”是可传递的。 例3 设A={1,2,3,4,6,8,12}，定义A上的整除关系 如下： 则ρ是A上的偏序关系。 例4 自然数集上的整除关系是偏序关系。 实数集R上的“＜”关系不是偏序关系。 2U上的真包含关系“ ”也不是偏序关系。 3.10.2 偏序关系的哈斯图 称 为偏序集 中的盖住关系。 显然 。 定义3.10.2 在偏序集中 ，若元素 ， ，且在集A中不存在任何其它元素c， 使得 ，则称元素b盖住元素a，并且记 哈斯(Hasse)根据盖住的概念给出了偏序关系图的一种画法,这种画法画出的图称为哈斯图,作图规则如下： 用小圆圈代表元素; 若元素a≠b且a≤b时，则结点a画在结点b的下方。 (3)若b盖住a，则在a与b之间用直线连接.由于所有边的箭头向上,故省去箭头。例3中的关系 的哈斯图如右图. 例5 设U={a,b,c}，则“ ”关系是2U上 的偏序关系， 偏序关系“ ”的哈斯图如下： 例6 设A={2,3,6,12,24,36}，A上的整除关系“ ” 是一偏序关系，其哈斯图如下： 3.10.3 偏序集中特殊位置的元素 既然偏序集的元素之间 具有分明的层次关系， 则其中必有一些处于特殊位置的元素。 定义3.10.3（极大元，极小元，最大元，最小元） B， 设 是一个偏序集，且B A，如果存在元素b 使得 （1）不存在x B满足x b且b x，则称b为B的极大元； B满足x b且x （2）不存在x b，则称b为B的极小元； （3）对B中任意元素x，均有x b，则称b为B的最大元； （4）对B中任意元素x，均有b x，则称b为B的最小元。 最大（小）元和极大（小）元的性质： （1）最大（小）元必是极大（小）元，反之不然。 （2）最大（小）元不一定存在，若存在，则是唯一的。 （3）极大（小）元不唯一，当B＝A时，偏序集 的 极大元即是其哈斯图中最顶层元素，其极小元是哈斯图中最底层元素，不同的极大（小）元之间不可比，它们处在哈斯图中的同一个层次。 定义3.10.4（上界，下界，上确界，下确界) A，如果存在元素a 设 为一偏序集，且B A， B中任意元素x，都满足 （1） x a，则称a为B的上界； x ，则称a为B的下界； （2）a （3）若a是B的上界，且对B的任意上界 ，均有 a 则称a为B的最小上界（上确界），记作LUB(B)； （4）若a是B的下界，且对B的任意下界 ，均有 a, 则称a为B的最大下界（下确界），记作GLB(B)。 通过以上例子可以看出界有以下性质： （1）一个集合可能没有上界或下界，若有，则不一定唯一，并且它们可能在B中，也可能在B外； （2）一个集合若有上下确界，必定是唯一的，并且若是B的最大（小）元素，则它必是B的上（下）确界。 3.10.4 两种特殊的偏序集 1.全序 设“≤”是集合A上的一个偏序关系，对于任意a,b∈A，当a≠b时，a≤b和b≤a至多一个成立，这意味着允许a≤b和b≤a可以都不成立。 例如 在例3的整除关系中，3≤4，4≤3均不成立。 在例4的包含关系中 定义3.10.5 设≤是集合A上的一个偏序，若对于任意元素a,b∈A，必有a≤b或b≤a，则称它为A上的一个全序。 例如 实数集R上的数之间的小于或等于关系“≤”就是R上的一个全序， 正整数集N上的小于或等于关系“≤”也是N上的一个全序。 N上的整除关系就仅是一个偏序而不是全序。 例7 设A={1,2,8,24,48}，则A上的整除关系