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

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

相关小说

少年特战队(番) 连载中
少年特战队(番)
AD小恶魔
✎ℳ₯㎕·刀天刀地刀哭你༗◆专业刀子户◆◆主角张小福◆◆张关甜虐恋◆◆应该不弃文◆◆愿分享素材◆◆感谢读者阅◆◆本人更新快◆
8.4万字9个月前
穿越——血族禁域? 连载中
穿越——血族禁域?
塔娅·雪莱
封面是我自己做的,做的不好,所以不要嫌弃啊~男主们未定,读者宝宝选,其他的,就让男主们自己撕逼去吧男主:……以上来自一个宠粉作者٩(*´◒`......
4.1万字9个月前
终极陌夏微凉 连载中
终极陌夏微凉
凉凉凉氿
在浩瀚的宇宙中,存在着十二时空和一个魔界,宇宙深处有着统治一切的神殿,里面住着创世神,时空之神,以及其他的神明。在其他的交错空间存在着十八种......
4.0万字8个月前
诺扎CP,泰托CP,贝kCP,迪卡CP,特卡CP 连载中
诺扎CP,泰托CP,贝kCP,迪卡CP,特卡CP
我乃托雷基亚的**
这两天一直找有关他们的甜文,没有想连一个都没有(有,不好看不甜,所以不算),所以自已想写一个,我分成了四部,准备一个一个写,还有那些乱组什么......
0.4万字8个月前
永生门之轮回道诀 连载中
永生门之轮回道诀
一刀酥入骨
他,一个大家族子弟,本应活得潇洒自在,无忧无虑,可是有一天,这一切都变了。
13.7万字8个月前
花落:雨染倾城 连载中
花落:雨染倾城
欣然听雨
《花落·雨染倾城》【沉醉】(已完结)身份揭晓,无意之间动心。“我大冒险输了而已。”只不过,大冒险的内容是,对喜欢的人表白。【清空】(已完结)......
7.4万字8个月前