§5.2可积函数 定理5.2.1(levi定理)若φ,(x)为可测集E上的非负可测函数列, 且满足中n(x)≤中n(x),中,(x)→f(x)(n→+∞),则 fdx=lim「φdx 证明GG,E)={(x,y)10≤yf(x)},G{Φn,E)={(x,y)10≤y<中。}然 而G(p,E)cG(pn,E),且G(,.B)=∪c(n,E),由外极限定理知:。fdx mG(,E)=lmG(,E)=m∫中,d.证毕 定理5.2.2( Fatou引理)若φn(x)为可测集E上的非负可测函数列, 则[limφ,(x)dx≤lim[φ,d 证明因为Iim中n(x)= sup inf中n(x),令Ws(x)= inf o(x),则 n(x)≤n(x),im中n(x)=limn(x),于是[lim中n(x)dx 「。mw(x)kx=m。甲x=m』W≤m中,d,证毕。 定理5.2.3(控制收敛定理)若f,(x)为可测集E上的可测函数列,存 在E上可积函数F(x)满足n(x)≤F(),fn()-f(x)ae于E,则fx fn dx 证明F(x)+f(x)≥0且在E上可测,则由定理5.2.2知 lim [F(x)+f(x)]dx< lim LF(x+f(x)]dx
§５.２ 可积函数 定理５.２.１ (levi 定理)若 φn (x)为可测集 E 上的非负可测函数列， 且满足 φn (x)≤φn+1 (x)，φn (x)→f(x) (n→＋∞)，则 ∫E fdx＝n→∞ lim ∫E φn dx 证明 G ( ) f , E ＝｛(x,y)｜0≤y<f(x)｝，G ( E) n Φ , ＝｛(x,y)｜0≤y<φn ｝然 而 G ( ) Φn , E ⊂ G ( ) Φn+1 , E ，且 G ( f , E)＝U ∞ n=1 G ( E) n Φ , ，由外极限定理知：∫E fdx ＝mG ( ) f , E ＝n→∞ lim mG ( ) Φn , E ＝n→∞ lim ∫E φn dx. 证毕 定理５.２.２ (Fatou 引理)若 φn (x)为可测集 E 上的非负可测函数列， 则∫E n→∞ limφn (x)dx≤n→∞ lim ∫E φn dx 证明 因为n→∞ lim φn (x)＝ 1 sup N≥ n≥N inf φn (x)，令 ψ N (x)＝ n≥N inf φ n (x)，则 ψn (x)≤ψn+1 (x)，n→∞ limφn (x)＝n→∞ lim ψn (x)，于是∫E n→∞ limφn (x)dx＝ ∫E N→∞ lim ψ N (x)dx＝ N→∞ lim ∫E ψ N dx＝ N→∞ lim ∫E ψ N dx≤n→∞ lim ∫E φn dx，证毕。 定理５.２.３ （控制收敛定理） 若 f n (x)为可测集 E 上的可测函数列， 存 在 E 上可积函数 F(x)满足|f n (x)|≤F(x)，f n (x)─→f(x) a.e 于 E，则 ∫E fdx ＝n→∞ lim ∫E f n dx 证明 F(x)＋f n (x)≥0 且在 E 上可测，则由定理５.２.２知 ∫E n→∞ lim [F(x)＋f n (x)]dx≤n→∞ lim ∫E [F(x)＋f n (x)]dx
「。F(xd+」mfn(x)d≤』F()+mf,d 即[limf(x)dx≤lim[fd。同理F(x)-f(x)≥0且在E上可测,则由 定理5.2.2知imF(x)-fn(x)]dx≤lim[F(x)-fn(x)]dx, 「。F(x)dx-mfn(x)dx≤』F(x)dx-m limf.(x)dx≥ 「。imnf,(x)x≤mf,≤m』f,≤。mfn(x)k,而 fn(x)-f(x)ae于E,故fdx= lim f, dx 注5.2.1:将定理5.2.3中条件fn(x)-→f(x)ae于E,改为 fn(x)n+f(x)于E后,结论仍成立。 事实上,若mfn(x)x≠lim』fnd,令a=fdx, 则E0及f满足「fdx-a|≥E0,显然f(x)=)f(x)于E,由 Lebesgue定理知:3f(x)-→f(x)ae于E,从而[f(x)dkx= limn「fndx矛盾。证毕 推论5.2.1若中n(x)为可测集E上的非负可测函数列,其中至少有 个中(x)在E上可积且满足中n(x)≥中n1(x),中。(x)→f(x)(n→+∞), 则∫fdkx=limn「中,dx 证明:令F(x)=中(x),由定理5.2.3即得结果 定理5.2.4若fn(x)为可测集E上的非负可测函数列,则
∫E F(x)dx＋ ∫E n→∞ lim f n (x)dx≤∫E F(x)dx＋n→∞ lim ∫E f n dx 即∫E n→∞ lim f n (x)dx≤n→∞ lim ∫E f n dx。同理 F(x)－f n (x)≥0 且在 E 上可测，则由 定理５.２.２知∫E n→∞ lim [F(x)－f n (x)]dx≤n→∞ lim ∫E [F(x)－f n (x)]dx， ∫E F(x)dx－ ∫E n→∞ lim f n (x)dx≤∫E F(x)dx－n→∞ lim ∫E f n dx，即 ∫E n→∞ lim f n (x)dx≥n→∞ lim ∫E f n dx， ∫E n→∞ lim f n (x)dx≤n→∞ lim ∫E f n dx≤n→∞ lim ∫E f n dx≤∫E n→∞ lim f n (x)dx，而 f n (x)─→f(x) a.e 于 E，故 ∫E fdx＝n→∞ lim ∫E f n dx 注 5.2.1 ：将定理５.２.３中条件 f n (x)─→f(x) a.e 于 E，改为 f n (x) →∞ ⇒n f(x)于 E 后，结论仍成立。 事实上，若∫E n→∞ lim f n (x)dx≠n→∞ lim ∫E f n dx，令 α＝ ∫E fdx， 则ョ ε0及 f ni 满足 | ∫E f ni dx－α|≥ε0，显然 f n0 (x)＝>f(x)于 E，由 Lebesgues 定理知：ョ f j n0 (x)─→f(x) a.e 于 E，从而∫E f(x)dx＝ j→∞ lim ∫E f j n0 dx 矛盾。证毕 推论５.２.１ 若 φn (x)为可测集 E 上的非负可测函数列，其中至少有一 个 φn0 (x)在 E 上可积且满足 φn (x)≥φn+1 (x)，φn (x)→f(x) (n→＋∞)， 则 ∫E fdx＝n→∞ lim ∫E φn dx 证明：令 F(x)＝φn0 (x)，由定理５.２.３即得结果。 定理５.２.４ 若 f n (x)为可测集 E 上的非负可测函数列，则
f dx 证明令中=∑fn,f=∑fn则中,(x)为可测集E上的非负可测函 数列,且满足φN(x)≤φN1(x),中(x)→f(x)(N→+∞),从而由L 定理知: f=m中x=!mf,d=∑ fndx,证毕 定理5.2.5:设f(x)在E上有积分值,若E=∪En,且互不相交, 则f在每一个E上有积分值,且[fdx= 证明若f(x)为可测集E上的非负可测函数,令 f(x)当x∈En f (x)= g 由定理5.2.4知:∫f=∑f,x=∑Jfdx,若f(x)为可测集E 上的一般可测函数,则f=f'-f,「fx=∑ ∑.fdx至少有一个有限,』fk=」r'dx- f d ∑∫fdx,证毕 定理5.2.6f(x,t)是定义在[a,b]×[c,d]上的可测函数,在[a,b]上关 于x可积,在[c,d上关于t处处可微,且存在[a,b]上的可积函数F(x)满足 f,'(x,t)|≤F(x)(vt∈[c,d])
∫E ∑ ∞ n=1 f n dx＝∑ ∞ n=1 ∫E f n dx 证明 令 φ N ＝∑= N n 1 f n ,f＝∑ ∞ n=1 f n 则 φn (x)为可测集 E 上的非负可测函 数列，且满足 φ N (x)≤φ N+1 (x)，φ N (x)→f(x) (N→＋∞)，从而由 Levi 定理知：∫E fdx＝ N→∞ lim ∫E φ N dx＝n→∞ lim ∫E f n dx＝∑ ∞ n=1 ∫E f n dx， 证毕。 定理５.２.５：设 f(x)在 E 上有积分值，若 E＝U ∞ n=1 E n ，且互不相交， 则 f 在每一个 E n 上有积分值，且 ∫E fdx＝∑ ∞ n=1 ∫En fdx 证明 若 f(x)为可测集 E 上的非负可测函数，令 ∉ ∈ = n n n x E f x x E f x 当 当 0 ( ) ( ) ， 由定理５.２.４知：∫E fdx＝ ∫E ∑ ∞ n=1 f n dx＝∑ ∞ n=1 ∫En fdx，若 f(x)为可测集 E 上的一般可测函数，则 f＝f + －f − ，∫E f + dx＝∑ ∞ n=1 ∫En f + dx 与∫E f − dx＝ ∑ ∞ n=1 ∫En f − dx 至少有一个有限， ∫E fdx＝∫E f + dx－∫E f − dx＝ ∑ ∞ n=1 ∫En f + dx －∑ ∞ n=1 ∫En f − dx＝∑ ∞ n=1 ∫En fdx，证毕。 定理５.２.６ f(x,t)是定义在[a,b]×[c,d]上的可测函数，在[a,b] 上关 于 x 可积，在[c,d]上关于 t 处处可微，且存在[a,b]上的可积函数 F(x)满足 |f t '(x,t)|≤F(x) (∀ t∈[c,d])
f(x, t)dx dt J[a, bl la, blr d f(x,x+△)k f(x, t)a 证明 △t→0 f(x,x+△)-f(x, = lim[ A( (x.x+an)-/(x(a.→0,n-) 则由微分中值定理知:30≤0n≤1满足 f(x,t f(x, x+a)-f(,t) =|f,’(x,t+0nan)|≤F(x),由控制收敛定 理知 x+a lim b 即dt f(x, t)dx= bI la, b] f,(x,t)dx,证毕 本来,(L)积分定义已经给出了计算积分的具体步骤,然而对大部分积分 而言,沿着此步骤非常繁琐,在此我们介绍一些有用的工具和技巧。 例5.2.1设R(x)={m epx="且(,m)=1 求[,R(x)dx 0x为中的无理数 ,1 解:因为R(x)=0e于[0,1J],于是[R(x)d=0dx=0
dt d ∫[ ] a,b f(x,t)dx＝∫[ ] a,b f t '(x,t)dx 证明 dt d ∫[ ] a,b fdx＝ ( ) ( ) [ ] [ ] t f x x t dx f x t dx a b b a t ∆ + ∆ − ∫ ∫ ∆ → , , 0 , , lim ＝ ( ) ( ) [ ] dx t f x x t f x t t ∫a b ∆ + ∆ − ∆ →0 , , , lim ＝ ( ) ( ) [ ] dx f x x f x t a b n n n ∫ + − →∞ , , , lim α α （α n → 0，n→∞） 则由微分中值定理知：ョ 0≤θn ≤1 满足 f n (x,t)＝ ( ) () n n f x x f x t α , +α − , ＝|f t '(x,t＋θn αn )|≤F(x)，由控制收敛定 理知 ( ) ( ) [ ] dx f x x f x t a b n n n ∫ + − →∞ , , , lim α α ＝ ( ) ( ) [ ] dx f x x f x t a b n n n ∫ + − , →∞ , , lim α α 即 dt d ∫[ ] a,b f(x,t)dx＝∫[ ] a,b f t '(x,t)dx，证毕。 本来，（L）积分定义已经给出了计算积分的具体步骤，然而对大部分积分 而言，沿着此步骤非常繁琐，在此我们介绍一些有用的工具和技巧。 例 5．2．1 设 R（x）＝ [ ] ( ) [ ] ∈ = = 为 中的无理数。 且 0, 0,1 , 0,1 , , 1, 1 x n m m n x x m ，求∫[ ] 0,1 R（x）dx ＝？ 解：因为 R（x）＝0a.e 于［0，１］，于是∫[ ] 0,1 R（x）dx＝∫[ ] 0,1 0dx＝0
定理5.2.7设f(x)在[a,b]上连续,则f(x)在[a,b]上可积且 1)存在∈[a,b满足[fdx=(b-a)f(5) fdx=F(b)-F(a),其中F(x)为f(x)的任一原函数。 证明因为f(x)在[a,b]上连续,所以f在测度有限集[a,b]上有界可测,所 以可积 1)设M=maxf(x),m=minf(x),则m(b-a)≤[fdx≤M(b-a),即 m≤≤M,由连续函数介值定理知:存在∈[a,b]满足 f() 2)令G(x) fdx,则 -L:/(M0M Ax f(dt 由1)知:存在5∈[x+Ax]满足=f(5故 f(dr lim lim Ji, t+arl/(dr lim f(S )=f(x), Ax→0 即G(x)=f(x),同理G′(x)=f(x),所以G(x)=f(x),即F(x)=G(x)+C, 其中C=F(a)。证毕 例5.2.2设()={5mxx为中的无理数,求[r(x)d 为p]中的有理数 解因为f(x) a.e于[0,1] Lcos1-cos0=1-cos1
定理５.2.7 设 f(x)在[a,b]上连续，则 f(x)在[a,b]上可积且 1）存在ξ ∈[a,b]满足∫[ ] a,b fdx＝（b-a）f(ξ ) 2) ∫[ ] a,b fdx＝F（b）- F(a),其中 F（x）为 f(x)的任一原函数。 证明 因为 f(x)在[a,b]上连续，所以 f 在测度有限集[a,b]上有界可测，所 以可积。 1）设 M= x [ ] a,b max ∈ f(x)，m= x [ ] a,b min ∈ f(x),则 m(b-a)≤∫[ ] a,b fdx≤M(b-a),即 m≤ [ ] b a fdx a b − ∫ , ≤M，由连续函数介值定理知：存在ξ ∈[a,b]满足 [ ] b a fdx a b − ∫ , ＝f(ξ )， 即∫[ ] a,b fdx＝（b-a）f(ξ )。 2）令 G（x）＝∫[ ] a,x fdx，则 ( ) ( ) [ ] [ ] x f t dt f t dt a x x x a ∆ − ∫ ∫ , , +∆ ＝ ( ) [ ] x f t dt x x x ∆ ∫ , +∆ 由 1）知：存在 [ ] x x x ξ ∆x ∈ , + ∆ 满足 ( ) [ ] x f t dt x x x ∆ ∫ , +∆ = f(ξ ∆x ),故 () () [ ] [ ] x f t dt f t dt a x x x a x ∆ − ∫ ∫ +∆ ∆ → , , 0 lim ＝ 0 lim ∆x→ ( ) [ ] x f t dt x x x ∆ ∫ , +∆ ＝ 0 lim ∆x→ f(ξ ∆x )=f(x)， 即 G’(x + )＝f(x),同理 G’(x − )＝f(x)，所以 G’(x)=f(x),即 F（x）＝G(x)+C, 其中 C=F(a)。证毕 例５．2．２ 设 f(x)＝ [ ] [ ] 为 中的有理数 为 中的无理数 arctan , 0,1 sin , 0,1 2 x x x x ，求∫[ ] 0,1 f（x）dx ＝？ 解 因为 f（x）＝sin x a.e 于［０，１］，∫[ ] 0,1 f（x）dx＝∫[ ] 0,1 sinxdx ＝-[cos1-cos0]＝1-cos1
定理5.2.8设f(x)在[a,b]上(R)可积,则f(x)在[a,b]上(L)可积,且(L) la, b] 证明记E=[a,b],由f(x)在E上(R)可积知:存在实数M,M2使得 M≤f(x)≤M2,相应于每个自然数n,将[a,b]分成2”等份,得到分划 Tn:a=x) s(f,T,)=M[x-e]= 显然,gn≤gm≤≤f(x)≤≤hn≤hn,令 g(x)= lim g(x),h(x)=limh,(x),则g(x)≤f(x)≤h(x)且
定理５.2.8 设 f(x)在[a,b]上(R)可积，则 f(x)在[a,b]上(L)可积，且 (L) ∫[ ] a,b fdx＝(R) ∫ b a fdx。 证明 记 E＝[a,b]，由 f(x)在 E 上(R)可积知：存在实数 M1，M 2 使得 M1≤f(x)≤M 2 ，相应于每个自然数 n，将[a,b]分成 2 n 等份，得到分划 T n ：a＝ ( ) n x0 ＜ ( ) n x1 ＜ (n) x2 ＜...＜ (n) x n 2 ＝b, ∥T n ∥＝ n 1 i 2 max ≤ ≤ [x i -x i−1 ]─→0 (n→∞) 作相应的简单函数 g n (x)＝ ( ) () () () ( ] ∈ = − n i n i n i m x x x f a x a , , , , 1 k=1,2,...,2 n h n (x)＝ ( ) () () () ( ] ∈ = − n i n i n i M x x x f a x a , , , , 1 k=1,2,...,2 n 其中 ( ) n mi ＝inf{f(x)｜x∈[ ( ) (n) i n i x , x −1 ]}， (n) Mi ＝sup{f(x)｜x∈[ () () n i n i x , x −1 ]} 则在分划 T n 下的 Darboux 小和、大和分别为： s(f,T n )＝∑= n i 2 1 ( ) n mi [ (n) i x - (n) i x −1 ]＝∫E g n dx， S(f,T n )＝∑= n i 2 1 ( ) n Mi [ (n) i x - (n) i x −1 ]＝∫E h n dx 显然，g n ≤g n+1 ≤...≤f(x)≤...≤h n+1 ≤h n ，令 g(x)＝n→∞ lim g n (x)，h(x)＝n→∞ lim h n (x)，则 g(x)≤f(x)≤h(x)且
sn(T)=gdk≤()∫fdx≤h,d=s,,T,) 于是 0≤-8d≤-gn]d=S(,T,)-s(r,T,)-0(m2) g(x)=h(x)a.e于[a,b],所以f(x)=h(x)a.e于[a,b],从而f(x)在E上 有界可测, L Ja/ fdx=(LL gdx=lim (L),g,dx = lim s(f,Tn)=(R)「fdx,证毕 定理5.2.9设f(x)在[a,+∞)上定义的函数,当t∈(a,+∞)时,f(x) 在[a,t]上(R可积,则f(x)在[a,+∞]上①L)可积=>f(x)在[a,+∞]上广义 (R)可积,且(L) fdx=(广义R) fd 证明1)若f(x)在[a,+∞]上的非负函数,则 令()=(当re E,=a, a+nl 则Levi定理知 0,当x∈{a+∞)-En, ,∞) fdx=lm(L)∫fn lim(R) fndx=(广义R 从而f(x)在[a,+∞)上(L)可积f(x)在[a,+∞)上广义(R)可积,而 fn(x)|≤|f(x)|由控制收敛定理知
s n (f,T n )＝∫E g n dx≤(R) ∫ b a fdx ≤∫E h n dx＝S n (f,T n ) 于是 0≤∫[ ] a,b [h－g]dx≤∫ b a [h n －g n ]dx＝S(f,T n )－s(f,T n )─→0(n→∞), g(x)＝h(x) a.e 于[a,b]，所以 f(x)＝h(x) a.e 于[a,b]，从而 f(x)在 E 上 有界可测， (L) ∫[ ] a,b fdx＝(L) ∫[ ] a,b gdx＝n→∞ lim (L) ∫[ ] a,b g n dx ＝n→∞ lim s(f,T n )＝(R) ∫ b a fdx,证毕. 定理５.2.9 设 f(x)在[a,＋∞)上定义的函数，当 t∈(a,＋∞)时，f(x) 在[a,t]上(R)可积，则 f(x)在[a,＋∞]上(L)可积|f(x)|在[a,＋∞]上广义 (R)可积，且 (L) ∫[a,∞) fdx＝(广义 R) ∫[a,∞) fdx 证明 1)若 f(x)在[a,＋∞]上的非负函数，则 令 ( ) ( ) [ ] [ ) ∈ +∞ − ∈ = + = 0, , , , , , n n n x a E f x x E a a n f x 当 当 , 则 Levi 定理知： (L) ∫[a,∞) fdx＝n→∞ lim (L)∫∫[a,∞) f n dx ＝n→∞ lim (R) ∫[ ] a,a+n f n dx＝(广义 R) ∫[a,∞) fdx 从而 f(x)在[a,＋∞)上(L)可积f(x)在[a,＋∞)上广义(R) 可积 2)若 f(x)在[a,＋∞)上的一般函数，则因为当 t∈(a,＋∞)时，f(x)在 [a,t]上(R)可积，则 f(x)在[a,t]上可测，即 f(x)在[a,＋∞)＝U ∞ n=1 [a,a+n]上 可测，而 f(x)在[a,＋∞)上(L)可积|f(x)|在[a,＋∞)上(L)可积，又由 1] 知：|f(x)|在[a,＋∞)上(L)可积|f(x)|在[a,＋∞)上广义(R)可积，而 |f n (x)|≤|f(x)|由控制收敛定理知：
)L。)fx=m)[2)f,赵 lim(r) fdx=(广义R) fdx,证毕 对于瑕积分,同理可证类似的下述结果: 定理5.2.10设f(x)在[a,b)上定义的函数,b为f的暇点,当t∈(a,b 时,f(x)在[a,t上(R)可积,则f(x)在[a,b)上(L)可积<=〉|f(x)在[a,b)上(R 瑕积分有限,且(D),f=(R)L,fdx ,x为(O]中的无理数 例5.2.3设f(x)={2,x为(+∞)的无理数, arctan x2,x为(o中的有理数, pel(+x2)x为(+x)中的有理数 求 f (x) dx x∈(0 解设g(x)={x ,则f(x)=g(x)a.e于(0,+∞),所以 ∈(+∞) f (x dx m/8(x) dx=lim/rI dx= 3 由此可见例5.2.1的方法与定理3.3.1相结合是威力无穷的 定理5.2.11设f(x)定义在[a,b]上的有界函数,则f(x)在[a,b]上(R)可 积<=)f(x)在[a,b]上几乎处处连续。 证明此处凡未加申明的记号均与定理5.2.8证明过程中相应记号意义相
(L) ∫[a,∞) fdx＝n→∞ lim (L) ∫[a,∞) f n dx ＝n→∞ lim (R) ∫[ ] a,a+n fdx＝(广义 R) ∫[a,∞) fdx,证毕. 对于瑕积分，同理可证类似的下述结果： 定理５.2.10 设 f(x)在[a,b)上定义的函数，b 为 f 的暇点，当 t∈(a,b) 时，f(x)在[a,t]上(R)可积，则 f(x)在[a,b)上(L)可积|f(x)|在[a,b)上(R) 瑕积分有限，且 (L) ∫[a,b) fdx＝(R 瑕) ∫[a,b) fdx 例５．2．３ 设 f(x)＝ ( ] ( ) ( ] [ ] ( ) ( ) + +∞ +∞ 为 中的有理数， 为 ，中的有理数， 为 中的无理数， 为 ，中的无理数， sin ln 1 , 1, arctan , 0 1 , 1, 1 , 0 1 1 2 2 2 e x x x x x x x x x ， 求∫( ) 0,+∞ f（x）dx＝？ 解 设 g(x)＝ ( ] ( ) ∈ +∞ ∈ , 1, 1 , 0,1 1 2 x x x x ，则 f(x)＝g(x)a.e 于（０，＋∞ ），所以 ∫( ) 0,+∞ f（x）dx＝∫( ) 0,+∞ g（x）dx＝ + ∫ ∫ →∞ 1 1 1 2 1 1 lim n n n dx x dx x ＝３。 由此可见例 5．2．１的方法与定理３．３．１相结合是威力无穷的． 定理 5.2.11 设 f(x)定义在[a,b]上的有界函数，则 f(x)在[a,b]上(R) 可 积f(x)在[a,b]上几乎处处连续。 证明 此处凡未加申明的记号均与定理 5.2.8 证明过程中相应记号意义相 同
=>”,由定理5.2.6知:令E=[a,b],mE[h≠g]=0,记T的分点全体 为En,则皿n=0,对vx∈E-E[h≠g]-UEn,对vε>0,彐n,hn-g e,3i,x∈(x-,x),令8=min(x 当|x-x|0,存在8>0,1x-x|0,3N,∥Tx∥N时,更有hn(x)-gn(x)|≤ε,则h(x)=f(x)=g(x), 即h=f=ga.e与E,由有界控制收敛定理知: imsn(,Tn)=lim①)J。gndx=()Jgd =(L. hdx=lim(L)I. h, dx=limIn (f, T, n→a 故f(x)在[a,b]上(R)可积。证毕 在此我们欣慰地看到我们成功地应用 Lebesgue测度与积分这块他山之石, 攻破了 Rieman积分本身无法回答的“函数 Rieman可积的本质特征是什么?”这 块玉
“＝>”，由定理 5.2.6 知：令 E＝[a,b]，mE[h≠g]＝0，记 T n 的分点全体 为 E n ，则 mE n ＝0，对∀ x∈E－E[h≠g]－U ∞ n=0 E n ，对∀ ε＞0，∃n，|h n －g n | ＜ε，∃i 0，x∈(x n i0 −1 ,x n i0 )，令 δ＝min(x-x n i0 −1 ,x n i0 -x)， 当|x－x'|＜δ 时，|f(x)－f(x')|≤|h n (x)－g n (x)|＜ε，故 f 在 x 处连续， 从而 f(x)在[a,b]上几乎处处连续。 “<＝”令 E 0＝｛x｜x∈[a,b]，且 f 在 x 处间断｝，则 mE 0＝0，对任意 x∈E －U ∞ n=1 E n ，对任意 ε＞0，存在 δ＞0，|x－x'|＜δ 时，|f(x)－f(x')|＜ε， 对此 δ＞0，ョ N，∥T N ∥＜δ，存在 i 0，x∈(x N i 1 0 − ,x N i0 )，所以对任意 x'∈(x N i 1 0 − ,x N i0 )有|f(x)－f(x')|＜ε，即 f(x)－ε＜f(x')＜f(x)＋ε，|h N (x) －g N (x)|≤ε，当 n＞N 时，更有|h n (x)－g n (x)|≤ε，则 h(x)＝f(x)=g(x)， 即 h＝f=g a.e 与 E，由有界控制收敛定理知： n→∞ lim s n (f,T n )＝n→∞ lim (L) ∫E g n dx＝(L) ∫E gdx ＝(L) ∫E hdx＝n→∞ lim (L) ∫E h n dx＝n→∞ lim S n (f,T n ) 故 f(x)在[a,b]上(R)可积。证毕 在此我们欣慰地看到我们成功地应用 Lebesgue 测度与积分这块他山之石， 攻破了 Rieman积分本身无法回答的“函数 Rieman可积的本质特征是什么？”这 块玉