实变函数论26讲稿.pptVIP

第26讲 绝对连续函数 本讲目的：掌握绝对连续函数的定义，，熟悉绝对连续函数的基本性质。熟练掌握Newton-Leibniz公式成立的充要条件。 重点与难点： Newton-Leibniz公式的证明。 第26讲 绝对连续函数 一.绝对连续函数的定义 现在回到我们最初的问题上来： 牛顿一莱布尼兹公式对何种函数成立？ 第26讲 绝对连续函数 定义8 设f是[a,b]上的函数，若对任意 ，存在 ，使得对于[a,b]中的任意一组分点： ， 只要 ，便有 ， 则称f是[a,b]上的绝对连续函数，或称f在[a,b]上绝对连续。 第26讲 绝对连续函数 二.牛顿一莱布尼兹公式成立的充要条件 从定义立知, [a,b]上的绝对连续函数一定是一致连续的。绝对连续函数与有界变差函数又是什么关系呢？假设 是[a,b]上的绝对连续函数，于是对任意 ，存在 ，使得只要 ， 就有 ， 取正整数N，使得 ， 将分成N等分，设分点为 第26讲 绝对连续函数 对[a,b]的任一分划 添加进去，得新的分划 ，于是 因此， 。这就是说,绝对连续函数一定是有界变差函数。下面的定理指出：对绝对连续函数，牛顿—莱布尼兹公式是成立的。 单调函数的不连续点全体为第一类间断点且间断点至多可数，故Riemann可积,并且几乎处处存在有限导数,其导数是L可积 有界变差函数的不连续点全体为第一类间断点且间断点至多可数，故Riemann可积,并且几乎处处存在有限导数,其导数是L可积 绝对连续函数的不连续点全体为第一类间断点且间断点至多可数，故Riemann可积,并且几乎处处存在有限导数,其导数是L可积 第26讲 绝对连续函数 定理9 设 上的绝对连续函数，则 上几乎处处可微, 上Lebesgue可积，且 证明：略 第26讲 绝对连续函数 定理9告诉我们，绝对连续函数的确可以表示成其导函数的Lebesgue积分，但问题尚未得到圆满解决，因为我们还不知道绝对连续性是否为牛顿一莱布尼兹公式成立的必要条件，现在就来讨论这个问题。 定理10 设 上的Lebesgue可积函数，且对任意 则 ， 则。 第26讲 绝对连续函数 证明：由 及积分的基本性质不难得知对[a,b] 内任意区间I，有 ,于是对[a,b]内任意开集G，也有(P26 Th11) ,对[a,b]内任意闭集F,令 则G是开集，注意到 ，从而 第26讲 绝对连续函数 现设E是[a,b]内任一可测集，则对任意正整数n， 存在闭集 ，使得 ，由 积分的绝对 连续性知对任意 ，存在N， 当 时 ,有 因此， 第26讲 绝对连续函数 由 的任意性知 。 如果 ，则 ， ,至少有一个是 正测度集。 从而存在正整数n， 使 或 不妨设 。 ，则 第26讲 绝对连续函数 这与上面的证明矛盾，故必有