第六章格与布尔代数
- 格式:ppt
- 大小:163.00 KB
- 文档页数:5
第六章格与布尔代数教学重点:掌握格、子格的定义,理解并且学会证明格的几个基本性质;透彻理解分配格和有补格的定义和性质的证明。
教学难点:格、子格、分配格和有补格的定义和性质的证明。
教学要求:格、子格、分配格和有补格的定义和性质的证明。
6-1 格 (Lattice)一 . 基本概念1. 格的定义<A,≤>是偏序集,如果任何a,b∈A,使得{a,b}都有最大下界和最小上界,则称<A,≤>是格。
2. 由格诱导的代数系统设<A, ≤>是格,在A上定义二元运算∨和∧为:∀a,b∈A a∨b=LUB {a,b} {a,b}的最小上界.Least Upper Bound a∧b=GLB {a,b} {a,b}的最大下界.Greatest Lower Bound,称<A,∨,∧>是由格<A,≤>诱导的代数系统. (∨-并,∧-交)例如右边的格中a∧b=b a∨b=a b∧c=e3. 子格:设<A,≤>是格, <A,∨,∧>是由<A,≤>诱导的代数系统。
B是A的非空子集,如果∧和∨在B上封闭,则称<B, ≤>是<A, ≤>的子格。
二. 格的对偶原理设<A,≤>是格,≤的逆关系记作≥,≥也是偏序关系。
<A, ≥>也是格,<A,≥>的Hasse图是将<A,≤>的Hasse图颠倒180º即可。
格的对偶原理:设P是对任何格都为真的命题,如果将P中的≤换成≥,∧换成∨,∨换成∧,就得到命题P’ , 称P’为P的对偶命题,则P’对任何格也是为真的命题。
例如:P: a∧b≤a P’: a∨b≥a{a,b}的最大下界≤a {a,b}的最小上界≥a三. 格的性质<A,∨,∧>是由格<A,≤>诱导的代数系统。
∀a,b,c,d∈A1. a≤a∨b b≤a∨b a∧b≤a a∧b≤b此性质由运算∨和∧的定义直接得证。