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

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

相关小说

喜灰综艺旅行 连载中
喜灰综艺旅行
莲Daemon
1.3万字1年前
马桶人末世,我直接进化超级监控人 连载中
马桶人末世,我直接进化超级监控人
太阳_52159990472642396
马桶人进攻了地球,地球上有着100名被女电视人挑选的战士,主角白泽天就是其中一位,不过白泽天好像拥有某种特殊的能力,他能让击杀马桶人获得的监......
2.7万字1年前
绑定宿主后,反派投诉热线炸了! 连载中
绑定宿主后,反派投诉热线炸了!
黎三万
已签约[快穿+无CP+疯批]路边的宿主,千万不要碰。007不知道,傻乎乎的送上门,大礼包金手指一顿咔咔乱送后,宿主的真面目露出来了……系统:......
8.7万字1年前
重启——冤家路窄 连载中
重启——冤家路窄
南派吴善
此作品原名为盗墓笔记——冤家路窄,但是内容过于相似,而且名字也相似出遇到了版权问题被改成了重启,没关系,只要记得冤家路窄就好,希望大家多多支......
18.4万字1年前
评论君 连载中
评论君
一只顾卿卿
取自于各大评论区,看到一些喜欢的评论就收藏了下来。
24.9万字1年前
童话谣 连载中
童话谣
晓色晴岚
嶙峋的礁石高耸出绸缎般的深蓝色海面,奔赴万里的海风倦怠了一般,心不在焉地舀起一朵一朵的浪花拍击在颜色深邃的礁石上,碎成一堆堆雪,又纷纷扬扬地......
4.9万字1年前