如果了解这个游戏的技巧,会发现它的G?(A)策略可以通过一个τ函数表示,这个函数被定义为X^<ω到X,对任意有穷前段partial的给定是s∈X^<ω。要是根据这个函数指示,玩家就可以知道下一步走的是τ(s)。
他想,方法是这样的,首先给定一个策略τ。把一个y序列定义为{Yn}n<N≤ω∈X^<ω。将τ*y=x的递归定义到x?n=τ(x|2n),x?n?1=yn;这样,当玩家2走出y序列的时候,玩家1即可走τ策略对应所走成的中盘。而当且仅当y∈X^ω,τ*y∈A时,无论玩家2如何走,玩家1总能按照τ对应的策略赢的该盘。
类似的,如果递归定义为x?n=yn,x?n??=τ(x|2n+1)时,玩家1走出y序列,玩家2即可走τ策略对应所走成的中盘,τ就成为了玩家2的G?(A)赢策略了。
……
很聪明,但要实际在棋盘上要完成这个步骤需要的时间又是多少?这不是一个实数集的问题吗?
——《花园神只》
康托尔定理
1.基数:基数是描述集合大小概念的量,集合元素间能够一一对应的集合便是对等集合,比如4个人和4只猫;5只马和5条狗,他们的基数是相同。自然基数是无穷多个,个数为N0(w0)也就是阿列夫0,是数学中最小的无限。(因此,我们也可以得知其实无限并不是数,而是指的所有自然数的集合。)
2.序数、序形:不可达性是无限的基本性质,虽然可以被更小的超限数持有,但并不意味着任意两种无限的势是相同的;比如,实数的无限就要>自然数的无限。以康托尔对角线证明可知(小说中有详细的证明过程),哪怕是0到1间的实数(这里只是单取无理数),全体自然数也远远无法和其一一对应。
而在康托尔集合中, lim n →∞(2/3) An 的极限是0,它的个数却可以和实数个数相同,集合为 Cn -1/3 U (2/3+ Cn -1/3)。(该结论可用十进制转化三进制再转化为二进制进行证明)同样的事情也出现在类似偶数和奇数或者偶数个数本身(没有任何变化)。这种违反直觉的结果表示,这前者和后者的数量是相同的。
于是问题出现了,在我们意识到80之后,自然数的基数也就没有了,没有基数的对应,我们就无法做之后的研究。为了继续延续w0之后的数而得到更大的基数,我们可以以w0+1、w0+2...等等的形式表示,这些数被称为序数,它们的排列结构被称为序形(一般是为良性序形)。
值得注意的是,这并不意味着w0+2>w0+1,序数无关大小,仅仅是排列如此。哪怕序数是w0w0,它依然不能说是>w0+1的。
3.阿列夫序列、不可达基数:根据序数的出现,我们便可以去试图构造新的非自然基数,这些被构造的大基数是无法被实例化的,因此它们的对象不可能被现实的物理宇宙物质所持有,我们的数概念也更像是这些基数的映射。良性序形是一个构造更大基数构造过程回看小说),目的是为了解决w0w0w0w0..这种无限制的构造问题。N1便是在我们构造无数次良性序列后宣称的最终结果,此外,整个阿列夫序列都满足以上步骤,且根据1、2点可知,它的不可达性必定被更小数持有(及正则超限基数序列中的更小数)。
这样无限的叠加最终的结论便是得到一个不可达基数0,一个更大的基数,也是我们目的想要得到的最小的大基数。也就是所谓的强弱不可达基数。
以上,如图一,在类似无限的步骤重复后,现代数学的无限结构便清晰可见。这种无限可能就是康托尔宣称的绝对无限,康托尔相信,这也就是绝对意义上的神或者上帝。这种无限庞大到可怕,甚至连公理和矛盾也包涵其中(详见图一)。而小说中,根据最终公式推理出的"花园"的概念便是基于在这个结构的基础上,宣称的一种绝对无限(乃至之卜)象征的超凡理念。
问题在于,根据康托尔定律,我们依然可以构造哦集合S的冥集,在一般情况下,无论这个大基数有多“大”,根据冥集公理,集合的所有子集构成的类事集合的冥集。P(X)永远都会大于X。
可现在,如果我们这样干的话,就会得到了一个矛盾了。因为你会发现,按照先前的定义,S也必须包含P(S)。
在数学上,这是一种“未完成”活着叫做“未构造”的结构,因为作为一切可能的基数中最大的。它所有的子类都是它的分子,子类的数目不会比分子的数目大。按照该思路,绝对无限(康托尔版本)便是可以包涵自己的冥集。也就是说P(Ω)依然是Ω的元素。
那么,再按照这种思路去理解『花园』就会非常清晰了。『花园』是无穷的、不可完成其冥集构造的绝对浩瀚。
小主,这个章节后面还有哦,请点击下一页继续阅读,后面更精彩!
喜欢深红基金会请大家收藏:(m.zjsw.org)深红基金会爪机书屋更新速度全网最快。