序理论

维基百科，自由的百科全书

序理论是研究捕获数学排序的直觉概念的各种二元关系的数学分支。

[编辑] 背景和动机

次序无所不在 - 至少在数学和相关领域比如计算机科学是这样。你典型遇到的第一个次序是小学数学教育中的自然数的 ≤ 次序。这个直觉概念很容易扩展到其他数的集合的排序，比如整数和实数。实际上大于或小于另一个数的概念一般是数系统的基本直觉(尽管你通常还感兴趣于两个数实际的差，它不能由这个次序给出)。排序的另一个非常熟悉的例子是词典中词典次序。

上述类型的次序有特殊性质: 每个元素都是可以“比较”于另一个元素，就是说，它要么大于、要么小于、要么等于另一个元素。但是，这不总是想要的要求。一个周知的例子是集合的子集排序。如果一个集合 A 包含集合 B 的所有元素，则 B 被称为小于等于 A。然而有些集合不能在这种方式来比较，因为其中每个都包含在其他集合中不存在的某些元素。所以，子集包含是偏次序，对立了前面给出的全次序。

序理论在一般性架构下捕获了上述例子引发的直觉次序。这是通过指定关系 ≤ 必须是数学上次序的一些性质来完成的。这种更加抽象的方式更有意义，因为你可以从一般性架构推导出各种定理，而不用关心任何特定次序的细节。这种洞察可以容易的转换到很多具体应用中。

由次序的各种实践使用所驱动，已经定义了多个特殊种类的有序集合，其中某些已经发展出自己的数学领域。此外，序理论不限制于各种种类的排序关系，还考虑在它们之间的逼近函数。函数的序理论的性质的一个简单例子来自在数学分析中常见的单调函数。

[编辑] 引用

B. A. Davey and H. A. Priestley, 2002. Introduction to Lattices and Order, 2nd ed. Cambridge University Press. ISBN 0-521-78451-4

A good contemporary introduction to the subject. Suitable for undergraduates.

G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott, 2003, "Continuous Lattices and Domains," in Encyclopedia of Mathematics and its Applications, Vol. 93, Cambridge University Press. ISBN 0-521-80338-1

The comprehensive new version of the famous "Compendium" of continuous lattices. Assumes some advanced mathematical background.