离散数学(3.12序关系)课程.ppt

* * 离散数学(Discrete Mathematics) 张捷 第三章 集合与关系 （Sets and Relations) 3.6 关系的闭包运算(Closure Operations) 3.7 集合的划分与覆盖(Partition Cover of Sets) 3.8 等价关系(Equivalent Relations) 3.9 相容关系(Compatibility　Relations) 3.10 序关系(Ordered Relations) 3.1 集合及其运算(Sets Operations with sets) 3.2 序偶与笛卡尔积(Ordered Pairs Cartesian Product) 3.3 关系 (Relations) 3.4 关系的性质(The Propeties of Relations) 3.5 复合关系与逆关系(Compound Relations Inverse Relations) 3.10 序关系(Ordered Relations) 3.10.1 偏序关系的定义(Partially Ordered Relations) 3.10.2 偏序关系的哈斯图(The Hasse Diagram of Posets ) 3.10.3 偏序集中特殊位置的元素 3.10.4 几种特殊的偏序集 第三章 集合与关系(Sets Relations) 3.10 偏序关系 3.10.1 偏序关系的定义(Partially Ordered Relations) 定义3.10.1 集合A上的关系ρ,如果它是自反的,反对称的 且可传递的,则称ρ是A上的偏序关系.记作“≤”,序偶 称为偏序集(partially ordered set or poset for short ). 例1 实数集R上的“≤”关系显然是一个偏序关系。 证明 对于任意 ，有 ，所以“ ”是自反的。 对任意 ，若 且 ，则 所以“ ” 是反对称的。 例2 全集合U的幂集2U上的“ ”关系也是一个偏序关系。 对任意 ，若 ， ，则 所以“ ”是可传递的。 例3 设A={1,2,3,4,6,8,12}，定义A上的整除关系 如下： 则ρ是A上的偏序关系。 例4 自然数集上的整除关系是偏序关系。 实数集R上的“＜”关系不是偏序关系。 2U上的真包含关系“ ”也不是偏序关系。 3.10.2 偏序关系的哈斯图(The Hasse Diagram of Posets ) a≤c,c≤b，则称元素b盖住元素a，并且记 称 为偏序集 中的盖住关系。显然 。 定义3.10.2 在偏序集中 ，若元素 ，a≠b，a≤b，且在集A中不存在任何其它元素c，使得 3.10.2 偏序关系的哈斯图(The Hasse Diagram of Posets ) 用小圆圈代表元素; 若元素a≠b且a≤b时，则结点a画在结点b的下方。 (3)若b盖住a，则在a与b之间用直线连接.由于所有边的箭头向上,故省去箭头。例3中的关系 的哈斯图如右图. 哈斯(Hasse)根据盖住的概念给出了偏序关系图的一种画法,这种画法画出的图称为哈斯图,作图规则如下： 例5 设U={a,b,c}，则“ ”关系是2U上的偏序关系， 偏序关系“ ”的哈斯图如下： 例6 设A={2,3,6,12,24,36}，A上的整除关系是一偏序关系，其哈斯图如下： 3.10.3 偏序集中特殊位置的元素 既然偏序集的元素之间 具有分明的层次关系， 则其中必有一些处于特殊位置的元素。 定义3-10.3（极大元，极小元，最大元，最小元） 设 是一个偏序集，且B A，如果存在元素b∈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的最小元。 集合 极大元 极小元 最大元 最小元 ｛a,b,c｝ ｛a,b,c｝ {a} 例7. 设A＝｛a,b,c｝，