§41柯西黎曼积分.docVIP

第4章 柯西-黎曼积分及其应用和推广 与牛顿-莱布尼茨积分不同，柯西-黎曼积分是建立在近代极限理论的基础上。由于本篇中暂时避开了近代极限理论，所以我们也只能用“无限接近”的说法来定义柯西-黎曼积分。同样，关于柯西-黎曼积分的性质，我们也只能用几何图形来说明。 §4-1 柯西-黎曼积分的定义及其性质 1.柯西-黎曼积分的定义 设函数定义在区间上.首先用分点： 把区间划分成个小区间，并用表示最大小区间的长度.柯西在19世纪初，建议把函数在区间上的积分定义为“极限” （图4-1） 【注意】不能把其中的改写为，因为时不一定有. 后来，德国数学家黎曼(Riemann，1826─1866 )又把柯西关于积分的定义做了修改.现在，国内多数教科书中都采用黎曼关于积分的下述定义(图4-2)： 设函数定义在有限(开、闭或半开半闭)区间上. 第一步，用任意划分方法(记为)把区间划分成个小区间： 第二步，在每一个小区间上都任意取一点，如在第个小区间上取的那一点记为，做出积分和 第三步，让所有小区间都无限变小，即让最大小区间的长度，若有极限 而且与区间的划分方法和每一个小区间上那一点的选取方法都无关，则称函数在区间上可积分(简称可积)，并称极限值 (4-1) 为函数在区间上的积分. 上述定义比较长，你可按“划分区间做出积分和取极限”记忆它.请读者注意，极限(4-1)不是第1章中说的函数极限，因为其中的积分和不仅与划分区间的方法有关，而且也与每个小区间上取的那一点有关.要进一步说明白它，需要用近代极限概念的“”说法，即极限(4-1)的定义是 任意给定正数(不论它多么小)，都有对应的正数，使对区间的任意划分和点的任意选取，只要最大小区间的长度，就有 读者可以暂时不管它.但是，你要阅读本篇有的注释和第二篇时，就必须记住它. 柯西-黎曼积分同牛顿-莱布尼茨积分是有区别的[见后面的注释③].为了把两者区别开来，后来人们把它们分别记成了 与 现在，除数学史书外，人们说的积分都是指柯西-黎曼积分.因此，以后若不特别声明，记号就表示柯西-黎曼积分. 特别，对于有限区间上的常值函数来说，因为对于区间的任意划分方法，总有 所以 特别，把时的积分简记成.于是，. 例1 设函数在区间上可积.证明： 证 如图4-3: 因为函数是可积的，所以可将区间分成等份，而每份的长度为.于是，积分和数为 因此， 柯西指出，积分的存在性是要证明的，并且他最早证明了闭区间上的连续函数是可积分的.按照柯西-黎曼积分的定义， 无界函数不可积[见后面注释①]，有界函数也不一定可积[见后面注释②]. 因此，关于函数可积性的讨论只限制在有界函数就可以了.在柯西之后，由他的同胞达布(J.G.Darboux,1842-1917)证明了有界函数可积的充分必要条件(可积准则).根据它可以证明： 只有有限个间断点的有界函数或单调有界函数也都是可积分的. 请注意，可积函数也可能有无穷多个间断点！上面指出的这些结论，将放到第二篇中来证明. 【注释】 ① 无界函数不可积(或可积函数必有界) 设在有限区间上是无界函数.不妨认为它在点的近旁是无界的，即只要足够接近点，就能够使大于预先给出的任何正数.因此，当把区间任意划分成个小区间时，可以适当地选择点所在的小区间上那个点，使足够大，以致使积分和数 的绝对值也足够大(如大于预先给出的任何正数).因此，当最大小区间的长度时，积分和数的绝对值(随着那个点的适当选择)就会无限制地变大.这就是说，不可能会有极限 即函数在区间上是不可积的.这个结论也可以说成(逆否命题)：可积函数必有界. ② 有界函数不一定可积 例如狄利克雷函数(见第0章)： (为有理数)，(为无理数). 将区间任意划分成个小区间后，总有 (小和)（为无理数）； (大和)（为有理数）. 因为，所以狄利克雷函数在任意有限区间上不可积分. ③ 函数 （见图4-4） 在含点的任何区间上没有原函数(见§2-4)， 因此它在这个区间上没有牛顿-莱布尼茨积分.可是， 它有柯西-黎曼积分，因为 而函数 的导数 有原函数，所以函数在任何区间上有牛顿-莱布尼茨积分，但它在含点的区间上没有柯西-黎曼积分[因为在点近旁是无界的！]. 2.柯西-黎曼积分的性质 柯西-黎曼积分具有下面这些性质： ⑴ 当时，(调换上下限时添负号).（积分的有向性） 这是因为在积分的定义中， 从而的缘故. 作为合理的规定， (上下限相同时，积分等于) 关于柯西-黎曼积分的下述性质⑵，除了“可积性”问题外，它与牛顿-莱布尼茨积分中的结论在形式上是一样的. ⑵ 若函数和在有限区间上可积，和为常数，则在区间上也可积，而且有 (积分运算的线性性质) 下面的性质⑶，从几何上说是很明显的，可是要证