24小时热门版块排行榜    

查看: 1785  |  回复: 15
当前主题已经存档。
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

lizh714285

金虫 (小有名气)

[交流] 【讨论】自然数集合N的子集集合,其基数(势)是什么?【已解决】 已有2人参与

由于可列集合A都可以对应于自然数集,本论题实际是讨论:
   可列集合的子集构成的集合,其势是否大于阿列夫0

观点1: 由于任何集合A,其子集构成的集合都有比A更大的势,所以,自然数集合的子集集合,有更大的势。
   曾有一个非常著名的,而且很类似罗素悖论的证明,思路是A中的元与“A子集集合中的元,也就是某个A的子集”做对应,由于子集集合有全集,所以存在a, a属于与之对应的子集,同时由于子集集合有空集,所以存在b,b不属于与之对应的子集。 对于全体“具有b性质的元”构成的集合,显然也是A的子集,显然需要A中一个元与之对应,这个元素具有a性质还是b性质呢?引出矛盾,说明不可能做出一一对应。

观点2:可构造一个排法,排列这些子集;
空集、自然数集N、{1}、{2}、{1,2}、{3}、{1,3}、{2,3}、{1,2,3}、{4}、{1,4}、{2,4}、{3,4}、{1,2,4}、{1,3,4}、{2,3,4}、{1,2,3,4}、{5}、{1,5}、{2,5}、{3,5}、{4,5}、{1,2,5}、{1,3,5}、{1,4,5}、{2,3,5}、{2,4,5}、{3,4,5}、{1,2,3,5}、{1,2,4,5}、{1,3,4,5}、{2,3,4,5}、{1,2,3,4,5}、{6}......
其规律不难发现,并且,可以排出任意一个自然数集

大家讨论一下,哪个错了?

[ Last edited by lizh714285 on 2010-4-1 at 21:05 ]
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

fyq98

木虫 (正式写手)

lizh714285(金币+1):是的 2010-04-01 19:08
lizh714285(金币+2):多谢提醒。你在4楼的提醒是至关重要的 2010-04-01 19:39
试一试,你就会发现陷于循环之中了,呵呵!
克难奋进
7楼2010-04-01 19:02:22
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 16 个回答

fyq98

木虫 (正式写手)


小木虫(金币+0.5):恭喜抢沙发,给个红包
lizh714285(金币+1):谢谢讨论; 这里观点1就是这个结论。请大家讨论就是看看观点2 怎样被驳倒; 2010-04-01 18:33
这就是著名的连续统假设
即:自然数集合N的子集集合,其基数(势)是阿烈夫1,且在阿烈夫1与阿烈夫0(自然数集合N的基数)之间不存在其他基数

呵呵,你要是能肯定(或者否定)这个结论,就厉害了!
克难奋进
2楼2010-04-01 18:22:44
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

fyq98

木虫 (正式写手)


小木虫(金币+0.2):抢了个小板凳,给个红包
lizh714285(金币+1):这不是理由,当你从自然数集的子集集合中,取出一个元来,除了全集外,这个元一定是有限的 2010-04-01 18:45
你这个排法的问题在于:没有考虑自然数集无限子集所形成的无限子集的集合。
克难奋进
3楼2010-04-01 18:41:28
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

fyq98

木虫 (正式写手)

lizh714285(金币+1):同4楼回复 2010-04-01 18:56
为什只是考虑去掉一个元素,甚至有限个元素?
我们也可以去掉无限个元素啊,这是剩余集合还是无限的。
克难奋进
4楼2010-04-01 18:49:56
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 售SCI-T0P文章,我:8O.5.5.1.O.54,科目齐全,可+急 +3 E4V9bALS54sj 2026-09-19 4/200 2026-09-20 07:24 by 9i7PCSZyMzot
[论文投稿] 售SCI文章,我:8O5.5.1.O.54,科目齐全,可+急 +3 E4V9bALS54sj 2026-09-19 4/200 2026-09-20 07:24 by 9i7PCSZyMzot
[考博] 售SCI文章,我:8O.5.5.1O.54,科目全,可十急 +3 E4V9bALS54sj 2026-09-19 4/200 2026-09-20 07:01 by 9i7PCSZyMzot
[基金申请] 售SCI一区T0P文章,我:8O.55.1.O.54,科目全,可伽急 +3 E4V9bALS54sj 2026-09-19 4/200 2026-09-20 07:01 by 9i7PCSZyMzot
[论文投稿] 售SCI文章,我:8O5.5.1.O.54,科目齐全,可+急 +3 E4V9bALS54sj 2026-09-19 4/200 2026-09-20 06:55 by 9i7PCSZyMzot
[硕博家园] 售SCI-T0P文章,我:8O.5.5.1.O.54,科目齐全,可+急 +3 4pRyVGCVerAA 2026-09-19 3/150 2026-09-20 00:03 by 9i7PCSZyMzot
[找工作] 售SCI一区T0P文章,我:8.O55.1.O.54,科目全,可十急 +4 4pRyVGCVerAA 2026-09-19 4/200 2026-09-20 00:03 by 9i7PCSZyMzot
[考博] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +3 4pRyVGCVerAA 2026-09-19 4/200 2026-09-19 23:51 by 9i7PCSZyMzot
[基金申请] 售SCI一区T0P文章,我:8.O55.1.O.54,科目全,可十急 +3 4pRyVGCVerAA 2026-09-19 4/200 2026-09-19 23:39 by 9i7PCSZyMzot
[论文投稿] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +3 4pRyVGCVerAA 2026-09-19 4/200 2026-09-19 23:27 by 9i7PCSZyMzot
[考研] 售SCI一区T0P文章,我:8.O55.1.O.54,科目全,可十急 +3 4pRyVGCVerAA 2026-09-19 4/200 2026-09-19 23:27 by 9i7PCSZyMzot
[公派出国] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +3 4pRyVGCVerAA 2026-09-19 4/200 2026-09-19 23:03 by 9i7PCSZyMzot
[考博] 售SCI一区T0P文章,我:8.O.55.1.O.54,科目齐全,可+急 +3 4pRyVGCVerAA 2026-09-19 4/200 2026-09-19 23:03 by 9i7PCSZyMzot
[公派出国] 售SCI文章,我:8O5.5.1.O.54,科目齐全,可+急 +3 4pRyVGCVerAA 2026-09-18 7/350 2026-09-19 21:03 by 9i7PCSZyMzot
[教师之家] 现代”学阀”该如何界定 +3 iaeyuan 2026-09-19 3/150 2026-09-19 20:52 by 没昵称呀
[基金申请] 国社科系统bug了,是不是要放榜了? +7 kynobel 2026-09-16 9/450 2026-09-19 14:52 by 接好运婷
[考博] 申博发邮件 +8 Lmengk 2026-09-15 9/450 2026-09-19 09:27 by 中间体超市
[有机交流] 各位大神,目前国内有哪些比较好用的逆合成软件? 20+3 zapen 2026-09-15 9/450 2026-09-18 18:17 by zapen
[考博] 上海工程技术大学激光智能制造课题组|2027级博士研究生招生公告 +7 水士口 2026-09-16 8/400 2026-09-16 13:47 by kkklens
[考博] 上海工程技术大学激光智能制造课题组招收博士研究生 +8 两三岁ss 2026-09-14 8/400 2026-09-16 09:46 by 水士口
信息提示
请填处理意见