第640章扭曲劫海,通天之路(1/6)
理论上来讲,2^??就等于??。
对此,许多人肯定会非常疑惑。
为什么会这样呢?
为什么与??等势的最小超限序数w,无论其通过何种运算,不管是w+1,或是w+w,亦或是w^w,还是w↑w,甚至是非递归cK序数,都依然与??等势,依然处在阿列夫零的统辖范围里。
而仅仅只是2的??次方,却能够等于更高的不可数无穷??呢?
其实个中的原因,并没有想象当中的那么简单,也远没有那么复杂。
首先,可数无穷??是最小的无限基数。
注意,是基数而非序数。
所以??并不需要像最小的无限序数w那样,去遵从序数次幂的规则来运算。
??的运算需要遵从的,是基数次幂的规则。
基数次幂与序数次幂的规则,这两者是完全不同的。
而按照基数次幂的运算规则,2^??这一算式的本质,其实便代表着从自然数集映射至{0,1}函数集的函数个数。
{0,1}函数又可简称为01函数,亦可称为狄利克雷函数。
这是一种定义域为整个实数范围(R),值域为{0,1},且处处不连续处处不可导,并在任何区间内都黎曼不可积,但在单位区间上却勒贝格可积的可测函数。
01函数这种无法画出函数图像但图像却又客观存在的函数集,与自然数集的幂集完全等势,也和实数集完全等势。
因此,根据康托尔的对角线论证法,便可以得出2^??>??这一推断结果。
再根据连续统假设(ch)可知,??与??之间并无额外的无穷基数,所以大于??的2^??便等于??。
事实上,在那无量量座十维宇宙内的无量量无穷级还有有限数生命智慧文明中,无人能够知晓2^??是否可以等于??。
换句话说,便是无人知晓是否百分百的不存在一种介于自然数集和实数集之间的无限基数。
只因,在现有的集合论ZFc公理系统中,这个问题或者说这个猜想假设,既不可证伪又不可证实。
这也就是连续统假设为何始终是假设,而非绝对性质定律定理的原因。
但是,穆苍现在明确知晓。
??与??之间,确实不存在任何额外的无限基数。
对此,许多人肯定会非常疑惑。
为什么会这样呢?
为什么与??等势的最小超限序数w,无论其通过何种运算,不管是w+1,或是w+w,亦或是w^w,还是w↑w,甚至是非递归cK序数,都依然与??等势,依然处在阿列夫零的统辖范围里。
而仅仅只是2的??次方,却能够等于更高的不可数无穷??呢?
其实个中的原因,并没有想象当中的那么简单,也远没有那么复杂。
首先,可数无穷??是最小的无限基数。
注意,是基数而非序数。
所以??并不需要像最小的无限序数w那样,去遵从序数次幂的规则来运算。
??的运算需要遵从的,是基数次幂的规则。
基数次幂与序数次幂的规则,这两者是完全不同的。
而按照基数次幂的运算规则,2^??这一算式的本质,其实便代表着从自然数集映射至{0,1}函数集的函数个数。
{0,1}函数又可简称为01函数,亦可称为狄利克雷函数。
这是一种定义域为整个实数范围(R),值域为{0,1},且处处不连续处处不可导,并在任何区间内都黎曼不可积,但在单位区间上却勒贝格可积的可测函数。
01函数这种无法画出函数图像但图像却又客观存在的函数集,与自然数集的幂集完全等势,也和实数集完全等势。
因此,根据康托尔的对角线论证法,便可以得出2^??>??这一推断结果。
再根据连续统假设(ch)可知,??与??之间并无额外的无穷基数,所以大于??的2^??便等于??。
事实上,在那无量量座十维宇宙内的无量量无穷级还有有限数生命智慧文明中,无人能够知晓2^??是否可以等于??。
换句话说,便是无人知晓是否百分百的不存在一种介于自然数集和实数集之间的无限基数。
只因,在现有的集合论ZFc公理系统中,这个问题或者说这个猜想假设,既不可证伪又不可证实。
这也就是连续统假设为何始终是假设,而非绝对性质定律定理的原因。
但是,穆苍现在明确知晓。
??与??之间,确实不存在任何额外的无限基数。