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

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://www.bjxsw.cc),接着再看更方便。

相关小说

异世界奇异 连载中
异世界奇异
ANN魏盼
顾盼在异世界结实队员,然后在每次任务中提升能力,为了最后的那一个人,她为了他成功了
0.2万字10个月前
神界诸多事 连载中
神界诸多事
将军背诗
围绕神界的几位神明而展开的故事,也有其展开的平行世界的故事
3.9万字6个月前
她不是疯子 连载中
她不是疯子
墨玉菏
特点:生性自在散漫,不愿受世俗约束,道德感比较模糊,遇好人则菩萨心肠,遇坏人则sha人如麻不是小人,也不愿做道貌岸然的君
0.9万字6个月前
埋藏在心里的星星 连载中
埋藏在心里的星星
程小初
苏念念被北斗七星的长老找到,让她去攻略北斗七星所在的万千小世界。第一部第一个世界:娱乐圈之旅(已开启)第二个世界:严大少爷不好追(未开启)第......
1.4万字5个月前
光影大作战 连载中
光影大作战
图灵吃货
 9.16日已签约,请放心食用。传说中的暗之子与光之子不分上下,永世相传,互相抵抗,可是光守护神沐槿叛变光之女,将光宝典献给夜之子。危难之际......
37.6万字5个月前
重生之我在游戏副本里当咸鱼 连载中
重生之我在游戏副本里当咸鱼
玫瑰七月
无限流+偶尔的规则怪谈+副本(主要看作者想到了什么)大致就是这样了,作者懒得写简介
0.5万字4个月前