Riemann Integral and Bounded function. Ng Tze Beng

Similar documents
Second Mean Value Theorem for Integrals By Ng Tze Beng. The Second Mean Value Theorem for Integrals (SMVT) Statement of the Theorem

Review of the Riemann Integral

Week 13 Notes: 1) Riemann Sum. Aim: Compute Area Under a Graph. Suppose we want to find out the area of a graph, like the one on the right:

Chapter 5. The Riemann Integral. 5.1 The Riemann integral Partitions and lower and upper integrals. Note: 1.5 lectures

B. Examples 1. Finite Sums finite sums are an example of Riemann Sums in which each subinterval has the same length and the same x i

Riemann Integral Oct 31, such that

Sequence and Series of Functions

General properties of definite integrals

Convergence rates of approximate sums of Riemann integrals

Linford 1. Kyle Linford. Math 211. Honors Project. Theorems to Analyze: Theorem 2.4 The Limit of a Function Involving a Radical (A4)

( ) dx ; f ( x ) is height and Δx is

POWER SERIES R. E. SHOWALTER

MA123, Chapter 9: Computing some integrals (pp )

f(t)dt 2δ f(x) f(t)dt 0 and b f(t)dt = 0 gives F (b) = 0. Since F is increasing, this means that

f(bx) dx = f dx = dx l dx f(0) log b x a + l log b a 2ɛ log b a.

Math 104: Final exam solutions

FOURIER SERIES PART I: DEFINITIONS AND EXAMPLES. To a 2π-periodic function f(x) we will associate a trigonometric series. a n cos(nx) + b n sin(nx),

The Definite Riemann Integral

n 2 + 3n + 1 4n = n2 + 3n + 1 n n 2 = n + 1

Approximate Integration

Convergence rates of approximate sums of Riemann integrals

MATH 104 FINAL SOLUTIONS. 1. (2 points each) Mark each of the following as True or False. No justification is required. y n = x 1 + x x n n

Limit of a function:

{ } { S n } is monotonically decreasing if Sn

0 otherwise. sin( nx)sin( kx) 0 otherwise. cos( nx) sin( kx) dx 0 for all integers n, k.

1.3 Continuous Functions and Riemann Sums

Certain sufficient conditions on N, p n, q n k summability of orthogonal series

The Definite Integral

Chapter 7 Infinite Series

Review of Sections

We will begin by supplying the proof to (a).

AN INEQUALITY OF GRÜSS TYPE FOR RIEMANN-STIELTJES INTEGRAL AND APPLICATIONS FOR SPECIAL MEANS

UNIVERSITY OF BRISTOL. Examination for the Degrees of B.Sc. and M.Sci. (Level C/4) ANALYSIS 1B, SOLUTIONS MATH (Paper Code MATH-10006)

EVALUATING DEFINITE INTEGRALS

MATH 104: INTRODUCTORY ANALYSIS SPRING 2008/09 PROBLEM SET 10 SOLUTIONS. f m. and. f m = 0. and x i = a + i. a + i. a + n 2. n(n + 1) = a(b a) +

The Basic Properties of the Integral

10.5 Power Series. In this section, we are going to start talking about power series. A power series is a series of the form

18.01 Calculus Jason Starr Fall 2005

MATH 104: INTRODUCTORY ANALYSIS SPRING 2009/10 PROBLEM SET 8 SOLUTIONS. and x i = a + i. i + n(n + 1)(2n + 1) + 2a. (b a)3 6n 2

Chapter 5. Integration

Section IV.6: The Master Method and Applications

Crushed Notes on MATH132: Calculus

( a n ) converges or diverges.

Reversing the Arithmetic mean Geometric mean inequality

The Reimann Integral is a formal limit definition of a definite integral

Basic Limit Theorems

Course 121, , Test III (JF Hilary Term)

Definite Integral. The Left and Right Sums

4. When is the particle speeding up? Why? 5. When is the particle slowing down? Why?

Approximations of Definite Integrals

MAS221 Analysis, Semester 2 Exercises

The Weierstrass Approximation Theorem

Mathacle. PSet Stats, Concepts In Statistics Level Number Name: Date:

Notes 17 Sturm-Liouville Theory

Linear Programming. Preliminaries

Homework 2 solutions

3.7 The Lebesgue integral

ALGEBRA. Set of Equations. have no solution 1 b1. Dependent system has infinitely many solutions

REAL ANALYSIS STUDY MATERIAL. B.Sc. Mathematics VI SEMESTER CORE COURSE. (2011 Admission) UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION

Riemann Integration. Chapter 1

f ( x) ( ) dx =

GRAPHING LINEAR EQUATIONS. Linear Equations. x l ( 3,1 ) _x-axis. Origin ( 0, 0 ) Slope = change in y change in x. Equation for l 1.

1. (25 points) Use the limit definition of the definite integral and the sum formulas to compute. [1 x + x2

Infinite Series Sequences: terms nth term Listing Terms of a Sequence 2 n recursively defined n+1 Pattern Recognition for Sequences Ex:

Probability for mathematicians INDEPENDENCE TAU

8.1 Arc Length. What is the length of a curve? How can we approximate it? We could do it following the pattern we ve used before

12.2 The Definite Integrals (5.2)

Important Facts You Need To Know/Review:

Probability and Stochastic Processes: A Friendly Introduction for Electrical and Computer Engineers Roy D. Yates and David J.

Chapter 6 Infinite Series

Multiplicative Versions of Infinitesimal Calculus

1 Tangent Line Problem

MATH 118 HW 7 KELLY DOUGAN, ANDREW KOMAR, MARIA SIMBIRSKY, BRANDEN LASKE

Test Info. Test may change slightly.

Remarks: (a) The Dirac delta is the function zero on the domain R {0}.

THE NATIONAL UNIVERSITY OF IRELAND, CORK COLÁISTE NA hollscoile, CORCAIGH UNIVERSITY COLLEGE, CORK SUMMER EXAMINATION 2005 FIRST ENGINEERING

4.1 Bounded integral.

lecture 16: Introduction to Least Squares Approximation

MTH 146 Class 16 Notes

BRAIN TEASURES INDEFINITE INTEGRATION+DEFINITE INTEGRATION EXERCISE I

is infinite. The converse is proved similarly, and the last statement of the theorem is clear too.

the midpoint of the ith subinterval, and n is even for

Math1242 Project I (TI 84) Name:

Taylor Polynomials. The Tangent Line. (a, f (a)) and has the same slope as the curve y = f (x) at that point. It is the best

[ 20 ] 1. Inequality exists only between two real numbers (not complex numbers). 2. If a be any real number then one and only one of there hold.

ANALYSIS HW 3. f(x + y) = f(x) + f(y) for all real x, y. Demonstration: Let f be such a function. Since f is smooth, f exists.

M3P14 EXAMPLE SHEET 1 SOLUTIONS

INTEGRATION TECHNIQUES (TRIG, LOG, EXP FUNCTIONS)

SUTCLIFFE S NOTES: CALCULUS 2 SWOKOWSKI S CHAPTER 11

FACULTY OF MATHEMATICAL STUDIES MATHEMATICS FOR PART I ENGINEERING. Lectures

The Regulated and Riemann Integrals

INFINITE SERIES. ,... having infinite number of terms is called infinite sequence and its indicated sum, i.e., a 1

Integration. Table of contents

Numerical Solutions of Fredholm Integral Equations Using Bernstein Polynomials

Repeated Root and Common Root

The total number of permutations of S is n!. We denote the set of all permutations of S by

A VERSION OF THE KRONECKER LEMMA

MAT Analysis II. Notes on Measure Theory. Table of Contents. Riemann, We Have a Problem. Wm C Bauldry. Henri Léon Lebesgue ( )

10.5 Test Info. Test may change slightly.

Section 6.3: Geometric Sequences

Transcription:

Riem Itegrl d Bouded fuctio. Ng Tze Beg I geerlistio of re uder grph of fuctio, it is ormlly ssumed tht the fuctio uder cosidertio e ouded. For ouded fuctio, the rge of the fuctio is ouded d hece y suset of the rge is lso ouded. A cosequece of this d lso of the completeess of the rel umers is tht supremum d ifimum exist for y suset of the rge. This mes upper Riem sum d lower Riem sum with respect to y prtitio c e defied. Aother cosequece of the oudedess of the fuctio is tht the set of ll upper Riem sum is ouded elow d so we hve the the existece of the ifimum of tht set d this is the Upper Riem Itegrl of the fuctio. It is lso cosequece of the oudedess of the fuctio tht the set of ll lower Riem sum is ouded ove d so we hve the existece of the supremum of this set d this is the Lower Riem Itegrl. This is the mechism ehid the meig of the Riem itegrl. The (ouded) fuctio is the sid to e Riem itegrle, if d oly if, the lower d upper Riem itegrls re the sme. The the defiitio of Riem itegrl i terms of the usul Riem sum follows, though ot so esily, s cosequece of the ove. The questio is the sked: Wht out uouded fuctio? Do we hve sesile geerlistio of the re i this cse? We cot use the completeess property of the rel umers. Becuse suset ot ouded ove does ot hve supremum d suset ot ouded elow does ot hve ifimum, for uouded fuctios lower d upper Riem sums cot e defied. Eve if the domi is closed d ouded itervl d the fuctio is defied o this itervl ut ot ouded ove sy, Riem sum for y prtitio c e ritrrily lrge. We c oserve this s follows. Tke y prtitio P: = x 0 < x 1 <... < x = with ritrry orm P. Let A = mi {x i x i-1 : i = 1,..., } Tke Riem sum f ( i )(x i x i1 ) =K, where i c [x i1,x i ]. The let F =mx{f( i ):,...,}. We shll show tht for y Lrge N > K, if f is ot ouded ove, we c fid Riem sum S with respect to the sme prtitio P such tht S > N. Sice f is ot ouded ove, there exists c i [, ] such tht f (c) > N K. A +F The c is i [x j-1, x j ] for some j, 1[j[. The the Riem sum S = i!j f ( i )(x i x i1 ) +f (c)(x j x j1 ) = f ( i )(x i x i1 ) + (f (c) f ( j ))(x j x j1 ) >K + ( N K. A +Ff ( j))(x j x j1 )mk + ( N K A )(x j x j1 )mk +NK =N Similrly, if f is ot ouded elow we c fid ritrrily egtively lrge Riem sum with respect to the sme prtitio P. No mtter how smll the orm of the prtitio, if the fuctio is uouded, the correspodig set of Riem sum is uouded. Therefore, there does ot exists umer L such tht give y ε > 0, we c fid δ > 0 such tht for y prtitio P with orm P < δ, d for y Riem sum S with respect to P, S L < ε. This cosidertio shows ffirmtively tht y fuctio tht is ot ouded CANNOT e Riem itegrle. But some uouded fuctio do hve fiite re. It is difficult to geerlise here. But for fuctios with oe or two discotiuity where the left or right limits is either + or, we c tlk out the existece of improper (Riem) itegrl. For Ng Tze Beg 2001 1

istce, for the fuctio f (x) = 1/ x,x >0, the re uder the grph etwee x = 0 d 0,x =0 1 1 x =1 is give y lim. We c similrly cosider fuctios with td0 + t f (x)dx =td0 lim 2 x + t =2 fiite umer of such discotiuities. Riem Itegrility Theorem 1. For ouded fuctio f:[,]drthe followig sttemets re equivlet. 1. The upper d lower Riem itegrls re the sme. 2. Give ε > 0, there exists prtitio P for the itervl [, ] such tht the differece U(P) L(P) <ε, where U(P) is the upper Riem sum d L(P) is the lower Riem sum with respect to P for f. 3. f is Riem itegrle, i.e., there exists umer L such tht give y ε > 0, we c fid δ > 0 such tht for y prtitio P for [, ] with orm P < δ, d for y Riem sum S with respect to P, S L < ε. Proof. (1) if d oly if (2) is esy. (3) (2). Assume f is Riem itegrle. Give ε > 0, the for y prtitio P for [, ] with orm P < δ, d for y Riem sum S with respect to P, S L < ε/4. Let T ={ Riem sum S: S hs the sme prtitio P}. The for y S i T, L ε/4< S < L + ε/4. Suppose P: = x 0 < x 1 <... < x = with P < δ. Let M i = sup{ f (x): x [x i-1, x i ]} for i = 1,...,. The for ech i, 1 i, there exists c i i [x i-1, x i ] such tht f (c i ) > M i. The 4( ) f (c i )(x i x i1 ) >(M i, 4( ) )(x i x i1 ) =M i (x i x i1 ) 4 =U(P) 4 where U(P) is the upper Riem sum with respect to the prtitio P. Therefore, U(P) <f (c i )(x i x i1 ) +. Now let m i = if{ f 4 <L + 4 + 4 =L + 2 (x): x [x i-1, x i ]} for i = 1,...,. The for ech i, 1 i, there exists d i i [x i-1, x i ] such tht f (d i ) < m i +. The 4( ) f (d i )(x i x i1 ), <(m i + 4( ) )(x i x i1 ) =m i (x i x i1 ) + 4 =L(P) + 4 where L(P) is the lower Riem sum with respect to the prtitio P. Thus, L(P) >f (d i )(x i x i1 ). 4 >L 4 4 =L 2 Therefore, U(P) L(P) < ε. Hece (2) follows. (1) (2). Suppose the lower itegrl f is the sme s the upper itegrl _ f. The y the defiitio of the lower itegrl, give ε > 0, there exists prtitio P such tht the lower sum L(P, f ) > f. Similrly y the defiitio of the upper 2 itegrl, there exists prtitio Q such tht the upper Riem sum U(Q, f ) < _ f + 2. Let R e the prtitio P4Q, the Ng Tze Beg 2001 2

f. 2 <L(P, f )[L(P4Q, f )[U(P4Q, f )[U(Q, f ) < _ f + 2 Thus, sice f. So R is the U(P4Q, f ) L(P4Q, f ) < _ f + 2 f + 2 = _ f = required prtitio. Coversely, if for y ε > 0, there exists prtitio R such tht U(R, f ) L(R, f ) <, the _ f [U(R, f ) <L(R, f ) +[ f +. Therefore, _ f < f +for y ε > 0. Thus, _ f[ f. But sice for y prtitio Q, L(P, f )[U(Q, f ), L(P, f )[ _ f _ f ecuse is the ifimum of ll the upper Riem sums. The f f[ _ f _ f = is the supremum of ll the lower Riem sums. Therefore, f. (1)d (2)u(3) sice Give ε > 0, there exists prtitio P : = x 0 < x 1 <... < x L = with L > 1 such tht U(P, f ) L(P, f ) <. Let K = mi {x i x i-1 : i = 1,..., L }. Now sice f is 2 ouded, there exists M > 0 such tht f(x) <M. Let R: = y 0 < y 1 <... < y N = e y prtitio such tht æræ <, where =mi(k,. The ecuse 2(2ML +1) ) æræ <K, N > L d for ech i = 1,2,.., L1 there exist 1[j i [N 1such tht y ji 1[x i <y ji. Let I = {j i :,...,L 1}.The for y Riem sum with respect to the prtitio R, N f ( i )(y i y i1 ), where i c [y i1,y i ], L1 f ( ji )(y ji y ji 1) = i"i f ( i )(y i y i ) + =f ( i )(y i y i ) + L1 f (x i )(y ji y ji 1) + L1 (f ( ji ) f (x i ))(y ji y ji 1) i"i =f ( i )(y i y i ) + L1 f (x i )(y ji x i ) + L1 f (x i )(x i y ji 1) i"i + L1 (f ( ji ) f (x i ))(y ji y ji 1). Note tht the rcketed term is Riem sum S for the prtitio R4P. Thus N f ( i )(y i y i1 ) =S + L1 (f ( ji ) f (x i ))(y ji y ji 1) <U(R4P,f) + L1 2M(y ji y ji 1)[U(P,f) + L1 2M(y ji y ji 1) <L(P,f) + 2 + 2 L1 MæRæ < f + 2 +2ML æræ < f + sice. 2 +2ML [ f + æræ < [ 2(2ML +1) 2(2ML +1) Also N f ( i )(y i y i1 ) =S + L1 (f ( ji ) f (x i ))(y ji y ji 1) ml(r4p,f) + L1 (f ( ji ) f (x i ))(y ji y ji 1) ml(p,f) + L1 (f ( ji ) f (x i ))(y ji y ji 1) >U(P,f ) 2 L1 2M(y ji y ji 1) >U(P,f ) 2 2 L1 MæRæ > _ f 2 2ML æræ > _ f 2 2ML. 2(2ML +1) = _ f Ng Tze Beg 2001 3

_ f = Sice f =L, N f ( i )(y i y i1 ) L <. Thus for y prtitio R with orm æræ < d for y Riem sum S with respect to R, S L <. Cosequece of Theorem 1. Theorem 2. Suppose f : [, ] R is rel vlued fuctio. If f is Riem itegrle o [, ], the for y c i [, ], f is Riem itegrle o [, c] d o [c, ]. Proof. Fix ε > 0. The sice f is Riem itegrle o [, ], y Theorem 1, there exists prtitio P : = x 0 < x 1 <... < x = such tht the differece of the upper d lower Riem sum, U(P) L(P) < ε, --------------------- (1) where U(P) =M i (x i x i1 ), M i = sup{ f (x): x [x i-1, x i ]}, L(P) =m i (x i x i1 ), m i = if{ f (x): x [x i-1, x i ]}. The sice for y refiemet Q of P, tht is y prtitio Q of [, ] such tht P Q, U(Q) U(P) d L(P) L(Q), we hve tht the differece U(Q) L(Q) < U(P) L(P) < ε. Νow if c = or we hve othig to prove. We ow ssume < c <. If c is ot poit of P, the dd c to P d replce P y this ew prtitio d still hve the iequlity (1) stisfied. So we my, without loss of geerlity, ssume tht c is i P tht is c =x k for some 0 < k <. Suppose ow tht P is give y P : = x 0 < x 1 <... < x k = c < x k+1 < < x = The : = x 0 < x 1 <... < x k = c is prtitio for [, c] d ': x k = c < x k+1 < < x = is prtitio for [c, ]. Thus the differece of the upper d lower Riem sum over [, c] is k U( ) L( ) = (M i m i )(x i x i1 )[(M i m i )(x i x i1 ) = U(P) L(P) < ε. Therefore, y Theorem 1, f is Riem itegrle over [, c]. Similrly, U( ') L( ') = (M i m i )(x i x i1 )[(M i m i )(x i x i1 ) = U(P) L(P) < ε. i=k+1 Oce more, y Theorem 1, f is Riem itegrle over [c, ]. This proves the theorem. Corollry 3. Suppose f : [, ] R is rel vlued fuctio. If f is Riem itegrle o [, ], the for y c d d i [, ] such tht < c < d <, f is Riem itegrle o [c, d]. Proof. By Theorem 2, f is Riem itegrle o [, d] d other pplictio of Theorem 2 sys tht f is Riem itegrle o [c, d]. Theorem 4. Suppose f : [, ] R is rel vlued fuctio. If f is Riem itegrle o [, ], the f is lso Riem itegrle o [, ] d f (x)dx [ f (x) dx. Ng Tze Beg 2001 4

Proof. This is just mipultio. We eed to work with the properties of supremum d ifimum. Notice tht for y ouded suset A of R, if A = sup(a). As f is Riem itegrle, there exists prtitio, P : = x 0 < x 1 <... < x = of [, ], such tht the differece of the upper d lower Riem sum with respect to P for f, U(P, f ) L(P, f ) = (M i m i )(x i x i1 ) < ε, where M i = sup{ f (x): x [x i-1, x i ]}, d m i = if{ f (x): x [x i-1, x i ]}= sup{ f (x): x [x i-1, x i ]}. Therefore, M i m i = sup{ f (x): x [x i-1, x i ]} + sup{ f (x): x [x i-1, x i ]} = sup{ f (x) f (y): x, y [x i-1, x i ]}. Also the differece of the upper d lower Riem sum with respect to P for f is U(P, f ) L(P, f ) = (M i m i )(x i x i1 ) < ε, where M i ' = sup{ f (x) : x [x i-1, x i ]}, d m i ' = if{ f (x) : x [x i-1, x i ]}= sup{ f (x) : x [x i-1, x i ]}. Therefore, M i ' m i ' = sup{ f (x) : x [x i-1, x i ]} + sup{- f (x) : x [x i-1, x i ]} = sup{ f (x) f (y) : x, y [x i-1 - x i ]}. I fct, sice { f (x) f (y): x, y [x i-1, x i ]}, if d oly if, { f (x) f (y): x, y [x i-1, x i ]}, M i m i = sup{ f (x) f (y) : x, y [x i-1, x i ]}. Similrly, M i ' m i ' = sup{ f (x) f (y) : x, y [x i-1, x i ]}. Now sice we hve the followig iequlity tht for y, i R, - -, M i ' m i ' M i m i for i = 1,,. It follows tht U(P, f ) L(P, f ) = (M i m i )(x i x i1 ) [ (M i m i )(x i x i1 ) U(P, f ) L(P, f ) < ε. Therefore, the Riem coditio for f is fulfilled. Hece y Theorem 1, f is Riem itegrle. Now sice f f f d f is lso Riem itegrle we hve the tht f (x) dx[ f (x)dx[ f (x) dx which implies tht 4. f (x)dx [ f (x) dx We c use the ove rgumet to prove the followig.. This completes the proof of Theorem Theorem 5. Suppose f : [, ] R is rel vlued fuctio. If f is Riem itegrle o [, ], the f 2 = f f is lso Riem itegrle o [, ]. Proof. Let K = sup{ f (x) : x [, ]}. If K = 0, we hve othig to prove sice f would e the zero costt fuctio. Assume K > 0. As i the proof of the lst theorem, there exists prtitio P : = x 0 < x 1 <... < x = of [, ] such tht the differece of the upper d lower Riem sum with respect to P for f, U(P, f ) L(P, f ) = (M i m i )(x i x i1 ) < ε/(2κ ), where M i = sup{ f (x) : x [x i-1, x i ]}, d m i = if{ f (x) : x [x i-1, x i ]}. For i = 1,,, let M i ' = sup{ f 2 (x) : x [x i-1, x i ]}, d m i ' = if{ f 2 (x) : x [x i-1, x i ]}= sup{ f 2 (x) : x [x i-1, x i ]}. The for i = 1,,, Ng Tze Beg 2001 5

M i ' m i ' = sup{ f 2 (x): x [x i-1, x i ]} + sup{ f 2 (x): x [x i-1, x i ]} = sup{f 2 (x) f 2 (y): x, y [x i-1, x i ]} = sup{( f (x) f (y))(f(x) + f (y)): x, y [x i-1, x i ]} 2K sup{( f (x) f (y)): x, y [x i-1, x i ]} = 2K (M i m i ). Therefore, the differece of the upper Riem sum d the lower Riem sum with respect to P for f 2, is U(P, f 2 ) L(P, f 2 ) = (M i m i )(x i x i1 )[2K(M i m i )(x i x i1 ) 2K ε/(2κ ) = ε. Τherefore, y Theorem 1, f 2 is Riem itegrle o [, ]. A esy cosequece of the ove theorem is the followig. Corollry 6. Suppose f d g re Riem itegrle o [, ], the f g = f g is lso Riem itegrle o [, ], Proof. Note tht f g = 1/2 [( f + g ) 2 f 2 g 2 ]. The result the follows from Theorem 5. Theorem 7. Suppose f is Riem itegrle o [, ]. If there exists K > 0 such tht for ll x i [, ], f (x) K, the 1/ f is lso Riem itegrle o [, ]. Proof. Fix ε > 0. The sice f is Riem itegrle o [, ], y Theorem 1, there exists prtitio P : = x 0 < x 1 <... < x = such tht the differece of the upper d lower Riem sum, U(P, f ) L(P, f ) < εκ 2, -------------------------- (2) where U(P, f) =M i (x i x i1 ), M i = sup{ f (x): x [x i-1, x i ]}, L(P, f) =m i (x i x i1 ), m i = if{ f (x) : x [x i-1, x i ]}. The U(P, f ) L(P, f ) = (M i m i )(x i x i1 ). --------------------(3) Let M i ' = sup{1/ f (x): x [x i-1, x i ]}, d m i ' = if{1/ f (x): x [x i-1, x i ]}= sup{1/ f (x): x [x i-1, x i ]}. The for i = 1,,, M i ' m i ' = sup{1/ f (x): x [x i-1, x i ]} + sup{1/ f (x): x [x i-1, x i ]} = sup{1/ f (x) 1/ f (y): x, y [x i-1, x i ]} = sup{ 1/ f (x) 1/ f (y) : x, y [x i-1, x i ]} = sup{ f (x) f (y) / f (x) f (y) : x, y [x i-1, x i ]} sup{ f (x) f (y) / K 2 : x, y [x i-1, x i ]}, ecuse for y x i [, ], 1/ f (x) 1/ K, = sup { f (x) f (y) : x, y [x i-1, x i ]}/ K 2 = (M i m i )/ K 2. -------------------------- (4) Now U(P,1/f) =M i (x i x i1 ) d L(P,1/f), the differece of the =m i (x i x i1 ) upper d lower Riem sum with respect to P for 1 / f, U(P,1/ f ) L(P,1/ f ) = (M i m i )(x i x i1 )[1/K 2 (M i m i )(x i x i1 ), y (4), = (1/K 2 )(U(P, f ) L(P, f )), y (3), Ng Tze Beg 2001 6

< (1/K 2 )εκ 2 = ε. Hece, Riem's coditio for 1/ f is stisfied o [, ] d so y Theorem 1, 1/ f is Riem itegrle o [, ]. This completes the proof. The followig results cocerig supremum d ifimum of ouded susets re very useful d we hve used it ofte here. Let A d B e ouded susets of R. 1. If for every i A, there exists poit i B such tht, the sup A sup B. 2. sup(a + B) = sup A + sup B. 3. if A = sup ( A). 4. If k 0, the sup (k A) = k supa. Coclusio. Together with the dditivity of Riem itegrle fuctios, Corollry 6 sys tht the set of ll Riem itegrle fuctios o [, ] form commuttive rig. Ng Tze Beg 2001 7