96可积理论补叙.DOC

§6可积理论补叙 一Darboux和的性质: 本段研究Darboux和的性质, 目的是建立Darboux定理. 先用分点集定义分法和精细分法: 表示是的加细 . 性质1 若, 则, . 即 : 分法加细, 大和不增,小和不减. 性质2 对任何, 有 , . 即 : 大和有下界,小和有上界. 性质3 对任何 和 , 总有. 即: 小和不会超过大和 . 证 . 性质4 设是添加个新分点的加细. 则有 + , . 证 设是只在中第个区间内加上一个新分点所成的分法, 分别设 , , . 显然有 和 . 于是 . 添加个新分点可视为依次添加一个分点进行次. 即证得第二式. 可类证第一式. 系 设分法有个分点，则对任何分法，有 ， . 证 . . 上积分和下积分: 设函数在区间 上有界. 由以上性质2 ， 有上界 ，有下界 . 因此它们分别有上确界和下确界. 定义 记, . 分别称和为 函数在区间 上的上积分和下积分. 对区间 上的有界函数, 和存在且有限 , . 并且 对任何分法, 有 . 上、下积分的几何意义. 求 和 . 其中是Dirichlet函数. 二 、可积的充分必要条件 Darboux定理 : Th 1 设函数在区间 上有界, 是区间 的分法 . 则有 =, =. 证 ( 只证第一式 . 要证 : 对使当时有 . 是显然的. 因此只证 . ) , 对 , 使 设有个分点, 对任何分法 , 由性质4的系, 有 , 由*式, 得 即 亦即 . 于是取, ( 可设, 否则为常值函数, = 对任何 分法成立. ) 对任何分法, 只要 , 就有 . 此即=. 可积的充要条件: Th 2 （ 充要条件1 ）设函数在区间 上有界. = . 证 设 =, 则有 =. 即对使当时有 | | 对成立. 在每个 上取, 使, 于是, | | = . 因此, 时有 | | | | + | | + = . 此即=. 由Darboux定理 , = . 同理可证 = . = . 对任何分法, 有 , 而 == = . 令和 的共值为, 由双逼原理 =. Th 3 有界. 对 . 证 ( ) = 0. 即对 时, . , 由, – , = . 定义 称 为函数在区间上的振幅或幅度. 易见有 0 . 可证= Th 3’ (充要条件2 ) 有界. 对 . Th 3’ 的几何意义及应用Th 3’的一般方法: 为应用Th 3’, 通常用下法构造分法: 当函数在区间 上含某些点的小区间上作不到任意小时, 可试用在 区间 上的振幅作的估计 , 有 . 此时, 倘能用总长小于 , 否则为常值函数 )的有限个小区间复盖这些点，以这有限个小区间 的端点作为分法的一部分分点，在区间 的其余部分作分割，使在每个小区间 上有, 对如此构造的分法, 有 . Th 4 ( (R)可积函数的特征 ) 设在区间 上有界. 对 和 , 使对任何分法, 只要 , 对应于 的那些小区间的长度之和 . 证 在区间 上可积, 对和 , 使对任何分法, 只要 , 就有 . 对的区间总长小于 此时有 = = 三． 可积函数类： 闭区间上的连续函数必可积： Th 5 （ 证 ） 闭区间上有界且仅有有限个间断点的函数可积 . Th 6 （ 证 ） 系1 闭区间上按段连续函数必可积 . 系2 设函数在区间 上有界且其间断点仅有有限个聚点, 则函数 在区间 上可积. 例2 判断题 : 闭区间上仅有一个间断点的函数必可积 . ( ) 闭区间上有无穷多个间断点的函数必不可积 . ( ) 3. 闭区间上的单调函数必可积： Th 7 （ 证 ） 例3 证