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

关于钻石原则的一些讨论

最近在思考钻石原则的一些性质,很好奇这个原则是如何被提出来的,幸运的是我在冯琦的集合论教材上找到了一点指引。

任选不可数正则基数 κ ,设 I 是 κ 上的一个理想,我们称 A,B∈𝕻(κ) 模理想相等当且仅当 A∩B∈I 。定义 NSκ 为 κ 上的全体非平稳集(non-stationary set)构成的集族,根据 κ 正则性可知 NSκ 是 κ 完全的理想。

根据Solovay的工作,我们知道对于任意不可数正则基数 λ 和 λ 的平稳集 S , S 可以分裂为 λ 个不相交的平稳集的并,显然这已经是一个最好的结果了,毕竟 S 不可能分解为 λ⁺ 个不相交的平稳集的并;现在一个拓展的问题是:是否存在 ω₂ 个 ω₁ 的平稳集 {Sα}α<ω₂ 满足 Sα∩Sᵦ∈NSω₁ ?有意思的是这个问题是独立于 ZFC 的,并且与某种大基数理论相关,下面我们证明:如果钻石原则成立,那么该问题的答案是肯定的。

定理:如果钻石原则成立,那么存在 ω₁ 的平稳集族 {Sα}α<2ω₁ 满足 Sα∩Sᵦ∈NSω₁。

证明:令 ⟨Dᵧ:γ<ω₁⟩ 是钻石序列。对于任意 X ⊆ ω₁ ,定义 Sₓ={α<ω₁:X∩α=Dα} ,根据钻石序列定义得 Sₓ 是平稳集。若 Sₓ=Sʏ ,那么 X∩α=Dα ↔ Y∩α=Dα ,由于 Sₓ 无界,因此 ∀α∃β>α(X∩β=Y∩β) ,这就证明了 X=Y ,因此 X↦Sₓ 是单射,这就证明了定理。⊣

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

万人迷她又被强取豪夺了 连载中
万人迷她又被强取豪夺了
李朵儿
【女主万人迷】+【众多修罗场】+【男神收割机】+【颜值巅峰】+【娇软美人】+【可甜可盐】+【强取豪夺】+【玛丽苏】+【绿茶美人】花琉璃只想完......
67.6万字4个月前
送子观音狠纠缠 连载中
送子观音狠纠缠
摸金倾城
我是个异数……我甚至不知道自己到底是种什么存在……我的双眼从出生那天起就能看到鬼神,甚至感觉到他们刻意收敛起来的气息。我的身体里之前还住着一......
14.9万字2个月前
极品风流贵婿 连载中
极品风流贵婿
气泡菌阿六
穿到古代成了陪葬姑爷?媳妇是个植物人?  什么,还和护国大将军有婚约?皇妃娘娘要和我深入交流?  陈叶双肾瑟瑟发抖。这是学韦小宝,集齐七个老......
115.4万字4周前
世界是个甜蜜的童话 连载中
世界是个甜蜜的童话
童话仙子
讲述南星自幼被南书收养的故事
0.6万字4周前
全世界都有我的暗恋者 连载中
全世界都有我的暗恋者
少年兰司
17.3万字4周前
空吟史,暮寻录 连载中
空吟史,暮寻录
晶小运
“天赋真的有那么重要吗?”介绍:卿文锦(主人公)农村出生,偶然间去登最高山长月山,生性倔强,却没有灵根,靠着前面神仙登山挡风,跟到屁股后面,......
3.0万字3周前