Question

序数是什么

Answer 1

序数，为集合论基本概念之一，是日常使用的第一、第二等表示次序的数的推广。序数概念是建立在良序集概念之上的，而良序集又是偏序集、全序集的特殊情形。

序数原来被定义为良序集的序型，而良序集A的序型，作为从A的元素的属性中抽象出来的结果，是所有与A序同构的一切良序集的共同特征，即定义为{B|BA}。

这个定义从形式上看来是十分简单明了的，但在ZFC公理系统中不能证明它构成一个集合。事实上，{B|BA}是一个真类。因此，原来的那个定义是不成功的，必须修正，另走别的途径。设 α是一个良序集，ξ∈α，称S(ξ)={β∈α|β<ξ}为在良序集α中由ξ所生成的初始截段。