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

不可数集问题

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

相关小说

契约的血祭坛(重制版) 连载中
契约的血祭坛(重制版)
心心熠熠
多世界✓主打西幻和科幻✓架空世界宗教有,魔法有伏笔多作者记性不好角色头像来源网络,侵权删(这个tag真的怎么打啊)
1.4万字5个月前
末世语阳 连载中
末世语阳
不知名刀刀
女主角酚易:一个坚强、聪明、有领导力的女性,末世前是医生。男主角白莱:一个勇敢、机智、有责任感的男性,末世前是军人。在共同的战斗和生存中,酚......
2.0万字5个月前
崩裂的水火之情 连载中
崩裂的水火之情
星入梦海
刘雨成功复活了三个人,回到了世界,开展了与黑凤蝶的大战,但被朋友亲手推下遗忘海,但最后……
1.7万字3个月前
作者的发疯或随笔 连载中
作者的发疯或随笔
季亭.
作者的发疯随笔小日常而已啦,可能存在多元素,毕竟我有的时候可能就灵感爆发,嗯,想写一些如咒回文野的同人短文我可能就会写在这里,当然更多时候是......
0.5万字3个月前
星河为灯 连载中
星河为灯
冥夜90410
姜瑜是惊悚世界无限流副本由怨念产生的章鱼鬼怪,因为年少轻狂,去挑衅劳什子大佬被绑定为宠物带出副本,从此走上打工人的道路,开启了他跌宕起伏(苦......
2.9万字2个月前
今天还了债吗? 连载中
今天还了债吗?
元霏
元霏因为太无聊,坑了一堆人(元霏有点恶毒女配的感觉,不喜勿喷)
1.1万字2个月前