第四百零二章 不值一提（1/2）

第四百零二章：不值一提

這種羅素悖論的變種也不懂可以自絕了吧？因此，N與p(N)無法一一對應。推廣到任意集合與其冪集也一樣。雖然這裡的簡單科普並不能涉及貝斯一與阿列夫一的區別，但就僅僅知道無窮基數有大小這點而言夠了……

「（我感覺我不會就是因為當時真的自絕，才會到這種地方來了吧？她說到後面就不能有一些像之前那些比較接地氣一些的話語嗎？難道我現在面對的這個機器管理真的是她弄出來的嗎？確實很有她不著邊際的風格……）」雖然不知為何當時看到的東西依然能夠完整而又一字不差地印刻在他的腦內，但回想到這裡尹浩已經徹底不行地開始懷疑人生了，就好像別人出了一道據說是小學生奧數題，但鬼知道是不是真的只靠小學生的知識就能解決還是人家默認提前學了很多東西，「（坑爹啊這是，這是馮諾依曼讀小學的時候才能弄懂的玩意吧？這集合一輪一輪替代到最後到底是啥我已經沒辦法弄清楚了啊！總不能是一個個世界盒子一層層突破吧？）」

繼續回憶下去的內容是——總結：設A是序數a的子集，如果A滿足?γ＜a?ξ∈A(γ≤ξ)，則稱A在a中是無界的。對任意序數a，cf(a)是滿足以下性質的最小序數β：存在映射f:β→a，使得f[β]在a中是無界的。這樣的映射稱為共尾映射，cf(a)稱為a的共尾。對任意序數a，如果cf(a)=a就稱a是正則的，不是正則的序數就是奇異的。

定理：對任意無窮基數k，k+是正則的。證明：令a＜k+，f:a→k+為函數。顯然|a|≤k，並且對任意ξ＜a，|f(ξ)|≤k。這樣，|u_ξ＜a[f(ξ)+1]|≤k，所以|u_ξ＜a[f(ξ)+1]|≠k+。這就證明了對任意a＜k+，cf(k+)≠a。因此，cf(k+)＝k+。該定理也表明任意奇異基數都是極限基數。而考慮到任意無窮基數?a，存在由?a開始的序列：?a，?a+1，?a+2，…，?a+n，…。顯然f(n)=?a+n是w到?a+w的共尾映射，即cf(?a+w)=w，也就是奇異基數。因此，對任意無窮基數都存在比它大的奇異基數……

要是再簡單地來說，A在a中賊雞兒大，沒有一個比它更大的了。存在一個換裝能夠讓β變得有A一樣大，最小的β就是a的尾巴了。尾巴比自己小的就是長的奇葩的，尾巴跟自己一樣大就是標緻的。

因為oN是所有序數的類，序數就是一個集合，這個可以參考前面的內容。簡單理解就是自然數的推廣，然後存在w之後繼續+1，因為已經有w了所以可以替換w的元素，w+w=w·2，對於w·n也可以繼續替換成w·w，對於這種w^n繼續替換遞增，但這些的基數都一樣，這裡提及它們的目的是，我們會有第一個無窮基數，第n個無窮基數，第w個無窮基數這樣。第一個無窮基數是w，可以有w個w之下的序數（集合）也是自然數抵達，但第二個無窮基數之下的只有w及其之後的序數（集合），而可數也就是w個可數集的並集也仍是可數，所以只有第二個無窮基數那麼長的序列才行。

於是我們會有第一個無窮基數，第n個無窮基數，第w個無窮基數。共尾映射指的是一種單射，比如 f(n)=阿列夫n 這種一個自然數對應一個阿列夫數的話，該映射的值域在阿列夫w中就是無界的，對於任意阿列夫w中的阿列夫數a都有一個f(n)大於a，如f(10)＞阿列夫9。你也可以更簡單的將這理解為f:a→k表示k為a個小於k的序數的極限。這樣，阿列夫w就是w個小於阿列夫w的序數的極限，即{阿列夫0，阿列夫1，阿列夫2，……}，w就是阿列夫w的共尾數。

阿列夫w大於w（阿列夫0），那麼這就是奇異基數。阿列夫1等於它的共尾數阿列夫1，就是正則基數。反正，一個基數的共尾數不會大於它，就小於等於兩種情況。因為第二個無窮基數是不可數的，只有阿列夫1長度的勢為阿列夫0的序數的序列才能抵達阿列夫1，共尾數是它自身。更進一步，所有後繼基數都是正則基數……

「喂，舅舅，你在發什麼愣啊？」

「啊——嘶——都說了，別叫了好麼？」果然這個令人顫抖的稱呼瞬間便讓尹浩又回過神來。

「但你也一直認為我們這裡是虛擬世界啊！」這矽腦袋居然也瞬間開始學會以牙還牙地犟嘴了。

「我在想你上次說你是三維方面的無限對吧？因為你的能量存儲與空間的關係是按立方來計算，那麼各種機械和智能模塊的運算力堆積可能也離不開空間的制約，所以才算不出無限維度棋類的最優解吧？」他想起來既然穎顥想要在《烏合之眾象棋》裡面表達出一種比無限疊盒子還要高級的無限表達方式，一時也不知道她到底是棋痴還是戰力痴，那麼勢必所有可以直觀想像到的構成形式在她所幻想的最終版當中都是不值一提的。

本章未完，點選下一頁繼續閱讀。