离散数学ch1 格与布尔代数.ppt

欢 迎 进 入 第 十 章 格 与 布 尔 代 数 目 录 引言 1 格 2 分配格 3 有补格 4 布尔代数 5 布尔表达式 引 言 对于计算机科学来说，格与布尔代 数是两个重要的代数系统。 §10.1 格 一.格的定义 1. 概念 2. 对偶原理 3. 基本性质 二.格是代数系统 1. 作为代数系统的格的定义 2. 偏序集合的格、代数集合的格的关系 三.子格 1. 子格 2. 格同态 一． 格的定义 一． 格的定义 1．偏序集合的一些概念 ①?若集合A上的二元关系满足自反性、 对称性、传递性，称A为偏序集合。 aRb记为a≤b, 它可用哈斯图表示。 例： 一． 格的定义 设〈L，≤〉是偏序集合，若?a，b?L， 都有最大下界、最小上界; 则称〈L，≤〉是个格，且记glb(a,b)=a?b, lub(a,b)=a?b,并称它们为交和并。 一． 格的定义 格 不是格的偏序集合 ? 设S是任意集合，?(S)是幂集， 偏序集合S, ?是个格，其中 ?A,B??(S), A*B=A∩B, A?B=A∪B. 一． 格的定义 ①集合S的偏序关系≤的逆关系≥也是偏序关系， 若A?S, 其中≤的glb(A)对应于≥的lub(A), ≤的lub(A)对应于≥的glb(A), 所以，若S, ≤是格，则S, ≥也是格， 称这两个格互为对偶。 ②因为S, ≤的交是S, ≥的并， S, ≤的并是S, ≥ 的交， 所以，关于格的一般性质的任意命题， 如用≥替换≤，用?替换?，用?替换?， 格的一般性质的任意命题仍成立，这称为格的对偶原理。 一． 格的定义 1) 7) 13) 2) 8) 3) 9) 4) 10) 5) 11) 6) 12) 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 一． 格的定义 5）最大下界描述之二 c≤a,c≤b ? c≤a?b 对偶c≥a,c≥b ? c≥a?b 一． 格的定义 证： 令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 一． 格的定义 证： 因为a≤a?b, a≤a 所以 a≤a?(a?b) 又 a≥a?(a?b) 所以a= a?(a?b) 一． 格的定义 证：? a≤b ?a≤a, a≤b ?a≤a?b 又 a≥a?b ? a=a?b ???? ? a?b=a 若b≤a且b?a, 则与a?b=b 矛盾 若a,b不可比较，则与a?b=a矛盾 ? a≤b 一． 格的定义 证： a?b≤a, a≤c ? a?b≤c a?b≤b, b≤d ? a?b≤d ? a?b≤c?d 一． 格的定义 证： 因为a≤a, b≤c 由性质10) 知 a?b≤a?c 即证。 一． 格的定义 证: a≤a?b, a≤a?c ? a≤(a?b)?(a?c) b≤a?b, c≤a?c ? b?c≤(a?b