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

不可数集问题

命题:对于全序集 (P,<) ,若任何前段的基数都小于 κ ,则 |P| ≤ κ 。[1]

证明:思路很简单,去构造该全序集的一个良序“骨架”。

由选择公理,取P(P) – ∅ 的一个选择函数 F ,来归纳构造 P 的良序子集 {αα|α<γ} 。先取

F({x|∀β<α(x>αᵦ)}),if {x|∀β<α(x>αᵦ)}

αα={

P, else

再令 γ=min{α|αα=P} ,那么易知 {α|αα<γ} 为 P 的无界良序子集。记 Aₓ={y∈P|y<x} 为 x 的前段,可知 P=∪Aα 。

α<γ

其中 |Aα|<κ ,同时必有 γ ≤ κ (否则 {αα|α<κ} ⊆ Aακ ,基数不小于 κ ,矛盾),因此 |P| ≤ κ × κ=κ 。 □

回到本问题,首先固定一个E 的元素 x₀ ,由 E 不可数知 x₀ 前段与后段中必有一个不可数。不妨设后段 P={x∈ℝ|x>x₀}∩E不可数,运用命题结论知存在 P 的某前段基数不小于 ℵ₀ ,即存在 x₁ 使得 |(x₀,x₁)∩E| ≥ ℵ₀ 。

参考

1. Set Theory, Jech习题5.3

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

相关小说

蚊子 连载中
蚊子
巟无
oc一号世界观而已
0.5万字5个月前
风吹过十八 连载中
风吹过十八
把作业装进篮子
嫦安…长安,预想平平度过时光,可奈何跌跌撞撞
0.7万字5个月前
快穿之万人嫌炮灰只想躺平 连载中
快穿之万人嫌炮灰只想躺平
邬溪临
简介查看评论区,宝宝们自行查看哦。
2.8万字2个月前
星际迷途:时光之匙 连载中
星际迷途:时光之匙
176***090_0306349480
新人作者,多多关照
1.4万字2个月前
01所 连载中
01所
布莱尔绘
防止恶评,作者不特别说明角色们的性别。
0.2万字2个月前
别了亲爱的:用情至深 连载中
别了亲爱的:用情至深
不知名诗人
我又活了,拥有了新的身份,唯一没变的是对她的爱,这次我绝对要保护好她,熟悉的环境,重走一遍的剧情,我绝对不会让她再受伤了,我不会再唯唯诺诺,......
1.4万字2周前