第14节-格的定义及性质-(2).pptVIP

第四章格主要内容:格的定义及性质格作为代数系统的定义子格格的同态与同构有界格、有补格、分配格第14节格的定义与性质主要内容:格的定义格的实例格的性质格的定义定义1设(L,?)是偏序集，如果?x,y?L，{x,y}都有上确界和下确界，则称L关于偏序?作成一个格.实例：子群格例3设G是群，L(G)是G的所有子群的集合.即

L(G)={H|H≤G}，对任意的H1,H2∈L(G)，H1∩H2是G的子群，(H1∪H2)是由H1∪H2生成的子群（即包含着H1∪H2的最小子群）.在L(G)上定义包含关系?，则L(G)关于包含关系构成一个格，称为G的子群格.在L(G)中，H1∧H2就是H1∩H2H1∨H2就是(H1∪H2)格的性质：对偶原理定义2设f是含有格中元素以及符号=,?,?,∨和∧的命题.令f*是将f中的?替换成?,?替换成?,∨替换成∧,∧替换成∨所得到的命题.称f*为f的对偶命题.例如：在格中令f是(a∨b)∧c?c,f*是(a∧b)∨c?c.格的性质：对偶原理格的性质格的性质：算律性质3设(L,?)是格,则运算∨和∧适合交换律、结合律、幂等律和吸收律,即(1)?a,b∈L有a∨b=b∨a,a∧b=b∧a(2)?a,b,c∈L有

(a∨b)∨c=a∨(b∨c),(a∧b)∧c=a∧(b∧c)(3)?a∈L有

a∨a=a,a∧a=a(4)?a,b∈L有

a∨(a∧b)=a,a∧(a∨b)=a证明(1)a∨b是{a,b}的上确界,b∨a是{b,a}的上确界.由于{a,b}={b,a},所以a∨b=b∨a.由对偶原理,a∧b=b∧a.证明(3)显然a?a∨a,又由a?a可得a∨a?a.根据反对称性有a∨a=a.由对偶原理,a∧a=a得证.(4)显然a∨(a∧b)?a(5)由a?a,a∧b?a可得a∨(a∧b)?a(6)

由式(5)和(6)可得a∨(a∧b)=a,

根据对偶原理,a∧(a∨b)=a.格的性质：序与运算的关系性质5设L是格,则?a,b∈L有

a?b?a∧b=a?a∨b=b格的性质：保序性质6设L是格,?a,b,c,d∈L，若a?b且c?d,则a∧c?b∧d,a∨c?b∨d格的性质(1)(a∧b)∨b是a∧b与b的最小上界,根据最小上界的定义有(a∧b)∨b?b.b是a∧b与b的上界,故有(a∧b)∨b?b.由于偏序的反对称性,等式得证.*近世代数定义1’设(L,?)是偏序集，如果?x,y?L，上确界sup{x,y}和下确界inf{x,y}都存在，则称(L,?)为格.求{x,y}上确界和下确界可以看成x与y的二元运算∨和∧，即x∨y=sup{x,y}(称为x与y的并)；x∧y=inf{x,y}(称为x与y的交).例1设n是正整数，Sn是n的正因子的集合.D为整除关系，则偏序集(Sn,D)构成格.?x,y∈Sn，x∨y=lcm(x,y)，即x与y的最小公倍数.x∧y=gcd(x,y)，即x与y的最大公约数.实例图2例2判断下列偏序集是否构成格，并说明理由.实例是格.?x,y∈Z，x∨y=max(x,y)，x∧y=min(x,y)(2)(Z,≤)，其中Z是整数集，≤为小于或等于关系.(1)(P(B),