第五章 第四节 单调函数与有界变差函数.pptVIP

第4.1节 单调函数与有界变差函数 引入 微积分基本定理 主要内容 单调函数的可微性：单调函数几乎处处有有限导数 有界变差函数（即两个单调不减函数的差） 绝对连续函数（即能写成不定积分形式的函数） 1 单调函数的可微性 定理 设f(x)是[a,b]上的单调不减函数，则f `(x)在[a,b]上几乎处处存在有限导数，且 引入 曲线的求长 2 有界变差函数 例 闭区间上的单调函数一定是有界变差函数 例 连续函数不一定是有界变差函数 3 Jordan分解定理 定理 f(x)是有界变差函数当且仅当 f(x)可表成两个非负单调不减函数的差 Cantor函数（Cantor集为三等分去掉中间一个开区间，如此过程一直下去） Cantor函数 a.在G=[0,1]-P的各构成区间上， Cantor函数在[0,1]上连续 第二节 不定积分与绝对连续函数 有界变差函数与不定积分 定理 f(x)是有界变差函数当且仅当 f(x)可表成两个非负单调不减函数的差 1 绝对连续函数 例 2 Lebesgue不定积分与微分的关系 * * 第四节 微分与不定积分 本章的主要目的是要 在Lebesgue积分理论中推广这一结果 若f(x)在[a,b]上连续，则 若F `(x) 在[a,b]上连续，则 为两个单调不减函数的差 注：等号不一定成立， 即使f(x)是[a,b]上的 连续单调不减函数， 例如Cantor函数。 Weierstrass在1772构造出一 处处连续但无处可导的函数 （其中 0 b 1 且 a为正奇数） Koch曲线 为f(x)对分点组P的变差，称 设f(x)是[a,b]上的有限函数，在[a,b]上任取一分点组 P [ ] 对[0,1]取分划 1/4 1/2 1/6 注：由于单调函数的不连续点全体为一可数集， 从而有界变差函数的不连续点为一可数集， 故Riemann可积,并且几乎处处存在有限导数 ( ) ( ) ( ) ( ) ( ) ( ) ( ) 0 1/9 1/3 2/3 1 1/2 1/8 1/4 3/8 5/8 7/8 3/4 如此类似取值一直定义下去 c.当 时,规定 称 为[0,1] 上的Cantor函数。 b.规定 如前图规定:在第n次去掉的2n-1个开区间上依次取值为 显然在[0,1]上单调不减，从而为有界变差函数， 并且导函数几乎处处为0， 注：Cantor函数把长度为零的集合 连续拉长成长度为1的集合 否则，若 在x0∈ (0,1)处不连续， 则开区间 非空， 此区间中的每个数都不属于 的值域， 这与 矛盾。 （端点情形类似说明） 第六章 微分与不定积分 主讲：胡努春 不定积分F(x)是有界变差函数，但由Cantor 函数（是有界变差函数）知道，先取导数再取积分并不能返回，问什么函数满足此性质？ 则称F(x)是[a,b]上的绝对连续函数 注： 绝对连续函数一定是一致连续函数，当然是连续函数，也一定是有界变差函数，从而几乎处处有有限导数。 设F(x)是[a,b]上的有限函数，若 使对[a,b]中的任意有限个互不相交的开区间 利用积分的绝对连续性即可 定理 若F(x)在[a,b]上绝对连续，则 推论 F(x)在[a,b]上绝对连续当且仅当 定理 若f(x)在[a,b]上Lebesgue可积，则 * * *