他用幂级数来定义解析函式,并建立了一整套解析函式理论,与柯西(Cauchy,Augustin-Louis ,1789.8.21-1857.5.23)、黎曼(Riemann,Georg Friedrich Bernhard ,1826.9.17-1866.7.20)一起被称为函式论的奠基人。从已知的一个在限定区域内定义一个函式的幂级数出发,根据幂级数的有关定理,推导出在其它区域中定义同一函式的另一些幂级数,这是他的一项重要发现。他把整函式定义为在全平面上都能表示为收敛的幂级数的和的函式;还断定,若整函式不是多项式,则在无穷远点有一个本性奇点。魏尔斯特拉斯关于解析函式的研究成果,组成了现今大学数学专业中複变函数论的主要内容。
微积分创立之初,Newton和Leibniz都没有清楚地理解也没有严密地定义微积分的基本概念。首先的批评来自荷兰的物理学家和几何学家B.Nieuwentijdt,他批评新方法的含糊,他抱怨说无法理解无穷小量怎样和0有区别,并质问为什幺无穷小量的和能是有限的量。他还质问高阶微分的意义和存在,质问在推理的过程中为何捨弃无穷小量。 Leibniz在1695年的《教师学报》的一篇文章中对此作了各种回答,他承认无穷小不是简单的、绝对的零,而是相对的零。就是说,它是一个消失的量,但仍保持着它那正在消失的特徵。Leibniz更强调他所创造的东西在做法上或算法上的价值。他确信只要他清楚地表述并且恰当地运用他的运算法,就会获得合理而正确的结果,而不管所用符号的意义怎样可疑。 随着微积分的概念与技巧的扩展,人们努力去补充被遗漏的基础。Newton的英国追随者试图把微积分和几何或物理概念联结起来时,却把Newton的“瞬”(moments,不可分增量)和“流数”(fluxions,连续变数)混淆了;追随Leibniz的大陆学者致力于形式演算,也无法把概念严格化。法国数学家M.Rolle告诫说:微积分是巧妙的谬论的汇集。 十八世纪对微积分最强有力的批评来自George Berkeley主教。1734年,他发表了《分析学者,或致一个不信教的数学家。其中审查现代分析的对象、原则与推理是否比之宗教的神秘与信条,构思更为清楚,或推理更为明显》。Berkeley正确地批判了Newton的许多论点,他说Newton首先给出x一个增量,然后又让它是零,这违背了“背反律”(the law of contradiction),而且所得的“流数”实际上是 00 。对于dy与 dx之比,Berkeley说它们“既不是有限量也不是无穷小量,但又不是无”,这些变化率只不过是“消失的量的鬼魂”(the ghosts of departed quantities)。Berkeley还攻击l’Hospital和其他欧洲学者提出的微分法。Berkeley说微分之比应该决定割线而不是决定切线,依靠“忽略高级无穷小消除误差”的做法是“错误互相抵偿”。Berkeley的批评一针见血,击中要害。 按照数学本质的现代观点,Berkeley批评中哲学的想像多于数学的严格,但Newton 所用的很多名词确实需要逻辑上的澄清。Berkeley批评的意义在于使这一事实引起了重视。结果,在此后的七年中,出现了约有30多种小册子和论文,企图纠正这种情形。如James Jurin于1734年发表《几何学,非不信教的朋友》,Benjamin Robins在1735年着书《论Newton爵士的流数法以及最初比与最终比方法的本质与可靠性》。为了答覆Berkeley对Newton在《求积术》中给出的求流数方法的异议,Jurin说:在这种情况下,不是令增量为零,而是让增量“成为消失”或“处在消失点上”,并声称“消失的增量是有最终比的”。Jurin回答表明他没有足够地理解Berkeley的论证或极限概念的本质。Berkeley在《捍卫数学中的自由思想》(1735)中批评Jurin是在“捍卫他所不了解的东西”。在这篇着作中,Berkely再次抓住Newton观点中的矛盾,以说明瞬、流数和极限等概念的含糊不清。Jurin同年在《小小数学家》中的回答,依然是躲躲闪闪地重複其辞。他说“一个初生的增量是一个刚开始存在于乌有中的增量,或刚开始生长的增量,但是还没有达到任何可指定的无论怎样小的量。”他对Newton的最终比还是照字义理解为“在消失那个瞬间的它们的比。”Jurin不用极限去解释Newton关于乘积的“瞬”的引理,反而让自己捲入了无穷小量的纠缠之中,可见这个“消失的量的鬼魂”是很难挥之而去的。 为了回击Berkeley, Colin Maclaurin在他的《流数论》(1742)中,企图建立微积分的严密性。Maclaurin喜爱几何,因而他试图根据希腊几何和穷竭法建立流数学说,他希望这样可以避开极限概念。这是一个值得讚扬,却不正确的努力。德国数学家莱布尼茨英国主教乔治·贝克莱英国数学家麦克劳林
新的探路者
当英国的数学家们忙于论证流数法中所涉及的各种观点的有效性时,微积分在欧洲大陆上正在快速地获得人们的欢迎。 欧洲大陆的数学家更多的依靠代数表达式的形式演算,而不是几何。这种方法的代表是Euler。Euler拒绝把几何作为微积分的基础,而是纯粹形式地研究函式。 Euler形式化的方法的真正贡献是把微积分从几何中解放出来,而使它建立在算术和代数的基础上。这一步至少为基于实数系统的微积分的根本论证开闢了道路。但是,对这种形式主义的做法,仍有人表示忧虑。1743年d’Alembert说,“直到现在,表现出更多关心的是去扩大建筑,而不是在入口处张灯结彩;是把房子盖的更高些,而不是给基础补充适当的强度。”不过,他鼓励学习微积分的学生:“坚持,你就会有信心。 (Persists and faith will come to you.)” Lagrange也决心给微积分提供全部的严密性,这从他《解析函式论》(1797)的小标题“包含着微积分学的主要定理,不用无穷小、或正在消失的量、或极限和流数等概念,而归结为有限量的代数分析艺术”可以看出他的雄心壮志。的确,流数法没有引起Lagrange的兴趣,因为它引用了”运动”这一无关的思想。Euler把dx和dy作为0的讲法也不能使他满意,因为对两个变成零的项的比,缺乏清楚而明确的认识。Lagrange致力于寻找一个简单的代数方法。在1759年,他似乎满足地认为已找到这个方法,因为在那一年,他写信给Euler说,他相信已研究出力学和微分学原理儘可能深的真正理论基础。不过,特别要指出,Lagrange的工作纯粹是形式的,他用符号表达式来进行计算,不涉及极限、连续等根本性的概念。 在十八世纪行将结束的时候,1797年出现了Lazare Carnot所写的《关于无限小微积分的哲学思想》,这可能是解决困难的一次最着名的尝试。鑒于当时流行的有关微积分学的论文缺乏明确性和统一性,Carnot想搞出一套严格精确的理论。考虑到这一学科许多矛盾的理解,Carnot的目的是澄清“无限小分析真正的精神是什幺。”在选择统一的原理时,却做出了一个遗憾的选择。他总结说,“无限小分析的真正的哲学原理…仍然是…误差补偿原理。”在阐述这一观点时,他实质上返回到Leibniz表达过的思想上去。他主张要肯定两个指定量严格相等,只要证明它们的差不能是一个“指定量”就够了。Carnot进一步注释Leibniz的观点说:我们可以把任意一个量换成另一个与它相差无限小的量;无限小的方法只不过是把穷竭法简化为一种计算方法;“无法感觉的量”只起辅助作用,引入它只是为了计算的方便,在得到最后结果以后就可以消除它。 Carnot甚至用连续性定律(principle de continuite)来重複Leibniz所偏爱的解释。他说,可以有两种观点来理解无限小分析,看你是把无限小当作“有效量”,还是当作“绝对的零”。在第一种情况中,Carnot认为微分学可以用误差补偿作为基础来解释:“不完美方程”通过消除一些称为误差的量这一简便的手段,就变成“完美精确”的了;在第二种情况,Carnot认为微分学是相互比较消失量的一种“艺术”,从这些比较中寻找出那些给出量之间的关係。对于消失量既是零又不是零这种反对意见,Carnot回答说,“所谓无限小量并不是任意的零,而是为决定关係的那个连续性定律所给出的零。”虽然Carnot的着作受到了普遍的欢迎,直到1921年还在法国出版,并译成了好几种文字,但很难评价它是否正确引导了人们对分析学所包含的困难有较清楚的理解。 Carnot是一个着名的军人、行政人员,并受到法国议会授予的“胜利的组织者”(Organizer of Victory)的称号。作为一个强调数学的价值是与科学套用关係的数学家,分析学在他的思想中是方程而不是函式概念,儘管从他的书名看是偏重于理论,但书中对运算法则在套用上的方便,比所涉及的逻辑推理更加受到注意。 十八世纪的几乎每一个数学家都对微积分的逻辑基础作了一些努力,虽然一二个路子对头,但所有的努力都没有结果。在缺乏基础的情况下,怎幺对各种函式进行分析演算呢?那就是:在他们的心里依靠物理和直观,在他们的手中有着简单的代数函式——从简单而具体的函式中发现性质,然后推广到所有的函式上去。他们施展了高超的技巧,发掘并增进了微积分的威力,大刀阔斧的拓展新的领地:无穷级数、微分方程、微分几何和变分法,从而建立起现在数学中最广阔的领域——数学分析。 十八世纪的数学家们完全陶醉于自己取得的伟大成就,对于失去的严密性大都无动于衷。正是因为十八世纪的数学家们在没有逻辑支持的情况下,仍如此勇敢地冲杀向前,所以这段时期被称为数学的“英雄年代(the heroic age ) ” 。瑞士数学家欧拉法国数学家达朗贝尔法国数学家拉格朗日法国数学家和工程师拉扎尔·卡诺德国数学家高斯
Bolzano,Cauchy,Weiestrass和其他人的工作给分析提供了严密性。这些工作把微积分及其推广从对几何概念、运动和直觉了解的完全依赖中解放出来。这些研究一开始就造成了巨大的轰动。据说,在巴黎科学院的一次科学会议上,Cauchy提出级数收敛性的理论,会后,Laplace急忙赶回家里避不见人,检查他在《天体力学》中所用到的级数,幸而书中用到的每一个级数都是收敛的。 分析的严密化促进了这样的认识:对于数系缺乏清晰的理解这件事本身非补救不可。例如Bolzano关于闭区间连续函式的“零点定理”的证明,一个关键的错误就是因为对实数系缺乏足够的理解;对于极限的深入研究,也需要理解实数系。Cauchy不能证明他自己关于序列收敛準则的充分性,也是由于他对实数系的结构缺乏深入的理解。Weierstrass指出,为了要细緻地建立连续函式的性质,需要算术连续统的理论——这正是分析算术化的根本基础。 1872年,是近代数学史上最值得纪念的一年。这一年,F.Kline提出了着名的“埃尔朗根纲领”(Erlanger Programm),Weierstrass给出了处处连续但处处不可微函式的着名例子。也正是在这一年,实数的三大派理论:Dedekind“分割”理论;Cantor、Henie、Meray的“基本序列”理论,以及Weierstrass的“有界单调序列”理论,同时在德国出现了。 努力建立实数的目的是为了给出一个形式化的逻辑定义,它既不依赖几何的含义,又避免用极限来定义无理数的逻辑错误。有了这些定义做基础,微积分中关于极限的基本定理的推导,才不会有理论上的循环。导数和积分从而可以直接在这些定义上建立起来,免去任何与感性认识联繫的性质。几何概念是不能给出充分明白和精确的,这在微积分发展的漫长岁月的过程中已经被证明。因此,必要的严格性只有通过数的概念,并且在割断数的概念与几何量观念的联繫之后才能完全达到。这里,Dedekind的工作受到了崇高的评价,这是因为,由“Dedekind分割”定义的实数,是完全不依赖于空间与时间直观的人类智慧的创造物。 1858年,Dedekind在讲授微积分的时候就表示出要寻求使分析严格化途径的愿望,他说:“…决不能认为以这种方式引入微分学是科学的。这一点已经得到公认。至于我本人,也无法克制这种不满意的感觉而下定决心研究这个问题,直到建立为无穷小分析原理建立纯粹算术的和完全严格的基础为止。”Dedekind不去考虑如何定义无理数,才能避免Cauchy的恶性循环,而是考虑如果算术方法明显失败,在连续几何量中,究竟存在什幺使它解决了这个困难:即连续性的本质是什幺?沿着这个方向去思索,Dedekind了解到一条直线的连续性,不能用模糊的聚在一起来说明,而只能作为将直线用点来划分的性质。他看出将直线上的点分成两类,使一类中的每点都在另一类中每点的左边,则存在一点而只有一点,产生这个划分(cut)。这对有序的有理数系是不成立的。这就是为什幺直线上的点构成一个连续统(continuum),而有理数则不可能。正如Dedekind所说,“由这样的平凡之见,暴露了连续性的秘密。” 实数的三大派理论本质上是对无理数给出严格定义,从而建立了完备的实数域。实数域的构造成功,使得两千多年来存在于算术与几何之间的鸿沟得以完全填平,无理数不再是“无理的数”了,古希腊人的算术连续统的构想,也终于在严格的科学意义下得以实现。 接下来的目标是给出有理数的定义与性质。Ohm、Weierstrass、Kronecker、Peano在这方面做出了杰出的工作。在1859年前后,Weierstrass等人就认识到:只要承认了自然数,建立实数就不再需要进一步的公理了。因此建立实数理论的关键是有理数系,而建立有理数系的核心,就在于构造普通整数的基础并确立整数的性质。1872-78年间,Dedekind给出了一个整数理论。 1889年,Peano最先利用公理化的方法,用一组公理引进了整数,从而建立了完备的自然数理论。Peano创设的符号, 如“∈”表示属于,“ ”表示包含,N0表示自然数类,a+表示后继于a的下一个自然数,对今天仍影响深远。可谁能相信正是因为他在课堂上也使用这些符号,因而学生们造了反,他试着用全部及格的办法去满足他们,但没有起作用。因而他被迫辞去在Turin大学的教授职位。 Kronecker说:“上帝创造了整数,其它一切都是人造的”(God made the integers, all the rest is the work of man)。(参考文献[5],p477)但是,在分析算术化的进程中,整数并没有因为是上帝的宠儿而得到它的豁免权。 寻求统一是数学发展的重要动力。回溯“分析算术化”的整个历程,我们发现在起跑处人们并不知道终点在那里,也更不知道路该怎幺走。从Pythagrass学派关于不可公度量的发现,到Zeno悖论引发的对无限概念的关切,从而孕育了导致微积分的各种研究。当Dedekind、Cantor、Weierstrass等人把无理数建立在有理数的基础上,而最后由Peano给出自然数的逻辑公理,终于完成了有理数论,因此实数系的基础问题最终宣告完备。微积分学的基本概念——连续变数的极限:导数和积分,在逻辑上的严密性,在形式上的严谨性,有如Euclid几何学一般的令人讚叹!中国的先哲们有句古话:九九归一!如果我们把这里的“一”理解为自然数之首的“1”,那幺,关于微积分学的历史发展,Pythagoras的名言是惊人的贴切:万物皆数!(All is number.) 1900年,在巴黎举行的第二届国际数学大会上,Poincare不无自豪的讚叹到: “今天在分析中,如果我们不厌其烦地严格的话,就会发现只有三段论或归结于纯数的直觉是不可能欺骗我们的。今天我们可以宣称绝对的严密已经实现了。”法国数学家拉普拉斯德国数学家康托尔德国数学家戴德金义大利数学家皮亚诺德国数学家克罗内克法国数学家庞加莱