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

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

相关小说

团宠:有五个不熟悉的哥哥怎么办? 连载中
团宠:有五个不熟悉的哥哥怎么办?
悦雪风吟
作为一个身体不好的小孩子,爸妈为了让她养好身体,带她回到了山上的奶奶家,与奶奶父母一起生活,彼时大哥已经完全有能力接管公司,父母便安心照顾她......
1.2万字6个月前
少女魔法师 连载中
少女魔法师
朴贝
四个生活在魔法城的魔法少女保护世界的故事
3.1万字4个月前
无限流:疯批美人她十恶不赦 连载中
无限流:疯批美人她十恶不赦
菱意笙枫
  【无限流/双女主/双强/金手指/微悬疑】池漾意外进入了无限流副本当中,开局不但获得了金手指,还被副本当中的队友抢着要,为了拉她入伙,还额......
7.7万字3个月前
极品风流贵婿 连载中
极品风流贵婿
气泡菌阿六
穿到古代成了陪葬姑爷?媳妇是个植物人?  什么,还和护国大将军有婚约?皇妃娘娘要和我深入交流?  陈叶双肾瑟瑟发抖。这是学韦小宝,集齐七个老......
121.7万字2个月前
玉言 连载中
玉言
甜墨墨
有病我写的很糟心,看的很糟心。心灵鸡汤保命秘籍随笔会填补的完结再续自我评价:写的神出鬼没的
1.4万字2个月前
浮生异界 连载中
浮生异界
132***790_8440181711
女主拥有无上力量被异界的邪恶组织觊觎及追杀,神界的男主历劫下凡与女主相识相知相爱,不成想女主正是男主的生死劫,最后双双殒命
0.5万字1个月前