六、    基数

    [基数]  假定集A可以一对一地变上集B,那末记成

                      card(A)=card(B)

card(A)”读作“A的基数”或势.

    为了符合习惯,进一步把card(A)定义作“可以一对一地变上A的最小的序数”.这里不妨采用这个定义,不过要注意:1°  基数跟序数的算术不一样,所以尽管这样定义,但一般不用那个序数的记号来表示所说的基数,例如cardω)不记作ω或其它的序数;2° 虽然由选择公理知道可以一对一变上集A的最小的序数存在并且唯一,但是并非所有关于基数的基本原理都跟选择公理有关系,下面的定理就是例子.

    假定集A可以一对一地变进集B,那末记成

                     card(A)≤card(B)

特别,当card(A)≤card(B)而card(A)≠card(B)时,记作

                         card(A)<card(B)

    上面规定了基数间的大小如何比较,但这只是表面的,要等建立了下面的定理以后才能说明这样规定是合理的.

    [康托-伯恩斯坦定理]  假定card(A)≤card(B) ,card(B)≤card(A)

那末

card(A)=card(B)

    推论

  对任何集A和集B,下列式子

                   card(A)<card(B),card(A)=card(B)

                          card(B)<card(A)

一定有一个且只有一个成立.

  假定 card(A)<card(B),card(B)<card(C),那末

                         card(A)<card(C)

    [康托定理]  假定A不是空集,那末

                            card(A)<card()

    [有限基数与有限集]  一个有限序数的基数称为有限基数.如果cardA)是有限基数,那末称A为有限集.

    定理  假定hk是有限序数,h<k,那末

                        card(h)<card(k)

    由这个定理看到,所有有限基数的全体可以保持次序地变上所有有限序数的全体ω.由于这个缘故,假定n是一个有限序数,那末可以用n来代表cardn),也就是记成

                        cardn=n

这样一来,正整数和零不仅是有限序数,而且是有限基数,并且当作基数来看,它们之间大小关系仍旧保持.

    [超限基数]  任何一个基数总是某个序数的基数.有限序数的基数是有限基数,超限序数的基数一定不是有限基数,称为超限基数.

    大的基数必定是大的序数的基数.因此超限基数的全体是一个排队集.所以可以把比某个超限基数小的所有超限基数用序数当作下标从小到大排队:

                       

其中就是最小的超限基数cardω.“”读作“阿勒夫”.

    由上面说明知道,任何一个基数都可以表示,这里α是某个序数,并且是比所有(β<α)大的最小的基数.反过来,对任何序数α,这样的都存在.因为假定存在,那末一定存在,因为总有基数比大,于是由排队集的性质知道存在比大的最小的基数,于是由数学归纳法知道,对任何正整数n存在.

    对一般序数α可以用超限归纳法证明,因为假定对于比序数β小的每个序数δ存在,那末存在序数γδ,使card(γδ)= 比所有这些γδ都大的序数存在,随便取一个记作γ,那末card()>card(γ)card(γδ)= .所以比所有的都大的基数存在.因此由排队集的性质知道存在比所有的都大的最小的基数,这个最小的基数就是.因此由超限归纳法知道,对任何序数α, 存在.

    [可数集与不可数集]  称为可数无限集的基数,因为=cardω),凡是当基数的集一定可以一对一地变上ω(也就是零和所有正整数全体).有限集和可数无限集都称为可数集.

    由康托定理(非空集的所有子集的全体的集的基数),所以基数等于的集是不可数的. 正好是所有实数全体(连续域)的基数,这是因为实数全体就是二进位小数全体.但是究竟是那一个超限基数呢?康托猜测是最小的不可数的基数,这就是下面著名的

    [连续域假设]  

    [广义连续域假设]  对任何序数α成立.

    连续域假设对不对?这问题曾经长期得不到答案,三十年代末发现了意外的结果:如果集论的公理系统本身没有矛盾,那末连续域假设跟这个公理系统是不矛盾的.以后又进一步证明连续域假设的否定(非)(就是)跟这个公理系统也是不矛盾的.这就是说,连续域假设对不对是不可解的(从现有公理系统来看).由于实数在数学中的重要意义,这个问题不可解说明集论公理不完备.