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

Martin公理为何要求可数反链条件?

构造一个不满足可数反链条件下使用Martin公理的反例:

定义 S={f∈ℵ₁ℵ⁰:|ω−ran(f)|=ω} , Eα={f∈S:∃n∈ω,f(n)=α} ,由于对于任意 f∈S ,如果 f∉Eα ,那么 ∀n∉dom(f),f∪{(n,α)}∈Eα ,因此 Eα 是 (S,⊆) 的稠密子集。由于此时不预设可数反链条件,根据Martin公理,存在脱殊滤 G 满足 ∀α<ℵ₁,G∩Eα≠∅ 。由于G是脱殊滤,因此 ⋃G 是一个函数,且是 ⋃G:ω→ω₁ 的满射,矛盾。

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

相关小说

女主想生活平淡 连载中
女主想生活平淡
菊与芥
玩游戏,有的人是大佬,有的人是菜鸡,但陆仁意只是个莫名其妙的女主角。陆仁意:?【关于我明明是个废物,却是女主这件事】
1.3万字1个月前
快穿:宿主又被绿茶骗了 连载中
快穿:宿主又被绿茶骗了
颜莯
【原创双男主】【1v1】【已签约】[这是一段蓄谟已久的追妻故事]我是绒绒,是一个被主神亲自创造的系统。——————主神:我在之前的大战中受了......
15.9万字4周前
白色人鱼传说 连载中
白色人鱼传说
金色的沙滩
一条渴望能有一双人腿的小美人鱼的故事
33.8万字4周前
乱入(发疯版) 连载中
乱入(发疯版)
白凉粉
黎挚X沈崟一场突如其来的病毒席卷全球,沈崟因为这导致死亡。可意外触发了宿主条约,成为了一名拯救反派使者。在之后的过程中那颗外表坚强的心终于被......
0.2万字4周前
九世相随,帝尊的强势狂妃 连载中
九世相随,帝尊的强势狂妃
流芳雪碧
【玄幻言情】【男强女强】九天之上,她问他:若是有一日,我被人所杀了呢,你会怎么办,他笑了笑,道:不会有那一天的,我会护你周全。后来啊,他却食......
14.6万字4周前
图与录 连载中
图与录
晚晚橘
日常分享,侵权致歉
5.7万字4周前