§4.2积分的性质 教学目的本节介绍积分的一些基本性质,包括积分的线性性质,积分 的不等式性质和积分的绝对连续性等.这些性质都没有涉及到积分号下取极 限的问题,积分取极限的性质讲在下一节介绍 本节要点一般测度空间上的积分,除了具有一些与经典积分类似的性 质外还具有一些新的性质应注意比较学习本节的内容,除了应了解积分的 基本性质外,还应注意掌握一些基本的证明技巧 本节所有的讨论都是给定的测度空间(X,分,p)进行的 定理1(i).若∫的积分存在,c是实数,则cf的积分存在,并且 cd=c「f (1) i)若fg的积分存在,并且∫+」gd有意义,则∫+g的积分也存在并且 ∫(+g)d=丁间 fdu+ gdu 特别地,若∫,g可积,则qf和∫+g也可积,并且(1)和(2)式成立 证明(1)当c≥0时,(cf)=q+,(c)=cf.由此知道cf的积分存在.由定理 41.5,我们有 ∫e=jef)d-j()d=Jefd-od=c」m 类似可证当c<0时(1)成立.因此(i)得证 (i).由于 (∫+g)'-(∫+g)=∫+g=f+-f-+g 因此 (∫+g)'+f-+g-=f 上式两边积分并利用§41定理5得到 ∫(+g)d+Jfd+jgd=fd+Jgda+∫(+gd(3) 由于(∫+g)≤∫+g',(+g)≤∫+g,仍由41定理5我们有 ∫(+g)ds∫fdu+Jgd
98 §4.2 积分的性质 教学目的 本节介绍积分的一些基本性质, 包括积分的线性性质, 积分 的不等式性质和积分的绝对连续性等. 这些性质都没有涉及到积分号下取极 限的问题, 积分取极限的性质讲在下一节介绍. 本节要点 一般测度空间上的积分,除了具有一些与经典积分类似的性 质外,还具有一些新的性质.应注意比较.学习本节的内容, 除了应了解积分的 基本性质外, 还应注意掌握一些基本的证明技巧. 本节所有的讨论都是给定的测度空间(X, F ,µ) 进行的. 定理 1 (i).若 f 的积分存在, c 是实数, 则cf 的积分存在, 并且 .. ∫ ∫ cfdµ = c fdµ (1) (ii).若 f ,g 的积分存在, 并且 ∫ ∫ fdµ + gdµ 有意义, 则 f + g 的积分也存在并且 ∫ ∫ ∫ ( f + g)dµ = fdµ + gdµ. (2) 特别地, 若 f , g 可积, 则cf 和 f + g 也可积, 并且(1)和(2)式成立. 证明 (i).当 c ≥ 0 时,( ) , + + cf = cf ( ) . − − cf = cf 由此知道 cf 的积分存在. 由定理 4.1.5, 我们有 ∫ ∫ ∫ ∫ ∫ ∫ = − = − = + − + − cfdµ (cf ) dµ (cf ) dµ cf dµ cf dµ c fdµ. 类似可证当c < 0 时(1)成立. 因此(i) 得证. (ii).由于 + − + = + − ( f g) ( f g) . + − + − f + g = f − f + g − g 因此 ( ) ( ) . + − − + + − f + g + f + g = f + g + f + g 上式两边积分并利用§4.1 定理 5 得到 ( ) ( ) . _ f g dµ f dµ g dµ f dµ g dµ f g dµ ∫ ∫ ∫ ∫ ∫ ∫ + + + = + + + + − − + + (3) 由于( ) , + + + f + g ≤ f + g ( ) , − − − f + g ≤ f + g 仍由§4.1 定理 5 我们有 ( ) , ∫ ∫ ∫ + + + f + g dµ ≤ f dµ + g dµ (4)
∫(+g) dusts.du+∫ 由于+g有意义因此广d+」gd和J厂d+gd中至少有一项是有 限的不妨设∫fd+gd<+.则由5)得到(+g)d<+从3)式两边减去 ∫+g)dk dy得到 ∫(+gd=∫(+g)d-j(+g fdu-Ifdu d ∫+∫s 这表明∫+g的积分存在并且(2)式成立■ 定理2设∫在可测集E上的积分存在,则 (i).∫在E的任意可测子集上的积分也存在 (i).设A,B是E的可测子集并且A∩B=.则成立 C fdu=f fdu+Sjduo 特别地,在(i)和(i)中将积分存在换成可积,结论仍成立 证明由积分的定义容易知道(1)成立.下面证明(i).由(i)知道(6)式中的积分都存在 并且(6)式右边的和式有意义.由定理1得到 ∫=Jm4=J(m+nDMd f4d+|n2d4=f4+ 定理3设∫g的积分存在,则 ()若f≤gae,则dsgd )若=gae,则= 证明由于∫≤gae,易知有∫*≤gae.,f≥gae.由41定理s(i),我们有 ∫广ds」gdu,∫d」gd.于是 ∫=∫fd-」ds」sd-」sd=Jg 因此(1)得证由(1)立即得到(i)■ 推论4()若∫=0ae,则对任意可测集A,有f=0
99 ( ) . ∫ ∫ ∫ − − − f + g dµ ≤ f dµ + g dµ (5) 由于 ∫ ∫ fdµ + gdµ 有意义, 因此 ∫ ∫ + + f dµ + g dµ 和 ∫ ∫ − − f dµ + g dµ 中至少有一项是有 限的.不妨设 + < +∞. ∫ ∫ − − f dµ g dµ 则由(5)得到 ( + ) < +∞. ∫ − f g dµ 从(3)式两边减去 µ ∫ − ( f + g) d ∫ ∫ − − + f dµ + g dµ 得到 ∫ ∫ ∫ ∫ ∫ ∫ ∫ ∫ ∫ = + = − + − + = + − + + − + − + − . ( ) ( ) ( ) µ µ µ µ µ µ µ µ µ fd gd f d f d g d g d f g d f g d f g d 这表明 f + g 的积分存在并且(2)式成立. ■ 定理 2 设 f 在可测集 E 上的积分存在, 则 (i). f 在 E 的任意可测子集上的积分也存在. (ii).设 A,B 是 E 的可测子集并且 A ∩ B = ∅. 则成立 . AB A B fd fd fd µ µ µ ∪ ∫ ∫∫ = + (6) 特别地, 在(i) 和(ii) 中将积分存在换成可积, 结论仍成立. 证明 由积分的定义容易知道(i) 成立. 下面证明(ii). 由(i) 知道(6)式中的积分都存在. 并且(6)式右边的和式有意义. 由定理 1 得到 ( ) . AB A B A B A B A B fd fI d fI fI d fI d fI d fd fd µµ µ µ µµµ ∪ ∪ = =+ = + =+ ∫∫ ∫ ∫ ∫ ∫∫ ■ 定理 3 设 f ,g 的积分存在, 则 (i).若 f ≤ g a.e., 则 ∫ ∫ fdµ ≤ gdµ. (ii).若 f = g a.e., 则 ∫ ∫ fdµ = gdµ. 证明 由于 f ≤ g a.e., 易知有 a.e. + + f ≤ g , a.e. − = f ≥ g 由§4.1 定理 5 (iii), 我们有 ∫ ∫ + + f dµ ≤ g dµ, ∫ ∫ − − f dµ ≥ g dµ.. 于是 ∫ ∫ ∫ ∫ ∫ ∫ = − ≤ − = + − + − fdµ f dµ f dµ g dµ g dµ gdµ. 因此(i) 得证.由(i) 立即得到(ii).■ 推论 4 (i).若 f = 0 a.e., 则对任意可测集 A , 有 0. A ∫ fdµ =
(i)若(4)=0,则对任意可测函数f,有fx=0 证明(i).由于∫=0ae.,因此对任意可测集A,4=0ae.由定理3(i)得到 fdu=Adu=0 (i)若(A)=0,则对任意可测函数,f1=0ae.同上面一样得|a=0.■ 由定理3知道,在一个零测度集上改变一个函数的函数值,不改变该函数的可积性和 积分值.因此,在讨论可测函数积分的性质的时候,可测函数所要满足的条件通常只需要几 乎处处成立就可以了 定理5设∫是可测函数.则 ()若∫的积分存在,则6sa (i)∫可积当且仅当/可积 证明)由于-1/s由定理3- dus s jIedu,这表 (i)若∫可积,则∫和厂都可积于是|=f+f也可积反过来,设可积 由于∫≤1,fs|故∫和厂都可积从而∫=f-f也可积■ 将定理5应用到 Lebesgue积分上得到, f lebesgue可积当且仅当 Lebesgue可积 但我们知道/在区间[ab]上 Riemann可积不能蕴涵 f Riemann可积因此这是两种积分 的又一不同之处 在继续讨论积分的性质之前,先证明一个有用的不等式.这个不等式有时称为 Chebyshev不等式 引理6设∫是一个可测函数.则对任意A>0,成立 u(x:/(x)2x )sIdu 证明由于在≥}上(x)21.由定理3,我们有 (≥4)2=∫d≤1 d nIka 定理7若∫是一个非负可测函数并且∫d=0,则∫=0ae 证明令A=1>0),A={>m1,n21.则{4}是单调增加的并且4=∪4
100 (ii).若 µ(A) = 0, 则对任意可测函数 f , 有 0. A ∫ fdµ = 证明 (i).由于 f = 0 a.e., 因此对任意可测集 A , = 0 a.e.. A fI 由定理 3 (ii) 得到 0. A A ∫ ∫ fd fI d µ µ = = (ii).若 µ(A) = 0, 则对任意可测函数 f , = 0 a.e.. A fI 同上面一样得 0. A ∫ fdµ = ■ 由定理 3 知道, 在一个零测度集上改变一个函数的函数值, 不改变该函数的可积性和 积分值. 因此, 在讨论可测函数积分的性质的时候, 可测函数所要满足的条件通常只需要几 乎处处成立就可以了. 定理 5 设 f 是可测函数. 则 (i).若 f 的积分存在, 则 fdµ f dµ. ∫ ∫ ≤ (ii). f 可积当且仅当 f 可积. 证 明 (i). 由 于 − f ≤ f ≤ f , 由定理 3, ∫ ∫ ∫ − f dµ ≤ fdµ ≤ f dµ. 这表明 ∫ ∫ fdµ ≤ f dµ. (ii).若 f 可积, 则 + f 和 − f 都可积. 于是 + − f = f + f 也可积. 反过来, 设 f 可积. 由于 f ≤ f , f ≤ f , + − 故 + f 和 − f 都可积. 从而 + − f = f − f 也可积.■ 将定理 5 应用到 Lebesgue 积分上得到, f Lebesgue 可积当且仅当 f Lebesgue 可积. 但我们知道 f 在区间[a, b] 上 Riemann 可积不能蕴涵 f Riemann 可积. 因此这是两种积分 的又一不同之处. 在继续讨论积分的性质之前, 先证明一个有用的不等式. 这个不等式有时称为 Chebyshev 不等式. 引理 6 设 f 是一个可测函数. 则对任意λ > 0, 成立 . 1 ({ : ( ) }) ∫ ≥ ≤ µ λ µ x f x λ f d 证明 由于在{ f ≥ λ}上, ( ) 1. 1 f x ≥ λ 由定理 3, 我们有 { } { } 1 1 ({ }) . f f f I d fd f d λ λ µ λ µ µµ λ λ ≥ ≥ ≥= ≤ ≤ ∫ ∫ ∫ ■ 定理 7 若 f 是一个非负可测函数并且 ∫ fdµ = 0, 则 f = 0 a.e.. 证明 令 }, 1. 1 = { > 0}, = { > n ≥ n A f A f n 则{ } An 是单调增加的并且 . 1 ∪ ∞ = = n A An
由引理60≤(A,)≤可=0.因此(4)=0.,m21.由测度的下连续性得 (A)=limp(A)=0.这表明∫=0ae.画 定理8若∫可积,则∫几乎处处有限 证明设∫可积由定理5知道/可积令 A={=+∞,A={/≥n},n21 则{A4}是单调减少的并且A=∩A2由引理6得到 05(4,)≤几∫1du,m21 (7) 注意到(4)≤<+∞,由测度的上连续性和()得以()=lm(4,)=0这表明 <+o,a.e.■ 定理9(积分的绝对连续性)若∫可积,则对任意E>0,存在相应的δ>0,使得当 (4)<时,成立∫/dy<E 证明设∫可积,则可积设{gn}是非负简单函数列使得gn↑团由积分的定义 lim g, du=jIdu s +oo 于是对任意E>0,存在自然数n使得0≤0-8m)d如<5令M=spB8n(x)则 0<M<+0.再令2A,则对任意可测集A,当(A)<δ时 ∫d=J,(r-)d+J:d<2+M(40< 小结本节介绍了一般测度空间上积分的一些基本性质一般测度空间上的积分,除了 具有一些经典积分所具有的性质,如线性性质和对被积函数的单调性等性质外还具有一些 新的特点,如积分的绝对连续性 Chebyshev不等式等另外,∫可积当且仅当/可积这个性 质是与经典积分有重要差别的 习题习题四,第5题一第15题
101 由引理 6, ∫ 0 ≤ µ(A ) ≤ n fdµ = 0. n 因 此 (A ) = 0, n ≥ 1. µ n 由测度的下连续性得 ( ) = lim ( ) = 0. →∞ n n µ A µ A 这表明 f = 0 a.e..■ 定理 8 若 f 可积, 则 f 几乎处处有限. 证明 设 f 可积. 由定理 5 知道 f 可积.令 A = { f = +∞}, A = { f ≥ n}, n ≥ 1. n 则{ } An 是单调减少的并且 . 1 ∩ ∞ = = n A An 由引理 6 得到 ∫ ≤ ≤ , ≥ 1. 1 0 ( ) f d n n µ An µ (7) 注意到 ( ) , 1 ∫ µ A ≤ f dµ < +∞ 由测度的上连续性和(7)得 ( ) = lim( ) = 0. →∞ n n µ A A 这表明 f < +∞, a.e..■ 定理 9 (积分的绝对连续性)若 f 可积, 则对任意ε > 0, 存在相应的δ > 0, 使得当 µ(A) < δ 时, 成立 . A f dµ <ε ∫ 证明 设 f 可积, 则 f 可积.设{ } gn 是非负简单函数列使得 g f . n ↑ 由积分的定义, lim . ∫ ∫ = < +∞ →∞ gn dµ f dµ n 于是对任意 ε > 0, 存在自然数 n0 使得 . 2 0 ( ) ∫ 0 ≤ − < ε f gn dµ 令 sup ( ), 0 M g x n x∈X = 则 0 < M < +∞ . 再令 , 2M ε δ = 则对任意可测集 A, 当 µ(A) < δ 时, 0 0 ( ) () . 2 n n AA A fd f g d g d M A ε µ = − + <+ < µ µ µε ∫∫ ∫ ■ 小 结 本节介绍了一般测度空间上积分的一些基本性质.一般测度空间上的积分,除了 具有一些经典积分所具有的性质, 如线性性质和对被积函数的单调性等性质外,还具有一些 新的特点, 如积分的绝对连续性,Chebyshev 不等式等.另外, f 可积当且仅当 f 可积这个性 质是与经典积分有重要差别的. 习 题 习题四, 第 5 题—第 15 题