第07章格与布尔代数.ppt

第七章 格与布尔代数 引 言 对于计算机科学来说，格与布尔代数是两个重要的代数系统。 在开关理论计算机的逻辑设计，及其它一些科学领域中，都直接应用了格与布尔代数。 引 言 格的结构是基于偏序关系。 偏序：自反、反对称、传递。 布尔代数是特殊的格。命题代数和集合代数都是布尔代数的特例。 此两个系统有一个重要特点：强调次序关系。 §7.1 格 一、格的定义 1、概念 2、对偶原理 3、基本性质 二、格是代数系统 1、作为代数系统的格的定义 2、偏序集合的格、代数集合的格的关系 三、子格 1、子格 2、格同态 一、格的定义 (1)?若集合A上的二元关系满足自反性、反对称性、传递性，称A为偏序集合。aRb记为a≤b, 它可用哈斯图表示。 一、格的定义 设〈A,≤〉是偏序集，若?a,b?A，都有最大下界、最小上界；则称〈A,≤〉是个格，且记 glb(a,b)=a∧b， lub(a,b)=a∨b, 并称它们为交和并。 解： (1) ?(B), ? 是格。 ?x,y∈ ?(B)，x∨y就是x∪y，x∧y就是x∩y。 由于∪和∩运算在?(B)上是封闭的，所以x∪y，x∩y∈ ?(B)。称 ?(B), ?，为B的幂集格。 (2) Z, ≤ 是格。 ?x,y∈Z,x∨y＝max(x,y)，x∧y＝min(x,y)，它们都是整数。 (3) 都不是格。 (a) 中的{a,b}没有最大下界。 (b) 中的{b,d}有两个上界c和e，但没有最小上界。 (c) 中的{b,c}有三个上界d,e,f，但没有最小上界。 (d) 中的{a,g}没有最大下界。 2、格的对偶原理 ① 集合S的偏序关系≤的逆关系≥也是偏序关系，若A?S, 其中 ≤的glb(A) 对应于 ≥的lub(A), ≤的lub(A) 对应于 ≥的glb(A), 所以，若S,≤是格，则S,≥也是格， 称这两个格互为对偶。 2、格的对偶原理 ② 因为S,≤的交是S,≥的并， S,≤的并是S,≥的交， 所以，关于格的一般性质的任意命题， 如用≥替换≤，用∨替换∧，用∧替换∨， 格的一般性质的任意命题仍成立，这称为格的对偶原理。 3、格的基本性质 1）自反性 a≤a 对偶：a≥a 2）反对称性 a≤b ∧ b≥a ? a=b 对偶：a≥b ∧ b≤a ? a=b 3）传递性 a≤b ∧ b≤c ? a≤c 对偶：a≥b ∧ b≥c ? a≥c 3、格的基本性质 4）最大下界描述之一 a∧b≤a 对偶：a∨b≥a a∧b≤b 对偶：a∨b≥b 5）最大下界描述之二 c≤a,c≤b ? c≤a∧b 对偶：c≥a,c≥b ? c≥a∨b 3、格的基本性质 6）结合律 a∧(b∧c)=(a∧b)∧c 　对偶：a∨(b∨c)=(a∨b)∨c 证：令R=a∧(b∧c)，R’=(a∧b)∧c 则由4） R≤a, R≤b∧c ? R≤a, R≤b, R≤c ? R≤a∧b, R≤c ? R≤(a∧b)∧c ? R≤R’ 同理可证：R≥R’ 所以 R=R’ 注：格的证明思路——总是利用反对称性。 3、格的基本性质 7）等幂律 a∧a=a 对偶： a∨a=a 3、格的基本性质 证：?） a≤b ∵ a≤a, a≤b ? a≤a∧b 又 a≥a∧b ? a=a∧b ????） a∧b=a 若b≤a且b?a, 则与a∧b=a 矛盾 若a,b不可比较，则与a∧b=a 矛盾 ? a≤b 3、格的基本性质 证： a∧b≤a, a≤c ? a∧b≤c a∧b≤b, b≤d ? a∧b≤d ? a∧b≤c∧d 同理可证： a≤c, b≤d ? a∨b≤c∨d 3、格的基本性质 证：因为a≤a, b≤c 由性质10) 知 a∧b≤a∧c # 同理可证： a∨b≤a∨c 3、格的基本性质 证：　 a≤a∨b, a≤a∨c ? a≤(a∨b)∧(a∨c) b≤a∨b, c≤a∨c ? b∧c≤(a∨b)∧(a∨c)（性质10） ? a∨(b∧c)≤(a∨b)∧(a∨c) 3、格的基本性