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

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

相关小说

落入幻渊 连载中
落入幻渊
语流水
不好看,勿入架空/科研博士&试验品沈流&伊淇——实验体编号0177,那就叫,伊淇吧……身为怪物的伊淇被当成实验品,饱受痛苦折磨多年,直到遇到......
1.2万字1年前
生存枷锁 连载中
生存枷锁
竹酒顷
无限流,沈城X箫邪,双洁,he箫邪,枷锁高级攻略员。我…没有家……沈城,被世界强行人格分裂的弃子。世不容我,天亦不公,我待如何?“母亲,他们......
1.3万字1年前
语录摘抄(神仙语句) 连载中
语录摘抄(神仙语句)
且寄白鹿间
沉伦锦年只如初见,岁月静好生生欢颜。一些值得摘抄神仙语句以及文案哦~题材不限有什么想看的也可以告诉我哦~\(≧▽≦)/~
7.2万字1年前
女配之修真 连载中
女配之修真
小野怪
与天争,与女主争,我的命要掌握在自己手里,谁也不能阻挡
7.1万字1年前
次元之恋第二部 连载中
次元之恋第二部
寒冰露露
在上一部的次元之恋的结局中,女主牺牲了,第二部,女主醒来已经在现实世界,并且失忆忘记自己还有姐姐和妹妹,接下来会发生什么呢,敬请期待故事的结......
9.5万字1年前
龙有龙道——漂亮母妃快回来! 连载中
龙有龙道——漂亮母妃快回来!
南萧国主
这个死男人杀了他的姐姐居然还霸占了她,额...霸占她也就算了,居然还让她生了孩子。“龙天,你这个乌龟王八蛋!敢让老娘怀孕?!看老娘怎么收拾你......
13.1万字1年前