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

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

相关小说

三世奇缘——第一世:人间传奇 连载中
三世奇缘——第一世:人间传奇
Aot
她,第一世21世纪杀手NO.1;第二世人见人怕的女魔头;第三世的她又是什么?又会创造什么奇迹?他,神界十重天的太子,当他下凡历劫遇见她时会擦......
0.4万字1年前
险命 连载中
险命
莫碎年
【轻微救赎文+双男+穿越+副本游戏】世上是否真的有神,亦或者地狱…?有些人到了绝境时,他们看见了一位白衣人,他声称自己是神明的信使,前来拯救......
0.8万字9个月前
梦境:一千零一夜 连载中
梦境:一千零一夜
愁梦千年
做梦是一种旅行,一种灵魂的穿越,一次次浪漫的邂逅……没有尽头,没有任何阻碍,没有见不到的人。欢迎来到我的梦境
0.7万字6个月前
赌徒Gambler 连载中
赌徒Gambler
蟹boss
池野握住手里的骰子,对白桉笑到:“准备好了吗,玖玖?”“废话,磨磨唧唧的。”白桉说道。万恶的赌场,便以它的方式,终结。
0.3万字6个月前
那棵树下的我们 连载中
那棵树下的我们
栀子花开._09326599376420
现代奇幻哈
0.1万字4个月前
蝴蝶的永远封印 连载中
蝴蝶的永远封印
唐朝汐
0.4万字3个月前