序理论与格理论

序理论研究配备了元素之间先后关系概念的集合，而格理论研究其中每对元素都具有最小上界和最大下界的序。

Definition

对偏序——自反、反对称、传递关系——以及格的数学研究，其中格是每两个元素都具有并（上确界）和交（下确界）的偏序集。

Scope

该领域涵盖偏序集及其图示、链与反链、保序映射、作为序结构和代数结构的格、分配格和布尔格，以及表示定理。它为组合结构提供了统一的语言，并将离散数学与代数、逻辑和理论计算机科学联系起来。

Sub-topics

• 格和布尔代数
• 偏序集

Core questions

• 元素之间的优先关系如何形式化和可视化？
• 有序集何时拥有上确界和下确界，从而使其成为格？
• 哪些格是分配格，它们如何表示？
• 序理论对偶性和不动点定理是如何产生的？

Key concepts

• 偏序
• 哈斯图
• 链与反链
• 并与交
• 分配格
• 布尔代数

Clinical relevance

序理论和格理论是编程语言语义（域理论和不动点）、数据挖掘中的形式概念分析、逻辑代数以及按包含或细化排序的组合族结构的基础。

History

格理论在19世纪Dedekind工作的基础上，于20世纪30年代由Birkhoff发展成为一门独立的学科；其组合方面则由Rota在偏序集上的莫比乌斯函数理论推动。

Key figures

• Garrett Birkhoff
• Richard Dedekind
• Gian-Carlo Rota

Seminal works

• davey2002

Frequently asked questions

偏序与全序有何区别？

在全序中，任意两个元素都是可比较的，而偏序可能会使某些对不可比较，例如按包含关系排序的子集。

为什么格既是序又是代数？

格可以通过存在并和交的序来定义，或者等效地通过满足格公理的两个二元运算来定义；这两种观点描述的是相同的结构。