术语**格**来源于描述这种次序的哈斯圖的形状。
在数学中，**格**（英語：）是其非空有限子集都有一个上确界（称为**并**）和一个下确界（称为**交**）的偏序集合（poset）。格也可以特征化为满足特定公理恒等式的代数结构。因为两个定义是等价的，格理论从序理论和泛代数二者提取内容。半格包括了格，依次包括海廷代数和布尔代数。这些"格样式"的结构都允许序理论和抽象代数的描述。

需要注意的是，本条目介绍的是序理论中的"格"，非几何与群论中的"格（群论）"（点阵），两者的英文均为"lattice"。虽然在继承自平面的次序中，每个点阵都是格，但是许多格不是点阵。

序理论定义
-----

考虑任意一个偏序集合（*L*,≤），如果对集合L中的任意元素a,b，使得a,b在L中存在一个最大下界，和最小上界，则(*L*,≤)是一个格。

这里对于取a,b的最大下界的操作用a \wedge b表示；

对于取a,b的最小上界操作用 a \vee b表示。

**有界格**有一个最大元素和一个最小元素，按惯例分别指示为1和0（也叫做**顶**和**底**）。任何格都可以通过增加一个最大元素和最小元素而转换成有界格。

使用容易的归纳论证，你可以演绎出任何格的所有非空有限子集的上确界（并）和下确界（交）的存在。一个很重要的格的种类是**完全格**。一个格是完全的，如果它的所有子集都有一个交和一个并，这对比于上述格的定义，这里只要求所有非空有限子集的交和并的存在。

抽象代数定义
------

另一种定义格的方式是将格定义为一种代数结构。一个**格**是一个代数结构(L, \vee, \wedge)，其中\vee和\wedge 是定义在集合L上的二元运算，且对于所有的a, b, c \in L满足：

|  |  |  |  |
| --- | --- | --- | --- |
| 交换律： |  a \vee b = b \vee a  | ， |  a \wedge b = b \wedge a  |
| 结合律： | {\displaystyle a\vee (b\vee c)=(a\vee b)\vee c} | ， | {\displaystyle a\wedge (b\wedge c)=(a\wedge b)\wedge c} |
| 吸收律： | {\displaystyle a\vee (a\wedge b)=a} | ， | {\displaystyle a\wedge (a\vee b)=a} |

从上述三个公理恒等式可以得出重要的：

|  |  |  |  |
| --- | --- | --- | --- |
| 幂等律： |  a \vee a = a  | ， |  a \wedge a = a  |

这些公理断言了(*L*,\vee)和(*L*,\wedge )都是半格。吸收律是唯一交和并都出现了的公理，把格同一对半格区别开来确保这两个半格正确的交互。特别是，每个半格都是另一个半格的对偶。"有界格"要求交和并都有一个零（neutral）元素，分别习惯叫做1和0。参见半格条目。

格与广群家族有一些联系。因为交和并都符合交换律和结合律。格可以看作由有相同的承载者的两个交换半群组成的。如果格是有界的，这些半群也是交换幺半群。吸收律是特定于格理论的唯一定义恒等式。

*L* 闭包于交和并之下，通过归纳，蕴涵了*L*的任何有限子集的交和并的存在性，有着一个例外：空集的交和并分别是最大元素和最小元素。所以格只在它是有界的条件下包含所有有限（包含空）交和并。为此有些作者定义格的时候要求0和1是*L*的成员。而以这种方式定义格不损失一般性，因为任何格都可以被嵌入一个有界格中，这里不接受这种定义。

格的代数解释在泛代数中扮演根本性角色。

两个定义的等价性
--------

格的代数定义蕴涵了序理论的定义，反之亦然。

明显的，序理论的格引发了两个二元运算\vee和\wedge 。容易看出这些运算使(*L*, \vee, \wedge )变成代数意义上的格。反之亦真：考虑代数定义的格(*M*, \vee, \wedge )。现在定义在*M*上的偏序≤如下，对于*M*中的元素*x*和*y*

*x* ≤ *y* 当且仅当*x* = *x*\wedge *y*
或等价的

*x* ≤ *y*当且仅当*y* = *x*\vee*y*
吸收律确保了两个定义实际上是等价的。你现在可以检查以这种方式介入的关系≤定义了在其中二元交和并是通过最初运算\vee和\wedge 而给出的一个偏序。反过来，由得出自上述序理论公式的代数定义的格（*L*, \vee, \wedge ）引发的次序一致于*L*的最初次序。

因为格的两个定义是等价的，你可以随意调用任何定义的适合你用的方面。

例子
--

* 对于任何集合*A*，*A*的所有子集的搜集（叫做*A*的幂集）可以通过子集包含的次序获得一个以*A*自身和空集为上下界的格。集合的交集和并集分别解释为交（meet）和并（join）。
* 对于任何集合*A*，*A*的所有有限子集的搜集，通过包含次序也是格，且将是有界的当且仅当*A*是有限的。
* 自然数（包括0）在"极小值"（min）和"极大值"（max）运算下，按照通常次序形成格。0是底，没有顶。
* 自然数的笛卡尔平方，按有随后定义的≤排序是格，(*a,b*)≤(*c,d*)↔(*a* ≤ *c*) &(*b* ≤ *d*)。(0,0)是底；没有顶。
* 正整数在采用最大公约数和最小公倍數运算之下，用整除作为次序关系也形成一个格：*a* ≤ *b*如果*a*整除*b*。底是1；没有顶。
* 任何完全格都是（非常特殊的）有界格。这个类别引出了大量实际例子。

格的态射
----

在两个格之间的适当的态射概念可以轻易的同上述代数定义得出。给定两个格（*L*, \vee, \wedge ）和（*M*, \cup, \cap），*格的同态*是一个函数*f* : *L* → *M*使得

*f*(*x*\vee*y*) = *f*(*x*) \cup *f*(*y*)，
*f*(*x*\wedge *y*) = *f*(*x*) \cap *f*(*y*)。
所以*f*是两个底层半格的同态。当考虑带有更多结构的格的时候，这个态射也应当注意这个额外结构。所以在两个有界格*L*和*M*之间的态射*f*还有下列性质：

*f*(0*L*) = 0*M*，
*f*(1*L*) = 1*M*。
在序理论公式中，这些条件只声称格的同态是保持二元交和并的一个函数。对于有界格，最小和最大元素的保持只是空集的并和交的保持。

格的任何同态必然关于相关的次序关系是单调的；参见极限的保持。反过来当然不是真的：单调性决不蕴涵要求的保持性质。

假定同构作为可逆态射的标准定义，格的同构就是双射格同态。格和它们的态射形成了一个范畴。

子格
--

格*L*的子格是*L*的非空子集，它是带有同*L*一样的交和并运算的格。就是说，如果*L*是一个格，而*M*\not=\varnothing是*L*的子集使得对于*M*中的所有元素对*a*, *b*有*a*\wedge *b*和*a*\vee*b*在*M*中，则*M*是*L*的子格。

格*L*的子格*M*是*L*的凸子格，如果*x ≤ z ≤ y*和*x*, *y*在*M*中蕴涵了*z*属于*M*，对于在*L*中的所有元素*x, y, z*。

对偶原理
----

设f是含有格中的元素以及符号=, \leq, \geq, \vee, \wedge的逻辑命题，令f^\*是将f中的\leq替换为\geq，将\geq替换为\leq，将\vee替换为\wedge ，将\wedge 替换为\vee后所得到的命题。则称f^\*是f的**对偶命题**。

设f是含有格中的元素以及符号=, \leq, \geq, \vee, \wedge的逻辑命题，若f对于一切格为真，则f的对偶命题f^\*也对于一切格为真。

引用
--

可在线免费获得的专著：

* Burris, Stanley N. and H.P. Sankappanavar, H. P. 1981. *A Course in Universal Algebra. （页面存档备份，存于）* Springer-Verlag. ISBN 3-540-90578-2.

* Jipsen, Peter, and Henry Rose, *Varieties of Lattices （页面存档备份，存于）*, Lecture Notes in Mathematics 1533, Springer Verlag, 1992. ISBN 0-387-56314-8.

Elementary texts recommended for those with limited mathematical maturity:

* Donnellan, Thomas, 1968. *Lattice Theory*. Pergamon.
* Grätzer, G. 1971. *Lattice Theory: First concepts and distributive lattices*. W. H. Freeman.

The standard contemporary introductory text:

* Davey, B.A. and H. A. Priestley, 2002. *Introduction to Lattices and Order*. Cambridge University Press.

The classic advanced monograph:

* Garrett Birkhoff，1967. *Lattice Theory*, 3rd ed. Vol. 25 of American Mathematical Society Colloquium Publications. American Mathematical Society.

Free lattices are discussed in the following title, not primarily devoted to lattice theory:

* Johnstone, P.T. 1982. *Stone spaces*. Cambridge Studies in Advanced Mathematics 3. Cambridge University Press.

The standard textbook on free lattices:

* R. Freese, J. Jezek, and J. B. Nation, 1985. "Free Lattices". Mathematical Surveys and Monographs Volume: 42, American Mathematical Association.

参考文献
----

引用

1. ↑  Weisstein, Eric W. (编).. at *MathWorld*--A Wolfram Web Resource. Wolfram Research, Inc.  [2018-12-29]. （原始内容存档于2020-11-27） （英语）. Point lattices are frequently simply called 'lattices,' which unfortunately conflicts with the same term applied to ordered sets treated in lattice theory. Every "point lattice" is a lattice under the ordering inherited from the plane, although a point lattice may not be a sublattice of the plane, since the infimum operation in the plane need not agree with the infimum operation in the point lattice. On the other hand, many lattices are not point lattices.
2. ↑  Burris, Stanley N. and H.P. Sankappanavar, H. P. 1981. *A Course in Universal Algebra. （页面存档备份，存于）* Springer-Verlag. ISBN 3-540-90578-2.

参见
--

* icon数学主题

* 半格
* 完全格
* 分配格
* 剩余格
* Heyting代数
* 布尔代数


|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
抽象代数相关主题 |
| --- |
|  |
| 代数结构 · 群 · 环 ·  · 有限 · 本原元 · 格 ·  · 等价关系 · 代數中心 · 同态 · 同构 · 商结构（商系统） · 同构基本定理 · 合成列 · 自由對象 |
|  |
| 群论 | 

|  |  |
| --- | --- |
| 群 | 幺半群 · 半群 · 阿贝尔群 · 非阿贝尔群 · 循環群 · 有限群 ·  · 半 ·  · 自由群 · 交换子群（交換子） · 幂零群 · 可解群 · p-群 · 对称群 · 李群 · 伽罗瓦群 |
|  |
| 子群 | 陪集 · 双陪集 · 商群 · 共轭类 · 拉格朗日定理 · 西羅定理 · 正规子群 · 群中心 · 中心化子和正规化子 · 稳定子群 · 置换群 |
|  |
| 其他 | 阶 · 群擴張 · 群同態 · 群同構 · 群表示 · 群作用 · 波利亞計數定理 · 有限生成阿貝爾群 |

 |
|  |
| 環論 | 

|  |  |
| --- | --- |
| 环 | 子環 · 整环 · 除环 · 多项式环 ·  · 商环 · 諾特環 · 局部環 · 賦值環 · 環代數 · 理想 · 主理想环 · 唯一分解整環 · 群環 |
|  |
| 模 | 深度 · 單模 · 自由模 · 平坦模 · 阿廷模 · 諾特模 |
|  |
| 其他 | 幂 · 特征 · 完備化 · 環的局部化 |

 |
|  |
| 論 | 

|  |  |
| --- | --- |
|  | 有限 · 原根 · 代数闭 · 局部 · 分裂 · 分式環 |
|  |
| 扩张 | 单扩张 · 有限扩张 · 超越扩张 · 代数扩张 · 正规扩张 · 可分扩张 · 伽罗瓦扩张 · 阿贝尔扩张 · 伽罗瓦理论基本定理 |

 |

 |

|  |  |  |
| --- | --- | --- |
| 

|  |  |
| --- | --- |
| 规范控制 編輯維基數據鏈接 | 
* BNE: XX4425800
* BNF: cb119793307 (data)
* FAST: 993426
* J9U: 987007558164405171
* LCCN: sh85074991
* NDL: 00571394
* SUDOC: 027837866

 |

 |