第473章 23.|2^阿列夫|

1.关于人类数学里集合论的一些阐述。

问:很多人都说阿列夫一是阿列夫零的幂集,或者2的阿列夫零次方(阿列夫零对应w,而无限盒子就是w的w次方了),可是根据战力圈的说法,阿列夫一又是w无论如何堆叠都无法到达的。这两种说法是否矛盾?而且阿列夫一是全体实数的集合,如何证明w无论如何堆叠自身都无法抵达它的大小?连续统假设中,2的阿列夫零次方就等于阿列夫一,是否与图中w的无穷次幂都无法到达阿列夫一相矛盾?

w的w次方肯定不会<2的w次方吧?

答:次方的定义:

ab=b个a相乘,

2的阿列夫0次方就是阿列夫0个2相乘,

运算中出现极限序数的情况,我们是取其下序数的运算极限的情况,

2阿列夫0就是,

21,22,23,24,……这一系列运算结果的极限,也还是阿列夫0,

之所以如此,是因为次方运算的定义是:

a=ax,

这样依赖于“前一步”,它是基于乘法次数的延伸,

但极限序数不存在前一个序数。

“2阿列夫0”之所以表示更大基数,是因为这种记法在集合论中也是函数集的记法,ab是:b到a的函数的集合,

严格的写应该是|2阿列夫0|=阿列夫1,|x|表示集合x的基数,只是一般会省略,

阿列夫a是第1+a个无穷基数,

阿列夫0就是第1+0个无穷基数,阿列夫1就是下一个无穷基数,

康托认为2阿列夫0的基数就是阿列夫0之后的下一个无穷基数,也就是阿列夫1,

|2阿列夫0|=阿列夫1,

这句话就是所谓的连续统假设,以前的科普都会默认连续统假设成立。

w是你要叠堆的目标时,首先你就不能使用w本身或者包括w的总体来叠堆它,