离散数学 08.02 格的定义

$\color{blue}{\S 8.2 格的定义}$

$定义A.给出一个部分序集(L, \leq), 如果对于任意a, b \in L,L的子集(a, b)在L中都有一\\ 个最大下界(记为\inf \lbrace a, b \rbrace)和一个最小上界(记为\sup \lbrace a, b \rbrace), 则称(L, \leq)为一个格。$
$显然，一个序集是一个格，但是，不是所有部分序集都是格。$

$例8.2.1.S是任意一个集合，\rho(S)是S的幂集合，于是，部分序集(\rho(S), \subseteq)是一个格。\\ 对\sup\lbrace A, B \rbrace = A \cup B, \inf \lbrace A, B \rbrace = A \cap B。当S仅有一个元素时，对应的格是\\ 包含两个元素的链。$

$例8.2.2.设I是所有正整数集合，D是I_+中的“整除关系”，亦即，对任意a,b \in I_+,\\ aDb当且仅当a整除b,于是，(I_+, D)是一个格。“整除关系”是部分序关系，I_+中子\\ 集\lbrace a, b\rbrace的最小上界就是a,b的最小公倍，子集\lbrace a, b \rbrace的最大下界就是a, b的最高公因。$

$例8.2.3.设n是一个正整数，S是n的所有正因数的集合。例如，S_6 = \lbrace 1, 2, 3, 6 \rbrace, \\ S_{24} = \lbrace 1, 2, 3, 4, 6, 8, 12, 24 \rbrace.设D是“整除关系”，于是，(S_6, D), (S_8, D), \\ (S_{24}, D)和（S_{30}, D)都是格，可画出其Hasse图。$

$例8.2.4.设S是所有的命题集合，定义“\Leftarrow”关系如下：A \Leftarrow B,当且仅当 B蕴涵A。\\ 则(S, \Leftarrow)是一个格。\\ \forall A, B \in S, \sup \lbrace A, B \rbrace = A \land B \in S, \inf \lbrace A, B \rbrace = A \lor B \in S.$

$定义A^{\prime}:设(L, \leq)是格，S是L的子集，即S \subseteq L,如果(S, \leq)是格,\\ 则称(S, \leq)是格(L, \leq)的子格。$
$例如，(S_6, D)是（S_{24}, D)的子格。$

$定义B：设L是一个集合，\times, \oplus 是L上两个二元代数运算，如果这两种运算对于L中元素满足:\\ (1) 交换律：a \times b = b \times a, a \oplus b = b \oplus a; \\ (2)结合律：a \times (b \times c) = (a \times b) \times c, a \oplus (b \oplus c) = (a \oplus b) \oplus c; \\ (3)吸收律：a \times (a \oplus b) = a, a \oplus (a \times b) = a; \\ 则称此代数系统(L, \times, \oplus)为一个格。$

$定义B中没有要求\times, \oplus运算满足等幂律，\\ 实际上由\times,\oplus满足吸收律即可推出它们一定满足等幂律。\\ 任取L中元素a，由\times, \oplus满足吸收律知, a \times ( a \oplus a) = a, a \oplus ( a \times a) = a。\\ 故 a \times a = a \times (a \oplus ( a \times a) ), \\ a \oplus a = a \oplus ( a \times (a \oplus a)).\\ 又由\times, \oplus 满足吸收律知，上面两式的等式右端都等于a，因此\\ a \times a = a, a \oplus a = a。\\ 即，定义B中的\times, \oplus运算满足等幂律。$

$例8.2.5.设S是一个集合，\rho(S)是S的幂集合，集合的交(\cap),并(\cup)是\rho(S)上的两个\\ 代数运算，于是,(\rho(S), \cap, \cup)是一个格。而由例8.2.1知(\rho(S), \subseteq)是半序格。易见\\ 对 \forall A,B \in \rho(S), A \subseteq B \iff A \cap B = A \iff A \cup B = B.$

$例8.2.6.设I_+是所有正整数集合，两个正整数的最高公因\times, \oplus最小公倍可看作I_+上两\\ 个代数运算，于是，(I_+, \times, \oplus)是一个格。而由例8.2.2.知(I_+, D)是半序格。易见，\\ 对任意a, b \in I_+, a D b \iff a \times b = a \iff a \oplus b = b.$

$例8.2.7.设n是一个正整数，S_n是n的所有因数的集合，两个正整数的最高公因\times, 最小\\ 公倍\oplus可看作是S_n上两个代数运算，于是(S_n, \times, \oplus)是一个格。$

$定理8.2.1.定义A所定义的格和定义B所定义的格是等价的，亦即，一个部分序格必是\\ 一个代数格；反之亦然。$
$证明：i)若(L, \leq)是一个格，则对任意a, b \in L, 即\inf \lbrace a, b \rbrace 为a \times b; \sup \lbrace a, b \rbrace 为 a \\ \oplus b。由于对任意a, b,其 \inf \lbrace a, b \rbrace, \sup \lbrace a, b \rbrace 是唯一的，所以，如上定义的 \times, \oplus 是集\\ 合L上的两种二元代数运算。不难证明，对于\times, \oplus满足交换律，结合律，吸收律。我们\\ 只证明吸收律: a \times (a \oplus b) = a。\\ 因为a \times (a \oplus b) 是a 与(a \oplus b)的最大下界，所以a \times (a \oplus b) \leq a; \\ 另一方面，由于 a \leq a, a \leq a \oplus b, 所以 a 是a 与 a \oplus b 的下界，\\ 故a \leq a \times (a \oplus b), 故 a = a \times (a \oplus b)。\\ 因此，根据定义B，(L, \times, \oplus)是一个格。\\ ii)若代数系统(L, \times, \oplus)是一个格，在集合L上定义一个关系 \leq 如下：\\ 对任意a, b \in L, a \leq b \iff a \times b = a \\ 往证：\leq 是一个部分序关系。\\ 因为 a \times a = a \times (a \oplus ( a \times a)) = a, 所以有 a \leq a。\\ 若有 a \leq b, b \leq a,则应有 a \times b = a, b \times a = b, 而 a \times b = b \times a, 所以a = b. \\ 若a \leq b, b \leq c, 则有 a \times b = a, b \times c = b, \\ 故a \times c = (a \times b) \times c = a \times (b \times c) = a \times b = a,亦即，有 a \leq c。\\ 由此证明了关系 \leq 具有反身性，反对称性，传递性。故\leq 是部分序关系。\\ 不难证明：\\ a \times b = a \iff a \oplus b = b。\\ 若 a \times b = a, 则 a \oplus b = (a \times b) \oplus b = b.\\ 若 a \oplus b = b, 则 a \times b = b \times (a \oplus b) = a.\\ 因此，对任意a,b \in L, a \leq b, a \oplus b = b。\\ 下面证明，对任意\lbrace a, b \rbrace \subseteq L, 存在 \inf \lbrace a, b \rbrace, \sup \lbrace a, b \rbrace, \\ 由吸收律知\\ a \times (a \oplus b) = a, b \times (a \oplus b) = b, \\ 故有 a \leq (a \oplus b), b \leq (a \oplus b). \\ 亦即， a \oplus b 是 \lbrace a, b \rbrace的上界。\\ 若c \in L, 且c是\lbrace a, b \rbrace的上界，亦即有 a \leq c, b \leq c, \\ 则应有 a \oplus c = c, b \oplus c = c,于是，\\ (a \oplus b) \oplus c = (a \oplus c) \oplus (c \oplus c) \\ = (a \oplus c) \oplus (b \oplus c) \\ = c \oplus c = c \\ 故有(a \oplus b) \leq c.这就说明了(a \oplus b)是 \lbrace a, b \rbrace 的最小上界，\\ 即 \sup \lbrace a, b \rbrace = (a \oplus b). \\ 同理可证， \inf \lbrace a, b \rbrace = (a \times b). \\ 故(L, \leq) 称为半序格(L, \times, \oplus)称为代数格。\\ 由此定理知，给出一个半序格(L, \leq)，就有一个与之等价的代数格(L, \times, \oplus)。\\ 反之，给出一个代数格(L, \times, \oplus),就有一个与之等价的半序格(L, \leq)。互为等价的两\\ 个格：(L, \leq)和(L, \times, \oplus),其 \times, \oplus分别是在部分序关系 \leq 下的最大下界运算和最小\\ 上界运算。今后，提到一个格，可随便将其理解为半序格或者与之等价的代数格。$

$定义B^{\prime}:设(L, \times, \oplus)是一个格，S是L的一个子集，(S, \times, \oplus)称为(L, \times, \oplus)的\\ 一个子格，当且仅当在运算 \times, \oplus 下，S是封闭的。子格是一个格。$
$例如，(S_n, \times, \oplus)是(I_+, \times, \oplus)的子格，其中\times, \oplus分别是最高公因和最小公倍。$
$从定义B^{\prime}不难说明，若(L, \times, \oplus)是一个格，S \subseteq L,并且(S, \times, \oplus)也是格，\\ 则(S, \times, \oplus)是(L, \times, \oplus)的子格。亦即：(S, \times, \oplus)是格(L, \times, \oplus)的子格的\\ 充要条件是:S \subseteq L 且(S, \times, \oplus)是一个格。$
$最后指出一点：设(L, \leq)是一个格，与其等价的代数格为(L, \times, \oplus),S是L的一个\\ 子集。若(S, \times, \oplus)是定义B^{\prime}下的(L, \times, \oplus)的子格，则显然，(S, \leq)是定义A^{\prime}下\\ 的(L, \leq)的子格；若(S, \leq)是A^{\prime}下的(L, \leq)的子格，则(S, \times, \oplus)不一定是定义\\ B^{\prime}下的(L, \times, \oplus)的子格。\\ 例如：设(L, \leq)是如下图的一个格，其中L = \lbrace a_1, a_2, a_3, a_4, a_5, a_6, a_7, a_8 \rbrace。\\ 取S_1 = \lbrace a_1, a_2, a_4, a_6 \rbrace, 则(S_1, \leq)是(L, \leq)的子格(定义A^{\prime}),也是(L, \times, \oplus)的\\ 子格(定义B^{\prime})。取S_2 = \lbrace a_1, a_2, a_4, a_8 \rbrace,则(S_2, \leq)是(L, \leq)的子格(定义A^{\prime}),\\ 但是(S_2, \times, \oplus)不是(L, \times, \oplus)的子格(定义B^{\prime}).因为a_2 \times a_4 = a_6,而a_6 \notin S_2,\\ 亦即，S_2在运算\times 下不是封闭的。$