离散小抄 课件.ppt

* §6.2 分配格 讨论定义： (1)定义中的两式互为对偶式。 (2)如L,≤非为分配格，则有下面的分配不等式： a ? (b ? c) ≤ (a ? b) ? (a ? c) a ? (b ? c) ≥ (a ? b) ? (a ? c) 以及模不等式： a≤c?a ? (b ? c) ≤ (a ? b) ? c 6. * §6.2 分配格 [定义]如对L中任意a，b，c有： a≤c?a ? (b ? c) ＝ (a ? b) ? c 则称L,≤为模格。 例： * §6.2 分配格 [定理]如果格中交对并是分配的，那么并对交也是分配的，反之亦然。 证明：已知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) 即：并对交也是分配的。 * §6.2 分配格 [定理]分配格是模格。 证明：由于a ? (b ? c) ＝ (a ? b) ? (a ? c) (1)若a≤c，则a ? c=c，代入上式得 a ? (b ? c) ＝ (a ? b) ? c (2)若a ? (b ? c) ＝ (a ? b) ?