第讲_分配格.ppt

格的性质 定理11.1 ：设A, ?为一个格，由它诱导的代数系统为A, ∨，∧，则对任意的a,b,c,d∈A,有 (1) a∨b=b∨a; a∧b=b∧a－－(交换律) 　 (2) a∨(b∨c)=(a∨b)∨c; a∧(b∧c)=(a∧b)∧c——(结合律) 　　　 (3) a∨a=a; a∧a=a——(幂等律) (4) a∨(a∧b)=a; a∧(a∨b)=a——(吸收律) 格的不等式 （1）保序不等式 a?b,c?d ? a∧c?b∧d, a∨c?b∨d （2）分配不等式 a∨(b∧c)?(a∨b)∧(a∨c), a∧(b∨c)?(a∧b)∨(a∧c) （3）模不等式 a?b ?a∨(c∧b)?(a∨c)∧b 不满足分配律的格 钻石格： b ∨ (c∧d) = b ∨ a = b (b∨c) ∧ (b∨d) = e∧e = e 五角格：c∧(b∨d)=c∧a=c(c∧b)∨(c∧d)=e∨d=d 分配格定义 定义11.5：设A, ∨，∧是由格A, ?所诱导的代数系统，如果对任意的a,b,c∈A，满足　　　　　　　a∧(b∨c)=(a∧b)∨(a∧c)a∨(b∧c)=(a∨b)∧(a∨c) 则称A, ?是分配格。 分配律的两个形式等价 如果在一个格中交对并可分配，则并对交也可分配，反之亦然。 证：?a,b,c∈S,(格)如果a∧(