康托尔-伯恩斯坦定理(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),接着再看更方便。