数学分析严格化的开拓者.docVIP

数学分析严格化的开拓者 　　分析严格化的需要 　　18　　C．F．高斯(Gauss)批评J．L．达朗贝尔(dAlembert)关于代数基本定理的证明不够严格，还说数学家们“未能正确处置无穷级数”．N．H．阿贝尔(Abel)说得更加明确：“人们在今天的分析中无可争辩地发现了多得惊人的含混之处……．最糟糕的是它还没有得到严格处理．高等分析中只有少数命题得到完全严格的证明．人们到处发现从特殊到一般的令人遗憾的推理方式．”(Oeuvres，2，pp．263—265．) 　　4个教材中为数学分析建立了一个基本严谨的完整体系．在《分析教程》前言中，他说：“至于方法，我力图赋予……几何学中存在的严格性，决不求助于从代数一般性导出的推理，这种推理……只能认为是一种推断，有时还适用于提示真理，但与数学科学的令人叹服的严谨性很不相符．”他说他通过分析公式成立的条件和规定所用记号的意义，“消除了所有不确定性”，并说：“我的主要目标是使严谨性(这是我在《分析教程》中为自己制定的准绳)与基于无穷小的直接考虑所得到的简单性和谐一致．” 　　极限与无穷小 　　-∞．”［2］从字面上看，柯西的定义与在此以前达朗贝尔、拉克鲁瓦所给的定义差别不大，但实际上有巨大改进． 　　　-δ论证法的雏型．由于有明确的把极限转述为不等式的想法，他就能从定义出发证明关于极限的一些较难命题． 　　其次，他首次放弃了过去定义中常有的“一个变量决不会超过它的极限”这类不必要的提法，也不提过去定义中常涉及的一个变量是否“达到”它的极限，而把重点放在变量具有极限时的性态． 　　最后，他以极限为基础定义无穷小和微积分学中的基本概念，建立了级数收敛性的一般理论． 　　函数及其连续性 　　　　f(x)是处于两个指定界限之间的变量x的连续函数，如果对这两个界限之间的每个值x，差f(x+a)-f(x)的数值随着a无限减小．换言之，……变量的无穷小增量总导致函数本身的无穷小增量．” 在一个附录中，他给出了闭区间上连续函数介值性质的严格证明，其中用到了“区间套”思想． 　　B．波尔查诺(Bolzano)于1817年给出连续的定义，并利用上确界证明了介值定理．但他的工作在很长时间内未引起人们的注意．有人认为柯西读到了波尔查诺的著作，采用了他的思想，但故意不加声明．这种看法缺乏佐证材料． 　　微分学 　　y′或f′(x)表示．” 这表明他已用崭新的方式考虑问题．他把导数定义转述为不等式，由此证明有关的各种定理．例如他给出了用不等式陈述的微分中值定理，首次给出了ε-δ式(所用符号也是ε，δ)的证明，由此推出拉格朗日中值定理．他还得到了“柯西中值定理” 　　f(x)的微分是“当变量α无限趋于零而量h保持不变时方程 　　的左端所收敛的极限”． 　　f′(x0)=…=f(n-1)(x0)=0时用f(n)(x0)的符号判断极大、极小的命题．他由自己的中值定理推导出洛必达法则．这样，他就为微分学的应用奠定了严格的理论基础． 　　积分学 　　18G．W．莱布尼茨(Leibniz)关于积分是无穷小量的无穷和的说法，只把积分看作微分之逆．柯西则不同，他假定函数f(x)在区间[x0，X]上连续，用分点x1，x2，…，xn-1把该区间划分为n个不必相同的部分，作和 S=(x1-x0)f(x0)+(x2-x1)f(x1) +…+(X-xn-1)f(xn-1)， 　　(实际上隐含地用了“一致连续性”)“当各个部分长度变得非常小而数n非常大时，分法对S的值只产生微乎其微的影响”，因而当各个部分长度无限减小时 S具有极限，它“只依赖于f(x)的形式和变量x的端值x0，X0．这个极限就是我们所说的定积分．” 这样，他既给出了连续函数定积分的定义，又证明了它的存在性．他还指出这种定义对于不能把被积函数转化为原函数的一般情形也适用．他给出了现在通用的广义积分的定义． 　　 -莱布尼茨公式．他利用定积分严格证明了带余项的泰勒公式，还用微分与积分中值定理表示曲边梯形的面积，推导了平面曲线之间图形的面积、曲面面积和立体体积的公式． 柯西的定义是从仅把积分看作微分逆运算走向现代积分理论的转折点，他坚持先证明存在性则是从依赖直觉到严格分析的转折点． 　　级数论 　　18世纪中许多数学家都隐约地使用过这种定义，柯西则明确地陈述这一定义，并以此为基础比较严格地建立了完整的级数论．他给出所谓“柯西准则”，证明了必要性，并以理所当然的口气断定充分性．对于正项级数，他严格证明了比率判别法和他创造的根式判别法；指出∑un与∑2nu2n同时收敛或发散，由此推出一些ukun-k)对于一般项级数，他引进了绝对收敛概念，指出绝对收敛级数必收对于幂级数，柯西得到了收敛半径公式 [后来J．阿达玛(Hadam一个函数可为它的泰勒级数代替只当后者收敛且其和等于所给函数(