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

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),接着再看更方便。

相关小说

(科幻万人迷)渣女改造系统 连载中
(科幻万人迷)渣女改造系统
吃人不放盐23
—这是一个社会潜在型人渣,被一个莫名奇妙的系统培养成社会栋梁最后成神的故事—林一览一直都知道自己不是个好东西,但从来没有想过,自己会因为渣得......
1.7万字6个月前
相遇和你 连载中
相遇和你
樱三
李云天为天玄宗立下了汗马功劳,原本是天玄宗宗主继承人,却没想到被宗门弟子嫉妒惨遭暗算,迫不得已打开了异世界的通道,将自己元神分离进入了这个异......
4.2万字6个月前
喜美:我在恐怖游戏里当主角 连载中
喜美:我在恐怖游戏里当主角
雾小渺wu
「喜美同人文01」——推推隔壁《喜美:童话镇》/本书开写于2024.9.4【不定时更新】-宋喜星×简喻美【双强】[双强+HE+爽文+幻想]-......
2.2万字5个月前
异世界奇异 连载中
异世界奇异
ANN魏盼
顾盼在异世界结实队员,然后在每次任务中提升能力,为了最后的那一个人,她为了他成功了
0.2万字5个月前
没有原因的爱 连载中
没有原因的爱
清风吹晓梦
因为儿时的一次偶然,江田喜欢上了顾辰,经历了多年的努力终于和顾辰分到一个班,并且是同桌,开始江田却没有勇气告白,终于在这这一天江田将自己的心......
2.2万字3个月前
待我复活 连载中
待我复活
厥题
(开学了,更新慢,请各位读者谅解)在校园组织得一次郊游里,叶云汐和反派沈阳首次交手,双方都暴露了变种人的身份。沈阳为了老板的研究,不顾一切代......
3.7万字4周前