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

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),接着再看更方便。

相关小说

皇帝的狐狸不好惹 连载中
皇帝的狐狸不好惹
嫣栀
一个是云狐山第一纨绔的狐仙云祁,平日里不是拔族长的胡子挖族长的酒,就是带着三只小狐狸去揍临山的妖兽顺带抢他们的灵果。一个是毫无权势被架空的废......
8.7万字5个月前
不公定律—打造无罪世界 连载中
不公定律—打造无罪世界
维治托劳斯
嘈杂的声音充斥在教室中,所有人都嘻皮笑脸的,一切都很和谐,但是在这片虚伪的和谐中,藏着许多不为人知的恶劣——对同学的另眼相待,谣言乱飞,校园......
0.5万字5个月前
无限流:疯批美人她十恶不赦 连载中
无限流:疯批美人她十恶不赦
菱意笙枫
  【无限流/双女主/双强/金手指/微悬疑】池漾意外进入了无限流副本当中,开局不但获得了金手指,还被副本当中的队友抢着要,为了拉她入伙,还额......
7.7万字3个月前
异世界图书馆 连载中
异世界图书馆
镜蝶
〈别名:世界图书馆与少女梦谈〉一个偏远地区流传着一个传说,满月当空时,在荡漾着月辉的河中放下一只纸船,借着月光让纸船载着你一部分的灵魂,为你......
40.9万字3个月前
快穿:开局打男主 连载中
快穿:开局打男主
独孤咸鱼
朱颜第一时间看了回去,注意到那名头顶冒绿光的少年时,眼睛不由得一亮,“这等高级的颜色,阁下定是贵族!”女主:“哇,他跳辣舞那么美,我爱上他了......
1.9万字1个月前
快穿:万年女配要翻身 连载中
快穿:万年女配要翻身
梁凉了
一不小心穿越了一回,系统君竟然给了无数个女配剧本!接受吧,被男女主虐死!不接受吧,马上死!灰飞烟灭的那种。于是,她妥协了。拿着女配剧本穿梭于......
13.5万字2周前