离散数学chapter-7.ppt

格的定义 格是任二元都(在其中)有glb和lub的偏序集,具体说:偏序集?S,??称为格,如果 ?a?b(a,b?S?glb{a,b}?S∧lub{a,b}?S). 我们知道:glb或lub若存在必唯一,故glb:S?S? S,lub:S?S?S是映射,从而定义格S中的两个二元运算,我们分别把它们记为 a*b=glb{a,b}和 a?b=lub{a,b}并分别称为的a与b保交与保联. 对有限偏序集常用它的Hasse图验证它是否组成一个格,例如教本p215的图7.1-1(a)—(e)是格,7.2c)不是格(后者左右肩两点的glb不存在). 格的举例 ①每个线性序集,例如?R,??及其子集,都是格, glb{a,b}=min{a,b};lub{a,b}=max{a,b}. ②集S的幂集?(S)和包含关系组成偏序集,对任意A,B??(S),glb{A,B}=A∩B??(S);lub{A,B}= A∪B??(S). 因此,??(S),??是格.例如??({a,b,c}),??的Hasse图在图7.1-1(c)中画出. ③正整数集I+与整除关系组成偏序集,对任意a,b?I+,glb{a,b}=GCD(a,b)?I+;lub{a,b}= LCM(a,b)?I+.因此,?I+,|?是格.特别,对任意正整数 n?I+,令Sn记n的所有正因子的集,则 ?Sn,|?是格. 7.1#2 S={1,2,3,4,5},?S,??是格吗? ?S,??是格, a*b=min(a,b);a?b=max(a,b). 一般地,任何线性序集都是格. 7.1#3 画出格?S72,|?的Hasse图 72=2332; x=2i3j, i=0,1,2,3;j=0,1,2. S72={72,36,24,18,12,9,8,6,4,3,2,1} 格的对偶原理 因偏序?的逆关系?也是偏序;故 B=?S,??是格 ? B?=?S,??是格; 对任意A?B,lub(A)=glb?(A),glb(A)=lub?(A); ( ? 记格B?中的对应运算)特别 对任意a,b?S, a*b=a??b,a?b=a*?b. 对偶原理:对于格?S,??中任何有效公式,把*与?;?与?互换后仍为有效公式. 格的基本公式及其证明 ⑥交换律:a*b=b*a;a?b=b?a.(其中a,b?S为任意元素,下同) 证:由对偶原理只须证其中一个即可.例如第一个 a*b=glb{a,b}=glb{b,a}=b*a. ⑦结合律:(a*b)*c=a*(b*c);(a?b)?c=(a?b)?c. 证:w?(a*b)*c ? a*b和c ? w?a,b和c ? w?a和b*c ? w?a*(b*c),即(a*b)*c=w?a*(b*c). 同理可得 a*(b*c)?(a*b)*c. ⑧等幂律:a*a=a;a?a=a. 证:a?a ? a?a*a,又按*定义有 a*a?a.所以 a*a=a. 格的基本公式及其证明续 ⑨吸收律: a*(a?b)=a;a?(a*b)=a. 证: a?a∧a?a?b ? a?a*(a?b); 此外又有 a*(a?b)?a,故结论成立. ⑩重要公式: a*b=a ? a?b ? a?b=b. 证:因 a?b ? a*b=a (1) 的对偶为:a?b ? a?b=a,故只须证(1)即可. 事实上 a?b ? a?a*b.又 a*b?a,得证 a*b=a. 显然 a*b=a ? a?b,故(1)成立. 格的基本公式及其证明续 ⑾ a?d∧b?c ? a*b?d*c.(可证其对偶为a?d∧b?c ? a?b?d?c) 证:因a*b?a?d,a*b?b?c,故a*b?d*c. ⑿ 保序性: b?c ? a*b?a*c∧a?b?a?c. 证:因恒有a?a,故当b?c时令d=a结论由⑾推出. ⒀ 分配不等式: a?(b*c)?(a?b)*(a?c)(还有对偶式) 证:因b*c?b;b*c?c,故由保序性推出: a?(b*c)?a?b和a?(b*c)?a?c,故结论成立. ⒁ 模不等式:a?c ? a?(b*c)?(a?b)*c. 证:a?(b*c)?(a?b)*c ?a?a?(b*c)?(a?b)*c?c. 反之 a?c ? a?c=c,故结论由⒀推出. 7.1#8 元素不多于3个的格全是链 设?S,??是格.若|S|=1,它显然是链(全序集); 若|S|=2,不妨设|S|={a,b}且a?b,则为二元链;若|S|=3,不妨设|S|={a,b,c}.今用反证法证S中任二元a,b都可比较.设a,b不可比较,则glb{a,b},lub{a,b}?{a,b},由此得glb{a,b}=c=lub{a,b}.进一步又有 c?a∧c?a ? c=