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

特殊篇章(数学解释)九

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

相关小说

云与夜 连载中
云与夜
琪琪拉
哎嘿!甜甜甜!轻微ABO
2.3万字5个月前
午夜图书馆探索异世界 连载中
午夜图书馆探索异世界
逆卷灵
艾米丽站在画面的前景,她手持一把古铜色的钥匙,钥匙上刻有复杂的符号,散发着微弱的光芒。她的表情既紧张又坚定,目光直视前方。
4.1万字5个月前
少女魔法师 连载中
少女魔法师
朴贝
四个生活在魔法城的魔法少女保护世界的故事
3.1万字4个月前
宠,唯爱一生 连载中
宠,唯爱一生
爱吃香草大富婆
人的一生有很多选择,如果让你有机遇你愿意踏入吗?一个规则的制定者,一个规则下的遵守人,如何擦出火花。请问瓦洛克先生愿意娶文文女士,执子之手与......
6.2万字3个月前
道藏玄止 连载中
道藏玄止
云舟隐鹤
腹黑疯批事业派女主披荆斩棘,干翻倒霉亲戚,打趴狐狸窝长老会,与魔王男主相爱相杀的故事。【注意】本文群像风,除男女主外有多对cp,各种都有,但......
71.7万字1个月前
星缘栀子 连载中
星缘栀子
是洛小允吖
初恩映月栀黎凝香
1.6万字3天前