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

数学定理(一)

power Dedekind infinite cardinal定理

以下内容均不假设选择公理。

称一个集合α 是power Dedekind infinite,当且仅当 Pα ≥ ω。

引理:集合α 是power Dedekind infinite,当且仅当 α ≥* ω ,其中 x ≥*y 当且仅当存在从 x 到 y 的满射 ⊣

定理:假设α 是power Dedekind infinite的且 b ≤* α ,那么 ω ≤* b∨b+ω ≤* α 。

证明:假设ω ≰* b,定义 g:α → b 是满射。由引理知存在 f:α → ω 是满射,现在求存在满射 σ:α → b+ω 。

定义αₙ=f⁻¹(n) ⊂ α 和 bₙ=g[αₙ] ⊆ b,则 i ≠ j → αᵢ ∩ αⱼ=∅ 且 α=∪αₙ 。

假设∀n∃m>n(bₘ₊₁ ⊈ b₀∪· · ·∪bₙ),那么定义 φ:∪bᵢ → ω

i

,令 φ(x)=n 当且仅当 n=min {k:x∈bₖ} ,则 φ 是从 ∪bᵢ → ω 的满射

i

,这与 ω ≰* b矛盾,反证存在自然数 n 满足 b₀∪· · ·∪bₙ ⊇ ∪bᵢ

i∈ω

,因此 b=b₀∪· · ·∪bₙ 。

定义ᵇ'⁰⁼ᵇ⁰,ᵇ'ⁱ⁺¹⁼ᵇⁱ⁺¹ ⁻ ∪bₖ

k≤i

,则 b'ᵢ∩b'ⱼ=∅ 。由于对于任意 k , g[αₖ] ⊆ b'₀∪· · ·∪b'ₙ ,因此我们可以把 αₖ 划为 n+1 个不相交的子集 α⁰ₖ,· · · αⁿₖ,其中 g[αⁱₖ] ⊆ b'ᵢ 。对于任意 0 ≤ i ≤ n ,令 cᵢ=∪αⁱₖ

k∈ω

,可证 cᵢ∩cⱼ=∅ 且 α=c₀∪· · ·∪cₙ ,因此存在 i ≤ n 满足 f[cᵢ] 是 ω 的可数子集。

下面证明存在k 使得 ᵇ'ⁱ⁼∪g[αⁱₙ]:

n≤k

否则 ∀k,b'ᵢ ⊃ ∪g[αⁱₙ]

n≤k

,那么就存在 b 到 ω 上的满射,这与 b ≱* ω 矛盾,因此存在 k 使得 b'ᵢ=∪g[αⁱₙ] 。

n≤k

由于对于任意自然数 l 都有 f[αⁱₙ]=l ,因此 f[∪αⁱₗ]是 ω 的可数子集。

l>k

令 ʰ:ᶠ[∪αⁱₗ] → ω 为双射。

l>k

到此定义满射σ:α → b+ω:假设 x∈cⱼ,j ≠ i,那么 σ(x)=g(x) ;假设 x∈∪αⁱₙ

n≤k

,那么 σ(x)=g(x) ;如果 x∈∪αⁱₙ ,

n>k

那么 σ(x)=h◦f(x) 。可知 σ 即为题目所求。 ⊣

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

相关小说

契约的血祭坛(重制版) 连载中
契约的血祭坛(重制版)
心心熠熠
多世界✓主打西幻和科幻✓架空世界宗教有,魔法有伏笔多作者记性不好角色头像来源网络,侵权删(这个tag真的怎么打啊)
1.4万字5个月前
听潮阁:一起去看星星吧 连载中
听潮阁:一起去看星星吧
NeKKo
更新不稳定/圈地自萌/请勿出站欢迎指点/拒绝指指点点北夜是01年最最最好的小孩2.5次元,请勿上升正主三次,可能会有时间线bug/混乱问题,......
17.8万字4个月前
顾影自须怜 连载中
顾影自须怜
某懒
一白衣一青袍,两人相伴同行,云游四方,揭开世间百态,有喜,有悲,有离别,有相逢,同在一起便是最好…
4.1万字5个月前
梦境大世界 连载中
梦境大世界
梦颜宁
我自己做的一个梦
0.6万字5个月前
浮生若梦云生惊蛰 连载中
浮生若梦云生惊蛰
曷月予还归哉
整一个故事架构和时间跨度巨大,日更的话需要很久,请各位读者耐心轮回之内轮回之外,革新与守旧,天命与人力樱花当自由盛开,也当自由凋零,投身烈火......
141.9万字3个月前
假千金她靠神级职业杀疯了 连载中
假千金她靠神级职业杀疯了
补药鸭
【全民转职+主角无cp+群像+爱国+天才流】前世顾珺眠是个贫民区的孤儿,靠着自己的努力考上名牌大学,没想到却被老师同学算计,被逼的从27楼一......
2.2万字6天前