第3部分集合学习课件.ppt

偏序集?A, R?的盖住关系 COV A =??2,6?,?2,10?,?5,10?,?5,15?, ?6,30?,?10,30?,?15,30?? 设?A,??是偏序集，它的盖住关系COV A是惟一的。所以可以利用盖住关系做一图，表示该偏序集?A,??。这个图叫做哈斯图。 偏序集?A,??的哈斯图的画法如下： ① 用“°”表示A中的每一个元素。 ② 如果 x?y，则将x画在y的下方。 ③ 若?x,y??COV A，则在x和y间画一条直线。 例的哈斯图是图4.13。 【例】设A=?a,b?，B=P (A)= ??,?a?,?b?,?a,b??是A的幂集合，幂集合P (A)上的包含关系 R?=??x,y?| x?P (A)∧y?P (A)∧x?y? 试写出盖住关系COVP (A)，画出它的哈斯图。 定义3.12.3 设?A,??为偏序集，在A的一个子集中，如果每两个元素都是有关系的，则称这个子集为链。在A的一个子集中，如果每两个元素都是没有关系的，则称这个子集为反链。 约定，如果A的子集只有单个元素，则这个子集既是链也是反链。 定义3.12.4 设?A,??为偏序集，如果A 是一个链，则称偏序集 ? A,