24小时热门版块排行榜    

查看: 1722  |  回复: 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

木虫 (正式写手)


小木虫(金币+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的回帖

lizh714285

金虫 (小有名气)

3楼,对不起,确实可以选出无限子集;例如:N-{1}
问题是,“能表述出来的"那些无限子集,仍然可以想办法作出一个序列。
序列+序列仍然是序列

[ Last edited by lizh714285 on 2010-5-19 at 16:38 ]
5楼2010-04-01 18:53:17
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

lizh714285

金虫 (小有名气)

回复4楼,
应能构造一种去掉无限元素的方法,这种方法是否可列?
6楼2010-04-01 18:58:04
已阅   回复此楼   关注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的回帖

lizh714285

金虫 (小有名气)

7楼是
比如,去掉无限多后,剩下的集仍是可列集(或有限,不考虑剩下有限);
仍可映射回N
8楼2010-04-01 19:10:57
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

lizh714285

金虫 (小有名气)

取实数X,X>0,X<1
将X表成二进制小数0.100110110111001010111011......
从小数点后第一位算起,以(各个小数位)来对应自然数数列;哪一位是0则对应自然数将保留,哪一位是1,则对应自然数将划去。
如此构造了一个自然数子集。
在0到1之间的任意两实数,其二进制小数表述必不相同;即所构造的自然数子集不同。
——————实现了0到1间实数与自然数子集集合的一个子集的对应。
即:自然数子集集合的势是大于或等于阿列夫1的。

[ Last edited by lizh714285 on 2010-4-2 at 22:15 ]
9楼2010-04-01 19:25:39
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

lizh714285

金虫 (小有名气)

加上0(表成0.000000000.....)和1(表成0.1111111111....)
则完全对应上自然数的各个子集。
即:自然数子集集合的势等于阿列夫1。

这个证明有问题吗?
10楼2010-04-01 19:35:02
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 lizh714285 的主题更新
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 我面上完蛋了 +3 且听虎啸 2026-08-20 3/150 2026-08-21 09:08 by lfy8008
[基金申请] 基金啊基金 +4 longfie172 2026-08-20 4/200 2026-08-21 08:58 by mark mao
[基金申请] 时间戳今天,20号变了 +4 archvillain 2026-08-20 4/200 2026-08-21 08:10 by gatelove
[基金申请] 只有每年这种时候来逛逛小木虫 +22 yaoyewhu2008 2026-08-20 24/1200 2026-08-21 07:44 by DanielDDDD
[基金申请] 科研孤儿太难了 +14 我4大白菜 2026-08-20 15/750 2026-08-20 22:33 by 袁向阳007
[基金申请] 言之凿凿,明天官网会通知放榜? +15 医学老男孩 2026-08-20 17/850 2026-08-20 20:35 by CaoLG
[基金申请] 时间戳变了,能看出什么问题? +18 基诺咪客 2026-08-17 23/1150 2026-08-20 17:19 by Godzela
[基金申请] 重要消息,中午系统在维护 +11 yuleib84 2026-08-18 12/600 2026-08-20 11:09 by xskun
[基金申请] 今天基金会出结果吗?20260819 +14 kkkl_v 2026-08-19 15/750 2026-08-20 08:21 by sunzitan
[基金申请] 今天放榜吗? +14 布布和一二 2026-08-19 15/750 2026-08-19 18:07 by gltch
[基金申请] filecode=后面第一个是大写字母 +10 wangze12014 2026-08-14 12/600 2026-08-19 16:56 by 苦难博士
[基金申请] 2027广东省杰青 +4 奶牛小黑 2026-08-15 10/500 2026-08-19 11:02 by wanfengnew
[基金申请] 快农历七夕节了,轻松一下,男人悄悄话,女施主请不要进来。 +6 Tide man 2026-08-14 7/350 2026-08-19 09:56 by ZJTJZ
[基金申请] 什么时候开奖? +6 CrisMessi 2026-08-18 6/300 2026-08-19 08:06 by Equinoxhua
[基金申请] 明天放榜? +5 Shxjjxjkx 2026-08-18 5/250 2026-08-18 18:14 by -大大大大大-
[论文投稿] 投稿咨询 +4 wwm09 2026-08-17 6/300 2026-08-18 15:36 by wwm09
[基金申请] 今天维护系统维护 祝所有人 高中 +8 gjjjzhong 2026-08-18 9/450 2026-08-18 13:01 by 家与远方
[基金申请] 感觉是下周放榜了 +6 angus9576 2026-08-17 11/550 2026-08-17 23:57 by angus9576
[精细化工] 招聘 金属平磨液,抛光液研发工程师 +3 小天0311 2026-08-14 3/150 2026-08-16 07:31 by H9PLUS
[基金申请] 各位道友,我要去昆明玩几天,回来见。 +7 Tide man 2026-08-14 8/400 2026-08-15 01:11 by arzu_hma
信息提示
请填处理意见