第3章 集合与关系(杨圣洪版教材).pptVIP

偏序关系图的绘制：若x,y??即x?y，将x,y中“小”的元素x置于下方，“大”的元素y置于上方，即将箭头所指的对象画在上方。 例题：设A={1,2,3,4,5,6}，考虑整除关系 R={x,y:x|y} R={1,1,1,2,1,3,1,4,1,5,1,6, 2,2, 2,4,2,6,3,3,3,6,4,4, 5,5, 6,6} 1 2 3 4 5 6 3.11 偏序关系 例题：设A={1,2,3,4,5,6}，考虑整除关系 R={x,y:x|y} R={1,1,1,2,1,3,1,4,1,5,1,6, 2,2, 2,4,2,6,3,3,3,6,4,4, 5,5, 6,6} 3.11 偏序关系 1 4 2 6 3 5 例题：设A={1,2,3,4,5,6}，考虑整除关系 R={x,y:x|y} R={1,1,1,2,1,3,1,4,1,5,1,6, 2,2, 2,4,2,6,3,3,3,6,4,4, 5,5, 6,6} 3.11 偏序关系 1 4 2 6 3 5 例题：设A={1,2,3,4,5,6}，考虑整除关系 R={x,y:x|y} R={1,1,1,2,1,3,1,4,1,5,1,6, 2,2, 2,4,2,6,3,3,3,6,4,4, 5,5, 6,6} 3.11 偏序关系 1 4 2 6 3 5 【绘制结束】 如： 1、A={1,2,3,4,5,6}，考虑小于等于关系： R={x,y:x?y} 全序关系 2、B={1,2}, A={?,{1,2}}，考虑包含关系： R={x,y:x?y,x?A,y?A} 全序关系 3、B={1,2}, A={?,{1},{2},{1,2}}，考虑包含关系： R={x,y:x?y,x?A,y?A} 偏序关系 {1,2} ? 【定义3.11.3】(全序关系)设R?A?A是偏序关系，若A中任意两个元素都可比，则称R为A上的全序关系（或线序关系） 3.11 偏序关系 例： 1、A={1,2,3,4,5,6}，R={x,y:x?y}，偏序集 A, ? 2、B={1,2}, A={?,{1},{2},{1,2}} R1={x,y:x?y,x?A,y?A}， 偏序集 A, R1 3、B={1,2}, A={?,{1,2}} R2={x,y:x?y,x?A,y?A}， 偏序集 A, R2 【定义3.11.6】(偏序集)设R?A?A是偏序关系，将集合A与偏序关系R组成的一个整体称为偏序集，记为A,R。 3.11 偏序关系 注：以后说到偏序关系时，可理解为偏序集A,R 哈斯图：将偏序关系图绘制成箭头都朝上方；然后去掉所有箭头、自旋边、复合边，得到的简化图称为哈斯图。 {1,2} ? {1} {2} {1,2} ? {1} {2} 3.11 偏序关系 如： A={?,{1},{2},{1,2}}，R={x,y:x?y,x?A,y?A} 哈斯图中，如果某个元素y在元素x的直接上方，即：x?A, y?A, xy，??z?A,使得xzy则称y盖住x。 {1,2} ? {1} {2} 如：B={1,2}, A={?,{1},{2},{1,2}} R1={x,y：x?y,x?A,y?A} 偏序集：A, R1 {1}盖住?, {2}盖住?, 但{1,2}并不盖住?. 3.11 偏序关系 最大元：设A,R是偏序集，B?A,y0?B,若?x?B,均有x,y0?R，则称y0是B的最大元。即y0与B的每个元素都可比，且比其大。（最小元类似定义） a b c g d f e h 1 2 3 5 7 4 8 6 9 B={a,b,c,d,e,f,g,h} 无最大元、无最小元 B={1~ 8} 有最小 B={1,2,4,8} 有最大与最小 B={b,c,d,e,f} 有最大元 3.11 偏序关系 极大元：不存在x使y0,x?R，即哈图无元居其上 极小元：不存在x使x,y0?R，即哈图无元居其下 a b c g d f e h 1 2 3 5 7 4 8 6 9 极大元：{a,f,h} 极小元：{a,b,c,g} 极大元：{8,6,9,5,7} 极小元：{1} 3.11 偏序关系 上界：设在偏序集A,R中，B?A，y?A，若?x?B都有x,y?R，则称y是B的上界。即：y与B中每个元素都可比，且都比B中的元素大。 a b c g d f e h 1 2 3 5 7 4 8 6 9 设：B={b,c} 其上界有：f,d,e 设：B={1,2} 其上界有：2、4、6、8 3.11 偏序关系 上确界：在偏序集A,R