偏序集、偏序关系和格

今天介绍两个非常重要的概念，并举一个例子形象说明一下。

---

偏序集：定义一个偏序集是由一个集合$S$与一个二元关系 $\le$ 组成的二元组$O=(S,\le )$，满足：

1.自反性：$\forall x\in S,x\le x$.
2.传递性：$\forall x,\forall y,\forall z\in S$，若$x\le y,y\le z$，则$x\le y\le z$.
3.反对称性：$\forall x,\forall y\in S$，若$x\le y,y\le x$，则$x=y$。

---

偏序关系（partial ordering relation）：偏序集$O=(S,\le )$中的偏序关系为二元关系$\le$。注意这里的$\le$不必是指一般意义上的“小于或等于”。即这个关系$\le$，对于$x\le y$，我们通常认为其意义是$x$排在$y$前面（$xprecedesy$）。也就是说这个偏序关系不一定是比大小，也并不要求集合元素之间是数字。关键要看你如何定义这个二元关系，只要要满足上述三条性质！即是偏序关系！

---

例子：举一个偏序集？

答：设 S = { 1 , 2 , 3 , ⋯   } S=\{1,2,3,\cdots\} S={1,2,3,⋯}，即$S$是正整数，现在定义一个关系为整除关系$\le$，即可构成一个偏序集$O=(S,\le )$。你可以自己验证一下，这个偏序集是否满足上述3条性质。

---

格（lattice):格是满足进一步限制的偏序集。该限制如下：
$\forall x,y\in S$，满足：

1. $x$和$y$的公共上界集合 { z i } \{z_i\} {zi​}中：最小元素可以与其他元素比较。
2. $x$和$y$的公共上界集合 { w i } \{w_i\} {wi​}中：最大元素可以与其他元素比较。

{ z i } \{z_i\} {zi​}中的最小元素称为：最小上界， { w i } \{w_i\} {wi​}中的最大元素称为最大下界。

满足上述特点的偏序集$(S,\le )$进一步叫做格。

---

上面说的有点抽象（但是已经很明白了），我们要判断一个偏序集是不是格，可以利用Hasse图。

例子1:假设集合 S = { 1 , 2 , 3 , 4 } S=\{1,2,3,4\} S={1,2,3,4},我们定义二元关系为普通的小于等于关系，容易验证，这个关系和集合满足偏序集的3个条件，从而其为偏序集。我们画出其Hasse图如下：

其是格，比如我们随便取一个{1,4},其公共上界集合为{4},公共下界集合为{1}。（解释一下什么是上界集合，即$1\le 4,4\le 4$，故4是一个公共上界）由于上下界集合中就一个元素，自己和自己当然可比啦，$4\le 4$。所以符合新的限制，其是格。

例子2:我们再考虑新的一个偏序集，集合S={{1}，{1，2}，{1，3}，{1，2，3，4}，{1，2，3，5}}，关系为集合的包含关系$\subseteq$。容易知道$(S,\subseteq )$为偏序集。下面画出其Hasse图。

取中间层的两个元素，发现其公共上界集合为 { { 1 , 2 , 3 , 4 } , { 1 , 2 , 3 , 5 } } \{\{1,2,3,4\},\{1,2,3,5\}\} {{1,2,3,4},{1,2,3,5}}，然而，这两个集合是平行关系，并不可比，没有包含关系，没有最小上界，从而不是格。

作为练习，请判断下面这个是不是格：