离散数学第三章第五节.ppt

第3-5讲 序关系 1. 偏序关系 2. 哈斯图 3. 链和线序关系 4. 偏序集中的特殊元素 5. 良序集 6. 第3-5讲 作业 1、偏序关系 定义1 设R为非空集合A上的关系，如果R是自反的、反对称的和传递的，则称R为A上的偏序关系，记作?。将A及A上的偏序关系?合称为偏序集，记作A,?。 2、哈斯图（1） 定义2 在偏序集A,?中，如果x,y?A，x?y，x?y，且无其它元素z，使得x?z，z?y，则称元素y盖住x。并记: covA={x,y| x,y?A，y盖住x} 2、哈斯图（2） 哈斯图的作法步骤： 设有偏序集A, ? 1、用小圆圈表示集合A中的元素； 2、如果x,y?A , x?y而且x?y (即x?y)， 则将代表y的小圆圈画在x的上边； 3、如果x,y?covA，则将x和y用直线相连 。 2、哈斯图（3） 3、链和线序关系（1） 定义3 设A,?为偏序集，如果在A的某个子集中，每两个元素都可比，则该子集称为链；如果每两个元素都不可比，则该子集称为反链。 3、链和线序关系（2） 定义4 设A,?为偏序集，如果A为链；则称A,?为线序集或全序集。 4、偏序集中的特殊元素（1） 定义5 设＜A，?＞为偏序集，B?A (1)?b(b?B??x(x?B?b?x))，则称b为B的最小元。 (2)?b(b?B??x(x?B?x?b))，则称b为B的最大元。 (3)?b(b?B???x(x?B?x?b)， 则称b为B的极小元。 (4)?b(b?B???x(x?B?b?x)， 则称b为B的极大元。 4、偏序集中的特殊元素（2） 4、偏序集中的特殊元素（3） 定理1 设A,?为偏序集，B?A。如果有最大(小)元，则必唯一。 4、偏序集中的特殊元素（4） 例4 设A={2,3,6,12,24,36}，画出偏序集＜A，R整除＞的哈斯图，并求B1={2,3,6}，B2={6,12}，B3={24,36}的上界、下界、上确界、下确界。 4、偏序集中的特殊元素（5） 练习：给定偏序集＜A,?＞的哈斯图，求B1={a,b,c,d,e,f,g}, B2={h,i,j,k}, B3={f,h,g,i,j} 的上界、下界、上确界、下确界。 5、良序集 定义7 如果偏序集的任一非空子集都存在最小元，则称该偏序集为良序集。 第3-5讲 作业 P139 1 P145 1， 6 ，7 * * 例如，恒等关系IA，小于等于关系，包含关系都是相应集合上的偏序关系，。 再如，A={1，2，3}上的整除关系若记作?，则 ?={1,1, 2,2, 3,3, 1,2, 1,3} A上的整除关系?显然是是自反的、反对称的和传递的，因而它是偏序关系。值得注意的是，偏序集A中的每对元素并不一定都具有偏序关系。例如2不整除3，此时称2和3不可比！ 在集合中，有时要考虑元素的次序关系，其中一种重要的次序关系叫偏序关系。 注：定义1中的 “? ”不是指数的大小，而是指在偏序关系中的顺序性。“x ? y”的含义是：依照这个顺序，“x排在y的前边”或 “x就是y”。 按照定义1和定义2，对偏序集A, ? 而言，若x,y?A ,则x和y之间可以有三种情况： 1、x?y或者y?x，此时称x和y是可比的。 2、x?y而且x?y，可记为x?y。 3、x和y之间不具有偏序关系，即x?y或者y?x都不存在，此时称x和y是不可比的。 哈斯图可以突出表现偏序关系的特点及偏序集合中元素的层次关系。为此，先介绍“盖住”的概念。 从偏序关系派生盖住关系，而给定偏序关系的盖住关系显然是唯一确定的。盖住关系图经过适当的处理就是哈斯图。可用哈斯图来表示偏序关系。 注：根据哈斯图的作法可知，哈斯图中无环，无“第三边”，无水平边。也不使用箭头，更无双边。 例1 设A={1,2,3,4,6,12}，偏序集＜A，R整除＞，作哈斯图。 解：R整除={1,1,2,2,3,3,4,4,6,6,12,12, 1,2,1,3, 1,4, 1,6,1,12, 2,4,2,6,2,12,3,6,3,12, 4,12,6,12} covA={1,2,1,3,2,4,2,6,3,6,4,12,6,12} 问题：既然哈斯图表示偏序关系，能否由哈斯图画出相应的偏序关系图来？ 按照定义，对左图所示偏序集A, ? 而言，A的子集{1，2，4，6}，{1，3，6，12}，{1，2，6，12}，{1，2，4}，{2，6}都是链；而{2，3}，{3，4}都是反链； {1，2，3，6}既不是链，