格论把“偏序关系”与“代数运算”统一起来,是抽象代数连接离散数学与数理逻辑的重要桥梁。
设 (P,≤) 是偏序集。对任意 a,b∈P:
- 若存在最小的上界,记作 a∨b(并、join);
- 若存在最大的下界,记作 a∧b(交、meet)。
若任意两元素都存在 a∨b 与 a∧b,则称 (P,≤) 为格。
等价代数描述:一个集合 L 配两种二元运算 ∨,∧,满足交换律、结合律、吸收律,也定义了格结构。
在任意格中,恒有:
- 幂等律:a∨a=a, a∧a=a;
- 交换律:a∨b=b∨a, a∧b=b∧a;
- 结合律:a∨(b∨c)=(a∨b)∨c,∧ 同理;
- 吸收律:a∨(a∧b)=a, a∧(a∨b)=a。
由此可推出单调性:若 a≤b,则
a∨c≤b∨c,a∧c≤b∧c.
设集合 X 的幂集为 P(X),偏序为包含关系 ⊆。证明它是格。
解:任取 A,B⊆X,最小上界是 A∪B,最大下界是 A∩B,故
A∨B=A∪B,A∧B=A∩B.
因此 (P(X),⊆) 是格。
若格中存在最小元 0 与最大元 1,则称为有界格。
在有界格中,若元素 a 存在补元 a′ 满足
a∧a′=0,a∨a′=1,
称 a 可补。
若一个有界格既分配又每个元素都有补元,则称其为布尔代数。
常见布尔代数例子:(P(X),∪,∩,∁,∅,X)。
在三元链 0<a<1 中,判断 a 是否有补元。
解:链上有 a∧0=0,但 a∨0=a=1;又有 a∨1=1,但 a∧1=a=0。故 a 无补元,因此该有界格不是布尔代数。
分配格定义:
a∧(b∨c)=(a∧b)∨(a∧c),a∨(b∧c)=(a∨b)∧(a∨c).
模格定义(较弱):
若 a≤c,则
a∨(b∧c)=(a∨b)∧c.
结论:分配格一定是模格,但反之不成立。
取正整数 12 的所有正因子,按整除关系排序,判断是否成格。
解:集合 D={1,2,3,4,6,12}。任意两元素的最小公倍数与最大公约数仍在 D 中,且分别给出并与交:
a∨b=lcm(a,b),a∧b=gcd(a,b).
故 (D,∣) 成格(且为有界格,0 位点对应 1,1 位点对应 12)。
映射 f:L→M 若满足
f(a∨b)=f(a)∨f(b),f(a∧b)=f(a)∧f(b),
称为格同态。
若 S⊆L 对 ∨,∧ 封闭,则 S 为子格。
定义 f:P(X)→{0,1},令
f(A)={0,1,A=∅,A=∅.
判断是否为格同态(取 ∨=∪, ∧=∩;右侧取 ∨=max, ∧=min)。
解:对并运算有 f(A∪B)=max{f(A),f(B)} 成立;但交运算不总成立,例如 A={1},B={2} 时 A∩B=∅,f(A∩B)=0,而 min{f(A),f(B)}=1。故不是格同态。
证明任意链(全序集)都是格。
点击查看解析与答案
对任意 a,b,全序保证 a≤b 或 b≤a。较大者即最小上界,较小者即最大下界,因此并与交总存在,故为格。
在幂集格 P(X) 中证明分配律。
点击查看解析与答案
由集合恒等式
A∩(B∪C)=(A∩B)∪(A∩C)
及其对偶式
A∪(B∩C)=(A∪B)∩(A∪C)
直接成立,故幂集格是分配格。
在整除格 (D,∣)(D 为 30 的正因子集)中求 6∨10 与 6∧10。
点击查看解析与答案
6∨10=lcm(6,10)=30,6∧10=gcd(6,10)=2。