7.7 偏序关系new.pptVIP

7.7 偏序关系 偏序关系是另一种重要的关系 定义7.19（偏序关系）设R为非空集合A上的关系，如果R是自反的，反对称的和传递的，则称R为A上的偏序(partial order)关系，简称偏序，记作≤。 说明： 设≤为A上的偏序关系，如果有序对x,y属于偏序≤，可记作x≤y，读作“x小于等于y”。 这里的小于等于不是指数的大小，而是指它们在偏序关系中位置的先后。也许小于等于指的是大于等于。 集合A上的恒等关系IA 集合A上的空关系? 集合A上的全域关系EA P（A）上的包含关系 实数集上小于等于关系 正整数集上的整除关系 定义7.20 设R为非空集合A上的偏序关系，定义 （1）?x,y?A，x≤y∧x?y ? xy （2）?x,y?A，x≤y∨y≤x ? x与y可比(comparable) （3）?x,y?A，若x≤y与y≤x都不成立，则x与y不可比(incomparable) 说明： （1）其中xy读作“x小于y”，这里所说的小于是指在偏序关系的有序对中x排在y的前面。 （2）在具体的偏序关系≤的集合A中任意两个元素x和y，可能有下述几种情况发生： xy、 yx、x=y， x与y不可比(incomparable) 例如： A={1，2，3}，≤是A上的整除关系， 则有12，13，1=1，2=2，3=3，2和3不可比 定义7.21（全序关系） 设R为非空集合A上的偏序关系，如果?x,y?A,x与y都是可比的，则称R为A上的全序(total order)关系（或线序(linear order)关系）。 例如：数集上的小于等于关系是全序关系， 因为任何两个数总是可以比大小的。 但整除关系一般说来不是全序关系， 如集合{1，2，3}上的整除关系就不是全序关系， 因为2和3不可比。 定义7.22（偏序集） 集合A和A上的偏序关系≤统称为偏序集(poset)，记作A，≤。 例如： 整数集合Z和数的小于等于关系?构成偏序集Z，?， 幂集P(A)和包含关系?构成偏序集P(A),? 定义7.24 （最小元，最大元，极小元，极大元） 设A，≤为偏序集，y?A （1）若?x（x?A→y≤x）成立，则称y为A的最小元 （2）若?x（x?A→x≤y）成立，则称y为A的最大元 （3）若?x（x?A∧x≤y→x=y）成立，则称y为A的极小元 （4）若?x（x?A∧y≤x→x=y）成立，则称y为A的极大元 例 已知偏序集A，R整除， 其中A={1,2,3,4,5,6,7,8,9} 求A的最小元，最大元，极小元，极大元。 例 已知偏序集A，R，其中 A={a,b,c,d,e,f,g,h} ， R={b,d,b,e,b,f,c,d,c,e, c,f,d,f,e,f,g,h}∪IA 求A的最小元，最大元，极小元，极大元。 偏序集的哈斯图 首先定义偏序集中的覆盖关系。 定义7.23（覆盖关系）设A，≤为偏序集，?x,y?A，如果xy且不存在z?A使的xzy，则称y覆盖x。 例如：{1，2，4，6}集合上的整除关系， 有2覆盖1，4和6都覆盖2， 但4不覆盖1 因为有124 6不覆盖4 如何画偏序集A，≤哈斯图 （1）首先画出最小的顶点 （2）然后依次考察其它的顶点，如果y覆盖x，则将y画在x的上方，并用一条线段连接x和y。 由偏序集求哈斯图 例7.19 画出偏序集{1,2,3,4,5,6,7,8,9}，R整除 和P（{a,b,c}），R?的哈斯图 解：两个哈斯图如下： 练习 设集合A={1，2，3，4，6，9，54}，R是A上的整除关系，即R＝{x, y?x, y?A∧x整除y}。 （1）画出A，R的哈斯图。 （2）求A，R的极小元、最小元、极大元和最大元。 由哈斯图求偏序集 例7.20 已知偏序集A，R的哈斯图如下，试求出集合A和关系R的表达式， A的最小元，最大元，极小元，极大元。 最小元，最大元，极小元，极大元的性质 1. 最小元或最大元可能存在，也可能不存在 2. 如果最小元或最大元存在，则是唯一的 3.