|
|
[原创] 实数可数定理
下面引用由APB先生在 2012/12/13 09:30pm 发表的内容:
按您的逻辑,许多数学书中的全体自然数集合{1,2,3,… }是不包括所有自然数的。
我不懂可数,您懂可数,请您说明何为可数?
您坚持实数不可数!不用多,就请您具体的写出一个不可数的小数 0.x ,在 0.x 的前 ... 你怎么了?语文也出了问题?你应该说不包括所有你理解的自然数。也就是不包括APB自然数中那些不是数的东西。
什么许多数学书?你能拿出一本包括你所谓的‘自然数’的书吗?
问题就在这里,拿你错误的自然数观念看问题,看对了是碰巧,发谬论很自然。
从你的要求:【具体的写出一个不可数的小数 0.x ,在 0.x 的前与后都不可以列出其它小数。】
就足以证明你根本不懂什么叫可数。其实不懂自然数是你的病根。在这种情况下可数,有限等等概念都是无法正确建立的。
一个集合E是有穷集合,如果它是空集合,或者存在某个正整数n, 使得 集合 {1,2, ... , n} 与 E 的元素可以建立 1-1对应。 这等价于说E的元素可以用 1 到 n 这 n 个自然数不重不漏地编号,也等价于说 E 恰有 n 个元素,也等价于说E的基数是自然数n.
什么是有限?现行数学的有限观念就建立在自然数上。一个量是有限的,如果其绝对值不大于某个自然数,一个集合是有限的,如果其基数是自然数。特别地,每个自然数都是有限的。虽然自然数全体这个集合不是有限的。认为这里有矛盾,就是智力有限。这是事实,而且是你找不出矛盾的事实。可以不含糊地说,如果没有正确的自然数概念,就没有正确的数学的有限(有穷)观念。
好。现在回来看什么是无穷集合。一个集合E是无穷集合,如果它不是有穷(有限)集合。换言之,它不是空集,也不能与任何形如 {1,2, ... , n} 的集合1-1对应,或者说他的基数不是一个自然数。
有一类无穷集合叫作无穷可数集合,常简称作可数集合。一个集合E可数,当且仅当它与自然数全体1-1对应。这等价与可以用自然数对其元素不重不漏地编号,或者说它的元素可以列成一个序列,其中任意元素的位置(序号)是自然数(不同的元素的位置(序号)显然不同)。
例如全体正有理数的集合是可数的(参见陆老师的有关帖子,如果你想知道这里的1-1对应具体是什么); 全体整系数多项式构成一个可数集合,全体代数数(整系数多项式的根)是可数的。等等。
好了。不想在此为少数人重复一些数学的十分基本的概念了。现在回来再看你的话
【具体的写出一个不可数的小数 0.x ,在 0.x 的前与后都不可以列出其它小数。】
应该看出完全没有意义。不可数是集合的性质,不是某个实数的性质。你到底扯哪里去了?
有了正确的自然数概念,可以轻易地证明【APB自然数全体】是不可数的。APB先生证明了这东西跟(0,1) 中实数全体1-1对应,所以他顺便证明了自己极力要否定的东西:实数不可数。
|
|