第26讲 绝对连续函数.pptVIP

第1页，共20页。 第五节 绝对连续函数 一.绝对连续函数的定义 现在回到我们最初的问题上来： 牛顿一莱布尼兹公式对何种函数成立？ 第2页，共20页。 第五节 绝对连续函数 从单调函数的例子及上面的讨论不难看到，有界变差函数的导数虽然可积，但也未必能使牛顿—莱布尼兹公式成立。因此条件还要加强，这正是下面要引入的 定义8 设f是[a,b]上的函数，若对任意 ，存在， 使得对于[a,b]中的任意一组分点： ， 只要 ，便有 ， 则称f是[a,b]上的绝对连续函数，或称f在[a,b]上绝对连续。 第3页，共20页。 第五节 绝对连续函数 二.牛顿一莱布尼兹公式成立的充要条件 从定义立知, [a,b]上的绝对连续函数一定是一致连续的。绝对连续函数与有界变差函数又是什么关系呢？假设 是[a,b]上的绝对连续函数，于是对任意 ，存在 ，使得只要 ， 就有 ， 取正整数N，使得 ， 将分成N等分，设分点为 第4页，共20页。 第五节 绝对连续函数 对[a,b]的任一分划 添加进去，得新的分划 ，于是 因此， 。这就是说,连续函数一定是有界变差函数。下面的定理指出：对绝对连续函数，牛顿—莱布尼兹公式是成立的。 第5页，共20页。 第五节 绝对连续函数 定理9 设 上的绝对连续函数，则 上几乎处处可微, 上Lebesgue可积，且 证明：由上面的讨论，显然仅需证明等式 成立。 第6页，共20页。 第五节 绝对连续函数 对于 则 上的可积函数，且 第7页，共20页。 第五节 绝对连续函数 往证 上积分等度绝对连续的函数序列。任取 使得定义8中的不等式成立。设 内一列互不相交的区间,使得 , 则对任意正整数 , 有 第8页，共20页。 第五节 绝对连续函数 从而对任意 ，有 进而 第9页，共20页。 第五节 绝对连续函数 由积分的绝对连续性易知 ， ， 第10页，共20页。 第五节 绝对连续函数 进而对任意开集 ，只要 ，便有 若 是 型集， 是开集 ,则可设 ，当k充分大时，也有 ,因此由 （为什么？）立得 第11页，共20页。 第五节 绝对连续函数 现设 是任意可测集， ，则可找到 型集 。使 于是 这说明 具有积分等 度绝对连续性，由Vitali 定理立知 第12页，共20页。 第五节 绝对连续函数 证毕。 第13页，共20页。 第五节 绝对连续函数 定理9告诉我们，绝对连续函数的确可以表示成其导函数的Lebesgue积分，但问题尚未得到圆满解决，因为我们还不知道绝对连续性是否为牛顿一莱布尼兹公式成立的必要条件，现在就来讨论这个问题。 定理10 设 上的Le