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

特殊篇章(数学解释)九

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),接着再看更方便。

相关小说

三世奇缘——第一世:人间传奇 连载中
三世奇缘——第一世:人间传奇
Aot
她,第一世21世纪杀手NO.1;第二世人见人怕的女魔头;第三世的她又是什么?又会创造什么奇迹?他,神界十重天的太子,当他下凡历劫遇见她时会擦......
0.4万字6个月前
疯批美人他权势滔天 连载中
疯批美人他权势滔天
权天官
疯批美人摄政王VS高冷正义小徒弟书又名:《知途》温使墨从一个人人喊打的丧家之犬,和从尸山血海里爬出来的厉鬼,成为如今人人喊骂,却人人畏惧的摄......
0.2万字6个月前
千秋引岚霜录 连载中
千秋引岚霜录
梦茳行
我的信仰因你而生,所以在我的世界当中,你则是我的神明。————————我不在乎你在别人眼中是谁,我只在乎你是我一人的阿岚,唯一的阿岚
0.6万字5个月前
是恋人还是猎人? 连载中
是恋人还是猎人?
鸢幺
没有
0.6万字2个月前
花痴女配就不能是万人迷了吗 连载中
花痴女配就不能是万人迷了吗
巫筱
【渣女+雄竟修罗场+舔狗文学+多男主买股文】温晴绑定了一个名为舔狗系统的不明生物体。在系统的解释下才明白自己生活在一本名为《师尊别走》的话本......
2.9万字2个月前
穿成海王自救指南 连载中
穿成海王自救指南
忆岱痴
游戏数据出错,一朝被困游戏,如何才能活到最后?且看慕朝朝手把手教你戏精自救。
15.9万字1个月前