标准良序集.pdfVIP

第12卷弟3期 宁夏太学学报 (自然科 学版 ) 1991~-9月 Vo1．12No．3 Journal of N ingxiaUniversity(NaruralScience Edition) Sep IOOl ． 标 准 良 序 集 ● ● 许 绍楠 、 ‘数学 帛) 摘 要 本文；f进标；隹良序集概念并且证明了标准良序桌的十个定理。 关键商 标准良序桌，是序桌，序数． 我们 已经知道，在承认选择公理的前捏下，任何集合都可 以良序化，使之成为 良序集． 并且，良序集的任一截段都短于这个 良序集．然而，有些 良序集可以与它的某个截段等势． 例如，良序集 (自然数集 )N=(1，3，5，…，2，4，6，…) 与它 的截段Nz=(1，3，5，…)等势．当然 ，也有与 N不等势的截段，如N =(1，3)． 我们还知道， 同一个集 台可以有不 同的 良序方式 ，即同一个集合有不 同的良序 集 ．比 如，N还可 以良序化为 N一(1，2，3，4，S，6，…，) 现在我们问，在任一集台x的各种良序集中，是否存在x的一个良序 集x。．使 得x 的 任一截段x 的势x：都小于x 的势 x ?本文就来讨论这个问题，并且给予肯定的回答． 为了讨论方便，首先给出 定义 如果一个 良序集的任一截段的势都小于这个良序集的势，则称这个 良序集是一个 标准 良序集．一个集合 良 化后得到的标准 良序集称为这个集台的标准 良序集． 同一个集合的标准 良序集有时可 以不完全重台．例如． 自然数集台N=(I，2，3，… 是 N的一个标准良序集，还可以把N良序化为N (2，I，3，)．它们的最小元 分 别 是 l和 2，所 以 它们是不完全重合 的． 但是 ，容 易看 出，它们是相似 的．只要令 l与2对应 ，2与 l对应，’其余 的元素 自己与 自己对应就得 出它们之 间的一个相似对应 ，所 以，它们是相似的．在相似 的意义下，印如果 一 个集合的任何两个标准良序集相似时，我们就说这个标准良序集是唯一的．相似良序集具 有同一个序型 (即序数 )．非空有穷集的任一良序集都是这个非空肴穷集的标准良序集． 定理 1 如果一个集合有一种 良序方式，则这个集合有标准 良枣集 (即良序集必有标准 良序集 )j并且 同一个集台的两个标准 良序集是相似_(唯一 )的． 证明 设 是一个 良序集，如果 的任一截段 的势 ，-则 就是 的一个标准 良序 收 稿 日期l 1990—04—20 集．否则，必存在A ：A。．令 C (a：A 是 的截段 A =A }． ． 由假设 ，有A ： ，故C是 的一个非空 良序子集．由 良序集定义与集合C的定义 ，C有 最小 元素p，使得 。一 ，且对任一 ，如果碍p，即 是 也是 的一个截段时，有 、 ： 且A。 A ．在A =A中，如果 Ⅱ．(∈A；)与m ((三 )对应 ， 口 (∈A )与口z(∈ )对应 ， ● 且 口] ： 时，我们就规定 z，那么，又得到 的一种 良序 一”方式，即得 到 羡 于序 ”一”的一个与 相似的良序集 ．对于这个 良序集