39中文网

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

第695章 伊卡洛斯一飞冲天数理内容较多慎入(第2页)

只能说,与超巨大基数相比,那什么可测基数、武丁基数、超紧致基数确实弱爆了。

至于超巨大基数到底有多么巨大,这便又是一个较为复杂的问题了。

首先,其与超紧致基数之间,就存在有诸多庞大的高阶大基数。

譬如,毗邻超紧致基数“比较近”的一个大基数,即是可扩展基数。

这一大基数的根本定义和数理结构,则是……若一个基数δ被称为可扩展的,那么它对于每个λ>δ,都将存在一个e<λ的初始段vλ,以及一个从vλ到ve的元素嵌入映射π,继而满足π(δ)=δ且π不是恒等映射这一结果。

这一数理定义用大白话来讲,便是意味着可扩展基数能够“伸展”到比它自身更小的宇宙模型当中,同时又保持一定的自身结构特性。

非常神奇。

另外,所谓的“可扩展性”,恰恰就是“强紧凑性”的二阶类比。

同时,除却可扩展基数以外。

超巨大基数之下还赫然存在着巨大基数、殆巨大基数,以及沃彭卡原理。

所谓沃彭卡原理,即是与集合论、范畴论、模型论密切相关的一种重要数学原理。

其主要内容简单概括起来,即是对于一些语言的任意真类结构,都存在一个初等嵌入,可以嵌入至另一个真类结构内的成员中。

因此,通过这一原理可以导出一系列关于真类结构与初等嵌入的性质。

这些性质,又会关系到不可达基数和它们在模型理论当中的种种应用。

接着莅立于沃彭卡原理之上的,便是殆巨大基数。

理论上来讲,若一个基数k为殆巨大基数,那么对于任何的正则基数λ>k,就都会存在一个λ-完全的超滤子u在pk(λ)上,继而使得对于任何x?pk(λ)。

同时,若x在u中是成立的,那么亦会存在一个函数f:λ→k,继而使得对于任何αλ,x中都会存在y,进而使得ynxα=?,并且f“y?xα。

可以说,这种殆巨大基数的性质之强大,甚至可以让其能够推出并证明,像是可测基数、强基数、超紧基数等等诸多“更小”大基数的性质与一致性强度。

而位于殆巨大基数之上,与超巨大基数之下的巨大基数,其数理本质则是……v中存在的一个初等嵌入j:v→从v到一个具有临界点k的可传递内模型。

这其中所提到的“初等嵌入”概念,简单来说,便是定义在两个集合论域间的一种映射。

或者说,初等嵌入即是一种能够保持集合结构的函数,它不仅保持元素之间的关系,还会保持逻辑形式的关系。

举例说明,给定两个集合和n,若存在一个映射j:→n,使得对于任意中的公式φ和参数a,中φ[a]成立当且仅当n中φ[j(a)]成立,那么便可称j是一个从到n的初等嵌入。

至于巨大基数的数理结构,便是假若α是一个极限序数,使得α>0,那么便可以说一个不可数的正则基数k是α-巨大的。

同时,若存在一个基数〈k?:β<α〉这样的递增序列,那么对于所有的β<α即是vk??vk。

随后,如果n>1,以及〈β?:i<n〉是一个小于α的序数的递增序列,那么β?≠0,这对于所有的β"<β?,就都存在一个初等嵌入j:vk?????vk????,和临界点k?"与j(k?")=k??与j(k??)=k????。

尔后,若0≤in–2,且β?=0,则对于所有i,都会存在一个具有临界点k"k?和j(k")=k?和j(k??)=k????的初等嵌入j:vk?????vk????,进而使得0≤in–2。

在此,便终于可引入超巨大基数概念了——

即,若一个基数k是k-巨大的,就可称其为超巨大基数。

更进一步说,一个基数k被称为超巨大,如果存在一个从vk到vk的初等嵌入,那么其中vk就是所有秩小于或等于k的集合所组成的巨大逻辑模型。

而超巨、巨大、殆巨三者的关系,则便是——若k是巨大基数,就存在一个位于k上的正规超滤子u,使得{αk|α-殆巨大基数}∈u;若k是超巨大基数,则k便是可扩展基数,并且存在一个k上的正规超滤子u,使得{αk|α-可扩展基数}∈u;若k是2-巨大基数,即会存在一个k上的正规超滤子u,使得{αk|vk|=α-超大基数}∈u。

与此同时,在到达了巨大基数以及超巨大基数的层面后,亦会与名为i3、i2、i1与i0的这几个公理产生密切关联。

所谓公理i3,便是:存在vλ到自身的非平凡基本嵌入;

至于公理i2,是:v存在一个非平凡基本嵌入到包含vλ的传递类,λ为临界点上方的第一个不动点;

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

热门小说推荐
你是我的栀子花

你是我的栀子花

所有人都称呼秦苏扬为煞神,原因无他,做事心狠手辣,不留一丝余地。我感觉开会活像上断头台。别惹他,我们惹不起!然而某天,助理小心翼翼询问老板,你可以再买辆车,不用一直开我的,太旧了。秦苏扬一本正经省钱给女朋友花。拼尽全力,只为向她靠拢一点,看见的不再是背影。—她笑如栀子般甜美,清新。一笑入他眼,再笑入他心。哪怕他没有撼动大象的力量,他也要拼尽全力去守护,保护好她。你有没有想我?没有,我想你做的菜。夏恩妤直接否认。你想我做的菜,是不是间接在想我。顾泽微微一笑。你厚颜无耻!顾泽走过去,一把抱住脸有些微红的夏恩妤可我想你,想你想得紧。倾尽所有,只为靠近她一点。所有的温柔献给最爱的人。本文算有两个男主,没有男一男二什么的,不是后宫!!如果您喜欢你是我的栀子花,别忘记分享给朋友...

鬼手寒医

鬼手寒医

鬼手寒医简介emspemsp关于鬼手寒医医典传人慕青横扫都市,凭借高超医术,强悍武技,混得风生水起。败巫医,斗医闹,救病人,传医道,声名大振的同时,也俘获了无数美女的芳心。一针在手,天下我有。救人不惜,泡妞不止。...

一胎三宝:妈咪又掉马了

一胎三宝:妈咪又掉马了

一胎三宝妈咪又掉马了简介emspemsp关于一胎三宝妈咪又掉马了五年前,渣姐陷害,被迫离婚,产子后又被抢走了孩子。五年后,她携双宝强势回归,势必调查清楚真相,手撕渣渣,夺回孩子的抚养权。却没想到萌宝一哎,这届家长真难带,一个误会,还解释不清楚了。萌宝二真不知道我们这么聪明,爹地的智商却被一个绿茶牵着走!怀疑是不是亲生第N次萌宝三没有我们送不来的助攻,如果有,那就助攻两次!再然后男人携千亿聘礼从天而降,跪地求复婚老婆,儿子想妈咪...

掠爱成瘾:言少毒宠小娇妻

掠爱成瘾:言少毒宠小娇妻

掠爱成瘾言少毒宠小娇妻简介emspemsp掠爱成瘾言少毒宠小娇妻她曾为他放弃所有,一心只想要他活命。他却毁了她的所有,把她的自尊踩在脚底碾压。言溪,我们离婚吧。离婚?不可能,我要你付出代价。直到光阴不再,直到一切已成定局,他才...

神级透视狂徒

神级透视狂徒

神级透视狂徒简介emspemsp一个普通平凡的少年张信,在机缘巧合之下意外获得了一双无敌透视眼。赌石场?拍卖会?呵呵,我不是针对谁,我是想说在座的各位砖家都是辣鸡。本小姐的心思,你能看得透?肖芷一个甩头,秀发打在张信的脸上。...

洪荒:吾乃轮回道尊

洪荒:吾乃轮回道尊

苏辰穿越洪荒,以地道宝物轮回紫莲本源化形。此时洪荒天道已经显现,而地道却仍在孕育,想到未来由天道主宰洪荒,导致洪荒世界退化,万灵再无证道的可能。于是,苏辰凭先知先觉布局,不争一时强弱,只争万古高低。以自身能力塑造轮回,完善地道,扶持人道,压制天道,最终统御天地人三道,带领洪荒晋升永恒大世界,让万灵人人如龙,众生皆有证道永恒之希望!作者君已写过数本精品洪荒文,绝不放毒,质量有保证,请诸位读者放心支持!如果您喜欢洪荒吾乃轮回道尊,别忘记分享给朋友...

每日热搜小说推荐