格与布尔代数（笔记）

格：偏序集S中任意两个元素都存在上确界以及下确界

特别的，所有全序都是格，称为平凡格
（S,∨,∧）：由格S诱导的代数运算求上确界(求两个元素最小上界∨)以及下确界（求两个元素最大下界∧ ）形成的系统

格S的子格S’：要求S的子集S’对于∨,∧封闭

对偶格：哈斯图颠倒180度

分配不等式

$$\begin{gathered} 设(L，S)是一个格，a,b,c是L中任意元素。于是有: \\ a\wedge (b\vee c)\le (a\wedge b)\vee (a\wedge c) \\ a\vee (b\wedge c)\ge (a\vee b)\wedge (a\vee c) \\ 其中关系“\ge ”是关系“\le ”的对偶关系。 \end{gathered}$$
$$\begin{gathered} 证明:因为a\le a\vee b,a\le a\vee c,所以a\le (a\vee b)\wedge (a\vee c) \\ 另外：(b\wedge c)\le (a\vee b),(b\wedge c)\le (a\vee c),所以(b\wedge c)\le (a\vee b)\wedge (a\vee c) \\ a\wedge (b\vee c)\le (a\wedge b)\vee (a\wedge c)对偶地可证得另一不等式。 \end{gathered}$$

分配格：

$$\begin{gathered} a\wedge (b\vee c)=(a\wedge b)\vee (a\wedge c) \\ a\vee (b\wedge c)=(a\vee b)\wedge (a\vee c) \end{gathered}$$
注意:在一般格中，分配律不是总成立的，但分配不等式总是成立的。

格的同态和同构：

$定义和一般的同态(保持运算结构)与同构(一一的，保持运算结构)一样$


$$钻石格：M_5,五角格：N_5$$
百度百科上有证明：比如M5的中间三个记为bcd不满足等式：先求c,d下界再求上界就是b,分别就只能是a了

分配格的判断：格中没有任何子格与两个五元素非分配格之一（钻石格，五角格）同构

(显然：分配格的子格也是分配格)

分配格的性质：a∧b= a∧c 且 a∨b=a∨c，则b=c

有界格：如果一个格存在全上界[记为1]与全下界[记为0]

上下确界一定是集合中的元素和数学分析中的定义不同
一个格不一定是有界格,比如自然数集排序形成的格，有限格一定是有界格

有补格：每个元素都有补元的有界格(一种特殊的有界格)

$对于某有界格，a\in A,if\exists b\in A，b\ne a,s.t.a\vee b=1,a\wedge b=0,则称a与b互为补元$

有界分配格的补元唯一

布尔格：有补分配格（$任何元素a一定有唯一的补元\bar{a}（由此可添加求补运算）$）

德·摩根定律：
$$\begin{gathered} 设(L,\wedge ,\vee )是个分配格，对于任意元素a有余元\bar{a},则有： \\ \overline{(a\wedge b)}=\bar{a}\vee \bar{b} \\ \overline{(a\vee b)}=\bar{a}\wedge \bar{b} \\ 证明：因为(\bar{a}\vee \bar{b})\vee (a\wedge b) \\ =(\bar{a}\vee \bar{b}\vee a)\wedge (\bar{a}\vee \bar{b}\vee b)---分配律 \\ =(1\vee \bar{b})\wedge (\bar{a}\vee 1)=1\wedge 1=1 \end{gathered}$$

布尔代数：

有限布尔代数的结构

$原子a：\forall x\in B,x\wedge a=a或x\wedge a=0（也就是哈斯图中盖住0的所有元素）$
$[Stone定理]:有限布尔代数<B,\vee ,\wedge ,->,M是所有原子构成的集合，则<B,\vee ,\wedge ,->与<P(M),\cup ,\cap ,～>同构$
推论：
1.任何有限布尔代数的元素个数为2^n个
2.两个有限布尔代数同构的充要条件是元素个数相同

相关拓展：布尔函数敏感度猜想