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

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.5万字6个月前
女帝陛下和她的莲花精 连载中
女帝陛下和她的莲花精
颜青枝
帝女凤瑶,是为南禹帝君和计都魔尊唯一子嗣,集万千宠爱于一身。一遭不慎,被算计进入轮回漂泊之中。~~~~~~~~~~~~~~~~~~历时万年,......
4.3万字6个月前
精灵国守护者 连载中
精灵国守护者
皖小米
在这一期,小心超人是精灵国公主,性格等都会变,是开心超人联盟和小花仙的集合体
1.2万字6个月前
迷途茶馆 连载中
迷途茶馆
御眠
“踏入迷途便是你我有缘,说出你的故事与我达成交易。”——顾楠曦
11.5万字6个月前
倾曦 连载中
倾曦
戬晓曦
此文为漫画《三眼哮天录》同人小说~喜欢三眼的孩纸来吧~眼睁睁看着他们离开那一刻,我好无能全世界只剩下我一个人…不!!不要!!!这一切都是你…......
3.4万字6个月前
俘获久伴 连载中
俘获久伴
鹿_诺兮
吟诵诗千卷,才发现最美的诗是你。楚云轩的出现在花洛恬意料之外,从来没有想过有一天她会和他一起打江山、战天下。楚云轩对她说过最多的三个字就是:......
5.9万字6个月前