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

不可数集问题

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

相关小说

三世奇缘——第一世:人间传奇 连载中
三世奇缘——第一世:人间传奇
Aot
她,第一世21世纪杀手NO.1;第二世人见人怕的女魔头;第三世的她又是什么?又会创造什么奇迹?他,神界十重天的太子,当他下凡历劫遇见她时会擦......
0.4万字3个月前
永远停驻于那个夏天吧 连载中
永远停驻于那个夏天吧
4000時
请关注四千时谢谢喵【自留oc向】第一次在话本写东西!这是纯oc向的小说てす!一起去鬼屋探险吧!杂乱剧情注意‼️多结局注意❗️男频剧情️,女频......
0.7万字2个月前
笑花的开挂人生! 连载中
笑花的开挂人生!
求放过呆萌花
笑花和系统还有pws的搞笑故事,笑花和系统在等你来!
0.4万字2个月前
原创终极一家之爱会不会痛 连载中
原创终极一家之爱会不会痛
旭梦如夏
我是敏敏爱博君禁止辱骂禁止上升真人,原创不易,重新写,夏美崩溃失去哥哥是否接受令团长的喜欢,夏美当盟主,孙权很爱夏美这个大姐,还有阿香,周瑜......
9.0万字2个月前
一个人族少女的事务局日常 连载中
一个人族少女的事务局日常
南棠Xinxin
前期讲述一位人族少女和她的朋友们在特殊组织空行事务局的工作和生活日常
6.8万字2个月前
路西法今天堕天了吗? 连载中
路西法今天堕天了吗?
加木男
上帝不容亵渎,拥护他的前行。
3.4万字2个月前