查看“︁预序”︁的源代码

[[分类:序理论]]{{DEFAULTSORT:yu4xu4}}
{{#seo:
|keywords=预序, 预序关系, 预序集
|description=本文介绍预序关系的定义、性质及其在序理论中的位置，包括预序与偏序、等价关系的联系与区别，以及预序集的基本概念。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2024-03-02
}}
{{InfoBox
|name=预序
|eng_name=preorder
|aliases=quasi-order,预序关系,non-strict preorder
}}
{{InfoBox
|name=预序集
|eng_name=proset
|aliases=preordered set,non-strictly preordered set
}}
'''预序'''('''preorder''')指[[集合]]上的一个二元[[关系]]同时是[[自反关系]]和[[传递关系]]。
元素间存在预序关系的集合称为'''预序集'''('''preordered set''', '''proset''')。

<blockquote>
注意， quasi-order 一词在英语语境中是预序(preorder)的别名，是'''自反'''且传递的关系；但在中文语境中常翻译为拟序，且用来指'''反自反'''且传递的关系，见[[拟序]]条目。

为避免混淆，两个条目中均将 quasi-order 标注为别名，且从正文中删去。
</blockquote>

== 定义 ==

对集合 <math>P</math> 上的二元关系 <math>\preceq</math> ，如果满足自反性和传递性，即：
* 自反性： <math>\forall a \in P (a \preceq a)</math> ；
* 传递性： <math>\forall a \forall b \forall c (a \preceq b \land b \preceq c \rightarrow a \preceq c)</math> 。
称关系 <math>\preceq</math> 为一个'''预序'''('''preorder''')。
并称带有预序关系的集合 <math>(P,\preceq)</math> 为'''预序集'''('''preordered set''', '''proset''')。

注：根据使用者的习惯，预序中的关系可能会使用符号 <math>\preceq,\precsim,\leq,\lesssim</math> 中的某个。

== 关系图特征 ==

预序在关系图上的特征：
* 传递性的存在使得预序中的元素，要么形成一个团，要么形成层次。
* 关系图中的团对应同时在两方向满足关系的元素；
* 关系图中的层次，对应不在两个方向成立关系的元素必然在任意复合中都使得小的一侧比大的一侧更小；
** 每个层次内可以存在多个连通分量，对应多组两两不可比较的元素；
** 对于有多个连通分量的层次，每个连通分量本身又是一个预序，递归满足这一条件。

== 性质 ==

* 基本特征
** 预序是自反且传递的二元关系。
* 运算性质
** 预序的[[交（关系）|交]]仍是预序；
** 预序的[[并（关系）|并]]'''不一定'''是预序；
** 预序的[[复合（关系）|复合]]仍是预序。
* 预序集中的特殊元素
** 有限预序集中总是存在[[极大元、极小元（序理论）|极大元、极小元]]，有时存在[[最大元、最小元（序理论）|最大元、最小元]]。
* 构造方法
** 任意关系的自反传递闭包都是预序。
** 等价关系与偏序的复合是预序。

== 关联 ==

* 若一个预序是[[对称关系]]，则其是[[等价关系]]。此时集合只存在一个层次，且每个连通分量都是一个团。
** 每个预序都可以诱导一个等价关系：定义 <math>x \sim y</math> 当且仅当 <math>x \preceq y \land y \preceq x</math> 。
** 这个等价关系将预序集划分为等价类
* 若一个预序是[[反对称关系]]，则其是[[偏序]]，也就是不允许两个元素双方向成立关系。此时关系图中的团被消除，只剩下有层次的关系。
** 每个预序中都有一个子关系是偏序：定义 <math>x \leq y</math> 当且仅当 <math>x \preceq y \land y \npreceq x</math> ，或 <math>x = y</math> 。
** 预序在等价类上诱导一个偏序， 就是预序在诱导出的等价关系下的商集。
* 若一个预序是[[完全关系]]，则其是[[弱序]]。此时同一级内的元素互相之间都能比较，不再被划分为多个连通分量。
* 预序的[[反自反核]]，即保持传递性同时将自反性替换为反自反性后的关系，称为[[严格预序]]。


{{关系}}
{{二元关系复合类型}}