格与布尔代数

本节是代数结构的第三大分支，建立在偏序集的基础上，逐步引出布尔代数。

一、格

定义

设是偏序集。若对任意，都存在：

最小上界（记作，读作" 并 "）
最大下界（记作，读作" 交 "）

则称是一个格，也写作。

两个典型例子

例 1：（是 8 的因数集，是整除关系）

Hasse 图（从下到上表示"被整除"关系）：

8
|
4
|
2
|
1

运算	结果	含义
		的最小公倍数
		的最大公因数

例 2：（，同样是整除关系）

Hasse 图（菱形结构）：

运算	结果

什么时候不是格？

如果某两个元素找不到唯一的最小上界，就不构成格。例如，两个元素都是上界，但谁也不比谁小，就不满足"最小"上界的要求。

判断练习

(a) 以下 Hasse 图是否构成格？

    e
   / \
  b   d
   \ /
    c
    |
    a

❌ 不是格
元素和都在上方，是某些元素对的上界，但它们之间没有偏序关系，导致部分元素对没有唯一最小上界。

(b) 以下 Hasse 图是否构成格？

f   d
    |
b - c
 \ /
  a
  |
  e

❌ 不是格
和之间既无最小上界，也无最大下界。

(c) （集合的幂集，包含关系）

对任意：

✅ 是格（并集 = 最小上界，交集 = 最大下界）

二、有界格

什么是有界格？

直白理解： 格里存在"最大的元素"和"最小的元素"。

定义

若格中存在：

全下界 ：对所有成立（最小元素）
全上界 ：对所有成立（最大元素）

则称该格为有界格，记作。

例：是有界格

8  ← 全上界 (1)
|
4
|
2
|
1  ← 全下界 (0)

全下界是（因为整除所有元素）
全上界是（因为所有元素都整除）

三、有补格

什么是补元？

直白理解： 两个元素"互补"，意味着它们合在一起能覆盖整个格（并得到最大值），同时没有任何公共部分（交得到最小值）。

定义

在有界格中，若存在使得：

则称为的补元。若格中每个元素都有补元，称该格为有补格。

例：中的补元情况

元素	补元	验证
		（全下界✅），（全上界✅）
		同上 ✅
	无	找不到使且
	无	同上

不是有补格，因为和没有补元。

四、布尔代数

什么是布尔代数？

一句话：布尔代数 = 有补分配格

定义

是布尔代数，当且仅当它同时满足：

格：任意两个元素有最小上界（）和最大下界（）
有界：有全上界和全下界
有补：每个元素都有补元（满足，）
分配律：

其中表示补运算。

补元唯一性

在布尔代数中，每个元素的补元唯一。这是布尔代数区别于一般有补格的关键性质。

布尔代数的基本定律

定律	形式	形式
幂等律
交换律
结合律
分配律
吸收律
零一律
补元律
双补律		—
德摩根律

布尔代数例题

题目：设是布尔代数，：

(1) 化简

(2) 等式成立的条件是什么？

(1) 逐步化简

第一步：（补元律）

第二步：（零一律）

第三步：（补元律）

第四步：（零一律）

(2) 分析等式成立的条件

两项"并"（）的结果为全下界，说明两项都必须等于 ：

由第二个条件，再结合需要找一个与构成互补关系的元素：

若同时有，则是的补元。

在布尔代数中补元唯一，故：

验证：当时， ✅， ✅

五、知识点总结

核心概念速查

概念	通俗理解	关键条件
格	任意两个元素都有"并"和"交"	每对元素有最小上界和最大下界
有界格	格里有最大值和最小值	存在全上界和全下界
有补格	每个元素都有"对立面"
布尔代数	有补 + 分配律 + 有界的格	有补分配格，补元唯一

层次关系

格（Lattice）
└── 有界格（Bounded Lattice）：加上全上界 1 和全下界 0
    └── 有补格（Complemented Lattice）：加上每个元素都有补元
        └── 布尔代数（Boolean Algebra）：再加上分配律 ⭐

典型例子

结构	是否是布尔代数	原因
	✅	集合代数天然满足所有条件
	✅	命题逻辑的经典布尔代数
（8 的因数，整除关系）	❌	无补元
（6 的因数，整除关系）	✅	与互补，与互补

常见误区

有补格 ≠ 布尔代数：有补格中补元不一定唯一，且不一定满足分配律
分配格 + 有补 → 补元自动唯一，这正是布尔代数的关键性质
判断是否是布尔代数，必须同时验证：有界、有补、分配律三个条件

格与布尔代数 ​

一、格 ​

定义 ​

两个典型例子 ​

判断练习 ​

二、有界格 ​

什么是有界格？ ​

三、有补格 ​

什么是补元？ ​

四、布尔代数 ​

什么是布尔代数？ ​

布尔代数的基本定律 ​

布尔代数例题 ​

(1) 逐步化简 ​

(2) 分析等式成立的条件 ​

五、知识点总结 ​

核心概念速查 ​

层次关系 ​

典型例子 ​