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

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

相关小说

垃圾断文章合集 连载中
垃圾断文章合集
一一默rycidxy
所有内容都为言情。这一本是黑历史。我自己写的一些篇章和和别人一起写的一些篇章,会汇集到这本书里。类型多样,风格多样。
1.8万字2个月前
星灵幻影 连载中
星灵幻影
晨曦_51327356096082374
一个女孩的神奇之旅
0.7万字2个月前
斗龙战士2之东方末与云知画 连载中
斗龙战士2之东方末与云知画
云知画
正义顽强的东方末和明媚坚毅的云知画从一开始的毒舌相向,到并肩经历种种困难与生离死别,最终成为彼此生命中不可或缺的“soulmate”的故事。......
1.9万字1个月前
千秋引岚霜录 连载中
千秋引岚霜录
梦茳行
我的信仰因你而生,所以在我的世界当中,你则是我的神明。————————我不在乎你在别人眼中是谁,我只在乎你是我一人的阿岚,唯一的阿岚
0.6万字1个月前
书外的你我是天作之合 连载中
书外的你我是天作之合
璟秋竹
明月几时有?把酒问青天。你是暖阳,是我生命里不可缺失的光,你是早晨的太阳,明亮又耀眼。所以,谢谢你永远选择我。苏淮雪,不论书里书外。(双女主......
0.6万字1个月前
无限流——这个NPC是如此的独特 连载中
无限流——这个NPC是如此的独特
彼岸之舟*
作为无限流游戏中的固定NPC,白景欢在同一个故事里轮回过许多次,也遇见过许多人,可那些都不是他所期盼的。直到有一天,他觉醒了意识,也再次见到......
21.1万字4周前