You are on page 1of 4

0812253陳廷

Definit on of, zen content :

If a set SER haszerocontent , then for E 20 there13nitecollafm of


a

ny ,

otervals I1 ,

,
Iu st ,

0 sumof lengthofIi islessthen


SCUI O
E

∵ i λk =
x
恐 x

: o Given E 70 , 雪 NENSt . IXN XILEI8 EnIN


-

Coustruct some nterrals by


① IN =
[ x -

考,
xt 8] , length ( In) 4 -

,
so that tAn where nIN will all be covered MIN

② For n= 1 ,
2 , , N-
1
,letIn = [ xn ( N

- n
, xa) 了
+靠
,
lagh (In) =

4KN -
,

: +lngth (In

)
NL
= )

CN
) .章

Then { x
, k

. . }E 品 In and length ( in : 是 ) + C
ε
#


Cluimthat f(x ) 20 →df(x) dx ≥ 0 ,

=
Girenpartition Q, we hure O≤ La ()
f ≤ spLp (
f )
Jafx )
dx
∵ f is continolols

with Ca 2,
,

: ∴ ≡ [ ,β ] ECa b]
α ( β )
s .
t.fCx ) f() /2 > 0 FXE ( α β]
,

lam that iff (x)2 glx), then Jabf (x) dx ≥ fabgix) dx


ifx ε (x
(%
β]
debue gox)
=
.

@ lse

∴ f ( x)≥ g ( x)→ / f ( x dx Jabgix dx=


{
) 2 ) .
βfixdx
≥ inf f [ x ( β -
α)
xE [λ, B]

=
些 [β -) > O
# QED


: f is mtegrable on [ a b] ,

.
.
by depnition of Riemann
ntegral , letpartioton P
= {
a= Xocxc … cxuy <λn b}=

}
{ 為 mi
( xi - Xi iMi inf( f(x )) wherex ε (xi = , xi ①
} …

+) +

inp { " Mi (xi λi+ : Mi sup(f1)where XEIXE


-

) = , 必] } …

=
Jabfx)dx
(i ) :C >

: letP==< 些
< <<= } oudernatchangng)
… 卡 (

Consider lower sum of f. f(cx)dx :

品 { mi (
): Mi = , ) ) where x
inf ( f (1cx

ε [] } =①

similorly,ine Mi e ) where x ε [] ]
(
And ) .{ :
Mi Sp = ( f(1 ¢x ) =②
时 ⑩
9

Thus , aflx) dx ficx


f )
dxx =

li
Let P
*
=
{ -

a = -

Mo > -

xs …
> -

Xn -
. > -
xn = -

b }
Consider thelowersumofff ( x) dx - :

I
" mil I
xiJmmi
)
) - - = inf ( flx
- where xt -

(

, 1 λi ] } =①
,

xi -

xi -

And smilarly ,
upper sum of f% f(-x )dx =

hus , ifx) dx =
5 % f( x) dx 4 -

liii]
Let P '
{U -

C =
x0 CCx- CC
- … <
In , -

CcNu -

c =
b }
Consider the lover sum of fbde fcxic ) dx

suPp { milxi
( - xi -ic ) … Mi =
nfIf( xwhere
/
λ XEEX :- $ - -
λi $ }
=
(

,
- ,

)

λi -

xi - 1


。一

Smilaly , uper sum of fbdef(xxc ) dx =

Thus ,
dfix) dx fe f(xxc) dx
-

You might also like