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

集合论基数Zermelo-Konig定理

对角线方法表面上是找到一个不在列表中的元素,例如当我们把实数排成一列之后,找到某个实数不属于该序列。它的本质其实是先假设两个集合A,B之间存在双射 f(单射其实就行了),再证明存在某个x ∈ A,

使得f(x) ∉ B,从而假设的 f 不存在。但狭义上的对角线方法不需要选择公理(在构造不属于序列的实数时可以有特定的构造方法),一般情况下还是需要选择公理说明 x 的存在性。

柯尼希定理从左到右存在单射不需要对角线方法,只有证明从右到左不存在单射时需要。根据选择公理,我可以假设直积°和直和都不空。假设存在 Y=∏ Yλ到

λ∈∧

X=∪Xλ的单射,那么存在X到Y的满射,记作f。 ↑

λ∈∧

对于任意入λ∈∧,记 pλ:Y → Yλ 为投影映射,fλ 是把 f:X → Y限制在 Xλ 上的限制映射,那么得到复合映射。

ps ◦fλ:Xλ → Xλ 。因为|Xλl<|Yλ|,所以pλ◦fλ 不可能是满射(否则由分割原则得到

|Xλ|=|Yλ|,这就是要求不等号严格成立的原因)。

为了书写方便令gλ=pλ◦fλ,那么

Zλ=Yλ – gλ(X) ≠ ∅。对非空集族{Zλ|λ∈∧}使用选择公理,从每个 Zλ ⊂ Yλ 中选择一个元素 zλ,得到 z=(zλ)λ∈∧∈Y。又因为f:X → Y 是满射,所以存在x∈X,使得f(x)=z。

由于x∈X=∪ Xλ,所以存在入λ∈∧,

λ∈∧

使得x∈Xλ。此时,

fλ(x)=f(x)=z ⇒ gλ(x)=pλ(z)=zλ ⇒ zλ ∈ gλ (Xλ),与 zλ ∈ Zλ 矛盾。

选择公理的作用一是保证了Y,Zλ ≠ ∅,二是保证了 z 的存在性。

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

相关小说

快穿:娇软万人迷 连载中
快穿:娇软万人迷
江鱼不是鱼
全员单箭头,一见钟情梗,万人迷,脑子寄存—
3.8万字4个月前
星灵幻影 连载中
星灵幻影
晨曦_51327356096082374
一个女孩的神奇之旅
0.7万字5个月前
彼岸花开繁尘落 连载中
彼岸花开繁尘落
一盏蝶
“你真想好了吗?不打算再去见见他?”“还是不了,他如今是天界战神,只为苍生不为我……”“在你眼里我依旧是那个只为天下苍生而活的战神,去不知我......
7.4万字5个月前
走吧,赚钱(名字:驱死病害) 连载中
走吧,赚钱(名字:驱死病害)
烂人王
【双男主】【黑暗】【刀子多】【死亡】【多CP但还算正经】【要素较多】(我不会做小说插图)《五胡乱华》《甲午战争》《克里米亚战争》《第一次世界......
0.9万字3个月前
龙拳3:龙拳小子 连载中
龙拳3:龙拳小子
77铜锣烧_
【跆拳道运动员竞技+男暗恋女+团宠+无脑洞+慢节奏+宠妹+师父+教练+男强+无绿茶】  『受宠公主vs偏执傲娇跆拳道大佬』有成长是甜文女主视......
20.7万字3个月前
守护者们的故事2 连载中
守护者们的故事2
精英豌豆射手
先看《守护者们的故事1》,否则您有可能看不懂。【满天星文社】一盏孤灯,听万物声;满天星辰,照远归人。是的,叶璇之前立下了汗马功劳,可是真正的......
4.4万字1个月前