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

特殊篇章(数学解释)十二 (2-2)

举一个好玩的例子:定义 Funcω(ω₁,ω₂) 是从 ω₁ 到 ω₂ 的全体可数函数构成的集合, M 是可数传递模型, M[G] 是 Funcω(ω₁,ω₂)ᴹ 的力迫扩张,令 G 是 Funcω(ω₁,ω₂) 的脱殊滤子,由于 Dα={p:∃β<ℵ₁ (p(β)=α)},α<ℵ₂ 是稠密子集,因此 ⋃G:ω₁ → ω₂ 是一个满射,矛盾!

这里其实并没有任何矛盾,上述讨论实际是证明了 M[G] ⊨ ω₁ᴹ=ω₂ᴹ ,换言之, ω₂ᴹ 在 M[G] 中不是基数。尽管 M[G] 是 ZFC 的一个传递模型,但如果这个力迫扩张不保持相应的基数,那么它对于计算连续统基数就没有太大的意义。这正是我们在 M₂ 中做的事情:我们证明了 Add(ℵ₁,ℵ₅) 在 M₁ 中不是一个保持基数的力迫偏序。事实上,“保持基数”也是构造不满足连续统假设的模型时讨论 κ 反链条件的原因(马丁公理强调可数反链条件也是类似的原因,详情可参考

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

相关小说

霍斩疾之终极神王 连载中
霍斩疾之终极神王
露从今夜白。
<已签约,禁止搬运>昔日的好“兄弟”变成敌人,他们会解开误会回到从前吗?大灾难来临之际,他们会共同守护人族吗?法蓝世界会消失吗?......
6.2万字9个月前
永恒的游戏 连载中
永恒的游戏
一知回想
一个被神的娱乐所创造出的游戏。
1.3万字9个月前
干将莫邪之鬼王临世 连载中
干将莫邪之鬼王临世
卜卜_一典
相传在遥远的末影村,住着一对以铸剑为生的兄妹!  他们的铸剑技术首屈一指,各方势力都以能得干将莫邪亲手铸造的剑为体面。  又有传说干将莫邪并......
25.4万字9个月前
梦魔书社 连载中
梦魔书社
傲娇的樱玖Babe
关于女主从梦里被男主救出来后的一系列故事~
14.8万字9个月前
千帆过尽皆是你 连载中
千帆过尽皆是你
姽婳风过怜花城
一树梨花一袭白衣锦绣,刺锦忘川彼岸花开万里,渡一人一心,知世世,刻心上,不忘卿……灵生万物渡汐颜,淡云流水觅安宁。灵汐颜,字水觅,封号安宁公......
0.2万字9个月前
末世重生之至尊女王 连载中
末世重生之至尊女王
风亿星辰
(作者中二时期黑历史慎入)末世军区第一女元帅带异能重生回一千年前末世之前,得到神器。本书女主金手指特大!可以说是金小人了!可能上是本人最近看......
6.9万字9个月前