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

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

相关小说

三生三世十里桃花(东华帝君篇) 连载中
三生三世十里桃花(东华帝君篇)
宸玖
本文是贴吧转发
2.7万字6个月前
上古神兽录 连载中
上古神兽录
清音璇
1.7万字6个月前
末画——凰之歌 连载中
末画——凰之歌
初夏∂柠檬
天地之间,四海八荒,凤凰这一古老的种族,早已不见踪影。然而,明月夭夭,愿以我微薄之力,助你重上九霄。清风皓月,凤凰窈窕,鸣声惊世,化作你的模......
4.1万字6个月前
栖云 连载中
栖云
绿羊驼
  (已完结)当捉鬼界的王者穿越到异世,便掀起了翻天覆地的变化。  渣姐想害死我?擂台打败她所有的骄傲,将她踩在脚下,教你做人!  渣姨母想......
24.4万字6个月前
快穿之虐文结局He 连载中
快穿之虐文结局He
该用户已注销
简介正在更新
4.6万字6个月前
腐草为萤虫,黄粱梦醒时,廖无人烟 连载中
腐草为萤虫,黄粱梦醒时,廖无人烟
祈忧_800698
注意:【无cp,元素混杂,有降智情节,主角恶人,不洗白】————若……神是臆想出来的,那他们杀的是什么?现实中又是谁死了?————某天,一位......
7.2万字6个月前