离散数学 格和布尔代数.ppt

第七章格与布尔代数 布尔代数是计算机逻辑设计的基础,它是由格引出的, 格又是从偏序集引出的。所以我们先回顾一下偏序集 A≤>是偏序集≤是A上自反反对称和传递关系(偏序) 偏序集中的元素间的次序可以通过它的 Hasse图反映出来 例如A=1,2,36,12,24,36},≤是A上的整除关系 其 Hasse图如图所示,BcAB≠ 1B的极小元与极大元 y是B的极小元今y∈BA-彐x(x∈ BAXSy) y是B的极大元今y∈BA-x(X∈BAy≤x) 例如{2,3,6}的极小元:2,3极大元:6 2B的最小元与最大元 24a y是B的最小元兮y∈BAx(x∈B→ysx) 12e y是B的最大元令彐y∈BAx(x∈B→x≤y) 23,6}的最小元:无最大元:6 6 B如果有最小元最大元),则是唯一的。 3B的下界与上界 y是B的下界y∈AAVx(x∈B→y≤x) y是B的上界兮y∈AAVx(x∈B→Xsy) 2,3,6}的下界:1上界:6,12,24,36 4B的最大下界(下确界)与最小上界(上确界) y是B的最大下界(下确界):B的所有下界x,有xsy y是B的最小上界(上确界):B的所有上界x有y≤x {2,36}下确界:1上确界:6(B若有下(上)确界,则唯一) 7-1格( Lattice 基本概念 1.格的定义 A,≤>是偏序集,如果任何ab∈A使得{a,b}都有最大 下界和最小上界,则称<A,≤>是格。 右图的三个偏24a36 序集, <A,s>不是格, 214 因为{24,36} 2 无最小上界。 <B,≤><C,≤> 是格。 <B.> b 这三个偏序集,也都不是格,第一个与第三个是同构的。 因为d和e无下界,也无最小上界;b,c虽有下界,但无 最大下界。2,3无最大下界,435无最小上界 2.平凡格:所有全序都是格,称之为平凡格。 因为全序中任何两个元素x,y,要么Xsy,要么y 如果xsy,则【x,y}的最大下界为x,最小上界为y。 如果y≤x,则{x,y}的最大下界为y,最小上界为x 即这{x,y}的最大下界为较小元素,最小上界为较大元素 3.由格诱导的代数系统 设<A,≤>是格,在A上定义二元运算v和∧为:Va,b∈A avb=LUB{ab}{a,b}的最小上界 Least Upper Bound a∧b=GLB{a,b}{ab}的最大下界 Greatest Lower Bound 称<A,V,A>是由格<A≤诱导的代数系统(-并,A交) 例如右边的格中aAb=bavb=ab∧c=e 4.子格:设<A,≤>是格,<A,v,A>是 由<A,≤>诱导的代数系统。B是A的 非空子集,如果∧ 和在B上封闭,则 称<B,s>是<A,≤> f 的子格 g 夕一6 <C,≤>是<A,≌>的子格。<A,><B,><C,> 而<B,s>不是.bAc=d∈B,(运算规则要从格<As>中找)