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

康托尔-伯恩斯坦定理 (2-1)

康托尔-伯恩斯坦定理(Cantor-Bernstein定理):设A和B是两个集合。如果从A到B有一个单射,并且从B到A也有一个单射,则A和B之间有一个一一映射。

换个表述也可以是:如果Cαrd(A) ≤ Cαrd(B)且 Cαrd(B) ≤ Cαrd(A),那么一定有 Cαrd(A)=Cαrd(B) 。

这两种表述无论哪种都是一看就说了句废话,这不是显而易见的吗?然而,它的证明并不显然。

先回顾下Card是什么。

对于有限集,我们把一个集合中包含的元素的个数称为这个集合的基数(cardinality)。

如果两个集合A 和 B 之间存在双射 f:A → B ,则称 A 与 B 是对等的,记作 A ~ B 。

两个对等的集合具有相同的基数。根据鸽笼原理/抽屉原则,对于有限集,一个集合不会与它的某一个真子集对等。但对于无限集合,结论不成立,因此需要从另一个角度理解基数的概念。

集合的基数是集合的固有特征,每一个集合都具有唯一的基数,对等的集合具有相同的基数。

我们通常把一个集合A的基数记作Card(A)。对于元素个数为n的集合,基数为n。但无限集合不宜简单地用∞ 表示,因为比如实数集的基数比自然数集的基数更大。

那么基数大小是怎么定义的呢:设A,B 两个集合,如果 A 与 B 的某个子集对等,则称 A 的基数不超过 B 的基数,记作 Cαrd(A) ≤ Cαrd(B) 。如果 Cαrd(A) ≤ Cαrd(B) 且 Cαrd ≠ Cαrd(B) ,则称A的基数小于B的基数,记作 Cαrd(A)<Cαrd(B) 。

那么回到了我们最初的问题,两种表述显然等价。对于实数α,b ,我们都知道如果 α ≤ b 且 b ≤ α ,则一定有 α=b ,但是换成集合的基数后,答案也是肯定的,但并不显然。证明如下。

Banach引理:设f:X → Y 和 g:Y → Ⅹ 都是映射,则存在分解

X=A∪∼A Y=B∪∼B

使得A∩∼A=∅ ,且 B∩∼B=∅。,且 f(A)=B g(∼B)=∼A。

证明:对于X的子集E,如果E∩g(Y\f(E))=∅

则称E是X中的分离集。记X中的分离集之全体为Γ ,则 Γ 非空,因为 ∅ 是X中的分离集,因此 Γ 至少含有 ∅ 这个元素。

现在令

A=∪E

E∈Γ

即A是集族Γ 中所有元素的并集,则 A∈Γ 。事实上,对任意 E∈Γ ,根据分离集的定义,E∩g(Y\f(E))=∅成立,又因为 A ⊇ E ,因此

E∩g(Y\f(A))=∅,

从而有

E∩g(Y\f(A))=∪[E∩g(Y\f(A))]=∅

E∈Γ

这就证明了A∈Γ 。此外,不难发现A是 Γ 中的最大元素,即X中的最大分离集。

现在令B=f(A),∼B=Y\B,∼A=g(∼B),则显然有

Y=B∪∼B B∩∼B=∅ A∪∼A=∅,

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

女主不想再死了 连载中
女主不想再死了
慢慢、
又称《无限读档》《女主的无限死亡》温卿月看着温文如玉的男主,无语凝噎,要不是她知道男主的真面目,她或许也会相信男主真的这样。温卿月是穿越来的......
2.6万字4周前
吾凰在上之惜赤倾霜 连载中
吾凰在上之惜赤倾霜
痕城隐诗熙
一位平凡的人类少女,因为一次车祸穿越到了玄机界,使她拥有了冰之法术和焰之法术,她为了不被别人所发现自己是凰炎国的人因此她需要用冰之法术来压抑......
3.3万字4周前
盟卡车神之魔幻对决W后续 连载中
盟卡车神之魔幻对决W后续
不会取网名
关于白夜回国后发生的趣事,与原版差异较大,自己通过想象力写的,不喜勿喷
0.6万字4周前
京剧猫武白CP 连载中
京剧猫武白CP
腐女小青
是新人创作,本文可能,比较虐,其中那个易容术就是女化后的白糖,用易容术变成,之前的样子,而且还会遭到背叛被武松小青除大飞海漂和她的姐姐和姐夫......
0.6万字4周前
穿越之我在异世横行无阻 连载中
穿越之我在异世横行无阻
喵酱点点
重生这种不科学的事件居然会发生在自己身上想想真是好笑,曾经的暗杀之王,这一世居然是个小王子虽然体质废材,但是有一块儿小封地,倒也生活富足可为......
12.8万字4周前
魔女无忧姬 连载中
魔女无忧姬
光线下的颜色
她向她爱的人表达爱意,他在听后却杀死了她,并告诉她:“你只不过是我的牛、马、棋子,我并不会对那样悲贱的生物产生感情。你知道你为什会爱上我吗?......
9.1万字4周前