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

奇异基数(数学定理) (6-4)

不难看出,这个 I 就是可构成集宇宙 L的不可辨元集。

而这立马就引出了如下定理:

定理 3 : ℵηV 在 L 中都是不可达基数。

证明: L⊨cf(ℵ1V)=ℵ1V 且L⊨∀α<ℵωV(2α<ℵωV) ,由不可辩元集的定义,所有不可数基数 ℵηV 在 L中都是正则与强极限基数,因此都在 L中不可达。 ⊣

定理 4 : ℵ1L≈ω 。

证明:因为 ℵ1V 在 L 中不可达,因此ℵ1L<ℵ1V ,所以 ℵ1L≈ω 。

事实上 ℵ1L 比最小的 γ∈I 还要小,因为对于任意 β≤ℵ1L , L⊨β≤ℵ1L ,但是 L⊭ℵ1V≤ℵ1L 。 ⊣

定理 5 : (Pω∩L)≈ω 。

证明:由于 L⊨(Pω)L=ℵ1L ,因此定理成立。

由于 |x|+ 是不可达基数,因此定理 5 可以推广到一切无穷集合。 ⊣

现在可以定义 0♯ 基数了:0♯ 基数存在当且仅当存在神奇的EM蓝图。

定理 6 :如果存在神奇的EM蓝图 T ,那么 T 唯一。

证明:由定理 2 可得:注意到 Lκ≺Lλ即可。 ⊣

根据定理 6 ,T 可以这么定义: T={ψ(ci1,⋯,cin):Lℵω⊨ψ(ℵi1,⋯,ℵin)} 。

由于我们可以给全体公式编码,因此此时的 T 实质是一个实数,在这里我们看到了大基数、初等嵌入、 L 与 V 的关系以及实数集 R 之间的关系。

定理 7 :如果存在Ramsey基数 κ ,那么存在神奇的EM蓝图。

证明:由于 κ⊂Lκ ,因此根据定理,Lκ 有序型为 κ 的不可辨元集 I ,令 T是典型结构 (Lκ,∈,ak)k<ω 的真理论。

根据引理,由于 Lκ 是有秩关系且 I 在Lκ 中无界,现在只需证明 T 有神奇性即可。

然后不会了。

0#基数的一个等价形式

定理:假设 κ 是不可数正则基数,如果 0♯ 存在,那么对于任意X∈P(κ)∩L ,要么 X 包含一个无界闭集,要么 κ−X 包含一个无界闭集。

证明:注意到无差别元集 Iκ 是 κ 的无界闭集,因此要么 Iκ⊆X ,要么Iκ⊆κ−X ,定理成立。 ⊣

定理 2 :上述定理的逆定理也成立。

证明:假设 κ 是不可数正则基数,如果对于任意 X∈P(κ)∩L ,要么 X 包含一个无界闭集,要么 κ−X 包含一个无界闭集,现在求 Lκ 有不可数的无差别元集:令 φ0,φ1,⋯ 是只含一个自由变元的纯集合论公式的枚举,令Xi={x∈κ:φiL(x)} ,那么 Xi,κ−Xi 中必有一个含有无界闭集 Ci∈L ,这就得到了一组无界闭集 C0,C1,⋯ ,令 C=⋂nCn,由 κ 是不可数正则基数得 C 也是无界闭集,且 x,y∈C →(φL(x)↔φL(y)) 。

现在令 ϕ0,ϕ1,⋯ 是只含两个自由变元的纯集合论公式的枚举,那么∃y∈C(x∈y∧ϕ0(x,y)) 就是含有一个自由变元的公式,因此对于 C 的元素 x 来说只有两种情况:要么所有 x∈C 都满足 ∃y∈C(x∈y∧ϕ0(x,y)) ,要么都满足 ∀y∈C(x∈y→¬ϕ0(x,y)) 。

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

相关小说

疯眠 连载中
疯眠
寒卿眠
无限流文笔较烂,勿喷
0.6万字8个月前
狼霜群语公告栏 连载中
狼霜群语公告栏
逐月霜语
由于书被封了,七天不能更新,所以在这里更,解封的时候再重新发布,这个可能会下架,(解封后)
0.1万字8个月前
洪荒出明月 连载中
洪荒出明月
魏婉婉
多年后的应麟翻翻小黑帐,“当年的你第一次见我可是说我湿生卵化,披毛戴角呢。”应麟阴阳怪气道。“你看上我哪了?”清冷威严的天尊大人抿抿唇不语,......
9.6万字8个月前
古剑奇谭之幽都圣女 连载中
古剑奇谭之幽都圣女
心殇璃茉
我叫风媛惜,身份是幽都的圣女,当所有人都以为我死了的时候,我却在默默的看着她们,不知何时,我和紫胤真人有个一样的长生之术……
8.3万字8个月前
omega上司有点甜 连载中
omega上司有点甜
阿音爱写文
【已签约】禁止抄袭转载。一次意外,谢凛分化成了s级alpha,没过几天,就有一个自称幽久所负责人的家伙邀请他入伙。作为中二少年的他,听多了神......
14.8万字8个月前
死神是我哥哥 连载中
死神是我哥哥
雾槿
别人的外挂是死神,这有什么?我的哥哥是死神,惹过我的人要么都被哥哥杀了,要么都被折磨疯了
4.2万字8个月前