第17章格与布尔代数.PDFVIP

离散数学讲义稿 第五部分 代数结构 17章 格与布尔代数 林兰 2011.5 内容 n 17.1 格的定义与性质 n 17.2 子格与格同态 n 17.3 分配格与有补 n 17.4 布尔代数 n 17.5 布尔表达式 1 离散数学讲义稿 17.1 格的定义与性质 引入： A n 集合代数: ﹤2 , ∪, ∩﹥ ∪, ∩运算满足幂等律，交换律，可结合律，吸收律，分配律 n 命题代数：设S是命题集合，﹤S, ∨, ∧﹥ ∨, ∧运算满足幂等律，交换律，可结合律，吸收律，分配律 说明：本章用∨, ∧表示格的两个二元运算符。 17.1 格的定义与性质 1. 定义 设 L , , 是一个代数系统。如果∨和∧满足 a b b a a b b a ①交换律： , ②结合律：a (b c) (a b) c,a (b c) (a b) c ③吸收律：a (b a) a, a (a b) a 则称 L , , 为一个 数格。 A 例如：﹤2 , ∪, ∩﹥ ﹤S, ∨, ∧﹥ 2 离散数学讲义稿 17.1 格的定义与性质 定理 幂等律 设 L ,, 是一个代数格，a L ，则必有 a a a, a a a 17.1 格的定义与性质 2. 偏序 a b L 定义：设≤是集合L 上的一个偏序。如果对 , ,子集{a,b} 在L 中都有一个最大下界和一个最小上界，则称﹤L, ﹥为一 个偏序格。 a 和b 的最大下界记为glb(a,b) ，最小上界记为lub(a,b) 。 例：【17.1】有限偏序集成为偏序格：必须有最大元和最小元。 例：幂集格﹤2 S , ﹥，lub(X, Y)=X ∪Y ，glb(X, Y)=X ∩Y 3 离散数学讲义稿