第三百三十两章：计数器 反正现在也做不了其余事情，便又从“高于ω的集合设定”那一部门继续攀登冲往“无限”的漫长道路—— ……为了更好地理解集合的巨细，我们定义一个k，把小于k的必然数量（小于k的数量）的数加在一起还是不如k大——＜与+均是小学数学课本上的内容，如果大家都长大成人了念必已对此会有更不普通的睹解。 小于k的基数的下一个基数仍小于k——弱不成达就是指这种情况。小于k的基数的取幂后的基数也小于k——强不成达就是指这种情况。在连续统假设成立的情况下就无所谓强弱之分了。 接下来就稍微进阶下，让我们设置一个计数器——φ，φ的作用就是计数，数数应该是稚子园就有的概念了。φ的功能就是在（）中显示不成达基数的个数，比如φ（1）就是数到第一个不成达基数，φ（2）就是数到了第两个不成达基数。因为阿列夫0对于小于它的数满足了上述条件，所以φ（1）就数到了阿列夫0；而下一个不成达基数则对小于它的数（包括阿列夫0）也满足了上述条件，所以φ（2）就数到了它；φ（3）同理…… 就在这个计数器不停的数啊数啊数，数了很久很久，不晓得是不是累了还是咋地迷糊了，数到k时，有φ（k）=k。对于大到这么特别地不成达基数，我们决定给他颁个勋章，称号前缀个1-，也就是1-不成达基数。当然，还不止如此，作为特别款待，我们将用特别版的计数器来为其计数，也就是φ_1，有个特其余粉饰。φ_1（1）数到的就是最开端遇到的那个1-不成达基数。 就在这个计数器不停的数啊数啊数，数了很久很久，不晓得是不是累了还是咋地迷糊了，数到k时，有φ_1（k）=k。对于大到这么特别地不成达基数，我们决定给他颁个勋章，称号前缀个2-，也就是2-不成达基数。就这么颁奖下去啊，我们就有了一系列α-不成达基数。直到有一天，我们的计数表爆表了！ 这里说的爆表当然不是说计数器数不下去了，而是勋章多的装不上去了。为什么会这样呢？因为我们的计数器曾经数到头昏眼花，数到了φ_k（k）=k。不得已，对于大到这么共同的不成达基数，我们决定给他颁个荣誉证书，冠名为超不成达基数。对于超不成达基数，我们决定换个豪华版计数器——Φ。 不过即使是Φ，也有数的头晕脑胀的时候，遇到了Φ（k）=k。不过豪华版就是豪华版，即使到了这一步我们还是可以给它颁个勋章了事。但可恨的是，Φ终究也有数到神态不清的一天，遇到了Φ_（k）=k，不得已，我们只能用超豪华典藏版来数这些超-超不成达基数。 但怎样啊，超豪华典藏版照旧重蹈覆辙，以至于我们都开端用φ来计数倒下了几个计数器了。于是最终还是废弃了，因为φ又双叒叕数倒下了。好了，小学生的故事就到此完毕！ “（还是在解释迭代，不过叙述要比之前俭朴一些了，适合数学根底比力薄弱的一类人吧……）” ……再稍微进阶下，可以对φ作扩展成φ_0_0以用φ_1_0等同Φ的计数能力，φ_1_1等同Φ_1的计数能力。为了简洁，我们也能够表现成φ（x，y），或进一步扩展为φ（x，y，z，……），并以φ_k（x，y，z，……）表现（x，y，z，……）含k元变元，然后再进一步扩展为φ_（x，y，z，……）（x，y，z，……）……至于后面的高维扩展还是啥的随便你们玩了。 但玩的时候必要注意的是，计数器之所以能计数，还是因为有数可计，在ZFC中你不成能因为已有的正则极限基数就执行{n是第n个正则极限基数|n∈ω}。而在ZFC+存在不成达基数中，也仅包含宣告存在的不成达基数，下一个不成达基数都是不成达的，除非你添增一套公理模式，能够将ZFC设想的计数器的计数都作为公理插足。 不过最好的方法还是，设想一个全新的大基数公理，比如回到最开端，k中不成达基数构成的集合为k中的驻集，这样在k中就足够计数器数了。何故？因为不成达基数本身的不成达性（超过度），使得一系列不成达基数的极限总不会是不成达基数，或者说，仅含n个“不成达基数”的宇宙总是存在的。所以，这种k的存在是比不成达基数（对于其下集合而言可以充任全域）更为可疑的了。但既然开启了这一步，那就没什么可以阻遏该定义的推广了。比如，这种k的集合亦在某个K中构成驻集，然后前缀1-。所谓k的集合在K中构成驻集的意思是，K的一部门加起来等于K，并且这一部门的一部门加起来得到的数也属于这一部门。k为不成达基数的话就是，不但K中的k加起来等于K，一部门k加起来也是k。 k的集合在K中构成驻集，本质上就是将K的子集划分为大的与小的两类，而所谓的驻集即是不属于小的那类的子集，可以说你曾经俭朴的晓得了滤的不雅念，接下来就来进入下一个滤吧！ 令μ为一个检测器，把它当作跟战斗力检测器差不多的玩意，只是只能显示1或0，权当大和小来理解就够了。所谓k上的测度就是这么个情况： μ（k）=1；k作为自身的子集当然是属于大的一类了。对任意x∈k，μ（{x}）=0；作为k的元素，该元素的集合当然也是k的子集，但这种子集连等势都不等上，当然是属于小的一类了。对任意XY，μ（X）≤μ（Y）；显而易睹，X作为Y的子集，Y的值不成能会小于X，最多大家一样。 对任意两两不订交的子集族{Xi|i∈ω}，其并的测度（μ（∪{Xi|i∈ω}））等于其别离测度之和；显然，1+1=2，而μ只能显示1和0，所以明摆着是说k中任意两两不订交的子集族都是战0渣。是不是很俭朴？动脑念下不难发明，阿列夫零上就具有这样的测度，对于具有这种测度的基数我们称之为可测基数。 而不成数的可测基数，则打破了可构造公理的神话，不为来自现象学的辩护撑持，亦不被形而上的绝对无贫涵盖，是大基数中的一道里程碑，大大基数的分水岭，现代数理逻辑真正关注的大基数由此开端。可以说，上述的那些极大性之于可测基数都微不足道。但实在光有两值测度确实不够直不雅，还是必要加下非主超滤合营来看的。这里有张图会比力直不雅地展现： 那么定义k上的滤子U是一个超滤子，当且仅当对任意Sk，要么S∈U，要么S的补集∈U。直不雅上，属于U的集合是大的集合，自然地，补集为大的集合的集合就是小的集合。可以说超滤子将k的全部子集划分为大的和小的，而称U是主超滤子，当且仅当存在x∈k使得U={Sk|x∈S}。此外，称U是k-完全的，当且仅当＜k个大的集合的交集仍然是大的。因此，如果称一不成数基数是可测基数，那么当且仅当存在k上的＜k-完全非主超滤子。 “（完蛋，我就晓得扯到后面肯定会有一堆我看不懂的符号，看来我也就小学生水平了么？）” 那么如何理解不成达基数？递归的定义超贫基数：令0=ω，a+为ON中全部基数大于a的α之交，也就是基数比a大的全部序数中最小的序数。不难看出，对于任意序数均可定义一个超贫基数，而全部超贫基数的类是ON的子类，尽管它俩的长度一样长。 也甭管阿列夫一是怎么大于阿列夫零了，反正存在大于阿列夫零的基数然后我们管此中最小的那个叫阿列夫一，第两个叫阿列夫两。现在我们曾经晓得每个基数都是序数，假设k是一个基数而α是一个序数，如果存在函数f:α→k，使得α在f下的像在k中无界，就称f是α到k的共尾映照，也称α是k的共尾数，特别地，k最小的共尾数记为cf(k)。 所谓的无界即对于任意小于k的β，都存在α在f下的像ξ大于β。所以，f反映的是k是否可以通过长度为α的序列从下面抵达k。显然，cf(k)≤k。如果cf(k)＜k，就称k是奇异基数；如果cf(k)=k，就称k为正则基数。 例如：对于任意自然数n，令f(n)=n，则f:ω→ω是共尾映照，所以ω是一个奇异基数。相反，1是一个正则基数，究竟可数个可数集的并仍是可数的。事实上，我们可以证明全部后继基数都是正则的，故而，全部奇异基数都是极限基数。反过来，在极限基数中我们只晓得ω是正则的。那自然的问题就是：“是否存在不成数的正则极限基数？”而“存在不成数的正则极限基数。”这也就是断言不成达基数存在的公理了。
《身为棋子的少年不会在棋盘里睡着》情节跌宕起伏、扣人心弦，是一本情节与文笔俱佳的其他类型类型的网文小说,妙笔阁小说网(www.miaobigexs.com)转载收集身为棋子的少年不会在棋盘里睡着最新章节,欢迎各位书友收藏加关注,追书不迷路！