24小时热门版块排行榜    

查看: 4662  |  回复: 4
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

arftx

捐助贵宾 (小有名气)

毛毛虫

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

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

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

关于康托尔-伯恩斯坦-施罗德定理的证明问题
康托尔-伯恩斯坦-施罗德定理.png
回复此楼
已阅   回复此楼   关注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的回帖
查看全部 5 个回答

arftx

捐助贵宾 (小有名气)

毛毛虫

自己顶个,求解惑!

[ 发自小木虫客户端 ]
2楼2015-04-03 00:17:44
已阅   回复此楼   关注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

PreferenceforMathematics
4楼2015-04-03 02:29:56
已阅   回复此楼   关注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的回帖
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 关于filecode,很负责任的告诉大家 +6 爱看书的可乐 2026-08-08 7/350 2026-08-08 22:13 by a_niu
[基金申请] 关于豆爷回答的JTJC与%2F数量 +5 yang182083 2026-08-06 7/350 2026-08-08 18:29 by zhanghaozhu
[基金申请] 国基金的申报应该改成非等额制,评价高的钱多评价低的钱少,但是增加资助率 +7 a089 2026-08-07 7/350 2026-08-08 18:05 by gltch
[公派出国] 售SCI文章,我:8O5.5.1.O.54,科目齐全,可+急 +3 qTvzQBRAHjCi 2026-08-07 4/200 2026-08-08 17:27 by oEVWOejN9taj
[硕博家园] 售SCI文章,我:8O.5.5.1O.54,科目全,可十急 +3 qTvzQBRAHjCi 2026-08-07 4/200 2026-08-08 17:19 by oEVWOejN9taj
[基金申请] 售SCI一区T0P文章,我:8.O.55.1.O.54,科目齐全,可+急 +3 qTvzQBRAHjCi 2026-08-07 5/250 2026-08-08 17:02 by oEVWOejN9taj
[公派出国] 售SCI一区T0P文章,我:8O.55.1.O.5.4,科目齐全,可+急 +3 Vi50GxzrFcSG 2026-08-07 5/250 2026-08-08 15:59 by oEVWOejN9taj
[论文投稿] 售SCI一区文章,我:8.O.55.1.O.54,科目齐全,可伽急 +3 Vi50GxzrFcSG 2026-08-07 6/300 2026-08-08 15:07 by oEVWOejN9taj
[论文投稿] 售SCI一区T0P文章,我:8.O.55.1.O.54,科目齐全,可+急 +3 WQyTGMbfH7Cx 2026-08-07 4/200 2026-08-08 15:02 by oEVWOejN9taj
[基金申请] 这样的filecode谁见过 +5 布布和一二 2026-08-08 8/400 2026-08-08 14:54 by archvillain
[硕博家园] 售SCI一区文章,我:8.O.55.1.O.54,科目齐全,可伽急 +4 HEQlVqMTIA7d 2026-08-07 6/300 2026-08-08 14:47 by oEVWOejN9taj
[教师之家] 售SCI一区文章,我:8.O.55.1.O.54,科目齐全,可伽急 +3 KXLV3nuBVBY7 2026-08-07 5/250 2026-08-08 14:07 by oEVWOejN9taj
[基金申请] 关于代码变化问题,想知道的进来 +11 且听虎啸 2026-08-07 14/700 2026-08-08 12:50 by 布布和一二
[基金申请] 娱乐 +6 Tide man 2026-08-03 6/300 2026-08-07 22:40 by 铁帽子农民
[基金申请] 听说今天filecode变了 +24 布布和一二 2026-08-06 47/2350 2026-08-07 16:02 by zhiyanjiang
[基金申请] filecode与中标关系的预测 +3 布布和一二 2026-08-07 3/150 2026-08-07 15:09 by gltch
[基金申请] 大家散了吧,后缀研究没有意义,别浪费时间了,过好目前的每一天,不要焦虑 +5 Tide man 2026-08-06 7/350 2026-08-07 13:11 by 医学老男孩
[基金申请] 求各位大神看下 100+6 hpkpkpkp 2026-08-05 33/1650 2026-08-06 14:49 by zhiyanjiang
[基金申请] 纯娱乐,不喜欢勿喷 +7 Tide man 2026-08-04 10/500 2026-08-04 15:10 by loufangrui
[基金申请] 什么时候能放榜呀? +3 Jacob678 2026-08-03 3/150 2026-08-03 16:14 by gltch
信息提示
请填处理意见