第三百三十二章 计数器[2/2页]

天才一秒记住本站地址：[笔迷楼]https://m.bimilou.cc最快更新！无广告！

    起来得到的数也属于这一部分。k为不可达基数的话就是，不仅K中的k加起来等于K，一部分k加起来也是k。

    小主，这个章节后面还有哦，请点击下一页继续阅读，后面更精彩！

    nbspk的集合在K中构成驻集，本质上就是将K的子集划分为大的与小的两类，而所谓的驻集即是不属于小的那类的子集，可以说你已经简单的懂得了滤的观念，接下来就来进入下一个滤吧！

    nbsp令μ为一个检测器，把它当做跟战斗力检测器差不多的玩意，只是只能显示1或0，权当大和小来理解就够了。所谓nbspknbsp上的测度就是这么个情况：

    nbspμ（k）=1；knbsp作为自身的子集当然是属于大的一类了。对任意nbspx∈k，μ（{x}）=0；作为nbspknbsp的元素，该元素的集合当然也是nbspknbsp的子集，但这种子集连等势都不等上，当然是属于小的一类了。对任意nbspX?Ynbsp，μ（X）≤μ（Y）；显而易见，Xnbsp作为nbspYnbsp的子集，Ynbsp的值不可能会小于nbspXnbsp，最多大家一样。

    nbsp对任意两两不相交的子集族{Xi|i∈ω}，其并的测度（μ（∪{Xi|i∈ω}））等于其分别测度之和；显然，1+1=2，而μnbsp只能显示1和0，所以明摆着是说nbspknbsp中任意两两不相交的子集族都是战0渣。是不是很简单？动脑想下不难发现，阿列夫零上就具有这样的测度，对于具有这种测度的基数我们称之为可测基数。

    nbsp而不可数的可测基数，则打破了可构造公理的神话，不为来自现象学的辩护支持，亦不被形而上的绝对无穷涵盖，是大基数中的一道里程碑，大大基数的分水岭，现代数理逻辑真正关注的大基数由此开始。可以说，上述的那些极大性之于可测基数都微不足道。但其实光有二值测度的确不够直观，还是需要加下非主超滤配合来看的。这里有张图会比较直观地展现：

    nbsp那么定义nbspknbsp上的滤子nbspUnbsp是一个超滤子，当且仅当对任意nbspS?k，要么nbspS∈U，要么nbspS的补集∈U。直观上，属于nbspUnbsp的集合是大的集合，自然地，补集为大的集合的集合就是小的集合。可以说超滤子将nbspknbsp的所有子集划分为大的和小的，而称nbspUnbsp是主超滤子，当且仅当存在nbspx∈knbsp使得nbspU={S?k|x∈S}。此外，称nbspUnbsp是k完全的，当且仅当＜k个大的集合的交集仍然是大的。因此，如果称一不可数基数是可测基数，那么当且仅当存在nbspknbsp上的＜k完全非主超滤子。

    nbsp“（完蛋，我就知道扯到后面肯定会有一堆我看不懂的符号，看来我也就小学生水平了么？）”

    nbsp那么如何理解不可达基数？递归的定义超穷基数：令?0nbsp=ω，?a+为ON中所有基数大于?a的αnbsp之交，也就是基数比?a大的所有序数中最小的序数。不难看出，对于任意序数均可定义一个超穷基数，而所有超穷基数的类是ON的子类，尽管它俩的长度一样长。

    nbsp也甭管阿列夫一是怎么大于阿列夫零了，反正存在大于阿列夫零的基数然后我们管其中最小的那个叫阿列夫一，第二个叫阿列夫二。现在我们已经知道每个基数都是序数，假设nbspknbsp是一个基数而αnbsp是一个序数，如果存在函数nbspf:α→knbsp，使得αnbsp在nbspfnbsp下的像在nbspknbsp中无界，就称nbspfnbsp是αnbsp到nbspknbsp的共尾映射，也称αnbsp是nbspknbsp的共尾数，特别地，knbsp最小的共尾数记为nbspcf(k)。

    nbsp所谓的无界即对于任意小于nbspknbsp的βnbsp，都存在αnbsp在nbspfnbsp下的像ξnbsp大于βnbsp。所以，fnbsp反映的是nbspknbsp是否可以通过长度为αnbsp的序列从下面抵达nbspknbsp。显然，cf(k)≤k。如果nbspcf(k)＜knbsp，就称nbspknbsp是奇异基数；如果nbspcf(k)=knbsp，就称nbspknbsp为正则基数。

    nbsp例如：对于任意自然数n，令nbspf(n)=?n，则nbspf:ω→?ω是共尾映射，所以?ω是一个奇异基数。相反，?1是一个正则基数，毕竟可数个可数集的并仍是可数的。事实上，我们可以证明所有后继基数都是正则的，故而，所有奇异基数都是极限基数。反过来，在极限基数中我们只知道ωnbsp是正则的。那自然的问题就是：“是否存在不可数的正则极限基数？”而“存在不可数的正则极限基数。”这也就是断言不可达基数存在的公理了。

    喜欢。

第三百三十二章 计数器[2/2页]

『加入书签，方便阅读』