万维百科

预序关系

预序关系(简称预序,又称先序preorder)、在数学中,是一类接近于偏序关系的二元关系,但仅满足自反性传递性而不满足反对称性。偏序的大多数理论均可扩展到预序。

定义

考虑集合 P 及其上的二元关系 。若 具有自反性传递性,则称 预序。具体来说,对任意 P 的元素 abc,下列性质成立:

a a (自反性)
a bb c,则 a c (传递性)

带预序的集合称为预序集合。同时满足反对称性(若 a bb a,则 a = b)的预序为偏序

说明

作为特例,空集上的空关系为一预序。空集加上空关系构成一预序集。

导出偏序

将预序集的等价元素等同起来,可得到由该预序集所导出的偏序集。具体过程如下:定义预序集 X 上的等价关系 ,使得 a b 当且仅当 a bb a。定义所得商集 (所有 等价类构成的集合)上的序关系 ,使得[x] [y] 当且仅当 x y。由 的构造可知, 的定义与所选等价类的代表元素无关,故上述定义明确。易证该关系为一偏序。

举例

  • 拓扑网络收敛的定义使用预序比使用偏序可避免重要特征的丢失。
  • The embedding relation for countable total orderings.
  • 图论中的图子式关系(Robertson-Seymour)
  • Preference, according to common models.

参见

参考文献

  • Schröder, Bernd S. W., Ordered Sets: An Introduction, Boston: Birkhäuser, 2002, ISBN 0-8176-4128-9

本页面最后更新于2021-09-07 07:51,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器