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

不可数集问题

命题:对于全序集 (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),接着再看更方便。

相关小说

叶罗丽精灵梦之水的未婚妻 连载中
叶罗丽精灵梦之水的未婚妻
蓝汐如雪
王默有很多身份,是灵犀阁公主,凤凰公主,海洋公主等,还有很多身份我就不一一说了,她也是水王子的未婚妻,冰公主的嫂嫂,她真名叫雪蝶恋梦
0.8万字3周前
极狱——重生之光 连载中
极狱——重生之光
桉姸
剧情跟随故事发展而来
0.7万字1周前
梦的结局I 连载中
梦的结局I
紫苜花
“我以天下为棋,赌我胜它半子。”“你说,我们还有见面的机会吗?”“我好想你,我错了……”“师尊你何时归来。”“主上,你不在的日子,总归是无趣......
1.9万字1周前
契约的血祭坛(重制版) 连载中
契约的血祭坛(重制版)
心心熠熠
多世界✓主打西幻和科幻✓架空世界宗教有,魔法有伏笔多作者记性不好角色头像来源网络,侵权删(这个tag真的怎么打啊)
1.4万字1周前
雁归有时 连载中
雁归有时
生命高度
本书别名《没有明天》【虐文】【已完结】结合了某某些真实事件改编、以文字的方式呈现彭萧是在家暴家庭中长大,七岁那年,父亲残忍杀害母亲,22岁,......
2.6万字4天前
幻想:不公定律—无罪世界 连载中
幻想:不公定律—无罪世界
维治托劳斯
嘈杂的声音充斥在教室中,所有人都嘻皮笑脸的,一切都很和谐,但是在这片虚伪的和谐中,藏着许多不为人知的恶劣——对同学的另眼相待,谣言乱飞,校园......
0.3万字昨天