离散数学课件第四章(第5讲).pptVIP

拟序关系的定义： 设A是一个集合，如果A上的一个关系R，满足反自反性，反对称性和传递性，则称R是A上的一个拟序关系，或称R在A上是拟序的，记作“”；例：由集合A所组成的幂集?(A)上的关系“?”是是拟序关系？例：在整数集Z上小于关系是拟序关系？√√*1、A={1，2，3，4，5，6，7，8，9}，R={(x,y)|x?A,y?A,x?y};*1、A={1，2，3，4，5，6，7，8，9}，R={(x,y)|x?A,y?A,xy};偏序关系偏序关系及基本概念哈斯图特殊元素其它序关系定义：设A是一个集合，如果A上的关系R，满足自反性，反对称性和传递性，则称R是A上的偏序关系，记作“≤”.EX1：在实数集Z上，小于等于关系是偏序关系吗？EX2：在实数集Z上，小于关系是偏序关系吗？EX3：设集合A的幂集?(A)上的包含关系是偏序关系吗？EX4：正整数I+集合上的整除关系是偏序关系吗？√×√√偏序关系及基本概念1、偏序关系定义?表示偏序关系,如果x,y??,则记作x?y,读作“小于等于”.注意:这里的“小于等于”不是指数的大小,而是指偏序关系中元素的顺序性.不同的偏序关系对?有不同的序解释.例如:正整数I+集合上的整除关系是偏序关系,3?6的含义是3整除62、偏序集定义定义：集合A和A上的偏序关系合在一起叫做偏序集,记作A,?例如:实数集合Z和数的小于等于关系?构成偏序集Z,?集合A的幂集P(A)和包含关系?构成偏序集P(A),?正整数I+集合和整除关系构成偏序集I+,|哈斯图(HasseDiagram)是偏序关系的关系图，要画出哈斯图，需要先定义偏序集中顶点之间的盖住关系。COVA={x,y|x∈A∧y∈A∧y盖住x}定义：在偏序集A，≤中，对A上任意元素x和y,若有x≤y和x≠y，且没有其它元素z,满足x≤z且z≤y,则称元素y盖住x。盖住集(盖住关系)记为：3、盖住集(盖住关系)说明：给定偏序集A，≤，它的盖住集(盖住关系)是唯一的。例：设A={2，3，4，6，8}，则定义在A上的整除关系R={2，23，34，46，68，82，42，62，83，64，8}，求COVA按照盖住集定义分析得：COVA={2，42，63，64，8}COVA={x,y|x∈A∧y∈A∧y盖住x}定义：在偏序集合〈A，≤〉中，对A上任意元素x和y,若有x≤y和x≠y，且没有其它元素z,满足x≤z且z≤y,则称元素y盖住x.盖住集(盖住关系)记为：4、分析研究盖住集(盖住关系)定义结论：(1)盖住集中不存在任何序偶x,x且x∈A(2)若存在其它元素z，满足x≤z且z≤y，可通过复合运算获得序偶x,y(3)通过复合运算获得的序偶x,y不属于盖住集。定义:设R是集合A上的偏序关系，IA是集合A上的恒等关系，R1=R-IA,则R1-(R1oR1)为盖住集COVA。以上所给的盖住集定义是立足于集合运算的观点,应用此等价定义判定偏序关系的盖住集,不仅有条理,而且步骤清晰。可从以下几步求盖住集:(1)计算R1=R-IA(2)将R1与其自身复合,得集合R2,即R2=R1oR1(3)计算集合R1和R2的差,则盖住集为:COVA=R1-R25、盖住集(盖住关系)的等价定义例：设A={2，3，4，6，8}，则定义在A上的整除关系R={2，23，34，46，68，82，42，62，83，64，8}，求COVA解:IA={2，23，34，46，68，8}R1=R-IA={2，42，62，83，64，8}R2=R1oR1={2,8}COVA=R1–R2={2，42，63，64，8}例设集合A={a,b,c,d,e},R是A上的偏序关系。R={a,aa,ba,ca,da,eb,bb,cb,ec,cc,ed,dd,ee,e},求盖住集COVA。解:IA={a,ab,bc,cd,de,e}R1=R-IA={a