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

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

相关小说

归魂渊 连载中
归魂渊
冰霜之间
有花无叶,有叶无花,永生永世,无法相见,生生不息,轮回不止,悲剧之爱,曼珠沙华。
3.8万字8个月前
为苍生为民国 连载中
为苍生为民国
林允_
听闻民国爱情十有九悲郝家小姐郝敏留洋归来结识谢家少爷谢景淮为了共同的革命事业而奋斗留洋归来小姐×世族少爷“为苍生永不悔”“世淮,已然释怀”
0.1万字6个月前
恋祺曰记 连载中
恋祺曰记
♡̶҉余悸꧔ꦿ℘_64666586542
马嘉祺与马芙
0.8万字5个月前
梦境荒原 连载中
梦境荒原
清静的
(真·佛更,可能会删稿大改)你的确是正确的,你曾让我的生活如此梦幻。然而,当美好的事物都在悄然流逝,无论是在黑夜,还是在白天,无论是有声,还......
1.2万字4个月前
萤讯末期 连载中
萤讯末期
池年陌
人与AI的禁忌之恋
1.7万字4个月前
慕容归零 连载中
慕容归零
丽志_25672919270903971
慕容前世嫁给了蔡飞,蔡飞家暴直到而死都不明白是,原来蔡飞和慕楠早就勾搭在一起了。原来墨卿才是真正的爱我的,把她抱在怀里哭。蔡飞和慕楠你把墨卿......
5.1万字4个月前