返回第697章选择之上,莱因哈特(2 / 3)  属性无限暴涨,我横压多元首页

护眼 关灯     字体:

上一页目录 纯阅读 下一页

多。

    虽然不知晓那个至高者为什么没有要自己的命,可胆小怕死的祂,还是藏匿了许久许久才敢现身。

    并且现身之后也不敢再随意夺舍,更不敢随便占域为王,只敢偷偷摸摸将所有分身散居在无数疆域内。

    不过,虽然没了继续搞事情的胆量,可出于好奇心的驱使,皮特天王还是在随后的漫长岁月里,开始鬼鬼祟祟查探起那「至高之眼」、「翻越选择」、「玄掌之上」……等等词汇概念的情报。

    或许是足够有耐心也足够执着的原因,关于这些陌生词汇,还真叫皮特天王打探出了一二。

    首先是「至高之眼」,根据祂从必然国度与自由国度各处各域,费尽心力与时光打探来的情报可知。

    所谓的「至高之眼」,是一个未经确认且源远流长的神秘传说。

    传说……所有掌道者与未定者所在的整个「世间」,都是从「至高之眼」中诞生而出的。

    同时,在「世间」诞生出现后,【无意义源流】才又从「至高之眼」内诞生出来,最终才有了未定者一族以及自由国度的出现。

    而「翻越选择」与「玄掌之上」这两个经过皮特天王的探索与研究,最后发现二者之间赫然存在有极深联系的词汇概念,亦是两种流传于各方各域的神秘传言。

    前者,也就是所谓的「翻越选择」,实际上指的便是……倘若能够

    从选择公理上翻越过去或者说绕过去,就可以到达一个全新领域。

    后者指代的,则恰恰就是那方新领域——玄掌之上。

    是的,玄掌并非掌道者进化体系的尽头。

    在其之上,可能还存在着一方恢宏而伟岸的崭新领域。

    至于选择公理的内容(任给一系列集合,都可以从每个集合中选出一个元素),即是ZFC公理系统的重要组成部分。

    如果没有它,关于实数的测度论就将分崩离析,还有不可数无穷及其以上的一系列数学结构,也就是那零零种种的大基数以及高阶大基数,亦将发生种种或大或小之变化。

    总之,通过大量情报的搜集与细致研究,最终皮特天王推断。

    若想要真正安全的踏足那座全知高塔,哪怕仅仅只是登上高塔最底层的基座区域。

    很可能,都需要攀登者的生命与实力级别,尽皆达到那彻底翻越选择公

    理并涉足进入全新领域之后的大基数对应等阶。

    也就是莱因哈特基数,以及在其之上的更高阶大基数。

    没错,就是那个总是与「0=1」这一概念纠缠不清的大基数。

    而它之所以一直都有「0=1」这个名头,则又与选择公理息息相关。

    或者说,就是因为与选择公理的矛盾与不兼容,才使得莱因哈特基数被套上了「0=1」的这个标签。

    所谓莱因哈特基数,即是集合论当中的一个重要数学概念。

    其定义与结构,则可从诸多个方面进行阐述。

    首先,莱因哈特基数的定义便是在没有选择公理(AxiomofChoice,简称AC)的集合论体系ZF公理系统下,存在的一种特殊类型基数。

    用数学语言表述,即是存在非平凡初等嵌入j:V→V,crt(j)=,这个就是莱因哈特基数。

    所以具体来讲,其便是指这个非平凡基本嵌入的临界点crt(j)=。

    其中这个嵌入j是初等的,这也就意味着嵌入前成立的所有真命题会在嵌入后依然成立。

    另外那个V,则是指集合论的全类冯诺依曼宇宙,即全部集合的真类。

    因而若将这些组合起来更进一步讲述,莱因哈特基数便是涉及到一个非平凡的基本嵌入,这个嵌入会将集合论的全类V映射到自身,并且具备特定的临界点。

    这其中,亦存在莱因哈特基数所具备的一种特性——自嵌入性,自身到自身的初等嵌入。

    而先前那段话当中的所谓「非平凡嵌入」一词,则是指莱因哈特基数本身,其实就是那基本嵌入的临界点。

    至于这临界点用数学语言表述,便是……是嵌入j的临界点,即对于所有小于的序数α,有j(α)=α,但j()≠。

    然后,这种嵌入会将集合论的全类V映射到其自身,且并非恒等映射——即存在某个集合x继而使得j(x)≠x。

    同时,由于嵌入j具有临界点,这也就意味着对于所有小于的序数α,都会有j(α)=α,而对于本身,则会有j()>。

    若细化来说,便是这种嵌入会具有特定的性质,其会将V中的某些元素映射到V中的其他元素,且映射过程中会保持集合的某些结构或性质不变。

    其次,由于无法被一阶逻辑语言来描述或定义,所以莱因哈特基数亦具备了不可定义性。

    还有,除却这些之外,那真正导致了莱因哈特基数会拥有「0=1」这一名头性质,便是它与那存在有选择公理的标准集合论公理系统Z

『加入书签,方便阅读』

上一页目录 下一页