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

(数学定理)钻石原则

钻石原则 ◊ 是指存在钻石序列 ⟨Sα:α<ω₁⟩ 满足 1.Sα⊆α 和

2.∀X⊆ω₁({α:X∩α=Sα}是ω₁稳定集) ,不难看出 ◊ → CH :任选 X⊆ω ,由于 {α∈ω₁:X∩α=Sα} 是 ω1 稳定集,因此存在 α>ω 满足 X=X∩α=Sα ,令 f(X)=min{α:X=Sα} ,则 f 是 Pω → ω₁ 的单射。

下面我们证明 V=L → ◊ ,该定理最早由数学家Jesen证明。

证明:注意到钻石序列的否定形式:存在 X⊆ω₁ 和 ω₁ 的无界闭集 C 满足 α∈C → X∩α≠Sα ,以及 L 满足的两个重要性质: AC 和凝聚性引理。

先在 L 中定义一个钻石序列:令 ⟨S₀,C₀⟩ 满足 S₀=C₀=∅ ;假设 ⟨Sα,Cα⟩ 以及定义,令 Sα₊₁=Cα₊₁=α+1 ;假设 α 是极限序数且 ⟨Sᵦ,Cᵦ⟩,β<α 已经定义,令 ⟨Sα,Cα⟩=min<ʟ{⟨A,B⟩:ψ(α,A,B)} ,其中 ψ(α,A,B) 当且仅当 A ⊆ α 、 B 是 α 的无界闭集且 ∀β∈B,(A∩β≠Sᵦ) ;如果这样的 ⟨A,B⟩ 不存在,那么令 Sα=Cα=α 。递归可得序列 ⟨Sα:α<ω₁⟩ 。根据凝聚性引理,不难看出上述构造在 Lω₂ 以内即可完成。下面证明此为钻石序列:

反证法,假设 ⟨Sα:α<ω₁⟩ 不是钻石序列,那么存在 X ⊆ ω₁ 和 ω₁ 的无界闭集 C 满足 ∀α∈C,(X∩α≠Sα) ,令 ⟨X,C⟩ 是满足上述要求的 <ʟ 下最小元。令可数模型 M 满足 {⟨X,C⟩,⟨Sα:α<ω₁⟩,ω₁}⊆M≺Lω₂ (注意不是 ω₁⊂M 而是 ω₁∈M )。令 A=M∩ω₁ ,由于 M ⊨ ∃γ(γ={x:x∈ω₁}) 且

M ⊨ γ是序数 ,根据 M≺Lω₂ ,那么Lω₂ ⊨ γ是序数 ,因此 A=γ ;同时,因为 M ⊨ C是无界闭集 和 M ⊨ C在γ之下无界 ,根据 M≺Lω₂ ,因此 γ∈C 。令 π:M → Lδ 为坍缩映射,那么有 π(ω₁)=γ 、 π(X)=X∩γ (假设 γ∈η∈X∧η∈M ,那么 π(η)∈γ ,但这与 π 是单射且 ∀x∈γ(π(x)=x) 矛盾,因此 η∉M ,则有 π(X)=X∩γ )、 π(C)=C∩γ (与上同理)、 π(⟨Sα:α<ω₁⟩)=⟨Sα:α<γ⟩ (这是因为 Sα ⊆ α<γ )。由于 π 是同构映射且 M 满足“ ⟨X,C⟩ 是满足 ∀α∈C,(X∩α≠Sα) 的 <ʟ 下最小元”,因此 Lδ 满足“ ⟨X∩γ,C∩γ⟩ 是满足 ∀α∈C∩γ,(X∩α≠Sα) 的 <ʟ 下最小元”。由于 π(C)=C∩γ 是 γ 的无界闭集,因此 C∩γ=Cᵧ 且 X∩γ=Sᵧ ,但这与 ∀α∈C,(X∩α≠Sα) 和 γ∈C 矛盾,反证定理成立。⊣

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

相关小说

彼岸花开繁尘落 连载中
彼岸花开繁尘落
一盏蝶
“你真想好了吗?不打算再去见见他?”“还是不了,他如今是天界战神,只为苍生不为我……”“在你眼里我依旧是那个只为天下苍生而活的战神,去不知我......
7.4万字5个月前
琉璃仙途 连载中
琉璃仙途
清辰明月
观影忆往昔,未来载无限。“世界万灵皆具善恶两面,心灵本就复杂变幻莫测,难以一言以蔽之,怎能轻易定夺善恶!”——琉璃“嫉妒什么的最讨厌了,别人......
6.9万字4个月前
某天成为公主维塔 连载中
某天成为公主维塔
和煦的微风
希娅的双胞胎妹妹,一个普通的现代大学生,被错位的命运裹挟着穿越成一个原著中不该存在人物。(小学生文笔)(之前写过一个类似的,之后写不下去就弃......
5.4万字3个月前
恋祺曰记 连载中
恋祺曰记
♡̶҉余悸꧔ꦿ℘_64666586542
马嘉祺与马芙
0.8万字2个月前
幻境大陆 连载中
幻境大陆
彩蝶灵舞
一本属于和魔法相似的魔法小说,一共有十位主角,五位男生,五位女生。不要把其他人当配角看,重复一遍“十位主角”。
3.2万字1个月前
道藏玄止 连载中
道藏玄止
云舟隐鹤
腹黑疯批事业派女主披荆斩棘,干翻倒霉亲戚,打趴狐狸窝长老会,与魔王男主相爱相杀的故事。【注意】本文群像风,除男女主外有多对cp,各种都有,但......
71.7万字1个月前