十格与布尔代数.pptVIP

第十七章 格与布尔代数 §1 偏序与格 一、格的一般概念 偏序集(P;≤)是由一个非空的集合P 及在P上定义的偏序关系≤构成 在偏序集(P;≤)中，若对任意a,b?P有a≤b或b≤a 时称P为全序。 定义17.1:设(L;≤)为偏序集, 如果对任意的a,b?L有最小上界与最大下界时,称L为格。以a?b=lub(a,b)表示a,b的最小上界,a?b=glb(a,b)表示a,b的最大下界。 定义17.2:(L;≤)为格,如果a≤b,a?b(记为ab),且不存在u?L-{a,b}使a≤u≤b,则称b覆盖a。 当ab时,如有c1,?,ck?L(k?1),使ci+1覆盖ci(i=1,2,?,k-1),且有a=c1c2?ck=b,则称c1,?,ck为连接a,b的链。如果L的任何两个元素ab,总有连接它们的链, 则称L是离散的。有限的离散全序集的哈斯图由一条链组成。 例:设G是一个群,L(G)表示G的所有子群构成的集合,则L(G)关于集合包含关系?构成一个偏序集, 并且是格. 称为G的子群格 例:设G是一个群,P(G)表示G的所有正规子群构成的集合,则P(G)关于集合包含关系?构成一个偏序集 并且是格. 称为G的不变子群格 例:设B={0,1},≤n为定义在Bn上的关系, 对任(a1,?,an),(b1,?,bn)?Bn, (a1,?,an)≤n (b1,?,bn)当