数学联邦政治世界观
超小超大

第六章特殊篇章数学公理解释额外内容 (13-2)

Kunen定理不仅仅是 Suzuki ( 1999 ) 的结果,因为它是 NBG 的结果,因此不需要假设j是一个可定义的类。另外,假设0^#存在,则存在传递模型的基本嵌入MZFC(实际上是 Goedel 的可构造宇宙L) 进入自身。但是这样的嵌入不是M.

Reinhardt基数有一些变体,形成了断言基本嵌入存在的假设层次结构V→V.

超级莱因哈特基数是κ这样对于每个序数α, 有一个初等嵌入j:V→V和j(κ)>α并且有临界点κ.

J3:存在一个非平凡的初等嵌入j:V→V

J2:存在一个非平凡的初等嵌入j:V→V和直流DCλ持有,在哪里λ是临界点以上的最小不动点。

J1:对于每个序数α, 有一个初等嵌入j:V→V和j(κ)>α并且有临界点κ.

J1 和 J2 中的每一个都立即暗示J3。基数κ正如在 J1 中一样,被称为超级莱因哈特基数。

冯诺依曼宇宙V:

假设V=终极L,则连续统假设为真.更进一步,如果V=终极L是真的,那么就存在一个独特的集合论模型,从某种意义上来说它就是真实的集合宇宙.

有一V_λ,若λ=a+1,则V_λ=P(V_a),若λ为极限序数/若λ=a+1,则 V_λ=∪_k<λ V_k,∪_k V_k,k 跑遍所有序数

集宇宙V

V是全域或全集(NF上),V也可以为全体集宇宙

由冯诺依曼构造的V如下

1、以V_0为空集(LateX上可以写作代码\emptyset),由于空集为所有集合的真子集,因此,对于V_0,都有V_0 ⫋ V_x(这里借用x来表示任意非空集合)或V_x=P(V_0)

若Ø+x=β∧β+x=α⇒α=P(β)=P(P(Ø)),在V中,可表示为U{V_0:Ø∈β∈α}。

聊到这里,我们就要引入Ord,Ord是所有序数的类,任意序数均为Ord的成员,集合则为V或V_Ord的成员。在前面的V_α,其实有V_α=U{V_0:Ø∈β∈α}⇒

V=U{V_0:Ø∈β∈α∈Ord}。

还有就是L或终极L,这是V的内模型(在ZFC或ZF中,跟Ord一样可以包含所有序数的模型称为内模型),如果V和L是集合的话,L其实就是V的真子集(不过这个真子集在高度上,与V一致,但宽度要细于V)。但ultimate-L并没有人构造出,不过可以肯定的是:对L的堆叠会拨高层谱的宇宙的高度(与V一致),使得它包含一种包括V在内的ZFC模型。

  复宇宙

先来说一下超类:我们会把一般的类称为集合,就像Ord、V这种不能集合的类或汇聚成类的类就是真类,若真类汇聚成新的类,就是超类,若是集宇宙的汇集,那这样的“类”连类不是(包括真类),称为真超类。

用层谱来解释

集合(包括空集和子集、真子集、幂集这些非原集合)是V_Ord中的成员,像上楼一样,如果N表示任意一个集合的话,那么

∀N:V=U{V_N:N∈Ord}

(对于任意N,都有N属于V_Ord)

而类特指不是V_Ord成员的类,若N为类,则N不属于V_Ord。真类居于高于V_Ord一个层谱的对象(可以记作V_Ord+1),而超类居于更高层谱的对象(记作的话,为V_Ord+2)。真超类就是特指不居于V_Ord+1的类,因此 真超类至少居于V_Ord+2,而且有更高类型。

复宇宙就是真超类的典型。

  脱殊复宇宙

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

再见,亦是千年时 连载中
再见,亦是千年时
叶璇林
本文《再见,亦是千年时》采用“奇迹暖暖”的装扮以及一些幻想图结构出的一篇文。我会不定时更新。“你可以生我气,但你能不能,别不要我”男主:陌清......
6.5万字11个月前
迷雾主义 连载中
迷雾主义
源焰焰焰焰
狼王梦黑仔中心向
0.1万字11个月前
张子墨:痕迹 连载中
张子墨:痕迹
古珂瑾呀
墨水划过纸张会留下痕迹,子墨在我的青春也一样
0.5万字11个月前
蛇王夫君娇娇弱弱 连载中
蛇王夫君娇娇弱弱
长飞雁
[完结已签,勿抄]本该出现在天君宴会上的两人在某座山后相遇。妖族说出来都能止小儿哭啼的蛇族蛇王兼妖王化身受伤孱弱的小黑蛇……被清诀飒气的魔君......
32.5万字11个月前
兽世日常 连载中
兽世日常
糖果盒子
现代女主穿越兽世,在那个没有武力值,就猎不到吃的的情况下,她是如何生存,在遇到危险她又是如何妥协。认识的美男跟她什么关系。
6.3万字11个月前
宇宙秘要 连载中
宇宙秘要
幻梦ky
《宇宙秘要》顾名思义,是这宇宙重要且不为人所知的秘密……[是命中注定爱上你?还是命中注定伤害你?或是永远无法满足的心愿……,还是无法摆脱的宿......
9.7万字11个月前