布尔代数与布尔环
逻辑合取、集合并与幂等元素的乘法遵循相关的代数规律。布尔代数使这种关系精确化。它不同于普通实数算术:重复一个逻辑命题不会增加第二份,而布尔环的加法表示异或,不是包含性或。
1 格运算与补元
布尔代数是带有交运算 a∧b、并运算 a∨b、补元 ¬a 和元素 0、1 的集合 B,满足交换律、结合律、吸收律、各运算对另一运算的分配律、单位律 a∨0=a、a∧1=a,以及补元律
a∨¬a=1,a∧¬a=0.
吸收律为 a∧(a∨b)=a 和 a∨(a∧b)=a。当 a∧b=a 时定义 a≤b。这些规律使它成为偏序,且并和交分别是最小上界和最大下界。
对任意集合 X,幂集 P(X) 在交、并和相对于 X 的补运算下是布尔代数,0 为空集,1 为 X。按逻辑等价取类的命题在与、或、非运算下给出另一个例子。二元素代数 {0,1} 是真值模型。
补元唯一。若 b,c 都是 a 的补元,则
b=b∧1=b∧(a∨c)=(b∧a)∨(b∧c)=b∧c,
同理 c=b∧c,故 b=c。
De Morgan 律。 ¬(a∨b)=(¬a)∧(¬b),且 ¬(a∧b)=(¬a)∨(¬b)。
证明。 分配律与补元律表明 (¬a)∧(¬b) 与 a∨b 的交为 0、并为 1。例如交展开为含有 a∧¬a 或 b∧¬b 的各项,而并等于 [(a∨b)∨¬a]∧[(a∨b)∨¬b]=1。补元唯一性证明第一个等式;交换交和并即可得到第二个。□
2 布尔环使用不同的加法
这里的布尔环指每个元素都幂等(a2=a)的含单位元交换环。它满足 2⋅1=0:由 (1+1)2=1+1 得 4=2,故 2=0。因此非零布尔环的特征为 2;即使允许零环,每个 a 也满足 a+a=0。
由这样的环定义
a∧b=ab,a∨b=a+b+ab,¬a=1+a.
这些运算给出布尔代数。补元等式立即成立:a(1+a)=a+a2=0,a+(1+a)+a(1+a)=1。吸收律来自 a(a+b+ab)=a+ab+ab=a。展开两边并使用 a2=a 可得交对并的分配律;并的结合律两种分组都展开为
a+b+c+ab+ac+bc+abc.
其他格规律可用同样的环展开或补元得到。因此这个构造不只是表面类比,而是确实满足公理。
对集合,布尔环的乘法是交,加法是对称差
A△B=(A∖B)∪(B∖A).
每个点的成员关系将这些运算对应到模 2 的乘法和加法,逐点证明环规律。包含性并则是 A△B△(A∩B)。
3 有限布尔代数中的原子
原子是在 ≤ 下极小的非零元素。在有限布尔代数中,每个非零元素下方都有原子:从它的非零下界组成的有限非空集合取一个极小元素即可。不同原子的交为零;否则非零交会因极小性迫使它们相等。
每个元素 a 都是它下方原子的并。设这些原子的并为 s≤a。若 s=a,则 a∧¬s=0;否则 a=a∧(s∨¬s)=a∧s≤s。a∧¬s 下方的原子将是 a 下方却被 s 遗漏的原子,矛盾。因此将 a 映到其下方原子的集合,就把有限布尔代数识别为其原子集合的幂集。特别地,其元素个数对某个 k 为 2k,不是任意有限数。
偏序、两个方向的环构造与有限表示
偏序结论可从已列公理推导。吸收律给出 a∧a=a、a∨a=a,从而关系 ≤ 自反;交换律给出反对称性。若 a∧b=a、b∧c=b,则 a∧c=(a∧b)∧c=a∧(b∧c)=a,故关系传递。元素 a∧b 在两个因子下方;任意公共下界 u 满足 u∧(a∧b)=u,所以它是最大下界。吸收律说明 a∨b 为上界;若 a,b≤c,分配律给出 (a∨b)∧c=(a∧c)∨(b∧c)=a∨b,证明它是最小上界。
在由布尔环构造代数的方向,另一条分配律与吸收律可明确写成
(a∨b)∧(a∨c)=a+bc+abc=a∨(b∧c),a∨(a∧b)=a+ab+a2b=a.
交的结合律、交换律和单位元 1 来自环乘法;并满足交换律、单位元为 0,结合律由前述展开式给出。此外 a∨a=a、a∧a=a。连同两条补元等式和前面已证的另一条分配律,这就核对了列出的全部布尔代数公理。
反过来,在任意布尔代数中定义
a⊕b=(a∧¬b)∨(¬a∧b),a⋅b=a∧b.
第一种运算满足交换律、单位元为 0,且 a⊕a=0。为证明而非假设结合律,用 De Morgan 律展开 (a⊕b)⊕c 或 a⊕(b⊕c),两者均为下列四个互不相交项的并:
(a∧¬b∧¬c)∨(¬a∧b∧¬c)∨(¬a∧¬b∧c)∨(a∧b∧c).
分别从 a,¬a、b,¬b、c,¬c 各选一个得到的八项两两相交为零,且并为 1;这由展开 (a∨¬a)∧(b∨¬b)∧(c∨¬c) 得到。因此上述展开无须预先假设集合表示。展开 a∧(b⊕c) 得 (a∧b∧¬c)∨(a∧¬b∧c);展开 (a∧b)⊕(a∧c) 也得同式,所以乘法对 ⊕ 分配。交提供满足结合律、交换律、含单位元 1 且幂等的乘法。至此所有环公理均已证明。公式 a⊕b⊕(a∧b)=a∨b 与 1⊕a=¬a 恢复原运算。
最后,有限原子映射确实是同构,而不只是计数。对原子 t,每个 t∧a 只能为 0 或 t。因此 t≤a∨b 当且仅当 t≤a 或 t≤b;t≤¬a 当且仅当 t≤a。这证明了并与补元被保持;交的保持是直接的。每个元素都是其原子的并,故映射单射。对有限原子集的任意子集,取其中全部原子的并;互不相交性说明所得元素下方的原子恰为所选子集,从而满射。若允许退化代数 0=1,它没有原子,所得为无原子集合(空集)的一元素幂集。这里没有声称每个无限布尔代数都是完整幂集。
4 分级练习
E1 基础。 设 X={1,2,3}、A={1,2}、B={2,3},计算交、并、布尔环和以及 A 的补集。
E2 代数。 用布尔环公式验证 a∨a=a,并与 a+a 比较。
E3 有限结构。 布尔代数能恰有六个元素吗?16 元布尔代数有多少原子?
E4 逻辑。 化简 (p∧q)∨(p∧¬q),并解释为什么不涉及概率假设。
5 完整解答
S1. 交为 {2},并为 X,环和为 {1,3},且 ¬A={3}。环和不含共有元素 2,而并包含它。
S2. a∨a=a+a+a2=0+a=a。相反,环加法给出 a+a=0。因此不说明约定而用同一加号表示并和环加法会产生歧义。
S3. 不能:有限布尔代数的大小是 2 的幂。由于 16=24,它有四个原子。
S4. 由分配律得 p∧(q∨¬q)=p∧1=p。这是对所有真值赋值都成立的逻辑恒等式,不是独立性陈述或概率计算。
总结
布尔代数抽象集合与逻辑运算。布尔环以幂等乘法和特征为二的加法编码同样的模式。包含性或与异或是不同运算。有限布尔代数由其原子决定,因此大小是 2 的幂。