,其中Z是整数集,≤是小于或等于关系。解:(1)是格。,,由于和运算在P(B)上是封闭的,所以称为B的幂集格。(2)是格。,它们都是整数。例3、判断下图中的偏序集是否构成格,并说明理由。(4)dabcefg例4、设G是群,L(G)是G的所有子群的集合,即L(G)={H
3、H≤G}二、格的性质1、对偶原理:设是含有格中的元素以及符号的命题,令
4、是将中的分别改写成所得到的命题,称为切格为真。也对一对一切格为真,则的对偶命题。若说明:的哈斯图只要将的哈斯图翻转,上变下,下变上即可.因此最小上界变为最大下界,最大下界变为最小上界.最大元变最小元,最小元变最大元.例:L={1,2,3,6},≤是整除关系,≥是因子关系在中23=6,在中23=6在中有(13)2≤2,所以(13)2≥2二、格的性质二、格的性质2、性质:设为格,则运算和适合交换律,结合律,幂等律和吸收律,即,有(1)交换律,(2)结合律,二、格的性质2、性质:设为格,则运算和适合交
5、换律,结合律,幂等律和吸收律,即,有(3)幂等律,(4)吸收律,1、格的代数定义的引理三、格的代数定义2、格的代数定义的定理三、格的代数定义定理的证明定理的证明(续)定理的证明(续)三、格的代数定义注意:偏序格与代数格等价,今后就不再区分偏序格与代数格了,而把它们统称为格。二、格的性质(续)格中不等式的证明不满足分配律的格第二节子格与格同态(Section2Sub-lattice&LatticeHomomorphism)内容:子格,格同态重点:子格的定义及判定,格的同态了解:格的直积2021/9/15一、子格(Sub-lattice)1、定义:设代数系统<
6、L,,>是一个格,SL,若S满足:(1)S≠;(2)S关于运算和仍然构成格;则称是的子格,简称S是L的子格。2021/9/15一、子格(Sub-lattice)2、实例:例1:在正整数集合Z+中规定、为:对任意a,b∈P,ab=(a,b),其中(a,b)表示a,b的最大公因数ab=[a,b],其中[a,b]表示a,b的最小公倍数则、是Z+上的二元运算,且满足交换律、结合律、吸收律和等幂律,于是是一个格。S={3k
7、k∈Z+},试证明是的子格。2021/9/15
8、证明:显然S≠。因为对任意3m,3n∈S,都有3m3n=[3m,3n]=3[m,n]∈S,3m3n=(3m,3n)=3(m,n)∈S所以,是的子格。2021/9/15例2:在如下图(a)所示的偏序格中,考虑如下子集:B1={a,b,g,h},B2={a,b,c,d},B3={a,b,c,h},问B1,B2,B3中那些是的子格?habca(a)bdfhceg(b)一、子格(Sub-lattice)2、实例:2021/9/15分析显然B1,B2,B3都是L的非空子集,B1是L的子格;B2的2元素子集{b,
9、c}的最小上界e不在B2中,因此B2不是L的子格;B3的2元素子集{b,c}的最小上界e不在B3中,因此B3不是L的子格。注意,偏序集的哈斯图如上图(b)所示,因此是格。即存在子集关于偏序能构成格,但不是子格。解B1是L的子格,B2,B3都不是L的子格。例2:(续)一、子格(Sub-lattice)2、实例:2021/9/15设是一个格,a∈L,令S={x
10、x∈L,x≤a},则S是L的子格。证明因为a≤a,所以a∈S,即S是非空子集。对任意x,y∈S,由x≤a,y≤a,可知xy=inf{x,y}≤a,即xy=inf{x
11、,y}∈Sxy=sup{x,y}≤a,即xy=sup{x,y}