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

Hartogs number的一个引理

定义集合X 的Hartogs number ℵ(X) 为 min {α ∈ Ord:α ≰ X} 。可以在ZF下证明每个集合都有Hartogs number(hint:否则就会导致Burali-Forti's paradox)

Lemma:对于任意无穷集合X,Y , ℵ(XY)=ℵ(X) × ℵ(Y)

Proof:由于ℵ(X) × ℵ(Y) ≤ max{ℵ(X),ℵ(Y)} ≤ ℵ(XY),因此只用证明 ℵ(XY) ≤ ℵ(X) × ℵ(Y)。

任选 κ<ℵ(XY) 且 κ 是基数,则存在 A ⊂ X × Y 和双射 f:κ → A 。令 A₀=projₓ(A) ∧ A₁=projʏ(A),现在证明 A₀,A₁ 都可以良序化:定义 ψ:A₀ → A 使得 ψ(x)=min Aₓ<ᴀ ,其中 <ᴀ 是 A 上的良序且 Aₓ={(x,y)} ∈ X × Y:(x,y) ∈ A},不难证明 ψ 是单射,因此 A₀ 可被良序化,同理 A₁ 可被良序化。用 ψ,<ᴀ 诱导出的 A₀,A₁ 上的良序的基数 ≤ κ ,且必然在 A₀,A₁ 有一个的基数 ≥ κ ,不妨设 A₀ 的基数 ≥ κ ,则 ℵ(X)>κ ,因此 ℵ(XY) ≤ ℵ(X) × ℵ(Y) ,lemma成立。 ⊣

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

相关小说

春日樱花梦 连载中
春日樱花梦
春粉映蓝
《春日樱花梦》是一部描绘少年小枫在春日小镇上的一段奇妙旅行的小说。故事讲述了小枫在一个樱花盛开的午后,被淡紫色的樱花瓣和古老桥梁所吸引,踏上......
0.2万字5个月前
垃圾小短文合集 连载中
垃圾小短文合集
一一默rycidxy
所有内容都为言情。这一本是黑历史。我自己写的一些篇章和和别人一起写的一些篇章,会汇集到这本书里。类型多样,风格多样。
2.1万字5个月前
际缘 连载中
际缘
清沐兮颜
0.3万字4个月前
惊囚于夜 连载中
惊囚于夜
Aiu_2
不要凝视,天黑请闭眼……严卿起来时,发现周边并不是自己睡前的模样,而是一片黑。这种黑不是视觉上的,而是感官消失,周围静谧的黑……“刺啦—刺啦......
0.7万字3个月前
救世魔女 连载中
救世魔女
喵啪丝
白毛红瞳的少女,在西幻世界当巫师,无限流。渐渐消失的大陆,濒临毁灭的诸天万界。救世魔女,就是魔女。【随缘更】
54.8万字2个月前
穿成海王自救指南 连载中
穿成海王自救指南
忆岱痴
游戏数据出错,一朝被困游戏,如何才能活到最后?且看慕朝朝手把手教你戏精自救。
15.9万字1周前