rxiv:mth/0312293v2 [mth.ho] 16 Dec 2003 Clssicl Lebesgue Integrtion Theorems for the Riemnn Integrl Josh Isrlowitz 244 Ridge Rd. Rutherford, NJ 07070 jbi2@njit.edu Februry 1, 2008 Abstrct In this pper, we use the concept of guges to provide esy proofs (proofs tht re not difficult nd do not use ny mesure or Lebesgue integrtion theory except for the notion of mesure zero) of integrtion theorems for the Riemnn integrl tht re closely relted to clssicl Lebesgue integrtion theorems. An undergrdute mthemtics student will most likely be rigorously exposed to the Riemnn integrl, working directly with its definition nd proving vrious results bout the integrl. However, if the student goes on to tke higher courses in mthemtics, he or she will undoubtedly be exposed to the Lebesgue integrl, which compred to the Riemnn integrl, is very different nd lot hrder. Becuse of this, students sometimes hve difficult time djusting to the Lebesgue integrl nd hence, some uthors even c tht, the Lebesgue integrl is quite frnkly too difficult to be tught in n undergrdute clss. To ese this trnsition from the Riemnn integrl to the Lebesgue integrl, some uthors hve clled for the teching of wht is known s the Kurzweil- Henstock integrl (or sometimes clled the Guge integrl) for the following two resons: the integrl only slightly differs in definition when compred to the Riemnn integrl nd in some cses the even generlizes the Lebesgue integrl. Therefore, student cn be exposed to few of the stndrd integrtion theorems for Lebesgue integrl, but sty within comfortble frmework. However, the proofs of these integrtion theorems for the Kurzweil-Henstock integrl re quite difficult nd might not be understood by students in dvnced clculus or introduction to nlysis courses. One wy to void this is to use the The uthor would like to thnk professor Jne Gilmn for her time nd help nd the NJIT mthemtics deprtment for their continuing support. 1
concept of guges to prove clssicl integrtion theorems in modified forms for the Riemnn integrl, nd hence, with the id of guges, we will prove the following three theorems for the Riemnn integrl: 1) Riemnn integrbility nd.e. equlity implies equl integrls 2) the dominted convergence theorem 3) the monotone convergence theorem For n elementry discussion of the Kurzweil-Henstock integrl, one should consult [1, p. 274-311], nd for more detiled discussion of the Kurzweil- Henstock integrl, one should consult [3]. For detiled discussion of Lebesgue integrtion, one should consult ny Rel Anlysis text, for exmple [2]. Before we strt our proofs, we need to stte few definitions nd theorems for the the reder who hs never seen them before nd we will give definition of the Riemnn integrl for the ske of clrifying our nottion. Definition 1 A sequence of functions {f n (x)} is sid to be uniformly bounded over set S if there exists n M > 0 such tht for ny x S nd n Z +, f n (x) < M. Definition 2 A prtition Q of n intervl [, b] is collection of non-overlpping closed intervls {[x 0, x 1 ], [x 1, x 2 ],..., [x n 1, x n ]} who s union is [, b]. If for ech i = 1, 2, 3,..., n, point t i hs been chosen from ech intervl [x i 1, x i ], then the collection of points {t i } nd intervls Q together is clled tgged prtition. Definition 3 A guge on n intervl [, b] is function δ : [, b] (0, ). If δ(t) is guge on [, b], then tgged prtition Q is sid to be δ(t) - fine if for ech i = 1, 2, 3,..., n, t i [x i 1, x i ] [t i δ(t i ), t i + δ(t i )]. The following theorem shows the existence of δ(t) - fine prtition Q for ny guge δ(t). For proof one should consult [1, p.146]. Theorem 1 If δ(t) is guge on [, b], then there exists δ(t) - fine prtition of [, b]. Definition 4 If Q is tgged prtition, then the Riemnn sum of function f : [, b] R is the number S(f, Q) = f(t i )(x i x i 1 ). The number mx{(x 1 x 0 ),, (x n 1 x n )} is sid to be the norm of Q nd is denoted by Q. A function f : [, b] R is sid to be Riemnn integrble over [, b] if there exists n L R such tht for ny ǫ > 0, there exists δ ǫ > 0 such tht for ny tgged prtition Q with Q < δ ǫ, S(f, Q) L < ǫ, nd L is clled the Riemnn integrl of f(x) over [, b]. A function f : [, b] R is sid to be Kurzweil-Henstock integrble (or Guge integrble or KH integrble for short) over [, b] if there exists n L R such tht for ny ǫ > 0, 2
there exists guge δ ǫ (t) on [, b] such tht for ny δ ǫ (t) - fine tgged prtition Q of [, b], S(f, Q) L < ǫ. nd L is sid to be the Kurzweil-Henstock integrl (or the KH integrl) of f(x) over [, b]. The clss of ll Riemnn integrble functions over [, b] is denoted by R[, b] nd the clss of ll KH integrble functions over [, b] is denoted by R [, b]. Two importnt fcts should be noted t this point. First, it cn esily shown tht if f(x) R[, b] then f(x) R [, b] nd the Riemnn integrl of f(x) over [, b] is the sme s the KH integrl of f(x) over [, b]. Second, the KH integrl cn be defined over subsets of R tht re more generl then closed nd bounded intervls, lthough we will not define how this will be done. For such definition nd proof of the bove sttement, see [1, p. 274-300]. Theorem 2 If f(x) R[, b] then f(x) is bounded over [, b]. For proof of this one cn consult ny introduction to nlysis text, for exmple [1, p. 200]. It should be noted tht this is not true for functions in R [, b]. For exmples of unbounded KH functions, one should gin consult [3]. Theorem 3 (Lebesgue s Criteri) A function f(x) is in R[, b] if nd only if the set of discontinuities in [, b] hs mesure zero. Although mny different books prove this criteri, in the spirit of our topic, one cn consult [1, p.347] for n esy proof tht utilizes guges. It is extremely importnt to note tht this does not chrcterize KH integrble functions. In fct, it cn be shown tht the set of ll KH integrble functions is proper subset of the set of ll Lebesgue integrble functions (when deling with integrtion over the rel line.) For detiled discussion of KH integrble functions, cn gin consult [3]. Finlly, we introduce very importnt concept known s mesure zero. Definition 5 A set G R is sid to hve mesure zero if for ny ǫ > 0, there exists collection of intervls I = {( n, b n ) : n Z + } such tht G n=1 ( n, b n ) nd n=1 (b n n ) < ǫ. If X R nd property holds on ll of X except for possibly subset S X of mesure zero, then the property is sid to hold lmost everywhere (or.e. for short) on X. Now we re in position to prove our first theorem, tht two functions tht re in R[, b] nd equivlent.e. on [, b] hve the sme integrl over [, b] (this of course is the most elementry nd fundmentl of ll integrtion theorems for the Lebesgue integrl.) In generl, however, if one function tht is in R[, b] is equivlent to nother function.e. on [, b], then the second function might not even be integrble over the intervl, s the esy exmple where f(x) = 0 for x [0, 1] nd g(x) = 0 for x [0, 1] Q nd g(x) = 1 for x [0, 1]\Q shows. Note tht this prtly gives n intuitive justifiction for the definition of lmost everywhere in the sense tht if we define two functions to be lmost equl to ech other, then their respective integrls (if they exist) should be the sme. 3
Lemm 1 Let f(x) nd g(x) be in R[, b] where f(x) = g(x).e. on [, b], then f(x)dx = g(x)dx. Proof: We will prove tht F(x)dx = 0 where F(x) = f(x) - g(x) for ll x [, b]. F(x) R[, b] so tht F(x) is bounded on [, b] nd for ny ǫ > 0, there exists n L nd δ ǫ > 0 such tht for ny tgged prtition Q of [, b] with Q < δ ǫ, S(F, Q) L < ǫ. Let G be the set of ll x [, b] such tht F(x) 0. By our hypothesis, G hs mesure zero so tht there exists collection of intervls I = {[ n, b n ] : n Z + } such tht G n=1 [ n, b n ], [ n, b n ] [, b] for ech n Z + nd n=1 (b n n ) < ǫ 2M where F(x) < M on [, b]. Now define guge δ(t) on [, b] where if t G then δ(t) = min{(b i i ), δǫ 4 } where i is the first i Z + such tht t [ i, b i ] where [ i, b i ] I nd δ(t) = δǫ 4 otherwise. Therefore, for ny δ(t) - fine tgged prtition Q of [, b], the only nonzero contributions to S(F, Q) re from those prtition intervls of Q tht hve prtition points t tht re in G so tht S(F(x), Q) = F(t i )(x i+1 x i ) F(t i ) (x i+1 x i ) M (x i x i 1 ) 2Mǫ 2M = ǫ so tht since Q < δ ǫ becuse Q is δ(t) - fine, by definition L = 0. QED Now we prove version of the dominted convergence theorem tht is suitble for the Riemnn Integrl. One should note tht the essentil content of the theorem is not lost when we pss it from the Lebesgue integrl to the Riemnn integrl: tht we cn interchnge its when convergent sequence of functions is dominted in some sense (nd when the it function is Riemnn integrble in the Riemnn integrl cse.) Theorem 4 (Dominted Convergence Theorem) Let {f n (x)} be uniformly bounded sequence of functions in R[, b] tht converges to function f(x) R[, b] on [, b], then. f(x)dx Proof: Let F n (x) = f n (x) f(x) for ll x [, b]. Since {f n (x)} is uniformly bounded on [, b] nd f(x) is bounded on [, b], {F n (x)} is clerly uniformly bounded on [, b] so let F n (x) < M for some M > 0 nd ll n Z +. For ny ǫ > 0, let S = {t : F n (t) < ǫ} for ny n Z + nd define guge δ(t) on [, b] where δ(t) = ǫ 4M(b ) if t S nd δ(t) = 1 n(t) otherwise, where 4
n(t) is the lst integer n such tht F n (t) ǫ. Now for ny N Z + such tht 1 N < ǫ 4M(b ) nd for ny Riemnn sum with δ(t) - fine tgged prtition Q of [, b], divide the tgs into two sets {t i } nd {t i } (with corresponding prtition points x i nd x i ) where the first set consists of ll tgs of Q tht re in S nd the second consists of ll tgs of Q tht re not in S, so tht for ny integer n > N, S(f n, Q) S(f, Q) = S(F n, Q) F n (t i )(x i x i 1 ) + F n (t i )(x i x i 1 ) < ǫ 2 since the definition of our guge implies tht the first nd second terms re both < ǫ 4 Ḟinlly, since f(x) R[, b], there exists n L R nd γ > 0 such tht for ny Q of [, b] with Q < γ, S(f, Q) L < ǫ 2. Now let δ (t) = min{δ(t), γ 4 }. For ny integer n > N nd δ (t) fine tgged prtition Q of [, b], the previous prgrph implies tht S(f n, Q) L S(f n, Q) S(f, Q) + S(f, Q) L < ǫ, but Q < γ nd f(x) R[, b] implies tht f(x) R [, b] with equl integrl so tht we obtin our desired result. QED It should be noted tht we ctully proved slightly stronger result, which we stte in the following. Corollry 1 Let {f n (x)} be uniformly bounded sequence of functions in R [, b] tht converge to bounded function f(x) R [, b] on [, b], then f(x)dx. Finlly, we prove our lst desired result: the monotone convergence theorem. It turns out tht this will follow trivilly from the dominted convergence theorem. Theorem 5 (Monotone Convergence Theorem) Let {f n (x)} be monotone sequence of functions in R[, b] (monotone on [, b]) such tht f n (x) converges to function f(x) R[, b] on [, b], then f(x)dx. Proof: We c tht {f n (x)} is uniformly bounded on [, b], which will immeditely prove our desired result. f(x) nd f 1 (x) re both in R[, b], so tht there exists n M > 0 nd M > 0 such tht f(x) < M nd f 1 (x) < M for 5
ny x [, b]. Let L = mx {M +1, M } We c tht for ll n Z +, f n (x) L. Now ssume f 1 (x) f(x) for ll x [, b]. If f 1 (x) f(x) for ll x [, b] then the following cn be esily modified to fit this cse. Now choose ny x [, b]. If f n (x ) converges to f(x ) then clerly {f n (x )} must be decresing sequence so tht for ll n Z +, f n (x) f 1 (x ). However, choosing n lrge enough so tht f n (x ) f(x ) 1 gives us tht f n (x ) 1 + f(x ) so tht for ll n Z +, f n (x) L by the definition of L. QED The reder might hve noticed tht bove proof only relied on the monotonicity of {f n (x)} on [, b] nd the boundedness of ech f n (x) nd f(x) on [, b]. Therefore, we gin proved slightly stronger result tht is stted below. It should be noted tht results tht generlize corollry 1 nd corollry 2 exist. For discussion of these, one should consult [3, p.115-135]. Corollry 2 Let {f n (x)} be monotone nd bounded sequence of functions in R [, b] (monotone on [, b]) such tht f n (x) converges to function f(x) R [, b] on [, b],,then References f(x)dx. [1] Brtle, R.G. nd Sherbert D.R. Introduction to Rel Anlysis, John Wiley nd Sons, Inc., 1986. [2] Bruckner, A.M., Bruckner, J.B., nd Thoms, B.S. Rel Anlysis, Prentice Hll, Inc., 1981. [3] Brtle, R.G Modern Theory of Integrtion, Americn Mthemticl Society, 2001. 6