39中文网

手机浏览器扫描二维码访问

第697章 选择之上莱因哈特(第3页)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

亦可称,库能不一致定理。

此定理的内容,便是在带有选择公理的集合论体系中,不存在一个可将全类V映射到自身的非平凡基本嵌入。

若细致讲来,即是在ZFc系统的整体框架内,不存在可以满足莱因哈特基数定义条件的基数,其必须要在没有选择公理的集合论体系(比如ZF系统)之中才能够成立以及讨论。

之所以如此,却又是因为莱因哈特基数的定义会涉及非平凡的基本嵌入。

根据库能不一致定理,这种嵌入在ZFc公理系统中根本无法成立,或者说会导严重的不一致性,继而催生出种种与已知数学事实相矛盾的结论。

另外除却这一定理,还有其他一些数学结果和推理也表明莱因哈特基数与选择公理在逻辑上压根无法共存,这些反例也进一步支持了两者的不兼容性。

于是,在一个自相矛盾的公理系统(莱因哈特基数+ZFc)当中,自然什么乱七八糟的命题都可以给出迫真证明。

譬如……0=1。

故此,莱因哈特基数才无奈的拥有了所谓“0=1”这种标签名号。

事实上,不仅仅莱因哈特基数会与选择公理,与ZFc公理系统相互矛盾无法兼容。

在其之上那一致性强度更为庞大的伯克利基数、超级莱因哈特基数、无界闭伯克利基数,乃至更更庞大也更更遥远的种种已知未知大基数也是如此。

而会出现这种种矛盾的进一步本质原因,却是因为选择公理的加入,为集合论提供了太多太多的“选择”自由度。

对于这一难题,要么接受ZF+莱茵哈特基数存在公理,不要选择公理;要么接受ZF+选择公理,不要莱茵哈特基数存在公理;要么……建立一个比ZFc更强大的公理系统。

这个扩展升级之后的更高阶公理系统,或许可以包含允许莱茵哈特基数存在的某些额外公理,继而可以容许莱茵哈特基数以及在它之上那更强大基数的成立与存在。

“所以那个所谓的全知高塔……”

翻尽了皮特天王所有记忆的穆苍,悠悠转首“看”向那空茫绝无的失却狭渊,似在“看”向那不知坐落于何方的全知高塔,幽幽道:

“会不会就是一座……可以容纳莱茵哈特基数逻辑构型存在的,更高阶公理系统呢?”

无人救我双A  流放后开始发家致富  灵宠创造模拟器  一不小心和醋精结婚了  都市全能神医  开局长生不死,谁都以为我无敌  心之怪盗!但柯南  征服之路  穿成恶婆婆后我成了全村顶梁柱  承欢记  想活命?进娱乐圈吧!  陆地键仙  甜蜜军婚:女企业家在八零赚翻了  杀死那个白月光  圣手神医  权变  尸囊人  惊!网恋对象竟是星际最强指挥官  长生从猎鲸开始  病美人师尊洗白了吗[穿书]  

热门小说推荐
都市小神厨

都市小神厨

都市小神厨简介emspemsp关于都市小神厨一碗羹汤能治百病,一碟小菜能除万毒。实习医生陈东偶得仙女食神垂青,走上美食仙医之路。...

神魔卫

神魔卫

神魔卫简介emspemsp关于神魔卫护卫者忠于其主以命相守...

穿越姐妹花勇闯古代

穿越姐妹花勇闯古代

年初画一直担心国主会因为她农家女的身份,而觉得她配不上他跟儿子,但陆鸣谦却说,放心吧,他只会担心你看不上我!年初画和陆鸣谦去花园散步,国主说他就不去了,但转身就跟管家,偷偷摸摸地跟在后面,想要看看这两个年轻人会不会擦出什么爱的火花…国主,您看,殿下和年小姐两人站在一起多登对啊!嗯,这个儿媳妇找的不错,朕很...

我的恋爱画风有些不正常

我的恋爱画风有些不正常

本书为日常恋爱系画风,欢迎品鉴。在箫逸看来,只要是个女人,她就不可能是完美的,必然有漏洞存在。只要有漏洞,那么一切就好办了。人设崩塌系统为您服务。只要目标人设崩塌就可以获得大量的奖励。冰山御姐?完美主义者?绿茶?二次元?箫逸这不都是赤裸裸的金矿么?(简介无力,请移步正文,不好看不用客气,直接砍我!)如果您喜欢我的恋爱画风有些不正常,别忘记分享给朋友...

重生后,淑妃只想荣华富贵

重生后,淑妃只想荣华富贵

重生一次,萧青岚算是看透了皇上的凉薄。皇后之位?她不稀罕了。皇帝心中另有挚爱,让自己和容妃斗得天昏地暗,连带着两家都受到了牵连。想要避免落到上一世那样,家族覆灭的下场,萧青岚知道自己该放弃一些东西了。比如说矜持,再比如说风骨。后宫里,不仅仅有皇后,还有太后啊!萧青岚变了,变得温柔,变得善解人意,她不争不抢,却获取了...

花都绝品杀手

花都绝品杀手

花都绝品杀手简介emspemsp他是杀手之王,所有暗黑势力闻风丧胆的嗜血修罗,如今却成为都市花丛中的微笑刺客。萝莉校花御姐教师冷艳警花甜美空姐冰山总裁美艳女星各色极品美女,因缘际会,桃运不断,且看一代绝品杀手,如何...

每日热搜小说推荐