For faster navigation, this Iframe is preloading the Wikiwand page for 全序关系.

全序关系

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

全序关系,也称为线性顺序(英语:Total order, linear order)即集合上的反对称的、传递的和完全的二元关系(一般称其为)。

满足全序关系,则下列陈述对于中的所有成立:

  • 反对称性:若
  • 传递性:若
  • 完全性:

满足全序关系的集合叫做全序集合线性序集合简单序集合还常用来描述偏序集合的全序子集。

全序关系的完全性可以如下这样描述:集合中的任何一对元素都是可相互比较的。

注意完全性条件蕴涵了自反性,因此全序关系也是(满足“完全性”条件的)偏序关系。

严格全序

对于每一(非严格)全序关系≤都有一关联的非对称的严格全序关系<,它可以用以下两种等价的方式定义:

  • 当且仅当
  • 当且仅当(即补关系)

性质:

  • 传递性蕴涵
  • 三分性, 中有且仅有一个成立。
  • 弱序性:其中关联的等价是相等的。

我们可以通过指定为三分二元关系,用这两种等阶的方式来定义全序

  • 当且仅当
  • 当且仅当

另两个关联的关系是补关系,它们构成了四元组

我们可以用这四个关系中的任何一个来定义全序集,符号指明了全序集的严格性。

例子

  • 字典序的字母表,比如等等。
  • 全序集的任何保持原次序不变的子集。
  • 满足完全性的偏序集。
  • 基数序数集(严格地说,它们都是良序集)。
  • 为任何集合,到一全序集的单射,则诱导当且仅当的全序集。
  • 有序数的全序集的直积的字典序是全序的,例如按字典序排序的任何单词表——长为的单词可视为字母表集合的直积自乘次所得结果集合中的元素。
  • 拥有小于()和大于关系()的实数集是全序的,因此其子集(自然数集、整数集、有理数集等)均为全序集。
    • 自然数集是最小的无上界全序集。
    • 整数集是最小的无界全序集。
    • 有理数集是最小的无界稠密全序集。
    • 实数集是最小的无界连通全序集。

参见

引用

  • George Grätzer (1971). Lattice theory: first concepts and distributive lattices. W. H. Freeman and Co. ISBN 0-7167-0442-0
  • John G. Hocking and Gail S. Young (1961). Topology. Corrected reprint, Dover, 1988. ISBN 0-486-65676-4
{{bottomLinkPreText}} {{bottomLinkText}}
全序关系
Listen to this article

This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:

This article was just edited, click to reload
This article has been deleted on Wikipedia (Why?)

Back to homepage

Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install
{{::$root.activation.text}}

Install Wikiwand

Install on Chrome Install on Firefox
Don't forget to rate us

Tell your friends about Wikiwand!

Gmail Facebook Twitter Link

Enjoying Wikiwand?

Tell your friends and spread the love:
Share on Gmail Share on Facebook Share on Twitter Share on Buffer

Our magic isn't perfect

You can help our automatic cover photo selection by reporting an unsuitable photo.

This photo is visually disturbing This photo is not a good choice

Thank you for helping!


Your input will affect cover photo selection, along with input from other users.