本书不可达基数用于半步本源造化。

不可达基数是强弱不可达基数的统称。如果k是不可数的、正则的极限基数，则称k是弱不可达基数；如果k是不可数的、正则的强极限基数，则称k是强不可达基数。这两类大基数合称不可达基数(或不可到达基数)，也有文献只把强不可达基数称为不可达基数。由于任何基数λ的后继基数λ+不超过λ的幂2λ，所以每个强不可达基数必为弱不可达基数；又由于在广义连续统假设gch之下，λ+=2λ，所以在gch之下，每个弱不达基数也是强不可达基数。之所以如此称呼这类大基数，是因为不能用通常的集合论运算来“到达”它们。事实上，若k是强不可达基数，又集合x的基数|x|k，则幂集p(x)的基数也小于k；又若|s|k，且对每个x∈s，|x|k，则|us|k。这就是说，由小于k的基数，无论进行何种运算，总达不到k。可数无穷基数n也具有上述两条性质，因此，也可以说在有限基数的范围内，用除去无穷公理之外的任何集论运算，n也是“不可到达”的。这就清楚地看出，不可达基数确实是无穷基数的一种自然推广。“存在不可达基数”已不是zfc系统的定理。若想肯定这一事实，只有引入大基数公理。事实上，若k是强不可达基数，则直到k层的集vk就是zfc系统的模型。这样，若存在强不可达基数，则zfc系统便相容。但不可能在zfc系统中证明zfc系统的相容性，于是推知：“存在不可达基数”不是zfc系统的定理。

弱不可达基数是一种正则基数。既是极限基数又是正则基数的不可数基数。若nα为弱不可达基数，则cf(α)=α，且α是极限序数。因为cf(nα)≤nα，nα≥α，所以nα=α。可见nα是非常大的。由定义还可看出，不可达基数k不可能由比它小的基数通过基数的加法、乘法、乘幂和取极限等运算得到。豪斯多夫(hausdorff，f)在198年提出了弱不可达基数的概念。现已知道弱不可达基数的存在性在zfc系统中是不可证的。

强不可达基数是一种正则基数。简称不可达基数。既是正则的又是强极限的无穷基数。即如果正则基数k满足kn，且对任何λk有2λk，k就是一个强不可达基数。强不可达基数一定是弱不可达的。在广义连续统假设成立时，每个弱不可达基数也是强不可达的。这时这两个概念是相同的。在zfc系统中不能证明不可达基数的存在性。称这种基数为不可达的原因是它不可能从比它小的基数出发，使用通常的集合论运算得到。

正则基数

正则基数是一种特殊基数。如果α为极限序数，且cf(α)=α，则称α为正则的。正则的基数称为正则基数。不正则的无穷基数称为奇异基数。由于正则的序数一定是基数，故人们对正则的序数、正则序数、正则的基数和正则基数这几个概念不加区别地使用。通常也有人将称为正则基数，将nα+1称为正则序数。正则性是基数的重要概念之一，它由德国数学家豪斯多夫(hausdorff，f)于198年引入。关于正则基数的性质曾引申出许多重要的集合论命题，其中最重要的问题是：是否能在zf系统中证明存在大于的正则基数?一方面，由选择公理知，n1，n2，…，nα+1都是大于的正则基数。另一方面，以色列集合论学家吉帖克(gitik，m)于1979年在假定存在某种大基数真类的情况下，证明了不存在大于的正则基数，也是和zf系统相容的。

基数介绍

亦称势。公理集合论的基本概念之一。是度量集合大小的量。在德国数学家康托尔(cantor，g(fp))之前，无穷只是一个很模糊的概念，人们无法区分两个无穷集的大小。1873年，康托尔发现自然数集与实数集之间不存在一一对应的关系，由此意识到可以用一一对应作为度量无穷集合大小的尺度。他把集合的大小称为集合的势，记为x，x为一集合。并且他定义，若集合a与集合b之间可建立一一对应关系，则称a与b等势，记为a≈b。然而康托尔对势没有作非常严格的定义，而将集合的势定义为从集合中抽去元素特性及顺序特性得出的一般概念德国数学家、数理逻辑学家弗雷格(frege，(fl)g)与英国数理逻辑学家罗素(russell，ba)将集合的基数(势)定义为在等势关系下该集合所在的等价类这一定义虽然比较严格，但这样定义的基数不是zf公理集合论中集合的基数在zf公理集合论中，按如下方法定义集合x的基数|x|：

1若x是可良序化的，则定义|x|为最小的与x等势的序数。

2若不然，则定义|x|为与x等势的真类中所有具有最小秩的元素的全体所组成的集合。

如果某个集合的基数是a，则如此定义的基数满足|x|=|y|，当且仅当x≈y定义1是由美籍匈牙利数学家冯·诺伊曼(vonneumann，j)于1928年引入的；定义2则是上述弗雷格与罗素思想的翻版。如果存在从集合x到y的单射，则定义|x|≤|y|。如果|x|≤|y|且|y|≤|x|，则|x|=|y|。这就是著名的康托尔-伯恩施坦定理。对于任意的集合x和y，有|x|≤|y|或者|y|≤|x|，当且仅当选择公理成立。可良序化的集合的基数称为良序基数。每一个良序基数都是序数。因此，若设定某一选择公理，则每一个基数都是序数。对任意的序数α，存在大于α的最小良序基数，记为α。由此可见，所有的良序基数构成序数全域的一个无界的子类，即为真类。因此，可以定义一个从序数全域到所有无穷良序基数构成的真类上的保序映射，使得?αβ((α)(β))，式中读做“阿列夫”。还常用α代替(α)，表示第α个无穷良序基数，用α表示nα的序型，故n==，nα+1=α+1=nα。若α为极限序数，则nα=α=sup{p|p∈α}。nα是极限基数，当且仅当α是极限序数。