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

关于钻石原则的一些讨论

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

任选不可数正则基数 κ ,设 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),接着再看更方便。

相关小说

星辰荣耀之冠军之路 连载中
星辰荣耀之冠军之路
同学:好久不见
以下是为这部小说生成的作品简介:《星辰荣耀之冠军之路》讲述了性格内向但极具电竞天赋的女孩林悦瑶,在机缘巧合下被职业战队教练发掘,从此踏上电竞......
7.0万字6个月前
垃圾小短文合集 连载中
垃圾小短文合集
一一默rycidxy
所有内容都为言情。这一本是黑历史。我自己写的一些篇章和和别人一起写的一些篇章,会汇集到这本书里。类型多样,风格多样。
2.1万字5个月前
只为一个明天的人们 连载中
只为一个明天的人们
墨雨岚溪
在一段荒唐而遥远的历史中,西煌帝国统治着几乎整个大陆。表面上,其疆域广袤无垠,城镇繁华喧嚣,商队往来不绝,欢声笑语不断。然而,实则内部腐败不......
0.5万字4个月前
穷途(骗局3……0) 连载中
穷途(骗局3……0)
糊糊小白
欢迎各位来到“穷途”游戏,13位玩家齐聚一堂,遵循山羊的指引,携手闯关,只为取得塔顶的奖励,胜利者只有一位,谁会是最终赢家?注意:请不要相信......
7.4万字3个月前
极品风流贵婿 连载中
极品风流贵婿
气泡菌阿六
穿到古代成了陪葬姑爷?媳妇是个植物人?  什么,还和护国大将军有婚约?皇妃娘娘要和我深入交流?  陈叶双肾瑟瑟发抖。这是学韦小宝,集齐七个老......
121.7万字3个月前
巷往巷往 连载中
巷往巷往
139***084_7062947698
1.5万字2个月前