- 主题:a的势大于b，b的势大于a，则a和b势相等？有没有简单证明办法
看到的那个构造证明，实在无法在头脑中想象出来
有没有简单点的能直观理解的证明方法
--
FROM 121.15.5.*
有个引理：
a>=b>=c, a=c，那么 a=b
然后令f是a->b的单射， g是b->a的单射，那么
a>=g[b]>=g[f(a)]
a=f(a), b=g(b) f(a)=g[f(b)]
用引理就可以证明。
【 在 baicaigao (淡烟流水) 的大作中提到: 】
: 看到的那个构造证明，实在无法在头脑中想象出来
: 有没有简单点的能直观理解的证明方法
--
FROM 116.30.221.*
哪本书上有呢？谢谢了e
【 在 iwannabe (I wanna be) 的大作中提到: 】
: 标 题: Re: a的势大于b，b的势大于a，则a和b势相等？有没有简单证明办
: 发信站: 水木社区 (Thu May 7 09:39:33 2020), 站内
:
: 有个引理：
: a>=b>=c, a=c，那么 a=b
:
: 然后令f是a->b的单射， g是b->a的单射，那么
:
: a>=g[b]>=g[f(a)]
:
: a=f(a), b=g(b) f(a)=g[f(b)]
:
: 用引理就可以证明。
:
:
: 【 在 baicaigao (淡烟流水) 的大作中提到: 】
: : 看到的那个构造证明，实在无法在头脑中想象出来
: : 有没有简单点的能直观理解的证明方法
:
:
: --
:
: ※ 来源:·水木社区 newsmth.net·[FROM: 116.30.221.*]
--
FROM 121.15.5.*
人家问大于。您这是大于或等于。
【 在 iwannabe (I wanna be) 的大作中提到: 】
: 有个引理：
: a>=b>=c, a=c，那么 a=b
: 然后令f是a->b的单射， g是b->a的单射，那么
: ...................
--
FROM 183.95.135.*
汪芳庭：数学基础
【 在 baicaigao (淡烟流水) 的大作中提到: 】
: 哪本书上有呢？谢谢了e
--
FROM 116.30.221.*
Cantor-Bernstein-Schroeder theorem?
【 在 baicaigao (淡烟流水) 的大作中提到: 】
: 哪本书上有呢？谢谢了e
--
FROM 123.118.9.*