财经社区女性社区汽车社区军事社区文学社区社会社区娱乐社区游戏社区个人空间
上一主题:中文核心期刊《中国水运》征稿 下一主题:向百位大师讨教国学原典
数学上的两个低级错误
[楼主] 作者:叶-波  发表时间:2006/08/12 09:12
点击:421次

数学上的两个低级错误
时间和空间有抽象的和实际的。抽象的时空可以看成是绝对对空或数学的时空,实际的时空则是相对时空或物理学的时空,所以有必要弄清数学与物理学根本区别。
当今在数学上也存在很多低级错误,只是人们视而不见罢了。例如,人们认为线是由点组成的就是一例。点组成线不过是一种直觉,经不得推敲。
第一,点是没有大小的,线是有大小的。有大小和无大小有本质的不同,有和无是不可调和的。多少个没有大小的点之和仍然是没有大小的点。点组成线的实质是无中生有。无中生有是违背常识的和不可能的。
第二,古人说:一尺之锤,日取其半,万世不竭。这就是说线无论怎么样分割,也是更短的线,永远也分不出一个不能再分的点来。这也就充分说明,线不是由点组成的。
人们认为数轴上的点无限密数轴就变成了直线。这是错的,无论数轴上的点怎样密,总可在它们之间插入无数个新点,证明如下:
设数轴上A、B两点与原点的距离也是A和B。那么在A、B之间就可以插入无数个点(A+B)/n,这里n是大于1的自然数。因此,点总是不连续的,点不能组成线。在数轴上点和数的意义是相同的,既然点总是不连续的,数轴上的数也是不连续的。因此,点组成线和数轴上的数是连续的,这是当今数学上的两个低级错误。
线不是由点组成的,那么线是由什么组成的呢?线是由线元组成的。线元不是点而是无穷小的线段。数轴上除了有点以外,还有线元。其实,函数中的极限、微分和连续的概念中的无穷小都可以看成是线元。
有人会这样反驳说:点运动不是成线么?
不对!点是没有大小的,物质是有大小的。所以点不是物质,也没有质量和惯性。从哲学上我们知道,没有无运动的物质也没有无物质的运动。因此,点是人们的一种抽象,一种虚构,点实际上并不存在。当然也就不能运动。点运动成线,这里人们是用线元代替了点。运动的是线元而不是点。
历史上 “飞矢不动”的 芝诺悖论就是混淆了点和线元的区别。在芝诺看来,由于飞箭在其飞行的每个瞬间都有一个瞬时的位置,它在这个位置上和不动没有什么区别。
在这里,飞矢不能看成一个点,而是一个线段或一个线元。尽管线元是一个无穷小,但每一个无穷小任何时候都占有无数个位置。于是,飞箭在其飞行的每个瞬间都不是占有一个位置,而是占有无数个位置,其中还有新的位置。也就是说,飞箭始终在动。芝诺悖论就这样轻而易举地破解了。
象点是人们的一种抽象,一种虚构,实际上并不存在的一样,没有粗细的线和没有厚薄的面实际上也是不存在的。
因此,点线面在数学上是存在的,但是,线不是由点组成的,面不是由线组成的,体不是由面组成的。线、面、体分别由无穷小的线元、面元和体元组成。在物理学只存在有大小的“点”(线元)有粗细的线和有厚薄的面。线元、面元和体元分别是一维、二维和三维的,严格地说,现实世界中只存在体元,线元和面元都是不存在的。
一般而言,在数学上具体和抽象的东西都存在,在物理学上只存在具体的东西而不存在抽象的东西。这就是数学与物理学根本区别。必须注意,不是说物理学不可以抽象,只是说抽象的东西在物理学上并不存在。因为物理学是实验科学,抽象的东西是无法用试验的方法加以检验的。
在物理学上只存相对时空,不存在绝对时空。由此看来,牛顿的绝对时空虽然是不存在的,但作为一种物理学抽象也是无可指责的,历史上马赫对牛顿的绝对时空的批判就没有任何道理。
本帖地址:http://club.xilu.com/hongbin/msgview-950451-78892.html[复制地址]
上一主题:中文核心期刊《中国水运》征稿 下一主题:向百位大师讨教国学原典
 [2楼]  作者:马国梁  发表时间: 2006/08/12 11:04 

回复:可列势与连续势(马国梁代发)
叶先生的确有自己的见解。不过我很疑憾,他因为没有学过《实变函数》这门课而犯了形而上学的错误。首先,无限多是个笼统的慨念。无限多和无限多也有着不同。我们常见的无限多有可列无限多,用a表示;连续无限多,用c表示。例如,自然数的个数,就是有a个,一条直线上点的个数,就是有c个。其中可以证明a
 [3楼]  作者:马国梁  发表时间: 2006/08/12 11:08 

可列势与连续势(马国梁代发)
叶先生的确有自己的见解。不过我很疑憾,他因为没有学过《实变函数》这门课而犯了形而上学的错误。首先,无限多是个笼统的慨念。无限多和无限多也有着不同。我们常见的无限多有可列无限多,用a表示;连续无限多,用c表示。例如,自然数的个数,就是有a个,一条直线上点的个数,就是有c个。其中可以证明a
[楼主]  [4楼]  作者:叶-波  发表时间: 2006/08/12 14:59 

点的长度是0,无数个0相加是多少?能不是0吗?能是一根数轴吗?我能用数学归纳法证明无数个0相加是0.
1,当n=2时 0+0=0
2,设n个0相加为0
3,当n=N+1时是 n个0+0=0+0=0
证毕.

因为直线长度不为0,而无数个点相加长度是0,所以点不能组成直线.
 [5楼]  作者:马国梁  发表时间: 2006/08/12 18:00 

回复:证法成立但不适于此场合(马国梁代发)
叶先生证明了“无数个0相加是0”,诚然,他证明简洁无误,逻辑完美无缺。可是,他只证明了可列个0相加是0,即a*0=0,但我说的是,“无数”未必是可列个。即c*0未必是0。而对于有c个元素的集合,你是不可能把它的元素一一列出来了,也就更不可以用数学归纳法来证明。如何说明两个无限集有着同样多的元素呢?数学家康托尔是这样定义的:如果这两个集合的元素能建立一一对应的关系,那么这两个集合就有着同样多的元素。例如,自然数集与正偶数集有同样多的元素。虽然正偶数集是自然数集的子集,但每个自然数可以与自己的两倍对应,自然数集与正偶数集的元素可以以此种放式建立一一对应的关系。我就不能理解,为什么叶先生不承认连续无穷多c的存在,而一直固执的认为,所有无穷多都可以用自然数来逼近。
另外,使用数学归纳法证题一定要注意,有可能混淆有限大与无限大。例如,有人用数学规纳法证明,不可能用有限长的线段接成无限长的直线。证明如下:
取一长度为1米的线段,当n=2时,线段接起来是有限长。
设当n=k时,线段接起来仍为有限长
则当n=k+1时,两条有限长的线段也为有限长。
也就是说,当无论n有多大,都不可能接成一条无限长的直线。
按照叶先生的证明,长为1米线段只能接成有限长的线段,即使有无数根。但有谁认为这个结论合理呢?
其实我只是要说明,要证有关无穷多的结论,数学归纳法是无论发挥它的作用的。
 [6楼]  作者:马国梁  发表时间: 2006/08/12 18:03 

回复:重发显示不全的(可列势与连续势)
叶先生的确有自己的见解。不过我很疑憾,他因为没有学过《实变函数》这门课而犯了形而上学的错误。首先,无限多是个笼统的慨念。无限多和无限多也有着不同。我们常见的无限多有可列无限多,用a表示;连续无限多,用c表示。例如,自然数的个数,就是有a个,一条直线上点的个数,就是有c个。其中可以证明a
 [7楼]  作者:jiuguang  发表时间: 2006/08/14 11:12 

任何理论不可能无矛盾
说线由点组成,是因为点是不可分割的,最基本(小)的元素.
所谓线元则没有这样的特性.线元必然是更小的线元组成的,而且其中必然有点.
这与说"线是由半条线组成"的一样,虽然正确但意义不大.

虽然很多人都认为严格的理论不应该有自相矛盾的地方,但深纠一下就会发现这是不可能的.没必要"过度解释"线由点组成,而宣称其错误.作用有合理的理解就可以了.
两点成一线,任意两点间有无穷多点.因此不能有两点挨在一起,因为点的长度为0,没有间隔的两点是定义为一点的.
 [8楼]  作者:jqsphy  发表时间: 2006/08/14 11:50 

哪本数学教材上说“认为线是由点组成的”?这是您杜撰的感觉吧?
数学上的两个低级错误
 [9楼]  作者:马国梁  发表时间: 2006/08/15 09:33 

两篇短文全发
叶先生的确有自己的见解。不过我很疑憾,他因为没有学过《实变函数》这门课而犯了形而上学的错误。首先,无限多是个笼统的慨念。无限多和无限多也有着不同。我们常见的无限多有可列无限多,用a表示;连续无限多,用c表示。例如,自然数的个数,就是有a个,一条直线上点的个数,就是有c个。其中可以证明a
叶先生证明了“无数个0相加是0”,诚然,他证明简洁无误,逻辑完美无缺。可是,他只证明了可列个0相加是0,即a*0=0,但我说的是,“无数”未必是可列个。即c*0未必是0。而对于有c个元素的集合,你是不可能把它的元素一一列出来了,也就更不可以用数学归纳法来证明。如何说明两个无限集有着同样多的元素呢?数学家康托尔是这样定义的:如果这两个集合的元素能建立一一对应的关系,那么这两个集合就有着同样多的元素。例如,自然数集与正偶数集有同样多的元素。虽然正偶数集是自然数集的子集,但每个自然数可以与自己的两倍对应,自然数集与正偶数集的元素可以以此种放式建立一一对应的关系。我就不能理解,为什么叶先生不承认连续无穷多c的存在,而一直固执的认为,所有无穷多都可以用自然数来逼近。
另外,使用数学归纳法证题一定要注意,有可能混淆有限大与无限大。例如,有人用数学规纳法证明,不可能用有限长的线段接成无限长的直线。证明如下:
取一长度为1米的线段,当n=2时,线段接起来是有限长。
设当n=k时,线段接起来仍为有限长
则当n=k+1时,两条有限长的线段也为有限长。
也就是说,当无论n有多大,都不可能接成一条无限长的直线。
按照叶先生的证明,长为1米线段只能接成有限长的线段,即使有无数根。但有谁认为这个结论合理呢?
其实我只是要说明,要证有关无穷多的结论,数学归纳法是无论发挥它的作用的。
 [10楼]  作者:马国梁  发表时间: 2006/08/15 09:38 

两篇完整短文重发
叶先生的确有自己的见解。不过我很疑憾,他因为没有学过《实变函数》这门课而犯了形而上学的错误。首先,无限多是个笼统的慨念。无限多和无限多也有着不同。我们常见的无限多有可列无限多,用a表示;连续无限多,用c表示。例如,自然数的个数,就是有a个,一条直线上点的个数,就是有c个。其中可以证明a小于c,2的a次方 等于 c,就是说,不要认为所有的无限多都可以列出来的。比如说,所有的自然数都可以列出来。我们找一个顺序,例如从小到大,1,2,3,4……,只要无限的列下去,就可以列出全部的自然数。可是,一条直线上的点是不可以列出来的。因为它太多了,多的以致于无法列。例如,一尺之槌,日取其半,万世不竭,因为日取其半,即使这个人能天地同寿,他活的天数毕竟只有a天,怎么能把这条线段上的每一个点列完呢?无限多还有很多奇妙的性质。例如,整数与有理数都和自然数一样多(=a),而整数集的子集(注意,不是元素)的个数与一条直线上的点数一样多(=c)。一条有限长的线段的点的个数与一条无限长的射线上的点的个数都与一条直线上的点的个数一样多(=c),一条直线可以截成a个长度不为0的线段。实数是完备的,即实数是一个挨一个,无法再插入新的点。强烈建议叶先生阅读实变函数的有关书籍,不要再质疑这种前人已解决的问题。叶先生的确有自己的见解。不过我很疑憾,他因为没有学过《实变函数》这门课而犯了形而上学的错误。首先,无限多是个笼统的慨念。无限多和无限多也有着不同。我们常见的无限多有可列无限多,用a表示;连续无限多,用c表示。例如,自然数的个数,就是有a个,一条直线上点的个数,就是有c个。其中可以证明a
叶先生证明了“无数个0相加是0”,诚然,他证明简洁无误,逻辑完美无缺。可是,他只证明了可列个0相加是0,即a*0=0,但我说的是,“无数”未必是可列个。即c*0未必是0。而对于有c个元素的集合,你是不可能把它的元素一一列出来了,也就更不可以用数学归纳法来证明。如何说明两个无限集有着同样多的元素呢?数学家康托尔是这样定义的:如果这两个集合的元素能建立一一对应的关系,那么这两个集合就有着同样多的元素。例如,自然数集与正偶数集有同样多的元素。虽然正偶数集是自然数集的子集,但每个自然数可以与自己的两倍对应,自然数集与正偶数集的元素可以以此种放式建立一一对应的关系。我就不能理解,为什么叶先生不承认连续无穷多c的存在,而一直固执的认为,所有无穷多都可以用自然数来逼近。
另外,使用数学归纳法证题一定要注意,有可能混淆有限大与无限大。例如,有人用数学规纳法证明,不可能用有限长的线段接成无限长的直线。证明如下:
取一长度为1米的线段,当n=2时,线段接起来是有限长。
设当n=k时,线段接起来仍为有限长
则当n=k+1时,两条有限长的线段也为有限长。
也就是说,当无论n有多大,都不可能接成一条无限长的直线。
按照叶先生的证明,长为1米线段只能接成有限长的线段,即使有无数根。但有谁认为这个结论合理呢?
其实我只是要说明,要证有关无穷多的结论,数学归纳法是无论发挥它的作用的
[楼主]  [11楼]  作者:叶-波  发表时间: 2006/08/15 20:54 

回复:用反证法证明直线不是由点组成的。
用反证法证明直线不是由点组成的。
命题:
直线是由点组成的。
推理:由题意可知,在这里直线是一个整体,点是组成部分。在数学里整体可以用1表示,由于点的长度为0,有:
1=0+0+0+.........+0(无数个0)
0+0+0+.........+0(无数个0)=?
用数学归纳法:
1、当n=2时
0+0=0
2、设当n=N时
0+0+0+.........+0(共N个0)=0
3、当n=N+1时
0+0+0+.........+0(共N个0)+0=0+0=0
所以0+0+0+.........+0(无数个0)=0
于是我们便得到
1=0
这个式子显然是错的,这说明命题有误,因此
直线不是由点组成的。
证毕。

本人数学水平不高,用初等数学作一证明,在此请教,错在那里?
[楼主]  [12楼]  作者:叶-波  发表时间: 2006/08/15 21:04 

回复:如果是这样的话,康托尔的连续统理论就被推翻了。
如果线不是由点组成的,问题就大了。因为直线相当于数轴,点相当于数,线不是由点组成的就相当于数轴不是由数组成的。点是不连续的就相当于数是不连续的。康托尔的连续统理论就被推翻了。
 [13楼]  作者:jiuguang  发表时间: 2006/08/16 01:36 

线元是由什么组成的?
线元不可能是不可分割的,因此是由各基本的元素组成的.
例如,可以是由半个线元组成的,又是由1/4个线元组成的,等等.
这与我们说线是由半条线组成的,大同小异.
最终可以认可的只有点,其它都没有实质意义.
 [14楼]  作者:真相只有一个  发表时间: 2006/08/16 17:49 

回复:我来赐教
先看一个证明,由无数条长度为一米的线段首尾相接组成的图形长度是有限的。也用数学规纳法证
首先,当n=1时,一米长的线段长度是有限的,显然成立。
其次,假设当n=k时,k米长的线段长度也是有限的。
则当n=k+1时,k+1米长的线段可以则k米长的线段与1米长的线段相接而成,由规纳假设,k米长的线段长度是有限的,1米长的线段长度也是有限的,而两条长度有限的线段接成的图形长度也是有限的。也就是说,k+1米长的线段长度也是有限的,即当n=k+1时结论也成立。
综上所述,n对于所有自然数都成立。
因此,无限条1米长的线段首尾相接组成的图形长度是有限的。
证毕
如果叶先生有关“无数个点组成的图形长度为0”的证明成立,则以上对于“无限条1米长的线段首尾相接组成的图形长度是有限的”也成立。
但谁都会否认,“无限条1米长的线段首尾相接组成的图形长度是有限的”是一个谎谬的命题。
问题出在哪儿呢?这就是叶先生混淆了有限与无限概念。哪怕你用数学归纳法证明了当n取任意自然数时,结论都成立,但当n一旦取成了无限数,结论可能不成立。因为千万要记住,无限大不是自然数!
在这里,我可以帮助叶先生证明可列个(可列个决不是有限个)点长度之和为零。假设可列个点长度之和不为零,则存在一正数ε,使得可列个点的长度之和大于ε,则可用长度为ε/2的线段覆盖第一个点,用长度为ε/4的线段覆盖第二个点用长度为ε/8的线段覆盖第三个点,……用长度为ε/2^N的线段覆盖第N个点,依次类推,则每个点都可被覆盖,而且覆盖它的线段长度大于点自身的长度(因为点的长度为零),则点的长度之和不大于覆盖它的线段的长度之和。容易计算出,覆盖它的线段的长度之和为ε,与点的长度之和大于ε相矛盾。因此假设不成立。故结论成立。这才是《实变函数》习题的严格证明。
但一定要区分,以上的证明的点是无限个,但却是“可列的无限”。并不是“任意多”,因此这个结论并不能否认“无限个点可以组成线段”。无限与无限不同。可列个无限用字母a表示。
而可以组成线段的点的数量已远远大于a,已经不能把它一一列举出来了。
 [15楼]  作者:jiuguang  发表时间: 2006/08/17 01:58 

证明错误,叶波先生的证明也有问题
数学归纳法可以证明在无穷大时也成立的情况.
数学归纳法需要以数学形式表示.即环的长度为n*L,每段长度为L,n段.当然n有限则长度有限.n为无穷则长度也是无穷.
问题出在,用数学归纳法去证明模糊的概念,如"有限"是不可以的.至少在这个问题上是如此.
叶波先生的证明虽然形式上似乎正确,但确未搞清楚其几何意义.
用0+0=0表示两个点,是指两个相交(重合)的点是一个点.叶波先生不过是证明了N个点或无穷多个点可以相交于一点.这是毫无疑问的.只讨论线上的一个点没有意义,线上任意小的取间内都有无穷多点.
 [16楼]  作者:jiuguang  发表时间: 2006/08/17 01:58 

证明错误,叶波先生的证明也有问题
数学归纳法可以证明在无穷大时也成立的情况.
数学归纳法需要以数学形式表示.即环的长度为n*L,每段长度为L,n段.当然n有限则长度有限.n为无穷则长度也是无穷.
问题出在,用数学归纳法去证明模糊的概念,如"有限"是不可以的.至少在这个问题上是如此.
叶波先生的证明虽然形式上似乎正确,但确未搞清楚其几何意义.
用0+0=0表示两个点,是指两个相交(重合)的点是一个点.叶波先生不过是证明了N个点或无穷多个点可以相交于一点.这是毫无疑问的.只讨论线上的一个点没有意义,线上任意小的取间内都有无穷多点.
 [17楼]  作者:jiuguang  发表时间: 2006/08/17 02:01 

证明错误.叶波先生的证明也有问题
数学归纳法可以证明在无穷大时也成立的情况.
数学归纳法需要以数学形式表示.即环的长度为n*L,每段长度为L,n段.当然n有限则长度有限.n为无穷则长

度也是无穷.
问题出在,用数学归纳法去证明模糊的概念,如"有限"是不可以的.至少在这个问题上是如此.
叶波先生的证明虽然形式上似乎正确,但确未搞清楚其几何意义.
用0+0=0表示两个点,是指两个相交(重合)的点是一个点.叶波先生不过是证明了N个点或无穷多个点可以相

交于一点.这是毫无疑问的.只讨论线上的一个点没有意义,线上任意小的取间内都有无穷多点.
 [18楼]  作者:jiuguang  发表时间: 2006/08/17 10:35 

虽然有很多理论,矛盾还是无法化解的
理论只告诉你该理论解决了什么,和可以解决什么.
而无法解决的矛盾是没有理论的,数学家们也不会讨论.因为那将更象是哲学问题,不是数学家感兴趣的.

精彩推荐>>

  简捷回复 [点此进入编辑器回帖页]  文明上网 理性发言
 推荐到西陆名言:
签  名:
作  者:
密  码:
游客来访 
注册用户 提 交
西陆网(www.xilu.com )版权所有 点击拥有西陆免费论坛  联系西陆小精灵

0.19902014732361