测度有限的可测集上可测函数的积分.PDF

实变函数讲稿（第 22 讲） 教学内容：测度有限的可测集上可测函数的积分 详细教案 第四章 Lebesgue 积分 §1. 可测函数的积分 一、有界可测函数积分的定义即可侧条件 定理 1 设E ⊂n ，mE +∞， 是定义在E上的有界可测函数，则 在E f f 上是Lebesgue 可积的. 基本引理 设 E ⊂n ，mE +∞，f 是定义在E上的可测函数 （1）若 ，则对于 上任意分割D，必有 ( ) ( f , E ) ⊂ α β [ , ]α β ⋅mE ≤S D ≤ fdx ≤S D ≤α⋅mE ( ) ∫ ( ) β E mE 0 ，则 fdx 0 （2）若 ∫ E fdx c mE ⋅ （3）若 （常数），则 f x (c ) ≡ ∫ E 证明 （1）设 ，在 上任作分割 ( ) ( f , E ) ⊂ α β[ , ]α β D l l l l : α β 0 1 n n−1 则 n =⋅ mE xα{ l⋅mE| f x(α) l } ≤ ∑ k −1 k k 1 n l mE x l { | f ≤x l( ⋅) S D} ( ) =≤ ∑k −1 k −1 k k 1 S D S fdx supS (≤) S D ∫ inf ( ) 1 1 1 D D