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

(数学定理)篇章

(Schröder-Bernstein)定理的证明:

(card X≤cardY)∧(card Y ≤ card X)⇒(card X= card Y)

的以下证明.

◄ 只需证明:如果集合X,Y,Z满足X⊃Y⊃Z且card X=card Z,则card X=card Y.设f:X → Z是双射,那么,例如,可以用以下方式给出双射g:X→Y:

g(x)={f(x),如果对于某个 n ∈ N 有x ∈ fⁿ(X)\jⁿ(Y),

{x,在其余情况下.

这里 fⁿ=f◦· · ·◦f是映射 f 的 n 次迭代,而N是自然数集.►

Schröder-Bernstein定理在主流的数学分析教材中都有介绍,叙述简单,意义也很清晰:

设 f:X → Y,g:Y → X 均为单射,则存在 X,Y 间的双射。

但其证明并不像定理本身那样简洁,Зорич和于品的数学分析教材中都把这一证明编成了习题,本文采用的即是于品老师讲义中的处理方法。

考虑到 f:X → f(X),g⁻¹:g(Y) → Y 均为双射,只需找到 X 的一个分划 A|B ,使得 f(A)|g⁻¹(B) 也是 Y的分划即可。由于 f,g 均为单射,故原条件可转化为:

条件可转化为:

g◦f(A)∩g∘g⁻¹(B)=∅ (1)

g◦f(A)∪g◦g⁻¹(B)=g◦f(A)∪B=g(Y)

(2)

首先考虑条件 (1) :

记 X′=X−g(Y) , g◦f=h:X→X ,条件 (1) 可改写为: X′∪h(A)⊂A 。故考虑 X 的子集类

F={U⊂X|X′∪h(U)⊂U}

显然, X∈F ,故 F 非空;

其次,对 ∀U∈F,X′∪h(U)⊂U ⇒ X′∪h[X′∪h(U)]⊂X′∪h(U), 则:

X′∪h(U)∈F ;

另外, F对任意交封闭: ∀{Uα}⊂F,Λ={α}为任意指标集, ⋂α∈ΛUα∈F。

证明: X′∪h(⋂α∈ΛUα)⊂X′∪⋂α∈Λh(Uα)⊂X′∪⋂α∈ΛUα=⋂α∈ΛUα,得证。

其次考虑条件件 (2):

h(A)∪B={[X′∪h(A)]∩g(Y)}∪B⊂[A∩g(Y)]∪B=g(Y)

故条件 (2) 成立当且仅当

X′∪h(A)=A

显然, F 的所有元素之交 A₀=⋂U∈F U∈F 满足要求:

一方面, X′∪h(A₀)⊂A₀ ;

另一方面,由于 A0是 F 中所有元素的交, X′∪h(A₀)∈F ,故

A₀ ⊂ X′∪h(A₀) 。

从而有: X′∪h(A₀)=A₀

至此,我们已得到了一个双射

φ:X → Y

φ(x)

{f(x)… if x ∈ A₀

{g⁻¹(x)… if x ∈ Ⅹ-A₀

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

三生三世十里桃花(2) 连载中
三生三世十里桃花(2)
💍💍冰花雨露🎀🎀👑👑
一声婴啼,一个新生命诞生了。从此天宫上又多了一个小公主,在她身上会发生什么事呢?
0.5万字3周前
叶罗丽精灵梦之水的未婚妻 连载中
叶罗丽精灵梦之水的未婚妻
蓝汐如雪
王默有很多身份,是灵犀阁公主,凤凰公主,海洋公主等,还有很多身份我就不一一说了,她也是水王子的未婚妻,冰公主的嫂嫂,她真名叫雪蝶恋梦
0.8万字3周前
外星少女在民国 连载中
外星少女在民国
忆轩孤梦
[这一本我更新的非常慢,原因是在于想完结其他本,然后再更新这个。先看其他的哦]【一本男女都可以看的小说】她是银河深处的紫幽星少女,身怀魔力。......
4.5万字3周前
十二星座之星空璀璨 连载中
十二星座之星空璀璨
陌cc
当你仰望天空,星空璀璨,繁星闪耀,如此美丽的背后究竟是怎样的凶险和困境,才有如此漂亮的星空呢?星空之下隐藏的秘密又是什么呢?|星空如此璀璨,......
6.3万字1周前
来自遥远云境国度的星月神话 连载中
来自遥远云境国度的星月神话
糖裕
遵守世界法的萝甜甜掌管星星法则,一直爱护着可爱的子民。从西界到东海的旅途由此展开。与一群可爱的同胞,拥有友谊,发现爱情,守护亲情。
0.5万字2天前
数学联邦政治世界观 连载中
数学联邦政治世界观
拓崇
原创数学类小说,以构造圈数学量级为发展目标。
882.2万字8小时前