§柯西黎曼积分.docVIP

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