数分论文分析严密化进程.docVIP

分析的严密化进程 分析学创立之后，由于运算的完整性和应用的广泛性，使其成为了研究自然科学的有力工具。但是随着研究和思考的深入，分析中概念和证明的不严密性逐渐进入到人们的视野，例如函数概念的模糊不清，使用级数而不考虑其发散或收敛而引发的悖论，以及微积分的基础——无穷小概念解释上的不明确等等，使得人们对当时已有的分析的逻辑性产生质疑。英国的伯克莱就曾对无限小量抨击道：“这些消失的增量究竟是什么？它们既不是有限量，又不是无限小，还不是零，难道我们不能称它们为消失量的鬼魂吗？”Abel也抱怨说“在高等分析中只有很少几个定理是用逻辑上站得住脚的方法证明的”。各种各样的矛盾使得分析的严密化工作变得刻不容缓。 一．函数的定义 函数是分析的根基，没有一个明确的函数的定义，分析就没有意义。历史上函数的定义是逐渐广泛化的。在18世纪，大多数数学家认为一个函数必须处处都有一个相同的解析式。然而随着数学在越来越多方面的应用，数学家不得不接受更广泛的函数定义。 Lagrange将幂级数看作是函数，并采用了一个比以前更为广泛的概念。他在他的《解析力学》第二版中说：“每一个量，若其值依赖于一个或者几个别的量，则称它为后者的函数，不管人们是否知道用何种必要的运算可以用后者得到前者。” 柯西也尝试对函数进行过定义：“人们把依次取许多互不相同的值的量叫做变量。当变量之间这样联系起来的时候，即给定了这些变量中的一个值，就可以决定所有其他变量的值的时候，人们通过想象这些量是用其中的一个表达的，这时这个量就叫做自变量，而由这自变量表示的其他量就叫做这个自变量的函数。”也是说函数不一定要有解析式。 最后，在一篇关于Fourier级数的论文《用正弦和余弦级数表示完全任意的函数》中，Dirichlet给出了现在最常用的函数定义：“若对于给定区间上的每一个x，都有唯一的一个y值同它对应，那么y就是x的一个函数。”也就是说，y依赖于x，但是是否由某一数学表达式表达则无关紧要。他还给出了一个例子，就是我们现在熟知的Dirichlet函数： D(x) = 1 ， 当x为有理数， 0， 当x为无理数 二．函数的性质 对函数性质的研究主要集中于对函数连续性的研究。1817年，Bolzano给出了一个颇为合适的纯算术角度的函数连续性的定义：“若在区间内任一x处，只要ω（的绝对值）充分小，就能使差?(x + ω) – ?(x)(的绝对值)任意小，那么就说?(x)在该区间上连续。”从算术角度，柯西给出了极限的定义：“当一个变量逐次所取的值无限趋近一个定值，最终使变量的值和该定值之差要多小有多小，这个定值就叫做其他值的极限。” 柯西并没有急于给函数的连续性下定义，而是先说明了无穷小量的性质。他在《教程》中说：“当一个变量的数值这样无限地减小，使之收敛到极限0，那么人们便说这个变量成为无限小，这个变量叫做无穷小量。”这样的说明使得无穷小概念从形而上学的束缚中解脱出来，增强了逻辑性。进而柯西便对连续性下了定义：“如果在两限之间，变量的一个无穷小增量总产生函数自身的一个无穷小增量，那么函数?(x)在给定限之间对于x保持连续。” Bolzano与柯西对于连续性的定义虽然比同时代其他人的定义要合适的多，但是也存在着诸如“变为而且保持小于任意给定的量”这样并不十分明确的说法，这个问题在Weierstrass的手中得到了很好的解决。他改进了Bolzano和柯西的说法，给出了现今采用的定义：“如果给定任何一个正数ε，都存在一个正数б使得对于区间|x - x0|б内的所有x都有|?（x) - ?(x0）|ε,则?(x)在x = x0处连续。如果在上述说法中，用L替代?(x0),则说?（x0)在x = x0处有极限L。如果函数?（x)在区间内的每一点x都连续，则说?（x)在这个区间上连续。” 在这之后，Weierstrass又证明了最大最小值定理，即任何定义在有界闭区间[a,b]上的连续函数?(x)，存在函数的最大值和最小值。下面我们来证明一下这个定理。 假设函数?在区间[a,b]内没有上界，那么对于每一个自然数n，都存在[a,b]内的一个xn,使得?（xn）n, 这便定义了一个数列{xn}。由于[a,b]是有界的，根据Bolzano-Weierstrass定理，可推出存在{xn}的一个收敛子列{xnk},把它的极限记为x。由于[a,b]是闭区间，所以它一定含有x.因为?在x处连续，我们知道{?（xnk）}收敛于实数?（x).但是对于所有的k，都有?（xnk)nk≥k,这意味着{?（xnk）}发散到无穷大，与条件矛盾，因此?在[a,b]上有上界。由此可知?的最小上界M存在。设n为一个自然数，由于M是最小上界，所以M - 1/n就不是?的上界。因此存在[a,b]内的dn,使得?(dn ) M