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

关于钻石原则的一些讨论

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

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

相关小说

茈椛 连载中
茈椛
凌苪玥
这是一个为了修为连人性都可以丢去的世界,但女主不清楚,在某天她得知了自己椛人的身份,她乐观应对,故事由此展开
0.3万字5个月前
品质少女:情绪精灵 连载中
品质少女:情绪精灵
蕴笺甯
自创的魔法少女的故事(◍•ᴗ•◍)
2.5万字4个月前
海棠妖修录 连载中
海棠妖修录
馒头跳绳
雨落花间,晶莹落,星光点点,应不凡。一日化人,入局中,身为棋子不解因。人间卧虎又藏龙,人间怎还有那妖魔鬼怪,作乱一方,成了那人间炼狱。(希望......
0.8万字3个月前
我与神明之间的无数种可能 连载中
我与神明之间的无数种可能
须臾本愚
【双向暗恋+一见钟情】都说神明普度天下,潞鸢却不赞同。初入九重天,潞鸢带着灭族之痛,一腔怒火,此生只为手刃仇人与神明。再入九重天,他带着身后......
10.8万字3个月前
时空碎片(上) 连载中
时空碎片(上)
Y.榆欢
0.6万字1个月前
逆仙之途 连载中
逆仙之途
土豆西红柿
这是一个神秘而广袤的修仙世界,名为灵境。灵境中,各个门派林立,修仙者们追求着长生不老与强大的力量。天地间灵气充盈,但修仙之路充满艰辛与挑战,......
5.4万字1个月前