9-1-aolm-离散数学.ppt

第1篇 数理逻辑 第2篇 集合论 第3篇 代数结构 第4篇 图论 第3篇 代数结构数学的本质就在于一切能证明的都要证明。G. Frege 第3篇 代数结构 第8章 群 第9章 格与布尔代数 第3篇 代数结构 第9章 格与布尔代数 9.1 格 9.2 布尔代数 9.3 应用 9.4 典型例题解析 第 9 章 格与布尔代数数学是科学的大门钥匙，忽视数学必将伤害所有的知识，因为忽视数学的人是无法了解任何其他科学乃至世界上任何其他事物的。更为严重的是，忽视数学的人不能理解他自己这一疏忽，最终将导致无法寻求任何补救的措施。Bacon Roger 第 9 章 格与布尔代数布尔代数是一个抽象代数系统。对于它的建立可循两个途径进行：一是从抽象代数的观点出发，把布尔代数看成是特殊的格 —— 布尔格，使其立于现代数学的抽象代数结构之上；二是从数理逻辑观点出发，把直观布尔代数看成是形式布尔代数的标准模型，使其立于现代数学的形式化结构之上。这样两种奠基法，无疑地将加深对于布尔代数的数学本质的认识。布尔（George Bool，1815~1864 年，英国数学家）在狄德京（Declekind）之前就曾引出过一种特殊的格——有余分配格，这种格被称为布尔代数。历史上最初出现的格是布尔于 1854 年提出的，是他在研究命题演算中发现的。大体于 1935 年左右形成的近代格论，正是来源于逻辑、数论、代数学与几何学领域，并与其他数学分支广泛地联系着。格是伯克霍夫（Birkhoff 1884~1944 年）在 20 世纪 30 年代提出的，格的提出以子集为背景。格是一种特殊的偏序集，满足一定条件的偏序集称为格，同时格又可看成是具有两个二元运算的代数系统。格和布尔代数的理论成为计算机硬件设计和通讯系统设计中的重要工具。 9.1 格 9.1.1 格的定义 定义9.1 对于偏序集 (L,≤) 的任意两个元素 a、b，恒存在上确界（记为 sup{a, b}）及下确界（记为 inf{a, b}）时，称该偏序集为格。格是一个抽象的代数结构 (代数系统)。显然，一个序集是一个格，但是，不是所有偏序集都是格。对于 a∈L、b∈L，a、b 的上确界和下确界分别用 a∨b (或 a?b，或 a?b) 和 a∧b ( 或 a?b,a.b) 来表示，依次称为 a,b 的并和交，这是格中的两种基本运算。在下图中，给出了格的哈斯图， 下图左侧给出了不是格的哈斯图。右侧是格的实例。 【例9.4】设 S 是所有的命题集合，定义 “?” 关系如下：A ? B 当且仅当 B 蕴涵 A 则 (S, ?) 是一个格。对 ?A, B∈S，sup{A, B}＝A∧B∈Sinf{A, B}＝A∨B∈S定义9.2 若格 L 的一个子集 M≠Ф 对于运算 ? 和 ? 封闭，则 M 称作子格。 例如：a 是格 L 的一个固定元素，则使 X≥a(或 X≤a) 的 L 中元素 X 的集合，显然是一个子格。若 a≥b，则使a≥X≥b 的 L 中元素 X 的集合是一个子格，这样的子格叫作一个闭区间(商)，记作 M[a,b]。还可以将格定义为一个代数系统，在这个代数系统中，可以定义一个偏序关系。这样就可以把与代数系统有关的许多概念应用于格。 定义9.3 设 (L, ?, ?) 是一个代数系统，其中 L 是一个集合，?, ? 是 L 上两个二元代数运算，如果若对于 L 中任意元素 a、b、c，二元运算都满足下列条件时： 交换律：a?b＝b?a，a?b＝b?a。 结合律：a?(b?c)＝(a?b)?c，a?(b?c)＝(a?b)?c。 吸收律：a?(a?b)＝a，a?(a?b)＝a。 则称此代数系统 (L, ?, ?) 为一个格。定义中没有要求 ?, ? 运算满足等’幂律，实际上由 ?, ?满足吸收律即可推出它们一定满足等幂律。任取 L 中元素 a，由 ?, ? 满足吸收律知a?(a?a)＝aa?(a?a)＝a 故 a?a＝a?(a?(a?a)) a?a＝a?(a?(a?a)) 又由 ?, ? 满足吸收律知，上面两式的等式右端都等于 a。因此， a?a＝aa?a＝a 即定义 9.3 中的 ?, ? 运算亦满足等幂律。 同样，?, ? 运算满足保序性。设 (L,≤) 是一个格，任取 L 中元素 a, b, c, d，容易得出， b≤c ? a?b≤a?c，a?b≤a?c a≤c，b≤d? a?b≤c?d，a?b≤c?d 可以看出，定义 9.3 给出了格的充分条件。 【例9.7】设 n 是一个正整数，Sn 是 n 的所有因数的集合，两个正整数的最大公因数 ?，最小公倍数 ? 可看作是 Sn 上两个代数运算，于