二、有界格和有补格
有补格定义: 如果在一个有界格中,每个元素都至少有一个补元,则称这个格为有补格. 上图中(2)和(3)是有补格,而(1)不是有补格.
定理7 在有界格<L,∧,∨,0,1>中, 0 和 1互为补元, 且是唯一的.
证明: ∵0∧1=0,0∨1=1,∴0、1互为补元。设c也是0的补元, ∵0∨c =1, ∴必有c=1,故0的补元唯一。 同理可证1的补元也唯一。 定理8 在分配格中,如果元素a∈L有一个补元a' ,则此补元a'是唯一的. 证明: 设 b,c都是a的补元, 则a∧b=0=a∧c, a∨b=1=a∨c,分配格 满足消去律,可知b=c. 消去律: (即对于任意a,b,c∈L有(a∧b=a∧c)∧ (a∨b=a∨c)⇒b=c)
一、分配格
定理4 设<L,*,⊕>是一个分配格,那么对于任意a,b,c∈L,若有a*b= a*c和a⊕b=a⊕c,则必有b=c。 证明: c = (a*c)⊕c = (a*b)⊕c = (a⊕c) *(b⊕c) = (a⊕b)*(b⊕c) = ((a⊕b)*b)⊕((a⊕b) * c) = b⊕((a*c) ⊕(b*c))
二、有界格和有补格
例2 (1) S={a,b,c}, 偏序格是 <ρ(S), ⊆>, 全上界 S ∀A∈ρ(S),有A⊆S 全下界 Ø ∀A∈ρ(S), 有Ø⊆A (2) X={A|A是由变元p1,p2,…,pn, ﹁,∧,∨,→, 构成的合式公 式集}。< X, ∧,∨ >诱导的偏序格是 <X, >. 全上界 T ∀P∈X,有PT 全下界 F ∀P∈X, 有FP.
三、布尔格(布尔代数)
布尔格的定义 如果格<L,∧,∨,0,1>,既是有补格,又是分配格,则称此格为布尔格(或有 补分配格),也叫做布尔代数. 例3 设S是非空有限集合, <ρ(S),∩,∪>为代数格 ∀A,B∈ρ(S),A≤BA∩B=AA⊆B 由<ρ(S),∩,∪>诱导的偏序格是<ρ(S),⊆>. 说明<ρ(S),⊆>是布尔格. 证明 (1)<ρ(S),⊆>是格; (2)<ρ(S),⊆>是有界格, 因为