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

AC蕴含后继基数不可能是可测基数

定理(AC):对于任意无穷基数 κ , κ⁺ 不是可测基数。

证明:假设 κ⁺ 有 κ⁺ 完备的非主超滤 U ,令 ν⊆2κ 是一个基数为 κ⁺ 的函数集,那么 ν 有一个基数为 κ⁺ 的非主超滤 D 。

定义 Xαϵα={f∈ν:f(α)=ϵα} ,由于 D 是 κ⁺ 完备的,因此 ∀α∃!ϵα(Xαϵα∈D) ,再由 κ⁺ 完全性得 ⋂α Xαϵα ∈ D ,但 ⋂α Xαϵα 至多包含一个函数,因此 D 是主超滤,矛盾,反证定理成立。 ⊣

有意思的是,如果假设AD,那么 ω1 是可测基数以及 ∀n>2(cf(ωₙ)<ωₙ) ,这也证明了AC和AD不一致。

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

相关小说

疯子又来啦! 连载中
疯子又来啦!
星之曰月
修仙小说,随便磕回魂肉魄轮回尽,亦是相回白雪纷。每世抗命残伤奄,血发污衣浸红身。自曾梦影现故因,终是相遇还恩人。二世帮协将死人,长貌如吾一相......
2.3万字6个月前
不求功名,只求她平安 连载中
不求功名,只求她平安
清梦蝶灵
秋风袭卷大地,洛秋明复约而来,世界已是物是人非,古龙复苏,名为“神”的生物降临人间,百年未有之大变局,斩神与龙的“比罗米修斯”之剑终将落下。
3.7万字3个月前
异世界转生重生 连载中
异世界转生重生
黑土还不阴
怎么说呢,男主角转生变成少女
1.6万字2个月前
最后的赢家cu 连载中
最后的赢家cu
叶菱江
修改中
2.6万字1个月前
天道拒绝摆烂 连载中
天道拒绝摆烂
其术
孟商,南七区土生土长的姑娘,南G省地地道道的妹子,没想到却阴差阳错穿越到了异世界。穿越也就罢了,但为什么身边的人配置都这么高,而她却一个金手......
8.5万字3周前
斗龙之星火罗门最神秘的大师兄 连载中
斗龙之星火罗门最神秘的大师兄
洛枫辞熠
1.4万字2周前