24小时热门版块排行榜    

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

arftx

捐助贵宾 (小有名气)

毛毛虫

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

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

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

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

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

制药工程

» 猜你喜欢

已阅   回复此楼   关注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

PreferenceforMathematics
4楼2015-04-03 02:29:56
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 297工科调剂? +14 河南农业大学-能 2026-04-13 15/750 2026-04-15 13:25 by 黑科技矿业
[考研] 273求调剂 +5 白居不易. 2026-04-09 7/350 2026-04-15 13:16 by 西北望—风沙
[考研] 求调剂学校 +13 不会吃肉 2026-04-13 15/750 2026-04-15 12:49 by 西北望—风沙
[考研] 恳请有学校收留 +3 柯淮然 2026-04-12 3/150 2026-04-14 16:25 by 逆水乘风
[基金申请] RY:中国产出的科学垃圾论文,绝对数量和比例都世界第一 +6 zju2000 2026-04-14 17/850 2026-04-14 14:34 by jurkat.1640
[考研] 求调剂 +16 雪逢冬 2026-04-10 16/800 2026-04-14 14:27 by 逆水乘风
[考研] 考研求调剂 +6 ban班小七 2026-04-11 6/300 2026-04-14 14:06 by 哆啦A梦只是个梦
[考研] 245求调剂 +6 冰糖橘?汽水 2026-04-13 10/500 2026-04-14 10:49 by jyl0317
[考研] 人工智能320调剂08工类还有机会吗 +18 振—TZ 2026-04-10 19/950 2026-04-14 10:34 by screening
[考研] 考研英一数一338分 +9 长江大学东校区 2026-04-13 10/500 2026-04-14 00:41 by 王珺璞
[考研] 339求调剂 +4 hanwudada 2026-04-12 4/200 2026-04-13 12:03 by 蓝云思雨
[考研] 314求调剂 +24 wakeluofu 2026-04-09 25/1250 2026-04-13 08:58 by lhj2009
[考研] 求调剂288 +7 ioodiiij 2026-04-10 9/450 2026-04-13 08:33 by Hayaay
[考研] 本科南方医科大学 一志愿985 药学学硕284分 求调剂 +5 弱水听文 2026-04-09 5/250 2026-04-12 13:16 by shengxi123
[考研] 求调剂,一志愿材料科学与工程985,365分, +8 材化李可 2026-04-11 10/500 2026-04-12 08:42 by 852137818
[考研] 求调剂 +6 archer.. 2026-04-09 8/400 2026-04-11 10:55 by zhq0425
[考研] 化学工程与技术324调剂 +23 孙常华 2026-04-09 25/1250 2026-04-11 00:07 by 骑牛渡寒江
[考研] 344求调剂 +7 丶风雪夜归人丶 2026-04-09 7/350 2026-04-10 12:05 by pengliang8036
[考研] 314求调剂 +14 weltZeng 2026-04-09 14/700 2026-04-09 23:14 by wolf97
[考研] 337求调剂 +4 Gky09300550, 2026-04-09 4/200 2026-04-09 17:18 by 帕尔马拉特
信息提示
请填处理意见