第10讲-分配格.pptVIP

* * 格的性质 定理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 * * 格的性质3：分配不等式 性质3：在一个格A, ?中，?a,b,c∈A，都有a∨(b∧c) ? (a∨b)∧(a∨c) …… (1)(a∧b)∨(a∧c) ?a∧(b∨c) …… (2) 证：(1)分别证a 和b∧c都? (a∨b)∧(a∨c)对于a? (a∨b)∧(a∨c)分别证a?a∨b,a?a∨c显然 对于b∧c? (a∨b)∧(a∨c)分别证b∧c?a∨b,b∧c?a∨c而b∧c?b?a∨b,b∧c?c?a∨c　　(2)同理。 * * 格的性质4：模不等式 性质4 ：设A, ?是一个格，?a,b,c∈A，有　a?c?a∨(b∧c) ? (a∨b)∧c 证：“?” 　 ∵ a?c　　　　　∴ a∨c＝c　　再由分配不等式有　a∨(b∧c) ? (a∨b)∧c　　 “?”　　若a∨(b∧c) ? (a∨b)∧c　　则有a?a∨(b∧c) ? (a∨b)∧c?c　　即a?c * * 分配格定义 定义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), ?诱导的，是分配格 {b,c} {a,c} {a,b,c} φ {b} {a} {c} {b,a} eg2:每个链是分配格 * * 不满足分配律的格 钻石格： 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 a b c d e a b c d e * * 分配格的判定 有以下结论： 定理11.5：一个格是分配格 iff 该格中没有任何子格与上述两个五元素格中的一个同构。 a b c d e g f 推论1：小于5元的格是分配格。 * * 分配格的判定举例 eg1: P(S), ∨，∧ 是由格P(S), ?诱导的，是分配格 {b,c} {a,c} {a,b,c} φ {b} {a} {c} {b,a} {b,c} {a,b,c} φ {b} {a} * * 每个链是分配格 推论2：每个链是分配格。 证：设A, ?是链，则必为格　　?a,b,c∈A， 考虑a∧(b∨c)？= (a∧b)∨(a∧c) 分析a,b,c 的关系有如下六种（按大小顺序）： a ?b ?c a ?c ?b b ?a ?c b ?c ?a c ?a ?b c ?b ?a a b c * * 每个链是分配格 推论2：每个链是分配格。 证（续）：?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