数理逻辑二元关系.pptVIP

例7.19 例7.19 画出偏序集{1,2,3,4,5,6,7,8,9}，R整除和P({a,b,c}),R?的哈斯图。 ｛a｝ 例7.20 例7.20 已知偏序集A,R的哈斯图如右图所示，试求出集合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 偏序集中的特殊元素 定义7.24 设A，≤为偏序集，B?A，y∈B。 （1）若?x(x∈B→y≤x)成立，则称y为B的最小元。 （2）若?x(x∈B→x≤y)成立，则称y为B的最大元。 （3）若?x(x∈B∧x≤y→x＝y)成立，则称y为B的极小元。 （4）若?x(x∈B∧y≤x→x＝y)成立，则称y为B的极大元。 36 3 24 2 12 6 B 最大元 最小元 极大元 极小元 {2,3,6,12,24,36} {6,12} {2,3,6} {6} 无 无 24,26 2,3 12 6 12 6 6 无 6 2,3 6 6 6 6 特殊元素的性质 最小元是B中最小的元素，它与B中其它元素都可比。 极小元不一定与B中元素可比，只要没有比它小的元素，它就是极小元。 对于有穷集B，极小元一定存在，但最小元不一定存在。最小元如果存在，一定是唯一的。 极小元可能有多个，但不同的极小元之间是不可比的（无关系）。 如果B中只有一个极小元，则它一定是B的最小元。 哈斯图中，集合B的极小元是B中各元素中的最底层。 例7.21 例7.21 设偏序集A,≤如右图所示，求A的极小元、最小元、极大元、最大元。 解答 极小元：a,b,c,g 极大元：a,f,h。 没有最小元与最大元 说明 哈斯图中的孤立顶点既是极小元也是极大元。 例7.22 例7.22 设X为集合，A＝P(X)－{?}－{X}，且A≠?。若|X|＝n，问：（1）偏序集A,R?是否存在最大元？（2）偏序集A,R?是否存在最小元？（3）偏序集A,R?中极大元和极小元的一般形式是什么？并说明理由。 解答 A,R?不存在最小元和最大元。原因如下： 因为A≠? ，所以n≥2。考察幂集P(X)的哈斯图，最底层的顶点是空集，记作第0层。由底向上，第1层是单元集，第2层是二元子集，…由|X|=n，则第n－1层是X的n－1元子集，第n层，也就是最高层只有一个顶点X。偏序集A,R?与P(X),R?相比，恰好缺少第0层与第n层(因为X是n元集)。因此A,R?的极小元就是X的所有单元集，即{x}，x∈X；而极大元恰好少一个元素，即X-{x}，x∈X。 上界、下界 定义7.25 设A，≤为偏序集，B?A，y∈A。 （1）若 ?x(x∈B→x≤y)成立，则称y为B的上界。 （2）若 ?x(x∈B→y≤x)成立，则称y为B的下界。 （3）令C＝{y|y为B的上界}，则称C的最小元为B的最小上界或上确界。 （4）令D＝{y|y为B的下界}，则称D的最大元为B的最大下界或下确界。 上界与下界举例 36 3 24 2 12 6 B 上界 下界 上确界 下确界 {2,3,6,12,24,36} {6,12} {2,3,6} {6} 无 无 无 无 12,24,36 2,3,6 12 6 6,12,24,36 无 6 无 6,12,24,36 2,3,6 6 6 考虑右图中的偏序集。令B＝{b，c，d}，则B的下界和最大下界都不存在，上界有d和f，最小上界为d。 讨论 最大元，最小元未必存在，如果存在必唯一。 ?a? ?b? ?a,b? ?a,b,c? ?a,b,c,d? ?a,b,c,e? 讨论 极大元，极小元对有限偏序集必存在，但未必唯一。 ?a? ?b? ?a,b? ?a,b,c? ?a,b,c,d? ?a,b,c,e? 讨论 上下界未必存在，存在时又未必唯一。 ?a? ?b? ?a,b? ?a,b,c? ?a,b,c,d? ?a,b,c,e? 讨论 即使有上下界时，最小上界和最大下界也未必存在。 {a, b, c, d} {a, b, c, e} {a} {b} 上界与下界的性质 B的最小元一定是B的下界，同时也是B的最大下界。 B的最大元一定是B的上界，同时也是B的最小上界。 B的下界不一定是B的最小元，因为它可能不是B中的元素。 B的上界也不一定是B的最大元。 B的上界、下界、最小上界、最大下界都可能不存在。如果存在，最小上界与