第13讲分配格.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∧(b∨c)=(a∧b)∨(a∧c)那么(a∨b)∧(a∨c)=((a∨b)∧a)∨((a∨b)∧c)　　=a∨((a∨b)∧c)　　=a∨((a∧c)∨(b∧c))　　=(a∨(a∧c))∨(b∧c)　　=a∨(b∧c)　　　　　　　　　反之同理可证 分配格举例 eg1: P(S), ∨，∧ 是由格P(S), ?诱导的，是分配格 分配格的判定 有以下结论： 定理11.5：一个格是分配格 iff 该格中没有任何子格与上述两个五元素格中的一个同构。 每个链是分配格 推论2：每个链是分配格。 证：设A, ?是链，则必为格　　?a,b,c∈A， 考虑a∧(b∨c)？= (a∧b)∨(a∧c) 分析a,b,c 的关系有如下六种（按大小顺序）： 每个链是分配格 定理：每个链是分配格。 证（续）：?a,b,c∈A，分以下两种情形：　　(1)a?b或a?c　　(2)b?a且c?a　对于情况(1),无论b?c还是c?b，都有　a∧(b∨c)=a和(a∧b)∨(a∧c)=a　对于情况(2),总有b∨c?a　所以，a∧(b∨c)=b∨c　而由b?a,c?a.应有(a∧b)∨(a∧c)＝b∨c　故得证 分配格性质 性质1：设A, ?是一个分配格，那么，对于?a,b,c∈A，若有a∧b=a∧c和a∨b=a∨c,则有b=c. 证：(a∧b)∨c=(a∧c)∨c=c而又有(a∧b)∨c=(a∨c)∧(b∨c)=(a∨b)∧(c∨b)=(a∧c)∨b=(a∧b)∨b= b 分配格的判定2 设格L, ?是一个分配格，当且仅当?a,b,c∈L，若有a∧b=a∧c和a∨b=a∨c,则有b=c. 全上界\全下界 定义11.6：格L, ?是一个格，若存在a ∈L,使得?x∈L，有a ? x,则称a为L的全下界。若存在b∈L,使得?x∈L，有x ? b,则称b为L的全上界。 有界格 定义11.7：L, ?是一个格，若L存在全下界和全上界，则称L 为有界格，并记L为L, ∧,∨,0,1 。 全下界0 　　（唯一, ∧零元， ∨单位元） 全上界1 （唯一, ∨零元， ∧单位元） 有界格，存在0,1 补元 定义11.8：格L, ∧,∨,0,1是有界格， a∈L，若存在b ∈L，使得　a∧b=0, a∨b=1, 则称b是a的补元。 a与b互为补元。 0与1互补 补元举例 有补格 定义11.9（有补格）：每一个元都有补元的有界格。 思考： 求补是否为有补格上的一元运算？ 补元唯一性质 定理11.6：有界分配格中的元素a 如果存在补元，则是唯一的。 布尔代数 有补分配格称为布尔格（布尔代数）　　　B, ? 　 求补是布尔格上的一元运算 1,0是布尔格上的零元运算 诱导的代数系统B, ∧,∨, ’,0,1 实例：幂集格 布尔代数的性质 交换律 x ∧ y=y ∧ x, x ∨ y=y ∨ x 分配律 x ∧(y ∨ z)=(x ∧ y) ∨(x ∧ z) x ∨(y ∧ z)=(x ∨ y) ∧(x ∨ z) 同一律 x ∧ 1=x, x ∨ 0=x 补元律 x ∧ x=0, x ∨ x’=1 注：同时也是代数系统做成布尔代数的条件 布尔代数的性质 双重否定律(a’ )’ =a D.M律