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

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://www.bjxsw.cc),接着再看更方便。

相关小说

女寝海龟汤实录 连载中
女寝海龟汤实录
养老院里劈过腿
每日一则海龟汤。女寝444成员:橙子、花花、佳琪、小青档案记录&管理人员:~养老院里劈过腿~
1.0万字5个月前
数学联邦政治世界观 连载中
数学联邦政治世界观
拓崇
原创数学类小说,以构造圈数学量级为发展目标。
3322.5万字4个月前
君忆仙落凡尘 连载中
君忆仙落凡尘
三寸旧城七寸执怜
青丘狐族是上古时期九尾狐神族遗留下的血脉因地势缘由,而迁移致高处,因防有凡人意外闯入而设了结界,也为了保护族人,所以定下族规,以防不知情的族......
23.2万字3个月前
海棠妖修录 连载中
海棠妖修录
馒头跳绳
雨落花间,晶莹落,星光点点,应不凡。一日化人,入局中,身为棋子不解因。人间卧虎又藏龙,人间怎还有那妖魔鬼怪,作乱一方,成了那人间炼狱。(希望......
0.8万字3个月前
星河为灯 连载中
星河为灯
冥夜90410
姜瑜是惊悚世界无限流副本由怨念产生的章鱼鬼怪,因为年少轻狂,去挑衅劳什子大佬被绑定为宠物带出副本,从此走上打工人的道路,开启了他跌宕起伏(苦......
2.9万字2个月前
不相离,不相弃 连载中
不相离,不相弃
栢竹
稚子被预言为灾星降世即便是肆意的妖,也被预言束缚不得归家她一直很疑惑为什么自己的友人眼底总是带着苦涩直到那日她踏上了家乡的土地一切也都水落石......
0.6万字2个月前