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

Schroder-Bernsteri(S-B)定理

S – B Schroder – Bernstein 定理大概是说:若有单射f:A → B和单射g:B → A,我们可以构造出双射h:A → B,具体的想法是,既然每个单射在自己的定义域和值域上都是双射,我们可以把A分成不交的两部分,一部分用f映过去,记为E,将A – E用g⁻¹映过去,这样就得到了双射h,为了得到这样的E,我们首先观察到A – E=g(B – f(E)),即 E=A – g(B – f(E)),则问题等价于寻找映射

H:ℙ(A) → ℙ(A),X ↦ A – g(B – f(X))的不动点,对于形如H:ℙ(A) → ℙ(A),的映射,我们怎样找到它的不动点呢?事实上我们有如下定理:

定理1.0:对于形如P:ℙ(A) → ℙ(A)的映射,如果它满足:若X ⊂ Y则P(X) ⊂ P(Y),那么它有不动点。

证明:我们取所有Ⅹ ⊂ P(X)的元素X组成的集合,记为S,容易证明∪S是S的⊂ – 上确界,记为α对任意s ∈ S,我们有s ⊂ P(s) ⊂ P(α),故P(α)是S的一上界,我们有α ⊂ P(α),于是P(α) ⊂ P(P(α)),我们有P(α) ∈ S,因此P(α) ⊂ α\易知映射[公式]满足定理条件,存在不动点,这就证明了S-B定理。 通过类似的论证我们可以证明一个更一般的定理:

定理1.1(Banach映射分解):若有映射f:A → B和映射g:B → A,

─ ─

则存在分解A=X∪X,B=Y∪Y,使得

─ ─ ─

f(X)=Y,g(Y)=X,且X∩X=∅,

Y∩Y=∅ 证明思路同样是寻找h:X ↦ A – g(B – f(X))的不动点

以下将 Schroder-Bernsteri 定理简记作S-B 定理,此定理对集合基数的比较及证明集合之间的等势起很大的作用.

【例5.6】设 A,B,C 为三个集合,若A⊆B⊆C,且 A≈C,证明 A≈B≈C.

证明 由于 A⊆B⊆C 且 A≈C,由定理5.7的推论可知,A ≤ • B且B ≤ • A,由S-B定理可知A≈B,又由定理5.3可知,A≈B≈C.

定理 5.13 R≈(N→2),其中 N→2=2ᴺ.

证明 由 S-B 定理,只需证明 R ≤ • (N→2) 且(N→2)≤ • R.

(1)先证R ≤ • (N→2),又只需证明(0.1) ≤ • (N→2).为此构造函数 H;(0.1)→(N→2).对于∀z∈(0.1). z 表示二进制无限小数(注意表示法的惟一性),H(z):N→〈0.1〉.且∀n∈N,取 H(z)(n)为z的第(n+1)位小数.

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

相关小说

张凌赫:带着位面交易系统重生 连载中
张凌赫:带着位面交易系统重生
桃之妖夭
(本文金手指非常粗,不喜勿入!!!)普通宅女黎玥重生了,重生到平行世界不一样的自己身上,而且还身怀金手指,且看她带着金手指如何过上与前世不一......
1.6万字5个月前
穿越——血族禁域? 连载中
穿越——血族禁域?
塔娅·雪莱
封面是我自己做的,做的不好,所以不要嫌弃啊~男主们未定,读者宝宝选,其他的,就让男主们自己撕逼去吧男主:……以上来自一个宠粉作者٩(*´◒`......
4.1万字4个月前
怪物大师之陪伴(饺子(长生)主场) 连载中
怪物大师之陪伴(饺子(长生)主场)
小雨是冰雪公主呀
怪物大师相信大家都知道,是雷叔写滴一个好系列!我是饺子(长生殿下)的忠实粉!专写他!!
0.3万字4个月前
终极三国之云中瑾 连载中
终极三国之云中瑾
Angelna
小瑾,你这么聪明,怎么就看不出我喜欢你呢?——太史慈子龙哥哥,能遇见你,真好。——周妍(字瑾兮)明明是我先爱上你的,凭什么?凭什么他能得到你......
1.8万字4个月前
莫伤,终伤 连载中
莫伤,终伤
晴许心Ann
最开始,她有情,也有意他却有情而无意后来,他有情,亦有意她却只有情,而无意再后来,他终身未娶拿身份做借口实则难忘一颦一笑难忘走时那句“爱你,......
1.2万字4个月前
斗龙破天换月-d923 连载中
斗龙破天换月-d923
完美人生_790575657432561
1.5万字4个月前