實變函數(shù)-53new第五節(jié)Lesbesgue積分與Riemann關(guān)系

第五章分第五節(jié)第五節(jié)Lesbesgue積分與Riemannnbaf(x)dxlimf(i||T||0((L)f(x)dx[a,b]niiixi-xi-)f(x)Riemann可積當(dāng)且僅當(dāng)f(x的不連續(xù)點全體為

0分割T，使得ixinnbaf(x)dxlimMin||T||0||T||0nmixibafMMisup{f(x):xi1xxi}miinf{f(x):xi1xxi}iMi 對[a,b]作分劃|T

|max{x(n)

(n)

1

lim|T(n)

|ix:ix:

xi- Darboux下積分

(n)

(n)

(n)

(x)dx

lim

(xi

xi1T(T(n):ax(n)x(n)x(n)x(n)012nM(n)sup{f(x):x(n)xx(n)}iim(n)inf{f(x):x(n)xx(n)}iibaf(x)dxnM(n)(xi (n)(n)i1

bbbb

(x)dx

f(x)dx

f

(x)dx

xi- 又對任意實數(shù)t{xE:(x)

為閉集故ω(x)為[a,b]上的可測函數(shù)，從而ω(x)L可積xxx對[a,b]作分劃序xxx

引理的證T(n)

:a

(n)

(n)

(n)

(n)xknxk

n|T(|T(n)|max{x(n)x(n)i1iknlim|T(n)|M(n)im(n)x(x(n),x(n)T(n(x)iii1,2,3,,knx是T(n)的分n

xi- 令Ex令Ex[ab]:x是T(nn1,2,3,)},則mE0,且limT(n)(x)(x),x[a,b]令A(yù)B為f(x)[ab]上的上、下則對一切n有|n)(x|BA,由控制收斂定理可T[a,b]T(n(x)dx[a,b](x)dx,xi- [a[a,b]T(n(x)dx[a,b](x)dx,另一方lim[a,b]T(n(x)dxkn(M(n)i(n)(n)i)(xi(n))M(n)(x(n)ix(n))m(n)(n)i(xi(n))baf(x)dx bf(x)dxxi- Riemann可積的內(nèi)在

證明：若f(x)Riemann可積,則f(x)bDarboux上、下積分相等b從 []b

xdxbab

xfdx

xf故(x)[ab]又(x)故(x)在[ab]上幾乎處從而f(x)在[a,b]上的不連續(xù)點全體為零測度集上述過程反之也成立引理：設(shè)f(x)是E上有限實函數(shù)，則f(x)在x0∈E(L)f(x)dx(L)f(x)dx(R)[a,b]baf(x)dx定理：若f(x)在[a,b]上Riemann可積，則f(x)[a,b]上Lebesgue可積，f(x)在[a,b]上Riemann可積，Lesbesgue積分與RiemannT:a

xn [a,b]f(x)dx[nf(x)dx ,x另m(xi1x)i[f(x)dxM(x ,xi1xi sup{f(x):xi1xxi inf{f(x):xi1xxi根據(jù)Lesbesgue積分的可加性，我們 另外mi

xi)

,x

f(x)dx

Mi

xi其中M

sup{f(x):xi1

xi

miinf{f(x):xi1x

從而從而mi(xi1xi[a,b]f(x)dxMi(xi1xinn[a,b]f(x)dxbaf(x)dxbaf(x)dxxi- (R)1x1(1x2)解解令f(xnx2(1x2,x則fn

[1,1](1x2xdx1(1x212x從而dxn2 x2[(L)例 例n141312證明ln21(1x)(x2x3)(x2n2x2n1),0x11n解：令f(xx2n2x2n1x(0,1nnfn

(0,1)1 dx(L)f(x)dxnf(x)dxn(R) f1n0(R) (x12n20( 1)2n11121314n另外另外(0,1)1 dx(R)1 dxln01例Dirichlet函數(shù)不Riemann可 D(x)

Riemann函數(shù)Riemann可

( 0f(x)dx0f(x)dx2f(x)sinxx155例：f(x)有暇積分但不Lebesgue可(1)n1

xf(x)

x0

((R)10f(x)dx1ln 意實數(shù)c(0≤c≤1)總有那么f(x)=0a.e.于[0,c]f(x)dx證明：證明：由c[0,1[0,c]f(x)dx故故a，b[0,1ab有(a,b)f(x)dx(0,b)f(x)dx(0,a]f(x)dx若結(jié)若結(jié)論不成立，則E0,1]，mE且在E上的f(x)0，不妨令f(x)在E上大于證明（續(xù) f(x)dx f(x)dx

xfdxGxfdx),(xfdxFxfdx所以f(x)=0a.e.于第五章分Lesbesgue積分的幾何意義與Fubini我們定義Lebesgue積分的初衷之一是求函數(shù)下方圖形G(f,E)(以非負(fù)函數(shù)形G(f,E)是可測集，因本身不是可測函數(shù)的f而未定義積分值呢？為此，我們先

(x,

y)dxdy

f

f(x,

[a,b][c,d

badcf(x,badcf(x,定理1設(shè)ERpq

是可測集， 對Rp中幾乎所有的x，Ex是Rq中的可測（其中Ex{y|xy)m(E)

m(Ex證明參

AB定理2：設(shè)A,B分別是Rp和Rq中的可測集則A×B是Rp+q中的可測集且m(AB)mA

證明參 定理3設(shè)f(x)為可測集ERn上的非負(fù)函數(shù)G(E;f)={(x,y)|x∈E，0≤yf(x)}

Ef(x)dxmG(E;f證明參

f(p)