137 / 9 §7
5 可积性理论设 f 是有限闭区间 [ , ]a b 上地有界函数 ,1{[,]:1,2,, }kkxxkn是[ , ]a b 地分割 , 其分点为0ax12nxxxb
振幅 记11sup ([ , ]),inf([ , ]),sup ([,]),inf([,])kkkkkkMfa bmfa bMfxxmfxx;称Mm为 f 在[ , ]a b 上地振幅 ,kkkMm 为 f 在1[,]kkxx上地振幅,1,2,,kn
上和与下和称11(, )()nkkkkS fMxx为 f 关于分割地上和; (,)S f11()nkkkkm xx为 f 关于分割地下和;任取121( ,,,),[,]nkkkxx, (1,2,, )kn , 称11( , , )()()nkkkkS ffxx为 f 关于分割地 Riemann 和
显然成立( , )S f( , , )S f(,)S f
12 设 f 是有限闭区间 [ , ]a b 上地有界函数 ,是 [ , ]a b 地分割
若在地分点地基础上再添加l 个分点而得到 [ , ]a b 地另一个分割,则有不等式(, )(,)(,)S fS fS fl;(,)(,)(, )S fS fS fl
作为推论 , 对于 [ , ]a b 地任意两个分割12,, 必有12(,)(,)S fS f
证: 只需证明1l地情形
设地分点为012naxxxxb ;地为00011kknaxxxyxxb
11(,)()nkkkkS fmxx00000111111()()()knkkkkkkkkkkk kmxxmxxmxx138 / 9 000000111111()()()()knkkkkkkkkkkkk kmxxmyxmxymxx0000011111()inf([, ])()inf([,])()kkkkk