Skip to content

§10.1 定积分概念与可积条件

设函数 在区间 上有定义.

  1. 称点集 的一个分划,如果满足条件:

    并称 为分划 的细度. 如果 则称 为等距分划.

  2. 为区间 的一个分划。对每个子区间 ,任取 ,则称 为从属于 的一个介点集;并称和式 在区间 上的一个 (积分) 和。

  3. 为实数, 且有 , 即 , 对 的每个分划 , 以及对从属于 的每个介点集 , 成立 , 则称函数 在区间 可积或简称可积, 记为

    并称 在区间 上的 积分或定积分,简称积分,记为 ,或其简化记号 .

注 1

在上述定义中, 虽然仍然是用记号 , 但是这里的极限与以前的函数极限或数列极限是不一样的. 主要区别在于, 在函数极限或数列极限的定义中, 自变量简单地就是 . 但这里对于每个确定的细度 , 区间 的分划 可以有无限多个, 而相对于每个 , 介点集 的取法又有无限多个, 因此就有无限多个不同的 和. 尽管如此, 函数极限和数列极限的许多性质, 例如, 极限的唯一性、极限运算与线性运算可以交换次序等, 对于这种新的极限仍然成立.

注 2

定积分 是一个数, 它的值仅仅与被积函数 和积分区间 有关, 而与积分变量用什么符号无关, 即有

因此在不需要写出积分变量时, 就可以使用定积分的简化记号 .

利用积分定义中介点集的任意性就可以得到可积的一个必要条件.

命题 10.1.110.1.1

,则 上有界.

证明

若记 , 则从可积定义知道, 对于 , 存在一个分划 , 使得对于从属于这个 的任何介点集 , 均成立不等式

以下只要证明 在每个 上有界即可. 对于确定的子区间 , 固定所有 , 就可以从不等式 出发对于 作出估计如下:

由于 的任意性,可见 上有界.

为叙述可积的充分必要条件, 需要引入以下概念. 设函数 在区间 上有界, 的一个分划, 对 , 记

上的振幅, 的振幅面积.

在一般的分析教科书中对下面两个最常用的可积充分必要条件都有证明.

命题 10.1.210.1.2 (可积的第一充分必要条件)

有界函数 的充分必要条件是

命题 10.1.310.1.3 (可积的第二充分必要条件)

有界函数 的充分必要条件是对每个 ,存在区间 的一个分划 ,使成立

注 1

条件“ ”是指“ , 对 的任意分划 , 只要 , 就都成立 ”。而在可积的第二充分必要条件中, 对于每一个给定的 , 只要存在一个分划 就够了。因此, 要证明给定函数的可积性, 用可积的第二充分必要条件方便得多。

注 2

在数列极限或函数极限的收敛定义中, 似乎没有与上述第二充分必要条件对应的结果, 但是对于单调数列 (以及单调函数) 却有类似的结果. 例如, 单调增加数列 收敛于数 的充分必要条件是: 对每个 , 存在数列的某一项 , 使成立 . 这个结果已用于例题 中. 这个类比并非偶然. 可积的第二充分必要条件就是来源于 和对于分划的某种“单调性”. 对此有兴趣的读者可以参考 第三卷附录中的 收敛.

利用上面的充分必要条件, 就可以证明关于 可积函数类的三个结论:

  1. , 则 .

  2. 上有界且只有有限个间断点, 则 .

  3. 上单调, 则 .

另一方面,设 函数(见 小节题 ),则对任意区间 以及 的任意分划 ,当 均取有理数时,有 而当 均取无理数时,则有 因此振幅面积总是等于 .由此可见, 函数在任何有界区间 上都不可积.

下面是另一个可积的充分必要条件, 它在讨论较为复杂的函数的可积性时, 往往比可积的第二充分必要条件更为方便.

命题 10.1.410.1.4 (可积的第三充分必要条件)

有界函数 的充分必要条件是 ,存在 的分划 ,使振幅不小于 的子区间的长度之和小于 .

证明

设在 上有 .

先证充分性. 对于 , 取

根据条件, 存在 的分划 , 使振幅不小于 的子区间的长度之和小于 (见图 ). 对 , 用 分别表示在积分和式中对振幅不小于 的子区间和对振幅小于 的子区间求和. 我们有

合并得到

由可积的第二充分必要条件可见 可积.

再证必要性. 设 可积, 则由可积的第二充分必要条件, 对给定的 , 存在 的分划 , 使 . 用 表示对振幅不小于 的子区间求和, 则

因此 ,即振幅不小于 的子区间的长度之和小于 .

图 10.1

对于有无限多个间断点的函数, 用可积的第三充分必要条件来讨论其可积性比较容易.

例题 10.1.110.1.1

证明函数

上可积.

分析 虽然 内有无限个间断点, 然而由于这些间断点可以看成为收敛于 的数列, 因此可用总长度任意小的有限个区间把所有间断点覆盖住, 这就是下列证明的要点.

证明

对给定的 充分大, 使得

将区间 分成 . 内的所有间断点是 . 用包含于 中的 个互不相交的开区间覆盖这些间断点,并要求这些开区间的总长度小于 (见图 ). 从 中挖掉这些子区间与 ,剩余的部分是 个闭子区间. 因为 在这些闭子区间上一致连续,因此我们能够将这些子区间细分为更小的子区间,使 在每个子区间上的振幅都小于 . 上面所有子区间的端点构成 的一个分划. 其中振幅不小于 的子区间的长度之和小于 ,由可积的第三充分必要条件可知 . □

图 10.2

这样我们就看到 可积函数可以有无限多个不连续点. 不仅如此, 这些不连续点的分布还可能比例题 中的情况复杂得多. 例如, 例题 中的 函数以所有的有理数点为间断点, 但它仍然是可积函数 (留作 小节的练习题 ).

这里要注意, 虽然有理数在数轴上处处稠密, 但仍然可以用总长度任意小的开区间族来覆盖. 不过这时开区间的个数不是有限个, 而是可列个. 关键是用有理数的可列性, 先将它们记为一个数列 . 对于给定的 , 用长度 的开区间覆盖点 , 用长度 的开区间覆盖 , 用长度 的开区间覆盖 , 如此进行下去, 就可以覆盖所有有理数, 而所用的开区间的总长度不超过 .

从可积的第三充分必要条件不难得到下面对于可积函数的很一般的刻画.

命题 10.1.510.1.5

设函数 在区间 上有界, 如果 的所有不连续点可以用总长度任意小的至多可列个开区间覆盖, 则 .

证明

对于给定的 , 先用总长度小于 的有限个或可列个开区间覆盖 的所有不连续点. 然后对于每个连续点, 设为 , 用一个邻域 覆盖, 且要求 在这个邻域上的振幅小于 . 由于 在点 的连续性, 这是能够满足的.

对于每个连续点都取这样的邻域, 于是所有这些邻域和覆盖不连续点的开区间一起就构成为区间 的一个开覆盖, 记为 .

利用加强形式的覆盖定理 (即例题 ), 存在 , 使得在区间 中的相距不超过 的任何两点可以用开覆盖 中的某一个开区间同时覆盖.

对于区间 取细度不超过 的等距分划 . 这时每个子区间被开覆盖中的一个开区间所覆盖. 如果子区间是由原来覆盖不连续点的开区间所覆盖, 则这类子区间的总长度必小于 . 而覆盖所有其他子区间的开区间都是原先用于覆盖连续点的邻域, 因此 在每一个这类子区间上的振幅小于 .

根据可积的第三充分必要条件, 可知 上可积.

在实变函数论中, 如果一个点集可以用总长度任意小的至多可列个开区间覆盖, 就称这个点集为零测度集. 如果某种性质在一个零测度集之外成立, 就说这个性质几乎处处成立. 应用这些术语, 我们就可以叙述实变函数论中的 定理, 它给出了 可积函数的完整刻画, 非常有用.

命题 10.1.610.1.6 (LebesgueLebesgue 定理)

若函数 上有界, 则 的充分必要条件是 上几乎处处连续.

证明

这个定理的充分性部分就是上面的命题 . 其必要性证明简述如下 (对细节有兴趣的读者可以参考 ).

, 则从积分的第三充分必要条件可知, 对于 , 存在分划 , 使得其中振幅不小于 的子区间的长度之和小于 . 利用函数在一点的振幅概念 (见 小节的第 点), 可见 的振幅超过 的不连续点或者落在振幅超过 的子区间内 (而所有这类子区间的总长度小于 ), 或者是分划 的某些分点. 再增加几个长度充分小的开区间来覆盖这些分点, 就可以用总长度小于 的有限个开区间将所有振幅超过 的不连续点全部覆盖住.

现在取 ,并对每个 重复以上过程,就可用总长度不超过 的至多可列个开区间覆盖 的所有不连续点.由于这对每个 都能做到,因此 上几乎处处连续. □

对下面的前 个题来说, 每题至少可以举出两个解法. 其中的一个解法是从定积分定义出发, 而另一个解法则是以 定理 (命题 ) 为根据的, 这两种解法的思路很不一样. 初学者通过这样的训练既可以熟悉定积分的基本出发点, 又可以学会如何应用 定理和有关的概念去处理一般的 可积函数. 对于今后遇到的有关可积函数的问题都可以如此考虑.

  1. 上是否可积?

  2. , 且 的值域在 中, 问 上是否可积? 又若 上都不可积, 问 上是否一定不可积?

  3. 讨论区间 , 的可积性之间的关系.

  4. , 上仅在有限个点上取不同值, 证明: , 并且 . 又问: 如果 上几乎处处相等, 例如只在所有有理数点上的函数值不同, 则是否有相同结论?

  5. , 且对每个 , 使 , 问定积分 的值是多少? 为什么?

  6. , , , 如果 , , 证明: .

  7. , 且 上有界, 证明: .

  8. 上有界, 且其所有间断点构成一个收敛数列, 证明: .

  9. 在区间 的每一点的极限都存在且为零, 证明: .

  10. 证明: 函数 (见例题 ) 在每个有界区间 上可积.

  11. 对连续函数, 能否如下定义定积分: 如果 且存在实数 , 使

    .

  12. , 是区间 的分划, 证明: , , 使对于满足 的任意分划 , 成立