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

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

相关小说

神修大陆 连载中
神修大陆
唐朝汐
在这个神修的大陆,法术强者为王的大陆上,有无数宗门和学院,可是有这么一个宗门他们以蝶为主,以音为辅,以扇为攻,宗门里的亲生血脉者刚会有一种特......
8.0万字5个月前
玉言 连载中
玉言
甜墨墨
有病我写的很糟心,看的很糟心。心灵鸡汤保命秘籍随笔会填补的完结再续自我评价:写的神出鬼没的
1.4万字5个月前
胡说,她才不是坏女人 连载中
胡说,她才不是坏女人
杜光连
江思雨从混沌中醒来就没有了记忆,是333带她来到了小世界中。系统333说只要让他的主人拥有了情欲,那江思雨就会恢复记忆,离开混沌,找回自由,......
7.2万字4个月前
长相思之入颖相思改篇版 连载中
长相思之入颖相思改篇版
雪雨森林
长相思改篇,若有不喜欢的大大们可以不看,请大大们不喜勿喷。
0.7万字4个月前
乐曲的终章 连载中
乐曲的终章
穗岁碎觉
浮音飘渺,乐曲有始有终,乐曲的音符随指尖跳动,自由无可替代。为自己而活,为自己喝彩!
10.1万字2个月前
唯一的知情人 连载中
唯一的知情人
仿古雀鸟
陈小梦以月冰的身份,诞生了这个充满灵力的庸俗设定岛屿中,能力规则都懂,唯一对自己的身份抱有谜题,从碎碎念到默不作声(包含搞笑成分并且前几章,......
7.5万字1个月前