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

特殊篇章(数学解释)九

L[U]中的GCH

我们之前在文章中证明了:如果 V=L[A] ,那么GCH在某个足够大的序数 γ 中成立。这个定理可以进一步的加强:假设 U 是可测基数 κ 的正规完备超滤且 V=L[U] ,那么 L[U]⊨GCH 。

证明:反证法,假设 L[U] ⊨ 2θ>θ⁺ ,由于 L[U] 满足全局选择公理(global axiom of choice),因此可以定义 X 是第 θ⁺ 个 θ 的子集。令 α 是最小的满足 X∈Lα[U] 的序数,那么有 |𝕻(θ)∩Lα[U]|≥θ⁺ 。令 η>α 满足 U∈Lη[U] ,定义 P=𝕻(θ)∩Lη[U] ,由于所有可测基数都是Ramsey基数且 P(θ)<κ ,根据文章,存在模型 A≺Lη[U]满足: A∩κ∈U 、 |A∩P|≤θ 、 |A|=κ 和 {X,U,α}∪θ⊆A 。令 𝕭≅𝕬 且 B=π[A] ,根据凝聚性引理可得 B=Lᵦ[π(U)] ,下面证明 π(U)=U∩B :由于 A∩κ∈U ,因此 π(κ)=κ ;由于 U 是正规超滤,因此 π(ξ)≤ξ ,那么 Y={ξ:π(ξ)=ξ}∈U ,现在假设 Z∈A∩U ,那么 π(Y∩Z)=Y∩Z∈U ,因此 π(Z)∈U∩B ,所以 π(U)=U∩B 。由于 π(U)=U∩B ,因此 B=Lᵦ[U∩B] ,即 B=Lᵦ[U] 。

由于 θ⊆B ,因此 Y∈𝕻(θ)∩A → π(Y)=Y∈B ,则有 |B∩P|≤θ ,但这是一个矛盾:一方面, π(X)=X∈B ,由 α 的极小性可得 α≤β ,则 |Lᵦ[U]∩𝕻(θ)|≤θ ;另一方面有 |𝕻(θ)∩Lα[U]|≥θ⁺ ,矛盾,反证定理成立。⊣

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

穿书后恶毒女配只想修仙 连载中
穿书后恶毒女配只想修仙
风亿星辰
顾染考研猝死穿书了,《瑶光修仙记》是一本集‘竹马打不过天降’‘仙门团宠’‘恶毒小师妹’为一体的披着修仙文皮的言情小说。而她自然不是穿成了女主......
35.2万字6个月前
来自遥远云境国度的星月神话 连载中
来自遥远云境国度的星月神话
糖裕
遵守世界法的萝甜甜掌管星星法则,一直爱护着可爱的子民。从西界到东海的旅途由此展开。与一群可爱的同胞,拥有友谊,发现爱情,守护亲情。
0.5万字5个月前
我在快穿世界里发疯(不是) 连载中
我在快穿世界里发疯(不是)
有价无市
女主蒋芸,因为一次意外,她来到了这个叫快穿的世界。并且结识了叫瑞瑞的系统。可是,她似乎失去了自己的记忆。于是她大手一摆,竟然来了,那就好好玩......
14.3万字5个月前
千秋引岚霜录 连载中
千秋引岚霜录
梦茳行
我的信仰因你而生,所以在我的世界当中,你则是我的神明。————————我不在乎你在别人眼中是谁,我只在乎你是我一人的阿岚,唯一的阿岚
0.6万字4个月前
巷往巷往 连载中
巷往巷往
139***084_7062947698
1.5万字1个月前
快穿,美色温柔刀 连载中
快穿,美色温柔刀
大师的兔子
以美色做上钩的饵强取豪夺酸爽文
2.3万字1个月前