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

不可数集问题

命题:对于全序集 (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万字5个月前
锦年金缘 连载中
锦年金缘
浅和苏
很多年后,众人才知道,那年他们的遇见,早已注定……
0.6万字4个月前
修罗女君,终入怀! 连载中
修罗女君,终入怀!
糖丝甜
千万幽怨,已难渡万般情。最后的最后,那血发女子也成了帝上,掌管天上人间,威仪八方。而那扯下别人发带的少年同是帝上,与女子同渡万年,也将女子爱......
25.1万字2个月前
龙卷风之后 连载中
龙卷风之后
飞向天宏
南海的某夏天,一场突如其来的龙卷风,这是五千罕见的超强风,它所之处,一片狼藉……
12.1万字2个月前
十二星座之曙光现 连载中
十二星座之曙光现
soon曦童
“这是我们最后一次的朋友相称,站在赛场上,我们只是敌人关系。”——锦熙悦(白羊座)“即是决出生死的赛场,我也会依旧站在你身后保护你。”——泽......
1.5万字2个月前
原创:失忆女主竟是团宠 连载中
原创:失忆女主竟是团宠
喑滟
“小念!等我!”“小念!”“小念。”“小念,让我们来保护你!”原创女主,非小说运载。小学生文笔,不喜勿喷。《缘与空》粉,请别在意封面(因为作......
1.6万字4周前