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

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

相关小说

狼人杀中的秘密 连载中
狼人杀中的秘密
回嫣
1.1万字5个月前
为卿慕久 连载中
为卿慕久
橘子糖欧尼
“我曾亲手斩断你的红线,故将自己赔你!”陈燃心虚…见慕久并没有发飙,添油加醋:“如果你跟他那红线当真无坚不摧,是不会断的…”听完,慕久内心跟......
0.2万字4个月前
排球:姓名 连载中
排球:姓名
AAA掺水苏威瓷兔批发商
涉及排球少年,未定事件簿孤爪研磨+北信介+赤苇京治+佐久早圣臣爱情向梦女+穆子悠亲情向梦女有梦图,谷子,此是梦文【请注意避雷,雷者左上角划走......
0.6万字2个月前
我将不断追寻精神的本真:两个人的孤独方程 连载中
我将不断追寻精神的本真:两个人的孤独方程
*夜半太阳*
有关于维持时空稳定的失落之石遭到破坏使时空重组,发生在混沌世界的一个小小故事
0.5万字2个月前
远离老婆后,老婆反向表白 连载中
远离老婆后,老婆反向表白
司逢春
美术室的白颜料染红色那天,林轩攥着司烨逐渐冰凉的手,听他吐出最后一句:
0.6万字1周前
笙声入谁心 连载中
笙声入谁心
祁祁子阮
修仙太难,你养我吧
1.6万字昨天