偏序、格和布尔代数是逐层加条件的结构
偏序只规定哪些对象可以比较;格进一步要求任意两个对象都有唯一的最大下界与最小上界;布尔代数还要求格有最小元、最大元,满足分配律,并且每个元素都有补元。三者不能互换:每个格都是偏序集,每个布尔代数都是格,反方向一般不成立。
偏序集、格与布尔代数
集合 P 上的关系 ⪯ 若满足自反性、反对称性和传递性,就称
(P,⪯) 为偏序集。对 x,y∈P,若存在最大下界,记为
x∧y;若存在最小上界,记为 x∨y。任意一对元素都具有这两个元素时,P 是格。
若格还含最小元 0 与最大元 1,满足
x∧(y∨z)=(x∧y)∨(x∧z), 以及它的对偶分配律,并且每个 x 都有元素 x′ 使
x∧x′=0,x∨x′=1, 则称其为布尔代数。
这里的反对称性是:x⪯y 且 y⪯x 推出 x=y。它没有要求任意两点可比。格也不要求存在补元;即使一个有界格中的每个元素都有补元,缺少分配律时仍不能称为布尔代数。
链、反链与极值元描述不同方向的秩序
偏序集的子集 C 若任意两点可比,称为链;子集 A 若任意两个不同元素都不可比,称为反链。最大元要大于等于全部元素,极大元只要求没有严格更大的元素。最大元若存在必定唯一,极大元却可以有多个;最小元与极小元按相反方向定义。
哈斯图只保留覆盖关系。若 x≺y 且不存在 z 满足
x≺z≺y,就说 y 覆盖 x。绘图时把较大的元素放在上方,传递边、自环和箭头通常省略。省略的边仍属于偏序关系,不能据此把“没有直接连线”误判为不可比。
十二的因子构成一个格
令
D12={1,2,3,4,6,12}, 并规定 a⪯b 当且仅当 a∣b。覆盖关系是
1≺2,1≺3,2≺4,2≺6,3≺6,4≺12,6≺12. {1,2,4,12} 是一条四元素链,{3,4} 是反链。最小元为
1,最大元为 12。对任意 a,b∈D12,
a∧b=gcd(a,b),a∨b=lcm(a,b), 而两个结果仍是 12 的因子。例如
4∧6=2,4∨6=12. 因此 D12 是格。元素 2 没有补元:若 2∧x=1,候选只能含奇因子;在该集合中 x=3,但 2∨3=6=12。所以这个格不是布尔代数。
上下界是否落在集合内决定格结构
给定 x,y∈P,下界 l 满足 l⪯x 且 l⪯y;最大下界不只是数值上“大”,还必须大于等于每一个共同下界。上界和最小上界按对偶方式定义。最小上界可能在更大的环境中存在,却没有落入当前偏序集;此时当前偏序仍不是格。
有共同上界不保证有最小上界
取五个元素 p,q,r,s,t,令 p,q 互不可比,并让 r,s,t 都严格大于
p,q,而 r,s,t 彼此不可比。于是 p,q 有三个共同上界,却没有一个共同上界小于等于另外两个,因此 p∨q 不存在。偏序图看起来有“上层”,仍不能据此称为格。
有限偏序中可以枚举共同上下界来判定一对元素是否有交、并;无限偏序则通常需要结构性证明。若一个子集在原偏序中的交或并存在,但结果不属于该子集,该子集在继承偏序下未必仍是子格。
子集格把集合运算变成布尔运算
对有限全集 U,幂集 P(U) 按包含关系排序。任意
A,B⊆U 都有
A∧B=A∩B,A∨B=A∪B,A′=U∖A.
最小元是 ∅,最大元是 U。集合的交、并满足两条分配律,每个集合与其补集的交为空、并为全集,所以
(P(U),⊆) 是布尔代数。若 ∣U∣=n,它有 2n 个元素,第 k 层有 (kn) 个元素。
三元素子集格的链、反链和区间
令 U={a,b,c}。一条极大链为
∅⊂{a}⊂{a,b}⊂U. 三个单元素集合
{a},{b},{c} 两两不可比,构成反链。取
A={a}、B=U,闭区间
[A,B]={X:A⊆X⊆B} 包含
{a},{a,b},{a,c},U, 恰有 2∣B∖A∣=22=4 个元素。映射
X↦X∖A 把该区间双射到
P(B∖A),所以计数不是依靠图形猜得,而是来自明确双射。
序理想把一个偏序变成分配格
偏序集 (P,⪯) 的子集 I 若满足:x∈I 且 y⪯x 时必有
y∈I,就称为下闭集或序理想。全部序理想组成的集合记为
J(P)。任意两个序理想的交与并仍向下封闭,因此
I∧K=I∩K,I∨K=I∪K.
集合的分配律直接表明 J(P) 是有界分配格,最小元为
∅,最大元为 P。它却未必有补元:相对于 P 的集合补可能破坏下闭性。
取三元素偏序 p≺r、q≺r,其中 p,q 不可比。其全部序理想恰为
∅,{p},{q},{p,q},{p,q,r}.
例如 {p} 的集合补是 {q,r},但该补集包含 r 却遗漏前驱
p,所以不是序理想。由此可见,分配格仍可能不是布尔代数。若 P 是反链,则每个子集都自动向下封闭,J(P)=P(P),这时才得到完整的子集布尔代数。该构造也解释了依赖任务的可行完成状态为何对交、并封闭,却通常不对补封闭。
每个元素 x∈P 还决定主序理想
↓x={y∈P:y⪯x}.
映射 x↦↓x 保持并反映次序:若
x⪯z,传递性给出
↓x⊆↓z;反过来,若该包含成立,因为
x∈↓x,便有 x⪯z。所以任何偏序都可以忠实表示为某个子集族上的包含关系。不过,这个主序理想族未必对交、并封闭;能嵌入幂集偏序不代表原偏序已经是格。
这个表示保存的是比较关系;若还要保存交、并或补,就必须分别证明对应运算在像中存在并与原运算相容。
分配律是布尔代数不可省略的门槛
考虑五元菱形格
M3={0,a,b,c,1}:0 在底部,1 在顶部,a,b,c 是两两不可比的中间元素。任意两个不同中间元素的交为 0、并为 1。每个中间元素都有补元,例如 b 和 c 都是 a 的补元。然而
a∧(b∨c)=a∧1=a,
而
(a∧b)∨(a∧c)=0∨0=0.
分配律失败,故 M3 是有界且有补的格,却不是布尔代数。这个五元素例子同时说明,在一般有补格中补元可能不唯一;布尔代数的分配律会保证补元唯一。
由分配律验证 De Morgan 律
在布尔代数中,证明 (x∨y)′=x′∧y′,只需验证右侧是
x∨y 的补元。先算交:
(x∨y)∧(x′∧y′)=(x∧x′∧y′)∨(y∧x′∧y′)=0. 再算并,利用对偶分配律:
(x∨y)∨(x′∧y′)=(x∨y∨x′)∧(x∨y∨y′)=1. 补元唯一,所以等式成立。交换 ∧ 与 ∨、同时交换 0 与
1,得到对偶式 (x∧y)′=x′∨y′。在子集格中,这正是集合的 De Morgan 律。
莫比乌斯反演要求区间局部有限
偏序集 P 称为局部有限,如果对每个 x⪯y,区间
[x,y]={z∈P:x⪯z⪯y}
都是有限集。这个条件保证卷积
(a∗b)(x,y)=x⪯z⪯y∑a(x,z)b(z,y)
只有有限项。定义 zeta 函数 ζ(x,y)=1,莫比乌斯函数
μ 是它在卷积下的逆:
μ(x,x)=1,μ(x,y)=−x⪯z≺y∑μ(x,z)(x≺y).
因此
x⪯z⪯y∑μ(x,z)={1,0,x=y,x≺y.
若 P 有限,或所涉及的主理想求和确实有限,且
g(y)=x⪯y∑f(x),
则
f(y)=x⪯y∑μ(x,y)g(x).
仅有局部有限性时,每个区间卷积是有限和,但集合
{x:x⪯y} 仍可能无限;此时上面两条主理想求和还需要有限支撑、绝对收敛或其他使换序合法的条件。
整除偏序中的反演可以逐项复算
从因子累计和恢复原函数
在正整数整除偏序中,区间 [d,n] 有限,所以该偏序局部有限。设
g(n)=d∣n∑f(d). 给定
g(1)=1,g(2)=3,g(3)=4,g(4)=7,g(6)=12,g(12)=28. 从小到大相减可得
f(1)f(2)f(3)f(4)f(6)f(12)=1,=3−1=2,=4−1=3,=7−1−2=4,=12−1−2−3=6,=28−1−2−3−4−6=12. 用数论莫比乌斯函数同样得到
f(12)=g(12)−g(6)−g(4)+g(2)=28−12−7+3=12. 两条路径一致。g(n) 在这里恰是因子之和,而反演恢复了
f(n)=n;计算只使用 12 的六个因子,没有把不整除 12 的数混入求和。
在布尔格中,若 A⊆B,则
μ(A,B)=(−1)∣B∖A∣.
证明可按 r=∣B∖A∣ 归纳。r=0 时值为一;r>0 时递推式把所有真中间集合按新增元素数分类,得到
−k=0∑r−1(kr)(−1)k=(−1)r,
其中使用 ∑k=0r(kr)(−1)k=(1−1)r=0。这说明布尔格上的莫比乌斯反演就是按子集包含关系进行的容斥。
权限累计表把四种结构放进同一案例
三项权限中的精确需求与累计需求
设权限全集 U={r,w,s},分别代表读取、写入和分享。全部权限组合按包含关系构成八元素布尔格。令 h(T) 表示权限需求恰好为 T 的任务数,累计量
H(S)=T⊆S∑h(T) 表示只授予 S 时能够覆盖的任务数。给定
H(∅)=1,H({r})=4,H({w})=3,H({r,w})=10, 可先恢复
h({r})=4−1=3,h({w})=3−1=2. 对子集 {r,w} 使用布尔格莫比乌斯反演:
h({r,w})=H({r,w})−H({r})−H({w})+H(∅)=10−4−3+1=4. “至少具备哪些权限”的层次由偏序表达,任意两套权限的交与并由格运算给出,补集表达相对于固定全集的缺失权限,累计表则由莫比乌斯反演拆回精确层。若实际政策只允许部分权限组合,允许集合可能不再对交、并或补封闭,不能继续假定它是布尔代数。
三个容易混淆的判断
任意有限偏序都是格
有限性只能让枚举结束,不能保证每对元素有唯一的最大下界和最小上界。具有多个互不可比的极小共同上界,或根本没有共同上界,都会使并不存在。
有界且每个元素有补就已经是布尔代数
五元菱形格 M3 有最小元、最大元和补元,却违反分配律。布尔代数需要有界、分配和补三个条件同时成立;少一项就不能套用全部布尔恒等式。
局部有限意味着每个下闭集都有限
局部有限只约束两端固定的区间。例如整数按通常大小排序时,每个有限端点区间都有限,但一个元素的全部前驱可以有无限多个。主理想求和仍要单独检查有限性或收敛性。
练习:从偏序判定到反演计算
练习
- 所属知识
- 整除格
- 难度
- 3/5
令 D18={1,2,3,6,9,18} 按整除排序。给出一条最长链和一个两元素反链,计算 6∧9 与 6∨9,并判断该偏序是否为布尔代数。
查看提示
在十八的因子集合中,交与并分别检查最大公因数和最小公倍数。
查看解答
一条最长链是 1≺3≺9≺18;{2,9} 是反链。因为
6∧9=gcd(6,9)=3,6∨9=lcm(6,9)=18, 且十八的任意两个因子的最大公因数与最小公倍数仍是十八的因子,所以这是格。元素 2 没有补元:与 2 交为 1 的候选 9 满足并为 18,其实 9 是 2 的补元;但元素 3 没有补元,因为与 3 交为 1 的候选只有 1,2,它们与 3 的并分别为 3,6。故该格不是布尔代数。
练习
- 所属知识
- 布尔区间
- 难度
- 2/5
在 U={1,2,3,4} 的子集格中,取 A={1}、
B={1,2,4}。列出区间 [A,B],并求 μ(A,B)。
查看提示
区间中的自由选择来自
B∖A。
查看解答
B∖A={2,4},其每个子集都能自由加入 A,所以
[A,B]={{1},{1,2},{1,4},{1,2,4}}. 差集含两个元素,因此
μ(A,B)=(−1)2=1.
练习
- 所属知识
- 分配律
- 难度
- 3/5
在五元菱形格 M3 中,说明中间元素 a 至少有两个补元,并给出一条失败的分配律。
查看提示
取三个不同的中间元素,直接比较分配律两侧。
查看解答
对不同中间元素 a,b,c,有
a∧b=a∧c=0 且
a∨b=a∨c=1,所以 b,c 都是 a 的补元。另一方面,
a∧(b∨c)=a,(a∧b)∨(a∧c)=0. 两侧不同,分配律失败;补元不唯一与非分配性在这个例子中同时出现。
练习
- 所属知识
- 莫比乌斯反演
- 难度
- 4/5
设 g(n)=∑d∣nf(d),并已知
g(1)=2、g(2)=5、g(3)=7、g(6)=20。求
f(1),f(2),f(3),f(6)。
查看提示
先按因子从小到大恢复,也可用
f(6)=g(6)−g(3)−g(2)+g(1) 核对。
查看解答
逐项相减得到
f(1)=2,f(2)=5−2=3,f(3)=7−2=5, f(6)=20−2−3−5=10. 反演核对为 20−7−5+2=10,与递推结果一致。
练习
- 所属知识
- 子偏序判定
- 难度
- 4/5
设 U={r,w,s},政策只允许
F={∅,{r},{w},{s},{r,w},{r,s},{w,s}}. 按包含关系判断 F 是否为格,并说明为何不能把它当作布尔代数。
查看提示
检查两套二元素权限是否存在允许的共同上界。
查看解答
集合 {r,w} 与 {r,s} 的并在完整幂集中是 U,但
U∈/F。任何同时包含这两个集合的上界都必须包含
U,因此它们在 F 中没有共同上界,更没有最小上界。
F 不是格,自然也不是布尔代数;只从完整幂集继承了偏序。
知识关系、延伸阅读与本章结论
书籍 · 年份待核Applied Discrete Structures
Al Doerr, Ken Levasseur
用于交叉核对递推、图连通性、树、着色、偏序、格与布尔代数的定义、算法条件和练习结构。
打开官方来源
Doerr 与 Levasseur 的《Applied Discrete Structures》系统覆盖关系、偏序、格和布尔代数,可用于复核结构逐层增加的公理、哈斯图读法与格运算。
书籍 · 2025Discrete Mathematics: An Open Introduction, Fourth Edition
Oscar Levin
用于核对图论、计数、递推与生成函数章节中的定义顺序、证明边界和可复算练习。
打开官方来源
Oscar Levin 的开放离散数学教材把证明、计数、序列与图论放在统一课程脉络中,适合巩固本章所用的双射、归纳和容斥背景。
书籍 · 年份待核Book of Proof, Third Edition
Richard Hammack
用于核对数学语言、证明结构、关系和可数性章节中的定义、例题与练习。
打开官方来源
Richard Hammack 的开放教材系统讨论关系与偏序,适合核对自反、反对称、传递、全序以及极值元之间的边界。
三项资源用于核对定义和继续练习;正文中的整除格、菱形格、布尔区间与权限反演均已给出独立计算。
本章的判定顺序可以概括为:先验证关系是否构成偏序,再逐对寻找交与并以判定格,随后检查有界性、分配律和补元以判定布尔代数。需要反演累计量时,还要先确认区间局部有限,并为主理想求和补充有限性或收敛条件。下一步将把这些结构与组合双射、递推、图的连通、匹配、着色和有向无环图的可达关系汇合成一条完整的离散证明链。