第686章 无尽路途，不可达基数〔十分艰涩，谨慎观看〕

亦有无穷无尽无限无数个W函数不动点，并且这些互相间距离无比遥远的不动点，也都拥有同一个共尾数。

所以到了这一层面后，亦可以极为粗糙的将共尾数，视作为不同层次间的强度度量衡量标尺。

而距离这共尾ω的一系列所有世界基数‘最近’的更高共尾数层面，便是与??等势的ω1。

在此之上，还有与??等势的ω?、与???等势的ω??、与????等势的ω???……等等各类各样差距更是巨大到了完全没有边的共尾数。

这些具备不同共尾数的各类世界基数，亦通常会被命名为带有各种复杂前缀名或者后缀名的称呼。

并且，被这些各级各阶每一个共尾数所‘统治’的庞大‘领土’之内的那些个各级各阶世界基数互相之间，亦会存在有无穷无尽复无尽无穷恐怖到无法言说无法形容的巨大差距。

而若想要跨越这一重又一重天渊之距，则又会牵涉到所谓「无界闭集」的数学概念。

关于此概念，还有一个较为简单的名为「无界集合」的前置型概念。

对于此概念若举例说明便是，譬如位于ω范畴内的自然数在ω中无界，又因ωN，所以N便是ω的无界非真子集。「无界」概念的具体定义详见677章

既然存在‘非真’，那么就肯定会存在‘真’。

譬如，对任意n∈ω仍有n1∈ω，无存最大自然数，所以全体正偶数便是ω的真无界子集。

这个概念比较简单，但在此之上的「无界闭集」概念就要考虑的多…不是，是复杂的多了。

还是举例说明。

譬如，若c是x无界子集，对所有极限序数呈altx，只要a的上确界是a，就有a∈c，那么便可以说c是x的无界闭子集。

如果将这段话展开来讲，便可以认为对于那一系列a∈c所取的极限点，结果仍在c当中，也就是说c对于取极限点这一操作完全封闭，求取c中一系列元素的sup也仍然留存于C中。

所以，无界闭集的性质就像一把全无尽头的过滤网，可不断滤选出愈来愈极限的‘元素’，但却永远不会跑出集合范围。

总之，通过使用包括「无界闭集」在内的诸多‘工具’，沿着那贯穿一整个世界基数的漫长共尾数‘路径’，便可以直通不可达基数。

那么……不可达基数的共尾数，又会是什么呢？

答案便是……它自身。

是的，就如同神话传说当中代表着「永恒完美」「无限循环」以及「自有永有」等等至高概念的那一条用自己嘴巴咬住自己尾部类似莫比乌斯环带的衔尾之蛇一般，首个不可达基数其共尾数……赫然也是不可达基数。

首个不可达基数，即是一种在ZFC公理系统模型基础上加上相应不可达基数公理后，才能够存在的既是强极限基数又是正则基数的不可数基数。

所谓正则基数，意指的便是共尾数等同于自身的基数。

用数学语言来表达，即是cfkk。

这里的cfk，便是以k为上确界的递增序列的最小长度。

cf可以定义在所有序数上，但正则序数却必然是基数。

至于强极限基数，若用数学语言表达便是……若αltk，则2αltk，那么k就是强极限基数。

这里的“”是基数乘方之意，因而此数式之意即是k无法通过小于k的基数取幂集来达到。

同理则可得，ω即是一个强极限基数，因为有限集合之幂集必然还是有限集合。

又因为ω也是正则基数，所以也可以说，倘若不要求「不可数」这一必要条件的话，那么ω就属于是最小的不可达基数。

想想看，与ω相比无论1还是SCG3其实都没有什么分别，由此可见从那下方的自然数当中任意一点往上攀爬，都永远无法抵达ω。

所以从正则性和极限性来看，ω和ω之下的一切有限数比起来，就等于是有与无的关系，完全属于概念上的断层。

当然，ω和不可达基数相比只是某种意义上的‘明星脸’而已。

真正的不可达基数下方，是有着无界多世界基数层级的，远比想象之中还要更为遥远与深邃，强度亦是断层式的庞大。

许多知性生命都有一个极为不严谨的认知，即是认为……如果说ω是阿拉伯数字堆不出来的上确界，那么首个不可达基数应该便是阿列夫函数堆不出来的上确界。

但这个认知是错误的，不可达基数远比这个认知要巨大的多的多的多。

若用真正的数学语言来表达，即是……对于极限序数α，有cf?α≤α，又因α≤?α，因此若?α为弱不可达基数，那么cf?αα?α。

至于更高的强不可达基数，则是在弱不可达基数的基础上，增加了一个条件或者说要求。

即是……对于任意基数λ＜k，有2λ＜k。

这列数式表达之意，便是若k为弱不可达基数，且满足上面要求，那么就可升为强不可达基数。

此话当中的「强弱」即指范围之意，「弱」指代的是要求低、范围广，「强」则指代的是更具体明确了为何该大