手机浏览器扫描二维码访问
只能说,与超巨大基数相比,那什么可测基数、武丁基数、超紧致基数确实弱爆了。
至于超巨大基数到底有多么巨大,这便又是一个较为复杂的问题了。
首先,其与超紧致基数之间,就存在有诸多庞大的高阶大基数。
譬如,毗邻超紧致基数“比较近”的一个大基数,即是可扩展基数。
这一大基数的根本定义和数理结构,则是……若一个基数δ被称为可扩展的,那么它对于每个λ>δ,都将存在一个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关于记忆微凉为了维护这段飘摇的婚姻,我一次次的,被伤的遍体鳞伤,直到死亡!...
不要再让我看见你!他撇着清冷的眸子,恶狠狠的说。后来,他薄凉的唇吻着她的唇,低低的说,丑丫头,我看上你了,做我女朋友吧。大学甜宠读者群364186117。更多简介时而萌,时而搞怪,时而刚直女的暮安然,原本是一枚无敌小可爱,可是因为一些原因,变丑了一段时间。她男朋友不要她了,还和另一个女生一起暗中耍她!呵!她的真心,喂了狗!她暮安然丑?呵呵呵!如果您喜欢清冷校草宠入骨我的丑丫头!,别忘记分享给朋友...
江云穿越平行世界,来到一场演唱会现场,江云一首歌震惊观众。于是爱恨交错人消瘦,怕是怕这些苦没来由爱了爱了,从今天起,他就是我的偶像。对,他就是我的偶像。歌神,影帝,大导演。这个世界没有前世天王巨星,没有前世历史上的文人墨客。看江云如何从一个三流明星,一步步成为天王巨星。如果您喜欢开局一首口是心非,震撼演唱会!,别忘记分享给朋友...
虽然眼睛已经长眠,但只要心脏不停,我的身体就是我的眼睛。失明的双眼本应涌出无尽的黑暗,一生与黑暗为伍,但最终也能散发出明亮的光芒。这,就是光的波动!如果您喜欢斗罗之瞎子斗罗,别忘记分享给朋友...
周昭暖在冷宫出生,四岁的时候,娘亲告诉她,如果她不去抱她爹的大腿,她们一家人都得死,于是,小团子凭着一腔孤勇爬上了金銮殿,看着那个杀人不眨眼的暴君初生牛犊不怕虎般抱住他大腿直喊,我不是野种,我是你的种。某暴君笑话,他十年不举,哪里有什么孩子,一脚将人给踹了出去。得知真相后,他屁颠屁颠的追女火葬场...