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

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

相关小说

雅家:六大天王 连载中
雅家:六大天王
77小X
原创男主角女主角
4.0万字9个月前
重生虐缘 连载中
重生虐缘
墨香书蕴
纯情小师弟&绝情仙尊,沈淮上一世因为情爱入魔被自己喜欢的师尊亲手了结,重生一世,他依旧喜欢师尊,只不过保持一定的距离,长此以往师尊倒先不乐意......
1.8万字6个月前
777号玻璃树:属于我们的世界幻想 连载中
777号玻璃树:属于我们的世界幻想
*夜半太阳*
有关于维持世界时空的失落之石遭到破坏爆炸导致世界重组后,发生在一个先进的信息文明,以玻璃树作为主角视角的探索故事
0.5万字5个月前
被男人抱着不断升级中 连载中
被男人抱着不断升级中
色气值拉满
宋春樱在姐姐的针对,和母亲漠视,任由宋春樱活在姐姐宋秋月不停针对霸凌下,破釜沉舟出国深造,成功的取得了阶段性成就,站稳了脚跟,有了一份可观的......
16.5万字5个月前
私亦心 连载中
私亦心
舌廿廿
苏芯瑶从小就是一个活泼开朗的女孩,但由于学习进度的增加变的内向,曾经的佼佼者也变成了学渣,但在高中的最后几个月经过不懈的努力考进了全国最高学......
4.8万字3个月前
喜羊羊的身世 连载中
喜羊羊的身世
吴沂襄
2.1万字3周前