第二十一章SECTION2序数与基数.doc

§2 序数与基数 集论除了为数学各分支提供共同的形式基础以外,它本身的主要成果是序数和基数的理论.序数和基数都是正整数的推广.在§1里介绍了与集有关的基本概念,但是没有接触到有限、无限、正整数的一般定义等等，这些都将在本节作严密的说明. 排队（良序）集 [关系] 假定A是一个集，GAA，那末G称为A里的一个关系.如果x，yG，那末称x与y有G这种关系. [大小关系与分行(偏序)集] 假定G是集A里的一个关系，由x，yG和y,zG，必有x，zG，并且对任何xA,x,xG,那末称G为A里的一个大小关系.假定x,yG，记作xy.如果A里有一个大小关系,那末称A为一个分行(偏序)集. [次序与单行集] 假定集A里有一个大小关系()满足条件: (i) 对任何xA和yA,下列各式 xy,x=y,yx 一定有一个且只有一个成立，这里x=y表示x和y相同. (ii) 对任何xA,yA和zA,如果xy和yz都成立,那末xz成立. 那末称这关系是A里的一个次序,称A依这次序是单行集. [排队集] 假定按照集A里的一个次序,A的任何一个非空子集都有最小的元素,那末称A按照这个次序排队,称A为排队(良序)集.如果A按照某个次序排队,那末A的任何一个子集也都按照这个次序排队. [小头] 假定B是排队集A的一个子集,B的任何一个元素都比A\B的任何一个元素小,那末称B是A的一个小头(注意,A自己也是A的一个小头,因为A\A=φ,上面的假设自然成立).如果A\B(,那末称B为A的真小头. [保持次序的变换] 假定一个变换把一个单行集(不一定是排队集)A一对一地变进一个单行集B,并且象源小的象也小,那末称这变换保持次序.可以证明,假定A和B都是不空的排队集,那末其中一定有一个集可以保持次序地变上另一个集的一个小头,并且这种变换是唯一的. 序数 [序数] 如果集α满足条件: (i) α的每个元素都是集; (ii) 如果xα,yx,那末yα; (iii)α可以用当作次序(就是把xy理解为xy)排队. 那末称集α为序数. 序数是存在的,§1,一,集的例子中所述的0和1,2,3,4等正整数就都是序数,例如2={φ,{φ}}显然具备(i),(ii),(iii)这三个条件. [后继序数] 假定α为序数,那末比α大的最小的序数称为α的后继序数. [极限序数] 假定α为序数,如果α没有最大的元素,那末比α的所有元素都大的最小的序数称为极限序数. [序数的性质] 对任何序数α和β,式子 αβ,α=β,βα 一定有一个且只有一个成立. 若α,β,γ都是序数,并且αβ,βγ,则αγ. 若α和β都是序数,并且αβ,则α等于β的一个小头. 上述性质说明如果把看作,任何序数α和β可以比较大小,而且小的序数既是大的序数的一个元素，又是大的序数的一个小头. φ是最小的序数. 任何一个序数α都有唯一的后继序数，如果把这个后继序数记作α+1，那末 α+1=α∪{α} 一个序数α是所有比α小的序数的全体.如果α有最大的元素γ，那末α 就是γ的后继序数，不妨把γ记作α-1.如果α没有最大的元素，那末α不是任何序数的后继，这时α为极限序数. 对任何一个序数集{αh|hH}，存在比所有αh都大的序数，当这个序数集没有最大的元素时，α=就是比所有αh都大的最小的序数，α是一个极限序数；当这个序数集有最大的元素αk时，，而比所有αh都大的最小序数是α=αk ∪{αk }=()∪{αk}. [布拉里-弗蒂怪异] 假定“所有序数的全体”是一个集，那末由性质7(，存在一个序数比这个集里所有序数都大，也就是有一个序数比所有序数都大，这个自相矛盾的结论就叫布拉里-弗蒂怪异.这是集论史上罗素怪异以外又一个著名的怪异. 从公理化集论来看，这无非说明“所有序数的全体”不是集.因此要避免牵涉到这个概念，至多只说“小于某个序数α的所有序数的全体”. 正整数(超限序数(超限归纳法 [正整数] 假定n是一个后继序数，比n小的所有序数是零（φ）或后继序数，那末说n是一个正整数. [有限序数与超限序数] 零或正整数称为有限序数.一个序数如果不是有限的，那末这种序数称为超限序数. φ当作序数时，记作0. [无限公理] 至少存在一个集A有下面的性质:(i)φA;(ii)xA必有x∪{x}A. 定理 所有有限序数的全体是一个集ω,ω是最小的超限序数.所有正整数全体也是一个集. 事实上,每个有限序数必定属