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

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

相关小说

配为主 连载中
配为主
谁家地理考29分啊
0.5万字1年前
我的傲娇医生 连载中
我的傲娇医生
冰雪💙_380992787829758
迷茫无助的女主遇到了让自己敞开心扉的男主,正当女主以为遇到了真爱的时候却得到了他有喜欢的人的答案,最后女主只能选择放弃,最后兜兜转转俩人重归......
0.6万字1年前
狐妖缠上我 连载中
狐妖缠上我
檬妍
我曾经救助一个人,因为我的这样害我差点丧命
0.2万字1年前
幻城之人鱼 连载中
幻城之人鱼
藜雪
樱空释被他们变成人鱼,多了空间,也多了敏感和警惕,一切都是那么的迫不得已我们会让你放下警惕,和你做朋友——各族首领,守界使者和卡索
7.9万字1年前
亿年爱恋 连载中
亿年爱恋
快点作者
魔女皖月横空出世,身边妃子无数,她却从未用正眼瞧过她们。直到有一天,意外被一人所救,从此便以救命之恩为由,与她相爱,相守白头!
16.1万字1年前
走遍万千世界,只为寻你 连载中
走遍万千世界,只为寻你
慕鹤熙
我走遍了万千世界,我寻遍了天上地下,你在哪里
9.8万字1年前