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

关于钻石原则的一些讨论

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

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

相关小说

团宠:有五个不熟悉的哥哥怎么办? 连载中
团宠:有五个不熟悉的哥哥怎么办?
悦雪风吟
作为一个身体不好的小孩子,爸妈为了让她养好身体,带她回到了山上的奶奶家,与奶奶父母一起生活,彼时大哥已经完全有能力接管公司,父母便安心照顾她......
1.2万字4个月前
ch:平行恶世界人到来 连载中
ch:平行恶世界人到来
任彼安
先看第四章!人设cp!全员恶人的平行世界与主世界开始融合,相敌,相对,相帮,相助,背后又是何人在操控,而最后的结局是完全融合还是彻底分离呢?
5.9万字4个月前
你好,大妖 连载中
你好,大妖
这条小鱼在乎捏
我是一个半人半妖的妖怪我出生就被诅咒过所以我父母就不要我了丢给了我师傅白泽但是师傅说以后会一只大妖叫乘黄的非常爱我爱我?为什么也要丢下我?
0.8万字4个月前
落魄小宗竟全是大佬 连载中
落魄小宗竟全是大佬
栖休安
白漠渴望得道长生于是她来到来了一个小宗门(排雷:女主傻白甜,文中有多对楠楠副cp,全员be)
7.9万字1个月前
险命 连载中
险命
莫碎年
【轻微救赎文+双男+穿越+副本游戏】世上是否真的有神,亦或者地狱…?有些人到了绝境时,他们看见了一位白衣人,他声称自己是神明的信使,前来拯救......
0.8万字1个月前
星星在闪耀时,是我在对你说话 连载中
星星在闪耀时,是我在对你说话
绪緖
这是一本虐文,不是很虐,最后除了女二都死了
0.1万字2周前