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

delta系统引理的一个证明

Δ系统引理(AC):令 H 是不可数个有限集构成的集族,那么存在 ↅ ⊆ H 满足 |ↅ| ≥ ω₁ 且 ↅ 同根,同根是指 ∃r∀x,y ∈ ↅ(x ≠ y → x∩y=r) 。

由于AC等价于良序定理,因此∪H 可以被良序化,固定 H 上的良序 R ,下面我们证明引理:

不妨假设(∪H,R) ,这样可以直接令 {pα:α<ω₁}=H ⊆ [ω₁]<ω。如果 {min pα:α<ω₁} 在 ω₁ 中无界,那么由 ω₁ 的正则性,我们从 H 中挑选出不可数子集 ↅ={p'α:α<ω₁} ,其中 α<β<ω₁ → max p'α<min p'ᵦ ,这就有 ∀x,y ∈ ↅ(x ≠ y → x∩y=∅) ;如果 {min pα:α<ω₁} 在 ω₁ 中有界,令 {min pα:α<ω₁} ≤ β,由 ω₁ 的正则性,存在 γ ≤ β 使得 {pα:min pα=γ} 的基数是 ω₁ ,令 γ₀ 是满足上述条件的最小 γ 且 ↅ₀={pα ∈ H:min pα=γ₀} 。

现在我们考察ↅ₀ 。令 secmin(pα) 是 pα 中倒数第二小的元素,如果不存在倒数第二小的元素就令 secmin(pα)=∅ 。这时分成两种情况:第一种情况是 {secmin(pα):pα ∈ ↅ₀} 在 ω₁ 中无界,那么可从 ↅ₀ 中挑选出不可数子集 ↅ₁={p'α:α<ω₁} ,其中 α<β<ω₁ → max p'α<secmin(p'ᵦ) ,这就有 ∀x,y ∈ ↅ₁{x ≠ y → x∩y={γ₀}} ;第二种情况是 {secmin(pα):pα ∈ ↅ₀} 在 ω₁ 中有界,那么存在 γ 使得 {pα ∈ ↅ₀:secmin(pα)=γ} 的基数是 ω₁ ,令 γ₁ 是满足上述条件的最小 γ 且 ↅ₁={pα ∈ ↅ₀:secmin(pα)=γ₁} 。

重复进行上述过程,由于H 中元素都是有穷集,因此必然存在自然数 n 使得 Hₙ={p ∈ H:|p|=n} 不可数,不妨令 H=Hₙ ,则上述过程必在有穷步内结束,结束后就得到了所求的 ↅ 和根 r ,引理成立 ⊣

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

相关小说

一本看哭人的小说 连载中
一本看哭人的小说
啊,天才!
----回忆里永远的End永恒----
7.0万字5个月前
无限流——这个NPC是如此的独特 连载中
无限流——这个NPC是如此的独特
彼岸之舟*
作为无限流游戏中的固定NPC,白景欢在同一个故事里轮回过许多次,也遇见过许多人,可那些都不是他所期盼的。直到有一天,他觉醒了意识,也再次见到......
30.7万字4个月前
异者…… 连载中
异者……
凌琳灬
在这宇宙中有七位神明,分别是水神,草神,掌管地狱的神明,掌管赤焰的神明,掌管公正的神明,还有那诡计之神,数据的神明。在这宇宙还没创造之前,却......
0.7万字1个月前
诗:剑:风 连载中
诗:剑:风
Arcanine
失去心脏的少年重新踏上征程,只为寻求他胸腔那一份跳动的炽热感。这人间的风景,果真值得少年在登仙之即流连忘返吗?
1.4万字1个月前
重生之绝色御灵师 连载中
重生之绝色御灵师
知沐若雨
社畜若南汐在做饭时被自己炸死重生到异世。还没有来得及高兴发现自己重生成一个婴儿还被追杀。未来还有一个更大的秘密在等着她去探寻……
29.5万字2周前
ourname 连载中
ourname
木楚晴天
一丢丢科幻,青春的故事,我们在一起的美好日子和一些无法用言语理解的事情
2.3万字2周前