For faster navigation, this Iframe is preloading the Wikiwand page for
良序关系.
在数学中,集合S上的良序关系(或良序)需要满足:①是在S上的全序关系。②S的所有非空子集在这个次序下都存在最小元素。等价的说,良序是良基的线序。集合S和这个良序关系一起就叫做良序集合。
粗略的说,良序集合的排序方式,使得我们可以逐次考虑一个它的元素,而在还没有检视完所有的元素的任何时候,总是有一个唯一的下一个元素可考虑。
例子
- 自然数的标准排序≤是良序的。
- 整数的标准排序≤不是良序的,因为比如负整数的集合不包含最小元素。
- 整数的下列关系R是良序的:
- x R y,当且仅当下列条件之一成立:
- x = 0
- x是正数,而y是负数
- x和y都是正数,而x ≤ y
- x和y都是负数,而y ≤ x
- R可以显示为如下:
- 0 1 2 3 4 ..... -1 -2 -3 .....
- R 同构于序数ω + ω。
- 可以定义整数的另一个良序关系如下:x <z y 当且仅当 |x| < |y| 或 (|x| = |y| 且x ≤ y)。
- 这个良序可以显示为如下:
- 0 -1 1 -2 2 -3 3 -4 4 ...
- 正实数的标准次序≤不是良序的,因为例如开区间 (0, 1)不包含最小元素。存在着依赖于选择公理的证明,其能够证明实数可以被良序化,但是这些证明是非构造性证明。
性质
在良序集合中,除了整体上最大的那个,所有的元素都有一个唯一的后继元:比它大的最小的元素。但是,不是所有元素都需要有前驱元。作为例子,考虑自然数的一个次序,这里的所有偶数都小于所有奇数,并在偶数和奇数内应用正常的次序。
- 0 2 4 6 8 ... 1 3 5 7 9 ...
这是个良序集合并被指示为ω + ω。注意尽管所有元素都有后继元(这里没有最大元素),有两个元素缺乏前驱元:零和一。
如果一个集合可被良序化,超限归纳法证明技术可以用来证明给定陈述对于这个集合的所有元素为真。
良序定理,等价于选择公理,声称所有集合都可以被良序排序。良序定理还等价于库拉托夫斯基-佐恩引理。
等价表述
如果一个集合是良序的,则下列是等价的:
- 所有非空子集合都有最小元素。
- 超限归纳法在整个有序集合上成立。
- 所有严格递减序列必定在有限多步骤内终止(假定依赖选择公理)。
序数
所有良序集合都唯一地序同构于一个唯一的序数。实际上,这个性质是定义序数背后的动机。
{{bottomLinkPreText}}
{{bottomLinkText}}
This page is based on a Wikipedia article written by
contributors (read/edit).
Text is available under the
CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
{{current.index+1}} of {{items.length}}
Thanks for reporting this video!
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:
An extension you use may be preventing Wikiwand articles from loading properly.
If you're using HTTPS Everywhere or you're unable to access any article on Wikiwand, please consider switching to HTTPS (https://www.wikiwand.com).
An extension you use may be preventing Wikiwand articles from loading properly.
If you are using an Ad-Blocker, it might have mistakenly blocked our content.
You will need to temporarily disable your Ad-blocker to view this page.
✕
This article was just edited, click to reload
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}}
Follow Us
Don't forget to rate us
Oh no, there's been an error
Please help us solve this error by emailing us at
support@wikiwand.com
Let us know what you've done that caused this error, what browser you're using, and whether you have any special extensions/add-ons installed.
Thank you!