应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 基础数学 » 关于康托尔－伯恩斯坦－施罗德定理的证明问题
51/1返回列表
查看: 4704  |  回复: 4
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看
当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖

arftx

捐助贵宾 (小有名气)

毛毛虫

[求助] 关于康托尔－伯恩斯坦－施罗德定理的证明问题 已有1人参与

看到网上多个版本的证明都随意用到了无限个集合的并，比如百科中给的一个方法，如我上传的图片。也可直接维基百科康托尔－伯恩斯坦－施罗德定理。证明中用到了递归定义了Cn，并给出集合C=所有Cn的并，我想问的是直接这么做合理吗？如果完全使用集合论ZF公理（函数也认为是一种集合，即某种关系），哪些公理保证存在所有Cn？哪些公理保证  C=所有Cn的并  这个集合可以被定义(构造)？

或者帮我找个完全依赖集合论公理的证明方法，据说康托最初证明是用集合论，我找不着文献。求高人指教！证明中文英文皆可。

关于康托尔－伯恩斯坦－施罗德定理的证明问题
康托尔－伯恩斯坦－施罗德定理.png
回复此楼

» 收录本帖的淘帖专辑推荐

制药工程

» 猜你喜欢
1楼 2015-04-02 22:54:35
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

arftx

捐助贵宾 (小有名气)

毛毛虫
引用回帖:
4楼: Originally posted by 终之太刀—晓 at 2015-04-03 02:29:56
然后给出定理的两种证明方法：

1.4.png

1.5.png

1.6.png

1.7.png
...

非常感谢！第一种使用引理的证法目测确实完全由ZF公理和逻辑规则导出。第二种却潜在用了归纳。。能告诉我你这是那个书上的吗？还有，集合论公理体系好像没把数学归纳或超限归纳作为公理，归纳的正确性能由公理体系导出？

[ 发自小木虫客户端 ]
赞一下 回复此楼
5楼2015-04-03 08:56:05
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 5 个回答

arftx

捐助贵宾 (小有名气)

毛毛虫
自己顶个，求解惑！

[ 发自小木虫客户端 ]
回复此楼
2楼2015-04-03 00:17:44
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

终之太刀—晓

铁杆木虫 (著名写手)

数学爱好者

【答案】应助回帖

感谢参与，应助指数 +1
先给出以下的引理：
关于康托尔－伯恩斯坦－施罗德定理的证明问题-1
1.1.png


关于康托尔－伯恩斯坦－施罗德定理的证明问题-2
1.2.png


关于康托尔－伯恩斯坦－施罗德定理的证明问题-3
1.3.png
赞一下 回复此楼
PreferenceforMathematics
3楼2015-04-03 02:28:53
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

终之太刀—晓

铁杆木虫 (著名写手)

数学爱好者

【答案】应助回帖

★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★
arftx: 金币+20, ★★★★★最佳答案, 非常及时地解决问题！ 2015-04-03 08:57:10
引用回帖:
3楼: Originally posted by 终之太刀—晓 at 2015-04-03 02:28:53
先给出以下的引理：

1.1.png

1.2.png

1.3.png
...

然后给出定理的两种证明方法：
关于康托尔－伯恩斯坦－施罗德定理的证明问题-4
1.4.png


关于康托尔－伯恩斯坦－施罗德定理的证明问题-5
1.5.png


关于康托尔－伯恩斯坦－施罗德定理的证明问题-6
1.6.png


关于康托尔－伯恩斯坦－施罗德定理的证明问题-7
1.7.png
赞一下(1人) 回复此楼
PreferenceforMathematics
4楼2015-04-03 02:29:56
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 5 个回答
普通表情 龙 兔 虎 猫
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 售一区SCI文章T0P，我:8O.551.O54,科目全,可十急 +3 40ms4Wlo4umh 2026-09-14 3/150 2026-09-15 10:02 by VMDqgnlKimtZ
[教师之家] 售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急 +3 6F5UbRU2I5hL 2026-09-14 3/150 2026-09-15 08:26 by C79jjtjAKjEn
[硕博家园] 售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急 +4 s3fFTmArrBt6 2026-09-14 4/200 2026-09-15 07:26 by C79jjtjAKjEn
[教师之家] 售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急 +4 s3fFTmArrBt6 2026-09-13 4/200 2026-09-15 06:50 by 5BDX0d0WFp7t
[公派出国] 售SCI文章，我:8O.5.5.1O.54,科目全,可十急 +3 s3fFTmArrBt6 2026-09-13 5/250 2026-09-15 06:38 by 5BDX0d0WFp7t
[硕博家园] 售一区SCI文章T0P，我:8O.551.O54,科目全,可十急 +4 LwdutQ8HoqWP 2026-09-13 4/200 2026-09-15 06:02 by 5BDX0d0WFp7t
[找工作] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +3 3n8v2C8RimXI 2026-09-13 4/200 2026-09-15 06:01 by 5BDX0d0WFp7t
[公派出国] 售SCI一区T0P文章，我:8O.55.1.O.5.4,科目齐全,可+急 +3 3n8v2C8RimXI 2026-09-13 4/200 2026-09-15 05:50 by 5BDX0d0WFp7t
[教师之家] 售SCI一区T0P文章，我:8.O.55.1.O.54,科目齐全,可+急 +6 3n8v2C8RimXI 2026-09-13 6/300 2026-09-15 05:38 by 5BDX0d0WFp7t
[硕博家园] 售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急 +3 3n8v2C8RimXI 2026-09-13 3/150 2026-09-15 05:26 by 5BDX0d0WFp7t
[考研] 售SCI一区文章，我:8.O.551.O.5.4,科目全,可伽急 +5 QUjhNVAcOSff 2026-09-13 6/300 2026-09-15 05:13 by 5BDX0d0WFp7t
[博后之家] 售SCI一区T0P文章，我:8O.55.1.O.54,科目全,可伽急 +5 QUjhNVAcOSff 2026-09-13 6/300 2026-09-15 05:01 by mibUvS8DDCwf
[公派出国] 售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急 +6 QUjhNVAcOSff 2026-09-13 8/400 2026-09-15 05:01 by mibUvS8DDCwf
[考研] 售SCI一区文章，我:8.O.551.O.5.4,科目全,可伽急 +4 QUjhNVAcOSff 2026-09-13 4/200 2026-09-15 05:00 by mibUvS8DDCwf
[博后之家] 售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急 +3 s3fFTmArrBt6 2026-09-13 4/200 2026-09-14 23:24 by vZfe6xYu34yj
[考研] 售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急 +5 LwdutQ8HoqWP 2026-09-13 5/250 2026-09-14 22:25 by vZfe6xYu34yj
[考博] 售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急 +5 QUjhNVAcOSff 2026-09-13 5/250 2026-09-14 21:36 by vZfe6xYu34yj
[考博] 上海工程技术大学激光智能制造课题组招收博士研究生 +4 两三岁ss 2026-09-14 4/200 2026-09-14 20:29 by 班主任的同桌
[教师之家] 售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急 +3 LwdutQ8HoqWP 2026-09-13 4/200 2026-09-14 16:13 by Aj1rhIDL5ixY
[考博] 西北工业大学材料学院电化学传感与催化课题组招收2027年推免研究生、博士生、博士后 +3 马方园 2026-09-10 4/200 2026-09-14 09:29 by Chem张zz
信息提示
关闭
请填处理意见
关闭