2014级离散第3章-12序关系.pptx

3-12 序关系 ;一、偏序关系及其表示 1、定义3-12.1：设A是一个集合，如果A上的一个关系R满足自反性、反对称性和传递性，则称R是A上的一个偏序关系，记作≤ 。A，≤ 称作偏序集。;例：设A={1，2，3}，A的幂集 ?(A) ={?，{1}，{2}，{3}，{1，2}， 　　　　{1，3}，{2，3}，{1，2，3}} 上的包含关系?是偏序关系。;证明： (1)?S∈?(A) ，因S ? S∴ ?具有自反性。;例：设A是非零自然数集，DA是A上的整除关系。 (1)?x∈A，因x能整除x，∴DA具有自反性。;2、盖住 定义3-12.2：在偏序集A，≤中，如果x、y∈A，x≤y，x≠y，且没有其他元素z，使x≤z，z≤y，则称元素y盖住元素x。记COVA={x，y|x、y∈A，y盖住x}。 ;3、哈斯图 对于给定偏序集A，≤，它的盖住关系是唯一的，所以可用盖住的性质画出偏序集合图，或称哈斯图，其作图规则为： (1)小圆圈代表元素。 (2)如果x≤y且x≠y，将代表y的小圆圈画在代表x的小圆圈之上。 (3)如果x，y∈COVA，则在x与y之间用直线连结。;例：画出下列偏序集{1，2，3，4，5，6}，DA的哈斯图 （DA是A上的整除关系） DA={1，1，2，2，3，3，4，4，5，5，6，6，1，2，1，3，1，4，1，5，1，6，2，4，2，6，3，6} ;3、链和反链 定义3-12.3：设A，≤ 是一个偏序集合，在A的一个子集中，如果每两个元素都是有关系的，则称这个子集为链。在A的一个子集中，如果每两个元素都是无关的，则称这个子集为反链。 约定，若A的子集只有单个元素，则这个子集即是链又是反链。;例：偏序集{1，2，3，4，5，6}，DA的偏序关系为: :DA={1，1，2，2，3，3，4，4，5，5，6，6，1，2，1，3，1，4，1，5，1，6，2，4，2，6，3，6} ;二、全序关系 1、定义3-12.4：在偏序集A，≤中，如果A是一个链，则称A，≤为全序集合或线序集合，在这种情况下， ≤称为全序关系或线???关系。;145页（1）设集合为{3,5,15}，{1,2,3,6,12}，{3,9,27,54}，偏序关系为整除，画出这些集合的偏序关系图，并指出哪些是全序关系。; 集合A2= {1,2,3,6,12}上的整除关系为 R2={1,1, 1,2,1,3, 1,6,1,12, 2,2, 2,6,2,12,3,3,3,6,3,12,6,6,6,12, 12,12} COV A2={1,2,1,3,1,12,2,6,3,6,6,12}; 集合A3= {3,9,27,54}上的整除关系为 R3={3,3, 3,9,3,27, 3,54,9,9, 9,27, 9,54,27,27,27,54,54,54} COV A2 = {3,9,9,27, 27,54};146页（4）找出集合{0，1，2，3}上包含序偶0,3和2,1的线序关系。;三、特殊元素 1、极大元、极小元 定义3-12.5：设A，≤ 是一个偏序集，且B是A的子集，对于B中的一个元素b，如果B中没有任何元素x，满足b≠x 且b ≤x，则称b为B的极大元；同理，如果B中没有任何元素x，能满足b≠x且x≤b，则称b为B的极小元。 ;例： A={1，2，3，4，5，6},DA是A上的整除关系. DA={1，1，2，2，3，3，4，4，5，5，6，6，1，2，1，3，1，4，1，5，1，6，2，4，2，6，3，6} ;从定义3-12.5中可以知道，当B=A时，偏序集A，≤ 的极大元即是哈斯图中最顶层的元素，其极小元是哈斯图中最低层的元素，不同的极小元素或不同的极大元素之间是无关的。 ;2、最大元、最小元 定义3-12.6：设A，≤是一个偏序集，且B是A的子集，若有某个元素b?B，对于B中的每一个元素x，有x≤b，则称b为B，≤的最大元；同理，若有某个元素b?B，对于B中的每一个元素x，有b≤x，则称b为B≤的最小元。;3、定理3-12.1：设A，≤是偏序集，且B是A的子集，若B有最大元(最小元)，则必是唯一的。;最大元或最小元可能不存在。如143页图3-12.6中，偏序集A，≤无最大元，也无最小元。;4、上界、下界 定义3-12.7：设A，≤是一偏序集，对于B?A，如有a∈A，且对任意元素x∈B，都有x≤a，则称a为B的上界。同理，对任意元素x∈B，都有a≤x，则称a为B的下界。 ;5、上确界、下确界 定义3-12.8：设A，≤是一偏序集且B?A，a是B的任一上界，若对B的所有上界y均有a≤y，则称a是B的最小上界(上确界)，记作LUBB。同理，b是B的任一下界，若对B的所有下界z均有z≤b，则称b是B的最大下界(下