离散数学-3-12 序关系(精品·公开课件).ppt

第三章 集合与关系 3-12 序关系 授课人：李朔 Email:chn.nj.ls@ 一．偏序关系 当在一个集合考虑元素的次序问题时，就牵涉一个重要关系部分序关系。 P140 定义3-12.1 A为一个集合，若A上的一个关系R有自反性，反对称性和传递性，则称R为A上的一个偏序关系，记为“?”。序偶＜A，?＞称为偏序集。 例1：易证实数集R上的小于等于关系是偏序关系。I,?是偏序集。 例2：给定A={2, 3, 6, 8}, “?”={x, y?x整除y} *易见 “?”={2, 2, 3, 3, 6, 6, 8, 8, 2, 6，2, 8, 3, 6} 也是一个偏序关系。 集合间的包含关系是偏序关系吗？ 二．盖住 P140定义3-12.2 在偏序集＜A，?＞中，若x, y?A, x?y, x?y, 且没有其它元素子满足x?z, z?y, 则称元素y盖住x，并记 COV A＝{x, y?, x, y?A, y盖住x}. 例3：A={1, 2, 3, 4, 6, 12}, “?”为A上整除关系，则 “?”={1,2,1,3,1,4,1,6,1,12,2,4,2,6, 2,12,3,6,3,12,4,12,6,12}U IA COVA＝{1, 2, 1, 3, 2, 4, 2, 6, 3, 6,4, 12,6, 12} 二．盖住 偏序关系可以用关系图表示，但通常我们用简化了的关系图表示（哈斯图） 对于偏序集，其盖住关系是唯一的，故可由盖住的性质画出偏序集合图，称哈斯图：图中不显示地表示所有序偶，仅画出符合条件“x?y,x?y，且没有其它元素子满足x?z, z?y”的那些序偶。（不画自环路，传递性所蕴含的边不画） 1）用小圆圈代表元素。 2）若x?y, x?y,把x画在y下面。 3）若x, y?COVA,则在x, y之间连线。 箭头不画 例3的哈斯图为： COVA＝{1, 2, 1, 3, 2, 4, 2, 6, 3, 6,4, 12,6, 12} 二．盖住 P141 定义3-12.3 设＜A，?＞是一个偏序集，在A的一个子集中，如果每两个元素都是有关系的，则称这个子集为链，在A中的一个子集中，如果每两个元素都是无关的，则称这个子集为反链。单个元素的子集既是链也是反链。 P141 例如：设集合A={a,b,c,d,e} R={a,a,a,b,a,c,a,d,a,e,b,b,b,c,b,e,c,c,c,e,d,d,d,e,e,e} 验证A,R为偏序集，画出哈斯图，举例说明链及反链。 二．盖住 解 写出R的关系矩阵。 从关系矩阵中易知，R是自反和反对称的，并可验证R是传递的，故它是偏序关系。(关系图P142 图3-12.3) COV A={a,b,a,d,b,c,c,e,d,e} 其哈斯图如上右： 显然，集合{a,b,c,e}，{a,b,c}，{b,c}，{a}和{a,d,e}等都是A的子集也是链。而{b,d}，{c,d}，{a}等都是反链。 从哈斯图上容易看出，在每个链中总可以从最高结点出发沿着盖住方向遍历该链中所有结点。 每个反链中任两个结点间均无连线。 三．全序关系 P142 定义3-12.4 在偏序集＜A，?＞中，如果A是一个链，则称＜A，?＞为全序集或线序集，称该关系为全序关系或线序关系。 全序集就是对任意x,y?A,或者有x?y,或者有y?x成立。 例：定义于自然数集N上的“小于等于”关系是全序集。 练习1 集合A＝{1,2,3,4,5,6}, ≤关系为整除关系，画出哈斯图。 COV A={1,2,1,3,1,5,2,4,2,63,6} 练习2：给定A={?,{a},{a, b},{a, b, c}} 上的包含关系? ，画出哈斯图。 易见, ??{a}?{a, b}?{a, b, c}， 故A, ?为全序集。 其哈斯图如下： 请问下列偏序关系是不是全序关系？为什么？ ⑴ 实数集上的小于等于关系(大于等于关系)。 ⑵ 正整数集上的整除关系。 ⑶ 集合A的幂集P(A)上的包含关系。 四．极大元和极小元 P142 定义3-12.5 设＜A，?＞为一个偏序集，且B为A的子集，对B中一个元素b，若B中没有元素x使b?x，且b?x，则称b为B中极大元。 同理若B中没有元x满足b?x, x?b，则b称为B的极小元。 四．极大元和极小元 P143例6：设A={2, 3, 5, 7, 14, 15, 21}，R为A上整除关系，B={2, 7, 3, 21, 14}，求B上极大元与极小元。 解：CovA={2, 14, 3, 15, 3, 21, 5, 15, 7, 14, 7, 21},哈斯图如下： 易见B的极小元为2，3，7，