科技进步离不开基础科学的突破,因为基础科学可为解决工程技术领域的问题提供观和方法论,作为研究空间形式和数量关系的数学则是所有科学的基础。
微积分是数学的重要分支,冯·诺依曼说:“微积分是近代数学中最伟大的成就,对它的重要性做怎样的估计都不会过分。”恩格斯说:“在一切理论进步中,同17世纪下半叶发明微积分比较起来,未必再有别的东西会被看作人类精神如此崇高的胜利。”
自2009年我国数学家丁小平先生系统整理了三十年的研究成果,2011年他将《浅谈现行微积分原理的错误》和《新微积分原理简介》两篇论文递交给第四届世界数学科学大会(Fourth International Conference on Mathematical Sciences ,ICM(2012)),2012年3月受邀在大会上宣读论文;2015年起,《前沿科学》陆续发表了他的《浅谈现行微积分原理的错误》、《略论作为微积分原理的完善的实变函数》、《微分之讲授》等文章。2018年,《中国科学报》以《由“数学大国”向“数学强国”迈进始于重视数学》为题,对丁小平先生的研究成果及事迹进行了报道。
到目前为止,在了解他学术结论的数学家中,还没有人能指出其观点在逻辑或依据使用上存在哪些错误。按照有条件怀疑原则,科学家有责任评价其他科学家的研究成果,也要允许别人对自己的成果的怀疑,这不仅有利于避免出现“宝玉而题之以石,贞士而名之以诳”现象,也是践行科学家精神的题中应有之意
青年作为社会变革中最新锐而敏感的群体,是标志时代的最灵敏的晴雨表。我们采访了中国科学院科学史博士研究生周芃君和中国科学院基础数学博士研究生周永亮,听一听青年人怎么看待丁小平先生的研究成果。
问:近四百年科学技术的实践证明,微积分是无懈可击的,怎么会错呢?
答:
微积分是微积分原理和微积分方法的总称。微积分方法是先被揭示的,这似乎有些奇怪,微积分方法诚如马克思所说:“通过肯定不正确的数学途径得出的正确的(尤其在几何上是惊人的)结果。”为此,我们就要弄清:第一,微积分方法为什么行之有效?第二,揭示微积分方法的正确途径是什么?第三,怎样揭示更多的微积分方法?回答这些问题的逻辑体系就是微积分原理。
牛顿和莱布尼兹在揭示微积分方法的同时就试图建立微积分原理,可是终其一生也没能实现。后来,以柯西为代表的数学家们建立起了微积分原理,就是今天人们所学的微积分原理。但该原理虽经黎曼等数学家完善,逻辑上仍不能自圆其说,进而制约人类科技的发展。
问:能否从科学史角度对微积分发展历程做一个简单的介绍?
答:
牛顿和莱布尼兹在1665年和1673年,分别独自创建微积分方法体系,并建立各自的微积分原理,其结果是:微积分方法放之四海而皆准,但微积分原理始终不能自圆其说。在牛顿的微积分原理中,由于构造流数(即导数)的需要,牛顿人为地引入小量“o”,可是,当流数构造出之后,牛顿又觉得流数后“o”的组合项是个麻烦,于是,又人为地舍弃“o”项。逻辑学告诉人们,如果一个量无论多小都得引入,那它就不可以忽视;如果一个量小得可以忽视,那它就不必引入。据此,基督教北爱尔兰地区克罗因主教贝克莱嘲笑牛顿的“o”是幽灵。
在莱布尼兹的微积分原理中,莱布尼兹定义两个要多近就可以多近的变量的差为微分,微分的逐点累加就是积分(毋需区分不定积分与定积分),积分的微化就是微分,导数就是因变量与自变量的微分之比。莱布尼兹微积分原理的不足在于说不清“要多近就可以多近”究竟是多近。当然,在微积分方法的揭示上,欧拉做得更多、更好。
沃利斯开创的极限论到十九世纪得以成体系。1821年和1823年,法国数学家柯西以极限论为工具分别出版了他的《分析教程》和《无限小计算教程概论》,以此为标志,人类建立起第一个微积分原理。后来,又经过黎曼、维尔斯特拉斯和达布等数学家的完善,我们现行的微积分原理宣布大功告成。柯西系的微积分原理本质上就是用极限论处理掉“o”项的牛顿系的微积分原理,但在解释不了丰富多彩的微积分方法为什么行之有效时又只好把莱布尼兹的微分拼凑进去。
可是,1875年数学家托梅对现行微积分原理提出挑战。继托梅的直尺函数之后,原点左右无限震荡函数和越接近原点越无限次震荡的衰减函数等相继登场,此后,微积分原理再次陷入危机之中。如果我们称贝克莱对牛顿的质疑为微积分原理的第一次危机的话,那么,这次危机称之为微积分原理的第二次危机。微积分原理第二次危机的化解是法国数学家勒贝格完成的,他在1902年的《积分,长度和面积》一文中提出两个核心思想,即后人所说的“勒贝格测度”和“勒贝格积分”。但丁小平先生说,勒贝格和贝尔等数学家的所谓“化解”仍然是立不住的。
问:丁小平认为现行微积分原理主要存在哪些问题?
答:
丁小平先生指出,现行微积分原理存在三方面的问题:第一,存在错误;第二,依据不充分,细微之处问题甚多;第三,结构扭曲。先说第一个问题
当然,还有使用张量完成这种转换的,但这同样是没有意义的。因为数学表达形式不改变事物本质,就像不用波函数而改用矩阵表达这并不改变微观客体的本质一样。如上错误引起的问题是多方面的,首先就导致微分方程和微分几何的逻辑困难。
第二,现行微积分原理的含糊是多方面的,以极限为例,在现行数-形模型之下,两个数或两个点只能无限接近,因此,极限的结果不存在。比如,正多边形随着边数无限增多的极限是圆,可现行数-形模型下没有圆,有的只是边无限缩短的正多边形。
第三,现行微积分原理在多元积分与多重积分问题上是含混的,除了恰当积分外,没有多元积分。但发展多元积分是必须的,因为解偏微分方程要靠多元积分。
以上是扼要说明,丁小平先生在《浅谈现行微积分原理的错误》(《前沿科学》2015(4))一文中有详细的论述。
问:有数学家说丁小平指出的不过是古典微积分原理的问题,这些问题在实变函数理论和现代分析那里早已解决。对此观点你们怎么看?
答:
在《略论作为微积分原理的完善的实变函数》(《前沿科学》2016(4))一文中,丁小平先生作了专门的回答。这篇文章是发人深省的。举几个例子:
第一,丁小平指出测度论的错误。这事实上是掀翻了现代数学的基石。丁小平先生指出:“测度论的逻辑脉络是:区间及其对应的线段是有测度的,而代数数对应的点的测度为0,又因为区间及其对应的线段是由代数数对应的点和超越数对应的点构成的,所以,超越数对应的点就是测度的数学承担者。事实上,区间及其对应的线段不是由二者,而是由三者——代数数对应的点与超越数对应的点以及点与点的间隙共同构成的,勒贝格只排除代数数是测度的数学承担者,但却不知道与实数一样多的间隙存在,就武断地说超越数或其对应的点是测度的数学承担者,这样使用排除法是错误的。”丁小平先生接着指出:“现行实数从来就没填满过数轴,因为现行数和点都是无度量的,而数轴是有度量的,无度量的数或点不管多到何种程度,数轴都是有空隙的。因此,从这种武断出发的任何证明都是立不住的。数是不能有测度的,只有量才可以有测度。量是数的差,尽管量也要用数来表达。超越数对应的点与代数数对应的点在解析几何意义上没有任何不同,代数数承担不了测度,超越数也同样承担不了测度。”
前面我们说,微积分原理的第二次危机是由勒贝格测度及以之为依据的勒贝格积分解决的,既然勒贝格测度理论是立不住的,那么,问题是否解决了不是再清楚不过了吗?
第二,数学的历史而言,诚如丁小平先生所说:“分析数学,尤其是近代分析,从来就不像对数学史知之甚少的数学工作者所理解的那个样子,也从来不像当代数学教科书所写的那个样子。以S.D.泊松(S.D.Poisson,1781-1840)为代表的数学家从来就不同意以柯西提出的微积分原理,以亨利·庞加莱(H.Poincaré、F.Klein,1849-1925)等为代表的数学家从来就不同意实变函数理论。人们似乎忘记,‘庞加莱、克莱因和希尔伯特,是在19世纪和20世纪数学交界线上耸立着的三个巨大身影’,‘三个巨大身影’中的两个都反对的东西,竟然会向希尔伯特一边倒,个中就没有数学之外的原因在起作用吗?”这是不无道理的,就像张景中院士所说:“数学家也要吃饭、穿衣。”
贝克莱指出:“在某种错误的补偿中某些错误抵消其它错误,从而掩盖其中存在的漏洞。”19和20世纪之交就出了这样一位数学领袖,他就是希尔伯特。希尔伯特通过肯定康托定理,一下子就把千疮百孔的数学变成了完美的数学。丁小平先生说康托定理是错误的,他给出的证明十分简明:
假设A、B、C、D、E为无限集合,A=B+C+D,再设C=E,则E为A的真子集。A中的真子集C足以与E一一对应(有公理保证),故而,E中再无元素可与B和D对应。这个简单的证明对无限集合和有限集合都适用。
丁小平先生接着指出:“只看到A与E中的元素是无限的,就在不加区分增长速度的情况下举出某一个对应方式,很不妥。这种观点的幼稚之处在于,因为E中具有无限多元素,所以,E就可以与(B+C+D)中的元素一一对应下去,可是,他们忘记了C与E是同步的无穷多,从而,B和D在E中再找不到对应项。”
微积分是数学的重要分支,冯·诺依曼说:“微积分是近代数学中最伟大的成就,对它的重要性做怎样的估计都不会过分。”恩格斯说:“在一切理论进步中,同17世纪下半叶发明微积分比较起来,未必再有别的东西会被看作人类精神如此崇高的胜利。”
自2009年我国数学家丁小平先生系统整理了三十年的研究成果,2011年他将《浅谈现行微积分原理的错误》和《新微积分原理简介》两篇论文递交给第四届世界数学科学大会(Fourth International Conference on Mathematical Sciences ,ICM(2012)),2012年3月受邀在大会上宣读论文;2015年起,《前沿科学》陆续发表了他的《浅谈现行微积分原理的错误》、《略论作为微积分原理的完善的实变函数》、《微分之讲授》等文章。2018年,《中国科学报》以《由“数学大国”向“数学强国”迈进始于重视数学》为题,对丁小平先生的研究成果及事迹进行了报道。
到目前为止,在了解他学术结论的数学家中,还没有人能指出其观点在逻辑或依据使用上存在哪些错误。按照有条件怀疑原则,科学家有责任评价其他科学家的研究成果,也要允许别人对自己的成果的怀疑,这不仅有利于避免出现“宝玉而题之以石,贞士而名之以诳”现象,也是践行科学家精神的题中应有之意
青年作为社会变革中最新锐而敏感的群体,是标志时代的最灵敏的晴雨表。我们采访了中国科学院科学史博士研究生周芃君和中国科学院基础数学博士研究生周永亮,听一听青年人怎么看待丁小平先生的研究成果。
问:近四百年科学技术的实践证明,微积分是无懈可击的,怎么会错呢?
答:
微积分是微积分原理和微积分方法的总称。微积分方法是先被揭示的,这似乎有些奇怪,微积分方法诚如马克思所说:“通过肯定不正确的数学途径得出的正确的(尤其在几何上是惊人的)结果。”为此,我们就要弄清:第一,微积分方法为什么行之有效?第二,揭示微积分方法的正确途径是什么?第三,怎样揭示更多的微积分方法?回答这些问题的逻辑体系就是微积分原理。
牛顿和莱布尼兹在揭示微积分方法的同时就试图建立微积分原理,可是终其一生也没能实现。后来,以柯西为代表的数学家们建立起了微积分原理,就是今天人们所学的微积分原理。但该原理虽经黎曼等数学家完善,逻辑上仍不能自圆其说,进而制约人类科技的发展。
问:能否从科学史角度对微积分发展历程做一个简单的介绍?
答:
牛顿和莱布尼兹在1665年和1673年,分别独自创建微积分方法体系,并建立各自的微积分原理,其结果是:微积分方法放之四海而皆准,但微积分原理始终不能自圆其说。在牛顿的微积分原理中,由于构造流数(即导数)的需要,牛顿人为地引入小量“o”,可是,当流数构造出之后,牛顿又觉得流数后“o”的组合项是个麻烦,于是,又人为地舍弃“o”项。逻辑学告诉人们,如果一个量无论多小都得引入,那它就不可以忽视;如果一个量小得可以忽视,那它就不必引入。据此,基督教北爱尔兰地区克罗因主教贝克莱嘲笑牛顿的“o”是幽灵。
在莱布尼兹的微积分原理中,莱布尼兹定义两个要多近就可以多近的变量的差为微分,微分的逐点累加就是积分(毋需区分不定积分与定积分),积分的微化就是微分,导数就是因变量与自变量的微分之比。莱布尼兹微积分原理的不足在于说不清“要多近就可以多近”究竟是多近。当然,在微积分方法的揭示上,欧拉做得更多、更好。
沃利斯开创的极限论到十九世纪得以成体系。1821年和1823年,法国数学家柯西以极限论为工具分别出版了他的《分析教程》和《无限小计算教程概论》,以此为标志,人类建立起第一个微积分原理。后来,又经过黎曼、维尔斯特拉斯和达布等数学家的完善,我们现行的微积分原理宣布大功告成。柯西系的微积分原理本质上就是用极限论处理掉“o”项的牛顿系的微积分原理,但在解释不了丰富多彩的微积分方法为什么行之有效时又只好把莱布尼兹的微分拼凑进去。
可是,1875年数学家托梅对现行微积分原理提出挑战。继托梅的直尺函数之后,原点左右无限震荡函数和越接近原点越无限次震荡的衰减函数等相继登场,此后,微积分原理再次陷入危机之中。如果我们称贝克莱对牛顿的质疑为微积分原理的第一次危机的话,那么,这次危机称之为微积分原理的第二次危机。微积分原理第二次危机的化解是法国数学家勒贝格完成的,他在1902年的《积分,长度和面积》一文中提出两个核心思想,即后人所说的“勒贝格测度”和“勒贝格积分”。但丁小平先生说,勒贝格和贝尔等数学家的所谓“化解”仍然是立不住的。
问:丁小平认为现行微积分原理主要存在哪些问题?
答:
丁小平先生指出,现行微积分原理存在三方面的问题:第一,存在错误;第二,依据不充分,细微之处问题甚多;第三,结构扭曲。先说第一个问题
当然,还有使用张量完成这种转换的,但这同样是没有意义的。因为数学表达形式不改变事物本质,就像不用波函数而改用矩阵表达这并不改变微观客体的本质一样。如上错误引起的问题是多方面的,首先就导致微分方程和微分几何的逻辑困难。
第二,现行微积分原理的含糊是多方面的,以极限为例,在现行数-形模型之下,两个数或两个点只能无限接近,因此,极限的结果不存在。比如,正多边形随着边数无限增多的极限是圆,可现行数-形模型下没有圆,有的只是边无限缩短的正多边形。
第三,现行微积分原理在多元积分与多重积分问题上是含混的,除了恰当积分外,没有多元积分。但发展多元积分是必须的,因为解偏微分方程要靠多元积分。
以上是扼要说明,丁小平先生在《浅谈现行微积分原理的错误》(《前沿科学》2015(4))一文中有详细的论述。
问:有数学家说丁小平指出的不过是古典微积分原理的问题,这些问题在实变函数理论和现代分析那里早已解决。对此观点你们怎么看?
答:
在《略论作为微积分原理的完善的实变函数》(《前沿科学》2016(4))一文中,丁小平先生作了专门的回答。这篇文章是发人深省的。举几个例子:
第一,丁小平指出测度论的错误。这事实上是掀翻了现代数学的基石。丁小平先生指出:“测度论的逻辑脉络是:区间及其对应的线段是有测度的,而代数数对应的点的测度为0,又因为区间及其对应的线段是由代数数对应的点和超越数对应的点构成的,所以,超越数对应的点就是测度的数学承担者。事实上,区间及其对应的线段不是由二者,而是由三者——代数数对应的点与超越数对应的点以及点与点的间隙共同构成的,勒贝格只排除代数数是测度的数学承担者,但却不知道与实数一样多的间隙存在,就武断地说超越数或其对应的点是测度的数学承担者,这样使用排除法是错误的。”丁小平先生接着指出:“现行实数从来就没填满过数轴,因为现行数和点都是无度量的,而数轴是有度量的,无度量的数或点不管多到何种程度,数轴都是有空隙的。因此,从这种武断出发的任何证明都是立不住的。数是不能有测度的,只有量才可以有测度。量是数的差,尽管量也要用数来表达。超越数对应的点与代数数对应的点在解析几何意义上没有任何不同,代数数承担不了测度,超越数也同样承担不了测度。”
前面我们说,微积分原理的第二次危机是由勒贝格测度及以之为依据的勒贝格积分解决的,既然勒贝格测度理论是立不住的,那么,问题是否解决了不是再清楚不过了吗?
第二,数学的历史而言,诚如丁小平先生所说:“分析数学,尤其是近代分析,从来就不像对数学史知之甚少的数学工作者所理解的那个样子,也从来不像当代数学教科书所写的那个样子。以S.D.泊松(S.D.Poisson,1781-1840)为代表的数学家从来就不同意以柯西提出的微积分原理,以亨利·庞加莱(H.Poincaré、F.Klein,1849-1925)等为代表的数学家从来就不同意实变函数理论。人们似乎忘记,‘庞加莱、克莱因和希尔伯特,是在19世纪和20世纪数学交界线上耸立着的三个巨大身影’,‘三个巨大身影’中的两个都反对的东西,竟然会向希尔伯特一边倒,个中就没有数学之外的原因在起作用吗?”这是不无道理的,就像张景中院士所说:“数学家也要吃饭、穿衣。”
贝克莱指出:“在某种错误的补偿中某些错误抵消其它错误,从而掩盖其中存在的漏洞。”19和20世纪之交就出了这样一位数学领袖,他就是希尔伯特。希尔伯特通过肯定康托定理,一下子就把千疮百孔的数学变成了完美的数学。丁小平先生说康托定理是错误的,他给出的证明十分简明:
假设A、B、C、D、E为无限集合,A=B+C+D,再设C=E,则E为A的真子集。A中的真子集C足以与E一一对应(有公理保证),故而,E中再无元素可与B和D对应。这个简单的证明对无限集合和有限集合都适用。
丁小平先生接着指出:“只看到A与E中的元素是无限的,就在不加区分增长速度的情况下举出某一个对应方式,很不妥。这种观点的幼稚之处在于,因为E中具有无限多元素,所以,E就可以与(B+C+D)中的元素一一对应下去,可是,他们忘记了C与E是同步的无穷多,从而,B和D在E中再找不到对应项。”