Chapter 22. The Fundamental Theorem of Calculus

Size: px
Start display at page:

Download "Chapter 22. The Fundamental Theorem of Calculus"

Transcription

1 Version of Chpter 22 The Fundmentl Theorem of Clculus In this chpter I ddress one of the most importnt properties of the Lebesgue integrl. Given n integrble function f : [,b] R, we cn form its indefinite integrl F(x) = x f(t)dt for x [,b]. Two questions immeditely present themselves. (i) Cn we expect to hve the derivtive F of F equl to f? (ii) Cn we identify which functions F will pper s indefinite integrls? Resonbly stisfctory nswers my be found for both of these questions: F = f lmost everywhere (222E) nd indefinite integrls re the bsolutely continuous functions (225E). In the course of deling with them, we need to develop vriety of techniques which led to mny striking results both in the theory of Lebesgue mesure nd in other, pprently unrelted, topics in rel nlysis. The first step is Vitli s theorem ( 22), remrkble rgument it is more method thn theorem which uses the geometric nture of the rel line to extrct disjoint subfmilies from collections of intervls. It is the foundtion stone not only of the results in 222 but of ll geometric mesure theory, tht is, mesure theory on spces with geometric structure. I use it here to show tht monotonic functions re differentible lmost everywhere (222A). Following this, Ftou s Lemm nd Lebesgue s Dominted Convergence Theorem re enough to show tht the derivtive of n indefinite integrl is lmost everywhere equl to the integrnd. We find tht some innocent-looking mnipultions of this fct tke us surprisingly fr; I present these in 223. I begin the second hlf of the chpter with discussion of functions of bounded vrition, tht is, expressible s the difference of bounded monotonic functions ( 224). This is one of the lest mesure-theoretic sections in the volume; only in 224I nd 224J re mesure nd integrtion even mentioned. But this mteril isneededforchpter28swellsforthenextsection, ndislsooneofthebsictopicsoftwentieth-century rel nlysis. 225 dels with the chrcteriztion of indefinite integrls s the bsolutely continuous functions. In fct this is now quite esy; it helps to cll on Vitli s theorem gin, but everything else is strightforwrd ppliction of methods previously used. The second hlf of the section introduces some new ides in n ttempt to give deeper intuition into the essentil nture of bsolutely continuous functions. 226 returns to functions of bounded vrition nd their decomposition into sltus nd bsolutely continuous nd singulr prts, the first two being reltively mngeble nd the lst looking something like the Cntor function. 22 Vitli s theorem in R Version of I give the first theorem of this chpter section to itself. It occupies position between mesure theory nd geometry (it is, indeed, one of the fundmentl results of geometric mesure theory ), nd its proof involves both the mesure nd the geometry of the rel line. 22A Vitli s theorem Let A be bounded subset of R nd I fmily of non-singleton closed intervls in R such tht every point of A belongs to rbitrrily short members of I. Then there is countble set I 0 I such tht (i) I 0 is disjoint, tht is, I I = for ll distinct I, I I 0 (ii) µ(a\ I 0 ) = 0, where µ is Lebesgue mesure on R. Extrct from Mesure Theory, results-only version, by D.H.Fremlin, University of Essex, Colchester. This mteril is copyright. It is issued under the terms of the Design Science License s published in This is development version nd the source files re not permnently rchived, but current versions re normlly ccessible through For further informtion contct fremdh@essex.c.uk. c 995 D. H. Fremlin

2 2 The Fundmentl Theorem of Clculus 222 Differentiting n indefinite integrl Version of / I come now to the first of the two questions mentioned in the introduction to this chpter: if f is n d x integrble function on [, b], wht is dx f? It turns out tht this derivtive exists nd is equl to f lmost everywhere (222E). The rgument is bsed on striking property of monotonic functions: they re differentible lmost everywhere (222A), nd we cn bound the integrls of their derivtives (222C). 222A Theorem Let I R be n intervl nd f : I R monotonic function. Then f is differentible lmost everywhere in I. 222B Remrks If (X,Σ,µ) is mesure spce, K is countble set, nd E k k K is fmily in Σ, with equlity if E k k K is disjoint. µ( k K E k) k K µe k, 222C Lemm Suppose tht b in R, nd tht F : [,b] R is non-decresing function. Then b F exists nd is t most F(b) F(). Remrk I write x f to men [,x[ f. 222D Lemm Suppose tht < b in R, nd tht f, g re rel-vlued functions, both integrble over [,b], such tht x f = x g for every x [,b]. Then f = g lmost everywhere in [,b]. 222E Theorem Suppose tht b in R nd tht f is rel-vlued function which is integrble over [,b]. Then F(x) = x f exists in R for every x [,b], nd the derivtive F (x) exists nd is equl to f(x) for lmost every x [,b]. 222F Corollry Suppose tht f is ny rel-vlued function which is integrble over R, nd set F(x) = x f for every x R. Then F (x) exists nd is equl to f(x) for lmost every x R. 222G Corollry Suppose tht E R is mesurble set nd tht f is rel-vlued function which is integrble over E. Set F(x) = E ],x[ f for x R. Then F (x) = f(x) for lmost every x E, nd F (x) = 0 for lmost every x R\E. 222H Proposition Suppose tht b in R nd tht f is rel-vlued function which is integrble over [,b]. Set F(x) = x f for x [,b]. Then F (x) exists nd is equl to f(x) t ny point x dom(f) ],b[ t which f is continuous. 222I Complex-vlued functions () If b in R nd f is complex-vlued function which is integrble over [,b], then F(x) = x f is defined in C for every x [,b], nd its derivtive F (x) exists nd is equl to f(x) for lmost every x [,b]; moreover, F (x) = f(x) whenever x dom(f) ],b[ nd f is continuous t x. (b) If f is complex-vlued function which is integrble over R, nd F(x) = x f for ech x R, then F exists nd is equl to f lmost everywhere in R. (c) If E R is mesurble set nd f is complex-vlued function which is integrble over E, nd F(x) = E ],x[ f for ech x R, then F (x) = f(x) for lmost every x E nd F (x) = 0 for lmost every x R\E. c 2004 D. H. Fremlin Mesure Theory (bridged version)

3 223A Lebesgue s density theorems 3 *222J The Denjoy-Young-Sks theorem: Definition Let f be ny rel function, nd A R its domin. Write à + = {x : x A, ]x,x+δ] A for every δ > 0}, Set for x Ã+, nd à = {x : x A, [x δ,x[ A for every δ > 0}. D + (x) = limsup y A,y x D + (x) = liminf y A,y x D (x) = limsup y A,y x = inf δ>0 sup y A,x<y x+δ, = sup δ>0 inf y A,x<y x+δ = inf δ>0 sup y A,x δ y<x, D (x) = liminf y A,y x = sup δ>0 inf y A,x δ y<x for x Ã, ll defined in [, ]. (These re the four Dini derivtes of f.) Note tht we surely hve (D + f)(x) (D + f)(x) for every x Ã+, while (D f)(x) (D f)(x) for every x Ã. The ordinry derivtive f (x) is defined nd equl to c R iff (α) x belongs to some open intervl included in A (β) (D + f)(x) = (D + f)(x) = (D f)(x) = (D + f)(x) = c. *222K Lemm Let A be ny subset of R, nd define Ã+ nd à s in 222J. Then A\Ã+ nd A\à re countble, therefore negligible. *222L Theorem Let f be ny rel function, nd A its domin. Then for lmost every x A either ll four Dini derivtes of f t x re defined, finite nd equl or (D + f)(x) = (D f)(x) is finite, (D + f)(x) = nd (D + f)(x) = or (D + f)(x) = (D f)(x) is finite, (D + f)(x) = nd (D f)(x) = or (D + f)(x) = (D f)(x) = nd (D + f)(x) = (D f)(x) =. 223 Lebesgue s density theorems Version of I now turn to group of results which my be thought of s corollries of Theorem 222E, but which lso hve vigorous life of their own, including the possibility of significnt generliztions which will be treted in Chpter 26. The ide is tht ny mesurble function f on R is lmost everywhere continuous in vriety of very wek senses; for lmost every x, the vlue f(x) is determined by the behviour of f ner x, in the sense tht f(y) f(x) for most y ner x. I should perhps sy tht while I recommend this work s preprtion for Chpter 26, nd I lso rely on it in Chpter 28, I shll not refer to it gin in the present chpter, so tht reders in hurry to chrcterize indefinite integrls my proceed directly to A Lebesgue s Density Theorem: integrl form Let I be n intervl in R, nd let f be rel-vlued function which is integrble over I. Then for lmost every x I. f(x) = lim h 0 h x x f = lim h 0 h f = lim h 0 f c 995 D. H. Fremlin D.H.Fremlin

4 4 The Fundmentl Theorem of Clculus 223B 223B Corollry Let E R be mesurble set. Then lim h 0 µ(e [,x+h]) = for lmost every x E, lim h 0 µ(e [,x+h]) = 0 for lmost every x R\E. 223C Corollry Let f be mesurble rel-vlued function defined lmost everywhere in R. Then for lmost every x R, lim h 0 µ{y : y domf, y x h, ǫ} =, for every ǫ > 0. lim h 0 µ{y : y domf, y x h, ǫ} = 0 223D Theorem Let I be n intervl in R, nd let f be rel-vlued function which is integrble over I. Then lim h 0 dy = 0 for lmost every x I. Remrk The set {x : x domf, lim h 0 is sometimes clled the Lebesgue set of f. 223E Complex-vlued functions dy = 0} () Let I be n intervl in R, nd let f be complex-vlued function which is integrble over I. Then for lmost every x I. f(x) = lim h 0 h x x f = lim h 0 h f = lim h 0 f (b) Let f be mesurble complex-vlued function defined lmost everywhere in R. Then for lmost every x R, for every ǫ > 0. lim h 0 µ{y : y domf, y x h, ǫ} = 0 (c) Let I be n intervl in R, nd let f be complex-vlued function which is integrble over I. Then for lmost every x I. lim h 0 dy = 0 Version of Functions of bounded vrition c 997 D. H. Fremlin Mesure Theory (bridged version)

5 224F Functions of bounded vrition 5 I turn now to the second of the two problems to which this chpter is devoted: the identifiction of those rel functions which re indefinite integrls. I tke the opportunity to offer brief introduction to the theory of functions of bounded vrition, which re interesting in themselves nd will be importnt in Chpter 28. I give the bsic chrcteriztion of these functions s differences of monotonic functions (224D), with representtive smple of their elementry properties. 224A Definition Let f be rel-vlued function nd D subset of R. I define Vr D (f), the (totl) vrition of f on D, s follows. If D domf =, Vr D (f) = 0. Otherwise, Vr D (f) is sup{ n i= f( i) f( i ) : 0,,..., n D domf, 0... n }, llowing Vr D (f) =. If Vr D (f) is finite, we sy tht f is of bounded vrition on D. I my write Vrf for Vr domf (f), nd sy tht f is simply of bounded vrition if this is finite. 224B Remrks for ll D, f. Vr D (f) = Vr D domf (f) = Vr(f D) 224C Proposition () If f, g re two rel-vlued functions nd D R, then Vr D (f +g) Vr D (f)+vr D (g). (b) If f is rel-vlued function, D R nd c R then Vr D (cf) = c Vr D (f). (c) If f is rel-vlued function, D R nd x R then Vr D (f) Vr D ],x] (f)+vr D [x, [ (f), with equlity if x D domf. (d) If f is rel-vlued function nd D D R then Vr D (f) Vr D (f). (e) If f is rel-vlued function nd D R, then f(x) f(y) Vr D (f) for ll x, y D domf; so if f is of bounded vrition on D then f is bounded on D domf nd (if D domf ) sup y D domf f(y) f(x) +Vr D (f) for every x D domf. (f) If f is monotonic rel-vlued function nd D R meets domf, then Vr D (f) = sup x D domf f(x) inf x D domf f(x). 224D Theorem For ny rel-vlued function f nd ny set D R, the following re equiveridicl: (i) there re two bounded non-decresing functions f, f 2 : R R such tht f = f f 2 on D domf; (ii) f is of bounded vrition on D; (iii) there re bounded non-decresing functions f, f 2 : R R such tht f = f f 2 on D domf nd Vr D (f) = Vrf +Vrf E Corollry Let f be rel-vlued function nd D ny subset of R. If f is of bounded vrition on D, then for every R, nd lim x Vr D ],x] (f) = lim x Vr D [x,[ (f) = 0 lim Vr D ],] (f) = lim Vr D [, [ (f) = F Corollry Let f be rel-vlued function of bounded vrition on [,b], where < b. If domf meets every intervl ],+δ] with δ > 0, then lim t domf,t f(t) D.H.Fremlin

6 6 The Fundmentl Theorem of Clculus 224F is defined in R. If domf meets [b δ,b[ for every δ > 0, then is defined in R. lim t domf,t b f(t) 224G Corollry Let f, g be rel functions nd D subset of R. If f nd g re of bounded vrition on D, so is f g. 224H Proposition Let f : D R be function of bounded vrition, where D R. Then f is continuous t ll except countbly mny points of D. 224I Theorem Let I R be n intervl, nd f : I R function of bounded vrition. Then f is differentible lmost everywhere in I, nd f is integrble over I, with I f Vr I (f). 224J Proposition Let f, g be rel-vlued functions defined on subsets of R, nd suppose tht g is integrble over n intervl [,b], where < b, nd f is of bounded vrition on ],b[ nd defined lmost everywhere in ],b[. Then f g is integrble over [,b], nd b f g ( lim f(x) +Vr ],b[(f) ) sup x domf,x b c [,b] c g. 224K Complex-vlued functions () Let D be subset of R nd f complex-vlued function. The vrition of f on D, Vr D (f), is zero if D domf =, nd otherwise is sup{ n j= f( j) f( j ) : 0... n in D domf}, llowing. If Vr D (f) is finite, we sy tht f is of bounded vrition on D. (b) A complex-vlued function of bounded vrition must be bounded, nd for every x R, with equlity if x D domf, Vr D (f +g) Vr D (f)+vr D (g), Vr D (cf) = c Vr D (f), Vr D (f) Vr D ],x] (f)+vr D [x, [ (f) Vr D (f) Vr D (f) whenever D D. (c) A complex-vlued function is of bounded vrition iff its rel nd imginry prts re both of bounded vrition. So complex-vlued function f is of bounded vrition on D iff there re bounded non-decresing functions f,...,f 4 : R R such tht f = f f 2 +if 3 if 4 on D. (d) Let f be complex-vlued function nd D ny subset of R. If f is of bounded vrition on D, then for every R, nd lim x Vr D ],x] (f) = lim x Vr D [x,[ (f) = 0 lim Vr D ],] (f) = lim Vr D [, [ (f) = 0. (e) Let f be complex-vlued function of bounded vrition on [,b], where < b. If domf meets every intervl ],+δ] with δ > 0, then lim t domf,t f(t) is defined in C. If domf meets [b δ,b[ for every δ > 0, then lim t domf,t b f(t) is defined in C. Mesure Theory (bridged version)

7 225F Absolutely continuous functions 7 (f) Let f, g be complex functions nd D subset of R. If f nd g re of bounded vrition on D, so is f g. (g) Let I R be n intervl, nd f : I C function of bounded vrition. Then f is differentible lmost everywhere in I, nd I f Vr I (f). (h) Let f nd g be complex-vlued functions defined on subsets of R, nd suppose tht g is integrble over n intervl [,b], where < b, nd f is of bounded vrition on ],b[ nd defined lmost everywhere in ],b[. Then f g is integrble over [,b], nd b f g ( lim f(x) +Vr ],b[(f) ) sup x domf,x b c [,b] c g. Version of Absolutely continuous functions We re now redy for full chrcteriztion of the functions tht cn pper s indefinite integrls (225E, 225Xf). The essentil ide is tht of bsolute continuity (225B). In the second hlf of the section (225G-225N) I describe some of the reltionships between this concept nd those we hve lredy seen. 225A Absolute continuity of the indefinite integrl: Theorem Let (X, Σ, µ) be ny mesure spce nd f n integrble rel-vlued function defined on conegligible subset of X. Then for ny ǫ > 0 there re mesurble set E of finite mesure nd rel number δ > 0 such tht f ǫ whenever F Σ nd F µ(f E) δ. 225B Absolutely continuous functions on R: Definition If [, b] is non-empty closed intervl in R nd f : [,b] R is function, we sy tht f is bsolutely continuous if for every ǫ > 0 there is δ > 0 such tht n i= f(b i) f( i ) ǫ whenever b 2 b 2... n b n b nd n i= b i i δ. 225C Proposition Let [,b] be non-empty closed intervl in R. () If f : [,b] R is bsolutely continuous, it is uniformly continuous. (b) If f : [,b] R is bsolutely continuous it is of bounded vrition on [,b], so is differentible lmost everywhere in [, b], nd its derivtive is integrble over [, b]. (c) If f, g : [,b] R re bsolutely continuous, so re f +g nd cf, for every c R. (d) If f, g : [,b] R re bsolutely continuous so is f g. (e) If g : [,b] [c,d] nd f : [c,d] R re bsolutely continuous, nd g is non-decresing, then the composition fg : [,b] R is bsolutely continuous. 225D Lemm Let [,b] be non-empty closed intervl in R nd f : [,b] R n bsolutely continuous function which hs zero derivtive lmost everywhere in [,b]. Then f is constnt on [,b]. 225E Theorem Let [,b] be non-empty closed intervl in R nd F : [,b] R function. Then the following re equiveridicl: (i) there is n integrble rel-vlued function f such tht F(x) = F()+ x f for every x [,b]; (ii) x F exists nd is equl to F(x) F() for every x [,b]; (iii) F is bsolutely continuous. 225F Integrtion by prts: Theorem Let f be rel-vlued function which is integrble over n intervl [,b] R, nd g : [,b] R n bsolutely continuous function. Suppose tht F is n indefinite integrl of f, so tht F(x) F() = x f for x [,b]. Then b f g = F(b)g(b) F()g() b F g. c 996 D. H. Fremlin D.H.Fremlin

8 8 The Fundmentl Theorem of Clculus 225G 225G Proposition Let [,b] be non-empty closed intervl in R nd f : [,b] R n bsolutely continuous function. () f[a] is negligible for every negligible set A R. (b) f[e] is mesurble for every mesurble set E R. 225H Semi-continuous functions If D R r, function g : D [, ] is lower semi-continuous if {x : g(x) > u} is n open subset of D for every u [, ]. Any lower semi-continuous function is Borel mesurble, therefore Lebesgue mesurble. 225I Proposition Suppose tht r nd tht f is rel-vlued function, defined on subset D of R r, which is integrble over D. Then for ny ǫ > 0 there is lower semi-continuous function g : R r [, ] such tht g(x) f(x) for every x D nd D g is defined nd not greter thn ǫ+ D f. 225J Theorem Let D be subset of R nd f : D R ny function. Then is reltively Borel mesurble in D, nd E = {x : x D, f is continuous t x} F = {x : x D, f is differentible t x} is Borel mesurble in R; moreover, f : F R is Borel mesurble. 225K Proposition Let [,b] be non-empty closed intervl in R, nd f : [,b] R function. Set F = {x : x ],b[, f (x) is defined}. Then f is bsolutely continuous iff (i) f is continuous (ii) f is integrble over F (iii) f[[,b]\f] is negligible. 225L Corollry Let [,b] be non-empty closed intervl in R. Let f : [,b] R be continuous function which is differentible on the open intervl ],b[. If its derivtive f is integrble over [,b], then f is bsolutely continuous, nd f(b) f() = b f. 225M Corollry Let [,b] be non-empty closed intervl in R, nd f : [,b] R continuous function. Then f is bsolutely continuous iff it is continuous nd of bounded vrition nd f[a] is negligible for every negligible A [,b]. 225N The Cntor function Let C [0,] be the Cntor set. Recll tht the Cntor function is non-decresing continuous function f : [0,] [0,] such tht f (x) is defined nd equl to zero for every x [0,] \ C, but f(0) = 0 < = f(). f is of bounded vrition nd not bsolutely continuous. C is negligible nd f[c] = [0,] is not. If x C, then for every n N there is n intervl of length 3 n, contining x, on which f increses by 2 n ; so f cnnot be differentible t x, nd the set F = domf of 225K is precisely [0,]\C, so tht f[[0,]\f] = [0,]. 225O Complex-vlued functions () Let (X, Σ, µ) be ny mesure spce nd f n integrble complexvlued function defined on conegligible subset of X. Then for ny ǫ > 0 there re mesurble set E of finite mesure nd rel number δ > 0 such tht f ǫ whenever F Σ nd µ(f E) δ. F (b) If [,b] is non-empty closed intervl in R nd f : [,b] C is function, we sy tht f is bsolutely continuous if for every ǫ > 0 there is δ > 0 such tht n i= f(b i) f( i ) ǫ whenever b 2 b 2... n b n b nd n i= b i i δ. Observe tht f is bsolutely continuous iff its rel nd imginry prts re both bsolutely continuous. (c) Let [,b] be non-empty closed intervl in R. (i) If f : [,b] C is bsolutely continuous it is of bounded vrition on [,b], so is differentible lmost everywhere in [, b], nd its derivtive is integrble over [, b]. (ii) If f, g : [,b] C re bsolutely continuous, so re f +g nd ζf, for ny ζ C, nd f g. (iii) If g : [, b] [c, d] is monotonic nd bsolutely continuous, nd f : [c, d] C is bsolutely continuous, then fg : [,b] C is bsolutely continuous. Mesure Theory (bridged version)

9 226Ad The Lebesgue decomposition of function of bounded vrition 9 (d) Let [,b] be non-empty closed intervl in R nd F : [,b] C function. Then the following re equiveridicl: (i) there is n integrble complex-vlued function f such tht F(x) = F()+ x f for every x [,b]; (ii) x F exists nd is equl to F(x) F() for every x [,b]; (iii) F is bsolutely continuous. (e) Let f be n integrble complex-vlued function on n intervl [,b] R, nd g : [,b] C n bsolutely continuous function. Set F(x) = x f for x [,b]. Then b f g = F(b)g(b) F()g() b F g. (f) Let f be continuous complex-vlued function on closed intervl [,b] R, nd suppose tht f is differentible t every point of the open intervl ],b[, with f integrble over [,b]. Then f is bsolutely continuous. 226 The Lebesgue decomposition of function of bounded vrition Version of 6..3 I end this chpter with some notes on method of nlysing generl function of bounded vrition which my help to give picture of wht such functions cn be, though (prt from 226A) it is hrdly needed in this volume. 226A Sums over rbitrry index sets () If I is ny set nd i i I ny fmily in [0, ], we set i I i = sup{ i K i : K is finite subset of I}, with the convention tht i i = 0. For generl i [, ], we cn set i I i = i I + i i I i if this is defined in [, ], where + = mx(,0) nd = mx(,0) for ech. If i I i is defined nd finite, we sy tht i i I is summble. (b) For ny set I, we hve the corresponding counting mesure µ on I. Every fmily i i I of rel numbers is mesurble rel-vlued function on I. A rel-vlued function f on I is simple if K = {i : f(i) 0} is finite. Now generl function f : I R is integrble iff i I f(i) <, nd in this cse fdµ = i I f(i), Thus we hve i I i = I iµ(di), nd the stndrd rules under which we llow s the vlue of n integrl mtch the interprettions in () bove. (c) I observe here tht this notion of summbility is bsolute ; fmily i i I is summble iff it is bsolutely summble. (d) If i i I is n (bsolutely) summble fmily of rel numbers, then for every ǫ > 0 there is finite K I such tht i I\K i ǫ. Consequently, for ny fmily i i I of rel numbers nd ny s R, the following re equiveridicl: (i) i I i = s; (ii) for every ǫ > 0 there is finite K I such tht s i J i ǫ whenever J is finite nd K J I. c 2000 D. H. Fremlin D.H.Fremlin

10 0 The Fundmentl Theorem of Clculus 226Ae (e) If i I i <, then J = {i : i 0} = n N {i : i 2 n } is countble. If J is finite, then i I i = i J i reduces to finite sum. Otherwise, we cn enumerte J s j n n N, nd we shll hve i I i = i J i = lim n n k=0 j k = n=0 j n. Conversely, if i i I is such tht there is countbly infinite J {i : i 0} enumerted s j n n N, nd if n=0 j n <, then i I i will be n=0 j n. (f) Let I nd J be sets nd ij i I,j J fmily in [0, ]. Then (i,j) I J ij = i I ( j J ij) = j J ( i I ij). 226B Sltus functions Suppose tht < b in R. () A (rel) sltus function on [,b] is function F : [,b] R expressible in the form F(x) = t [,x[ u t + t [,x] v t for x [,b], where u t t [,b[, v t t [,b] re rel-vlued fmilies such tht t [,b[ u t nd t [,b] v t re finite. (b) For ny function F : [,b] R we cn write F(x + ) = lim y x F(y) if x [,b[ nd the limit exists, F(x ) = lim y x F(y) if x ],b] nd the limit exists. Observe tht if F is sltus function, s defined in (b), with ssocited fmilies u t t [,b[ nd v t t [,b], then v = F(), v x = F(x) F(x ) for x ],b] nd u x = F(x + ) F(x) for x [,b[. F is continuous t x ],b[ iff u x = v x = 0, while F is continuous t iff u = 0 nd F is continuous t b iff v b = 0. In prticulr, {x : x [,b], F is not continuous t x} is countble. (c) If F is sltus function defined on [,b], with ssocited fmilies u t t [,b[ nd v t t [,b], then F is of bounded vrition on [,b], nd Vr [,b] (F) t [,b[ u t + t ],b] v t. (d) The inequlity in (c) is ctully n equlity. (e) Becuse sltus function is of bounded vrition, it is differentible lmost everywhere. In fct its derivtive is zero lmost everywhere. 226C The Lebesgue decomposition of function of bounded vrition Tke, b R with < b. () If F : [,b] R is non-decresing, set v = 0, v t = F(t) F(t ) for t ],b], u t = F(t + ) F(t) for t [,b[. Then ll the v t, u t re non-negtive, nd t [,b[ u t nd t [,b] v t re both finite. Let F p be the corresponding sltus function. F p nd F c = F F p re non-decresing. F c is continuous. Clerly this expression of F = F p +F c s the sum of sltus function nd continuous function is unique, except tht we cn freely dd constnt to one if we subtrct it from the other. (b) Set F c (x) = F()+ x F for ech x [,b]. F cs = F c F c is still non-decresing; F cs is continuous; F cs = 0.e. Agin, the expression of F c = F c +F cs s the sum of n bsolutely continuous function nd function with zero derivtive lmost everywhere is unique, except for the possibility of moving constnt from one to the other. Mesure Theory (bridged version)

11 226E The Lebesgue decomposition of function of bounded vrition (c) Putting these together: if F : [,b] R is ny non-decresing function, it is expressible s F p +F c + F cs, where F p is sltus function, F c is bsolutely continuous, nd F cs is continuous nd differentible, with zero derivtive, lmost everywhere; ll three components re non-decresing; nd the expression is unique if we sy tht F c () = F() nd F p () = F cs () = 0. The Cntor function f : [0,] [0,] is continuous nd f = 0.e., so f p = f c = 0 nd f = f cs. Setting g(x) = 2 (x+f(x)) for x [0,], we get g p(x) = 0, g c (x) = x 2 nd g cs(x) = 2 f(x). (d) Now suppose tht F : [,b] R is of bounded vrition. Then it is expressible s difference G H of non-decresing functions. So writing F p = G p H p, etc., we cn express F s sum F p + F cs + F c, where F p is sltus function, F c is bsolutely continuous, F cs is continuous, F cs = 0.e., F c () = F() nd F cs () = F p () = 0. Under these conditions the expression is unique. This is Lebesgue decomposition of the function F. I will cll F p the sltus prt of F. 226D Complex functions () If I is ny set nd j j I is fmily of complex numbers, then the following re equiveridicl: (i) j I j < ; (ii)thereisns Csuchthtforeveryǫ > 0thereisfiniteK I suchtht s j J j ǫ whenever J is finite nd K J I. In this cse s = j I Re( j)+i j I Im( j) = I jµ(dj), where µ is counting mesure on I, nd we write s = j I j. (b) If < b in R, complex sltus function on [,b] is function F : [,b] C expressible in the form F(x) = t [,x[ u t + t [,x] v t for x [,b], where u t t [,b[, v t t [,b] re complex-vlued fmilies such tht t [,b[ u t nd t [,b] v t re finite. In this cse F is continuous except t countbly mny points nd differentible, with zero derivtive, lmost everywhere in [, b], nd F is of bounded vrition, nd its vrition is u x = lim t x F(t) F(x) for every x [,b[, v x = lim t x F(x) F(t) for every x ],b]. Vr [,b] (F) = t [,b[ u t + t ],b] v t. (c) If F : [,b] C is function of bounded vrition, where < b in R, it is uniquely expressible s F = F p +F cs +F c, where F p is sltus function, F c is bsolutely continuous, F cs is continuous nd hs zero derivtive lmost everywhere, nd F c () = F(), F p () = F cs () = E Proposition Let (X,Σ,µ) be mesure spce, I countble set, nd f i i I fmily of µ- integrble rel- or complex-vlued functions such tht i I fi dµ is finite. Then f(x) = i I f i(x) is defined lmost everywhere nd fdµ = i I fi dµ. D.H.Fremlin

W. We shall do so one by one, starting with I 1, and we shall do it greedily, trying

W. We shall do so one by one, starting with I 1, and we shall do it greedily, trying Vitli covers 1 Definition. A Vitli cover of set E R is set V of closed intervls with positive length so tht, for every δ > 0 nd every x E, there is some I V with λ(i ) < δ nd x I. 2 Lemm (Vitli covering)

More information

The Regulated and Riemann Integrals

The Regulated and Riemann Integrals Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue

More information

A PROOF OF THE FUNDAMENTAL THEOREM OF CALCULUS USING HAUSDORFF MEASURES

A PROOF OF THE FUNDAMENTAL THEOREM OF CALCULUS USING HAUSDORFF MEASURES INROADS Rel Anlysis Exchnge Vol. 26(1), 2000/2001, pp. 381 390 Constntin Volintiru, Deprtment of Mthemtics, University of Buchrest, Buchrest, Romni. e-mil: cosv@mt.cs.unibuc.ro A PROOF OF THE FUNDAMENTAL

More information

7.2 Riemann Integrable Functions

7.2 Riemann Integrable Functions 7.2 Riemnn Integrble Functions Theorem 1. If f : [, b] R is step function, then f R[, b]. Theorem 2. If f : [, b] R is continuous on [, b], then f R[, b]. Theorem 3. If f : [, b] R is bounded nd continuous

More information

Lecture 1: Introduction to integration theory and bounded variation

Lecture 1: Introduction to integration theory and bounded variation Lecture 1: Introduction to integrtion theory nd bounded vrition Wht is this course bout? Integrtion theory. The first question you might hve is why there is nything you need to lern bout integrtion. You

More information

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004 Advnced Clculus: MATH 410 Notes on Integrls nd Integrbility Professor Dvid Levermore 17 October 2004 1. Definite Integrls In this section we revisit the definite integrl tht you were introduced to when

More information

ON THE C-INTEGRAL BENEDETTO BONGIORNO

ON THE C-INTEGRAL BENEDETTO BONGIORNO ON THE C-INTEGRAL BENEDETTO BONGIORNO Let F : [, b] R be differentible function nd let f be its derivtive. The problem of recovering F from f is clled problem of primitives. In 1912, the problem of primitives

More information

Math 554 Integration

Math 554 Integration Mth 554 Integrtion Hndout #9 4/12/96 Defn. A collection of n + 1 distinct points of the intervl [, b] P := {x 0 = < x 1 < < x i 1 < x i < < b =: x n } is clled prtition of the intervl. In this cse, we

More information

f(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all

f(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all 3 Definite Integrl 3.1 Introduction In school one comes cross the definition of the integrl of rel vlued function defined on closed nd bounded intervl [, b] between the limits nd b, i.e., f(x)dx s the

More information

Fundamental Theorem of Calculus for Lebesgue Integration

Fundamental Theorem of Calculus for Lebesgue Integration Fundmentl Theorem of Clculus for Lebesgue Integrtion J. J. Kolih The existing proofs of the Fundmentl theorem of clculus for Lebesgue integrtion typiclly rely either on the Vitli Crthéodory theorem on

More information

Appendix to Notes 8 (a)

Appendix to Notes 8 (a) Appendix to Notes 8 () 13 Comprison of the Riemnn nd Lebesgue integrls. Recll Let f : [, b] R be bounded. Let D be prtition of [, b] such tht Let D = { = x 0 < x 1

More information

Review of Riemann Integral

Review of Riemann Integral 1 Review of Riemnn Integrl In this chpter we review the definition of Riemnn integrl of bounded function f : [, b] R, nd point out its limittions so s to be convinced of the necessity of more generl integrl.

More information

Lecture 1. Functional series. Pointwise and uniform convergence.

Lecture 1. Functional series. Pointwise and uniform convergence. 1 Introduction. Lecture 1. Functionl series. Pointwise nd uniform convergence. In this course we study mongst other things Fourier series. The Fourier series for periodic function f(x) with period 2π is

More information

This is a short summary of Lebesgue integration theory, which will be used in the course.

This is a short summary of Lebesgue integration theory, which will be used in the course. 3 Chpter 0 ntegrtion theory This is short summry of Lebesgue integrtion theory, which will be used in the course. Fct 0.1. Some subsets (= delmängder E R = (, re mesurble (= mätbr in the Lebesgue sense,

More information

Chapter 4. Lebesgue Integration

Chapter 4. Lebesgue Integration 4.2. Lebesgue Integrtion 1 Chpter 4. Lebesgue Integrtion Section 4.2. Lebesgue Integrtion Note. Simple functions ply the sme role to Lebesgue integrls s step functions ply to Riemnn integrtion. Definition.

More information

Math 61CM - Solutions to homework 9

Math 61CM - Solutions to homework 9 Mth 61CM - Solutions to homework 9 Cédric De Groote November 30 th, 2018 Problem 1: Recll tht the left limit of function f t point c is defined s follows: lim f(x) = l x c if for ny > 0 there exists δ

More information

SOLUTIONS FOR ANALYSIS QUALIFYING EXAM, FALL (1 + µ(f n )) f(x) =. But we don t need the exact bound.) Set

SOLUTIONS FOR ANALYSIS QUALIFYING EXAM, FALL (1 + µ(f n )) f(x) =. But we don t need the exact bound.) Set SOLUTIONS FOR ANALYSIS QUALIFYING EXAM, FALL 28 Nottion: N {, 2, 3,...}. (Tht is, N.. Let (X, M be mesurble spce with σ-finite positive mesure µ. Prove tht there is finite positive mesure ν on (X, M such

More information

FUNDAMENTALS OF REAL ANALYSIS by. III.1. Measurable functions. f 1 (

FUNDAMENTALS OF REAL ANALYSIS by. III.1. Measurable functions. f 1 ( FUNDAMNTALS OF RAL ANALYSIS by Doğn Çömez III. MASURABL FUNCTIONS AND LBSGU INTGRAL III.. Mesurble functions Hving the Lebesgue mesure define, in this chpter, we will identify the collection of functions

More information

Calculus in R. Chapter Di erentiation

Calculus in R. Chapter Di erentiation Chpter 3 Clculus in R 3.1 Di erentition Definition 3.1. Suppose U R is open. A function f : U! R is di erentible t x 2 U if there exists number m such tht lim y!0 pple f(x + y) f(x) my y =0. If f is di

More information

UNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3

UNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 UNIFORM CONVERGENCE Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 Suppose f n : Ω R or f n : Ω C is sequence of rel or complex functions, nd f n f s n in some sense. Furthermore,

More information

Presentation Problems 5

Presentation Problems 5 Presenttion Problems 5 21-355 A For these problems, ssume ll sets re subsets of R unless otherwise specified. 1. Let P nd Q be prtitions of [, b] such tht P Q. Then U(f, P ) U(f, Q) nd L(f, P ) L(f, Q).

More information

Principles of Real Analysis I Fall VI. Riemann Integration

Principles of Real Analysis I Fall VI. Riemann Integration 21-355 Principles of Rel Anlysis I Fll 2004 A. Definitions VI. Riemnn Integrtion Let, b R with < b be given. By prtition of [, b] we men finite set P [, b] with, b P. The set of ll prtitions of [, b] will

More information

The Banach algebra of functions of bounded variation and the pointwise Helly selection theorem

The Banach algebra of functions of bounded variation and the pointwise Helly selection theorem The Bnch lgebr of functions of bounded vrition nd the pointwise Helly selection theorem Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics, University of Toronto Jnury, 015 1 BV [, b] Let < b. For f

More information

arxiv: v1 [math.ca] 7 Mar 2012

arxiv: v1 [math.ca] 7 Mar 2012 rxiv:1203.1462v1 [mth.ca] 7 Mr 2012 A simple proof of the Fundmentl Theorem of Clculus for the Lebesgue integrl Mrch, 2012 Rodrigo López Pouso Deprtmento de Análise Mtemátic Fcultde de Mtemátics, Universidde

More information

1. On some properties of definite integrals. We prove

1. On some properties of definite integrals. We prove This short collection of notes is intended to complement the textbook Anlisi Mtemtic 2 by Crl Mdern, published by Città Studi Editore, [M]. We refer to [M] for nottion nd the logicl stremline of the rguments.

More information

A HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES. 1. Introduction

A HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES. 1. Introduction Ttr Mt. Mth. Publ. 44 (29), 159 168 DOI: 1.2478/v1127-9-56-z t m Mthemticl Publictions A HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES Miloslv Duchoň Peter Mličký ABSTRACT. We present Helly

More information

Review of Calculus, cont d

Review of Calculus, cont d Jim Lmbers MAT 460 Fll Semester 2009-10 Lecture 3 Notes These notes correspond to Section 1.1 in the text. Review of Clculus, cont d Riemnn Sums nd the Definite Integrl There re mny cses in which some

More information

arxiv:math/ v2 [math.ho] 16 Dec 2003

arxiv:math/ v2 [math.ho] 16 Dec 2003 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,

More information

UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE

UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE 1. Pointwise Convergence of Sequence Let E be set nd Y be metric spce. Consider functions f n : E Y for n = 1, 2,.... We sy tht the sequence

More information

arxiv: v1 [math.ca] 11 Jul 2011

arxiv: v1 [math.ca] 11 Jul 2011 rxiv:1107.1996v1 [mth.ca] 11 Jul 2011 Existence nd computtion of Riemnn Stieltjes integrls through Riemnn integrls July, 2011 Rodrigo López Pouso Deprtmento de Análise Mtemátic Fcultde de Mtemátics, Universidde

More information

1 i n x i x i 1. Note that kqk kp k. In addition, if P and Q are partition of [a, b], P Q is finer than both P and Q.

1 i n x i x i 1. Note that kqk kp k. In addition, if P and Q are partition of [a, b], P Q is finer than both P and Q. Chpter 6 Integrtion In this chpter we define the integrl. Intuitively, it should be the re under curve. Not surprisingly, fter mny exmples, counter exmples, exceptions, generliztions, the concept of the

More information

The final exam will take place on Friday May 11th from 8am 11am in Evans room 60.

The final exam will take place on Friday May 11th from 8am 11am in Evans room 60. Mth 104: finl informtion The finl exm will tke plce on Fridy My 11th from 8m 11m in Evns room 60. The exm will cover ll prts of the course with equl weighting. It will cover Chpters 1 5, 7 15, 17 21, 23

More information

Math 360: A primitive integral and elementary functions

Math 360: A primitive integral and elementary functions Mth 360: A primitive integrl nd elementry functions D. DeTurck University of Pennsylvni October 16, 2017 D. DeTurck Mth 360 001 2017C: Integrl/functions 1 / 32 Setup for the integrl prtitions Definition:

More information

ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER /2019

ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER /2019 ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS MATH00030 SEMESTER 208/209 DR. ANTHONY BROWN 7.. Introduction to Integrtion. 7. Integrl Clculus As ws the cse with the chpter on differentil

More information

Exam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1

Exam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1 Exm, Mthemtics 471, Section ETY6 6:5 pm 7:4 pm, Mrch 1, 16, IH-115 Instructor: Attil Máté 1 17 copies 1. ) Stte the usul sufficient condition for the fixed-point itertion to converge when solving the eqution

More information

Math 324 Course Notes: Brief description

Math 324 Course Notes: Brief description Brief description These re notes for Mth 324, n introductory course in Mesure nd Integrtion. Students re dvised to go through ll sections in detil nd ttempt ll problems. These notes will be modified nd

More information

Advanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015

Advanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015 Advnced Clculus: MATH 410 Uniform Convergence of Functions Professor Dvid Levermore 11 December 2015 12. Sequences of Functions We now explore two notions of wht it mens for sequence of functions {f n

More information

NOTES AND PROBLEMS: INTEGRATION THEORY

NOTES AND PROBLEMS: INTEGRATION THEORY NOTES AND PROBLEMS: INTEGRATION THEORY SAMEER CHAVAN Abstrct. These re the lecture notes prepred for prticipnts of AFS-I to be conducted t Kumun University, Almor from 1st to 27th December, 2014. Contents

More information

Riemann is the Mann! (But Lebesgue may besgue to differ.)

Riemann is the Mann! (But Lebesgue may besgue to differ.) Riemnn is the Mnn! (But Lebesgue my besgue to differ.) Leo Livshits My 2, 2008 1 For finite intervls in R We hve seen in clss tht every continuous function f : [, b] R hs the property tht for every ɛ >

More information

Review. April 12, Definition 1.2 (Closed Set). A set S is closed if it contains all of its limit points. S := S S

Review. April 12, Definition 1.2 (Closed Set). A set S is closed if it contains all of its limit points. S := S S Review April 12, 2017 1 Definitions nd Some Theorems 1.1 Topology Definition 1.1 (Limit Point). Let S R nd x R. Then x is limit point of S if, for ll ɛ > 0, V ɛ (x) = (x ɛ, x + ɛ) contins n element s S

More information

Entrance Exam, Real Analysis September 1, 2009 Solve exactly 6 out of the 8 problems. Compute the following and justify your computation: lim

Entrance Exam, Real Analysis September 1, 2009 Solve exactly 6 out of the 8 problems. Compute the following and justify your computation: lim 1. Let n be positive integers. ntrnce xm, Rel Anlysis September 1, 29 Solve exctly 6 out of the 8 problems. Sketch the grph of the function f(x): f(x) = lim e x2n. Compute the following nd justify your

More information

Phil Wertheimer UMD Math Qualifying Exam Solutions Analysis - January, 2015

Phil Wertheimer UMD Math Qualifying Exam Solutions Analysis - January, 2015 Problem 1 Let m denote the Lebesgue mesure restricted to the compct intervl [, b]. () Prove tht function f defined on the compct intervl [, b] is Lipschitz if nd only if there is constct c nd function

More information

Mapping the delta function and other Radon measures

Mapping the delta function and other Radon measures Mpping the delt function nd other Rdon mesures Notes for Mth583A, Fll 2008 November 25, 2008 Rdon mesures Consider continuous function f on the rel line with sclr vlues. It is sid to hve bounded support

More information

MATH 409 Advanced Calculus I Lecture 19: Riemann sums. Properties of integrals.

MATH 409 Advanced Calculus I Lecture 19: Riemann sums. Properties of integrals. MATH 409 Advnced Clculus I Lecture 19: Riemnn sums. Properties of integrls. Drboux sums Let P = {x 0,x 1,...,x n } be prtition of n intervl [,b], where x 0 = < x 1 < < x n = b. Let f : [,b] R be bounded

More information

II. Integration and Cauchy s Theorem

II. Integration and Cauchy s Theorem MTH6111 Complex Anlysis 2009-10 Lecture Notes c Shun Bullett QMUL 2009 II. Integrtion nd Cuchy s Theorem 1. Pths nd integrtion Wrning Different uthors hve different definitions for terms like pth nd curve.

More information

MAA 4212 Improper Integrals

MAA 4212 Improper Integrals Notes by Dvid Groisser, Copyright c 1995; revised 2002, 2009, 2014 MAA 4212 Improper Integrls The Riemnn integrl, while perfectly well-defined, is too restrictive for mny purposes; there re functions which

More information

MA123, Chapter 10: Formulas for integrals: integrals, antiderivatives, and the Fundamental Theorem of Calculus (pp.

MA123, Chapter 10: Formulas for integrals: integrals, antiderivatives, and the Fundamental Theorem of Calculus (pp. MA123, Chpter 1: Formuls for integrls: integrls, ntiderivtives, nd the Fundmentl Theorem of Clculus (pp. 27-233, Gootmn) Chpter Gols: Assignments: Understnd the sttement of the Fundmentl Theorem of Clculus.

More information

Homework 4. (1) If f R[a, b], show that f 3 R[a, b]. If f + (x) = max{f(x), 0}, is f + R[a, b]? Justify your answer.

Homework 4. (1) If f R[a, b], show that f 3 R[a, b]. If f + (x) = max{f(x), 0}, is f + R[a, b]? Justify your answer. Homework 4 (1) If f R[, b], show tht f 3 R[, b]. If f + (x) = mx{f(x), 0}, is f + R[, b]? Justify your nswer. (2) Let f be continuous function on [, b] tht is strictly positive except finitely mny points

More information

2 Definitions and Basic Properties of Extended Riemann Stieltjes Integrals

2 Definitions and Basic Properties of Extended Riemann Stieltjes Integrals 2 Definitions nd Bsic Properties of Extended Riemnn Stieltjes Integrls 2.1 Regulted nd Intervl Functions Regulted functions Let X be Bnch spce, nd let J be nonempty intervl in R, which my be bounded or

More information

The Riemann Integral

The Riemann Integral Deprtment of Mthemtics King Sud University 2017-2018 Tble of contents 1 Anti-derivtive Function nd Indefinite Integrls 2 3 4 5 Indefinite Integrls & Anti-derivtive Function Definition Let f : I R be function

More information

Fourier series. Preliminary material on inner products. Suppose V is vector space over C and (, )

Fourier series. Preliminary material on inner products. Suppose V is vector space over C and (, ) Fourier series. Preliminry mteril on inner products. Suppose V is vector spce over C nd (, ) is Hermitin inner product on V. This mens, by definition, tht (, ) : V V C nd tht the following four conditions

More information

n f(x i ) x. i=1 In section 4.2, we defined the definite integral of f from x = a to x = b as n f(x i ) x; f(x) dx = lim i=1

n f(x i ) x. i=1 In section 4.2, we defined the definite integral of f from x = a to x = b as n f(x i ) x; f(x) dx = lim i=1 The Fundmentl Theorem of Clculus As we continue to study the re problem, let s think bck to wht we know bout computing res of regions enclosed by curves. If we wnt to find the re of the region below the

More information

Unit #9 : Definite Integral Properties; Fundamental Theorem of Calculus

Unit #9 : Definite Integral Properties; Fundamental Theorem of Calculus Unit #9 : Definite Integrl Properties; Fundmentl Theorem of Clculus Gols: Identify properties of definite integrls Define odd nd even functions, nd reltionship to integrl vlues Introduce the Fundmentl

More information

A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007

A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007 A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H Thoms Shores Deprtment of Mthemtics University of Nebrsk Spring 2007 Contents Rtes of Chnge nd Derivtives 1 Dierentils 4 Are nd Integrls 5 Multivrite Clculus

More information

Theoretical foundations of Gaussian quadrature

Theoretical foundations of Gaussian quadrature Theoreticl foundtions of Gussin qudrture 1 Inner product vector spce Definition 1. A vector spce (or liner spce) is set V = {u, v, w,...} in which the following two opertions re defined: (A) Addition of

More information

1.3 The Lemma of DuBois-Reymond

1.3 The Lemma of DuBois-Reymond 28 CHAPTER 1. INDIRECT METHODS 1.3 The Lemm of DuBois-Reymond We needed extr regulrity to integrte by prts nd obtin the Euler- Lgrnge eqution. The following result shows tht, t lest sometimes, the extr

More information

Properties of the Riemann Integral

Properties of the Riemann Integral Properties of the Riemnn Integrl Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University Februry 15, 2018 Outline 1 Some Infimum nd Supremum Properties 2

More information

Problem Set 4: Solutions Math 201A: Fall 2016

Problem Set 4: Solutions Math 201A: Fall 2016 Problem Set 4: s Mth 20A: Fll 206 Problem. Let f : X Y be one-to-one, onto mp between metric spces X, Y. () If f is continuous nd X is compct, prove tht f is homeomorphism. Does this result remin true

More information

11 An introduction to Riemann Integration

11 An introduction to Riemann Integration 11 An introduction to Riemnn Integrtion The PROOFS of the stndrd lemms nd theorems concerning the Riemnn Integrl re NEB, nd you will not be sked to reproduce proofs of these in full in the exmintion in

More information

Main topics for the First Midterm

Main topics for the First Midterm Min topics for the First Midterm The Midterm will cover Section 1.8, Chpters 2-3, Sections 4.1-4.8, nd Sections 5.1-5.3 (essentilly ll of the mteril covered in clss). Be sure to know the results of the

More information

Convex Sets and Functions

Convex Sets and Functions B Convex Sets nd Functions Definition B1 Let L, +, ) be rel liner spce nd let C be subset of L The set C is convex if, for ll x,y C nd ll [, 1], we hve 1 )x+y C In other words, every point on the line

More information

Chapter 0. What is the Lebesgue integral about?

Chapter 0. What is the Lebesgue integral about? Chpter 0. Wht is the Lebesgue integrl bout? The pln is to hve tutoril sheet ech week, most often on Fridy, (to be done during the clss) where you will try to get used to the ides introduced in the previous

More information

Overview of Calculus I

Overview of Calculus I Overview of Clculus I Prof. Jim Swift Northern Arizon University There re three key concepts in clculus: The limit, the derivtive, nd the integrl. You need to understnd the definitions of these three things,

More information

Chapter 6. Infinite series

Chapter 6. Infinite series Chpter 6 Infinite series We briefly review this chpter in order to study series of functions in chpter 7. We cover from the beginning to Theorem 6.7 in the text excluding Theorem 6.6 nd Rbbe s test (Theorem

More information

1 The Riemann Integral

1 The Riemann Integral The Riemnn Integrl. An exmple leding to the notion of integrl (res) We know how to find (i.e. define) the re of rectngle (bse height), tringle ( (sum of res of tringles). But how do we find/define n re

More information

Lecture 19: Continuous Least Squares Approximation

Lecture 19: Continuous Least Squares Approximation Lecture 19: Continuous Lest Squres Approximtion 33 Continuous lest squres pproximtion We begn 31 with the problem of pproximting some f C[, b] with polynomil p P n t the discrete points x, x 1,, x m for

More information

Riemann Sums and Riemann Integrals

Riemann Sums and Riemann Integrals Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 2013 Outline 1 Riemnn Sums 2 Riemnn Integrls 3 Properties

More information

7.2 The Definite Integral

7.2 The Definite Integral 7.2 The Definite Integrl the definite integrl In the previous section, it ws found tht if function f is continuous nd nonnegtive, then the re under the grph of f on [, b] is given by F (b) F (), where

More information

Preliminaries From Calculus

Preliminaries From Calculus Chpter 1 Preliminries From Clculus Stochstic clculus dels with functions of time t, t T. In this chpter some concepts of the infinitesiml clculus used in the sequel re given. 1.1 Functions in Clculus Continuous

More information

ODE: Existence and Uniqueness of a Solution

ODE: Existence and Uniqueness of a Solution Mth 22 Fll 213 Jerry Kzdn ODE: Existence nd Uniqueness of Solution The Fundmentl Theorem of Clculus tells us how to solve the ordinry differentil eqution (ODE) du = f(t) dt with initil condition u() =

More information

For a continuous function f : [a; b]! R we wish to define the Riemann integral

For a continuous function f : [a; b]! R we wish to define the Riemann integral Supplementry Notes for MM509 Topology II 2. The Riemnn Integrl Andrew Swnn For continuous function f : [; b]! R we wish to define the Riemnn integrl R b f (x) dx nd estblish some of its properties. This

More information

p(t) dt + i 1 re it ireit dt =

p(t) dt + i 1 re it ireit dt = Note: This mteril is contined in Kreyszig, Chpter 13. Complex integrtion We will define integrls of complex functions long curves in C. (This is bit similr to [relvlued] line integrls P dx + Q dy in R2.)

More information

MA 124 January 18, Derivatives are. Integrals are.

MA 124 January 18, Derivatives are. Integrals are. MA 124 Jnury 18, 2018 Prof PB s one-minute introduction to clculus Derivtives re. Integrls re. In Clculus 1, we lern limits, derivtives, some pplictions of derivtives, indefinite integrls, definite integrls,

More information

Riemann Sums and Riemann Integrals

Riemann Sums and Riemann Integrals Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 203 Outline Riemnn Sums Riemnn Integrls Properties Abstrct

More information

1 The fundamental theorems of calculus.

1 The fundamental theorems of calculus. The fundmentl theorems of clculus. The fundmentl theorems of clculus. Evluting definite integrls. The indefinite integrl- new nme for nti-derivtive. Differentiting integrls. Tody we provide the connection

More information

1 The fundamental theorems of calculus.

1 The fundamental theorems of calculus. The fundmentl theorems of clculus. The fundmentl theorems of clculus. Evluting definite integrls. The indefinite integrl- new nme for nti-derivtive. Differentiting integrls. Theorem Suppose f is continuous

More information

Chapter 5 : Continuous Random Variables

Chapter 5 : Continuous Random Variables STAT/MATH 395 A - PROBABILITY II UW Winter Qurter 216 Néhémy Lim Chpter 5 : Continuous Rndom Vribles Nottions. N {, 1, 2,...}, set of nturl numbers (i.e. ll nonnegtive integers); N {1, 2,...}, set of ll

More information

The Bochner Integral and the Weak Property (N)

The Bochner Integral and the Weak Property (N) Int. Journl of Mth. Anlysis, Vol. 8, 2014, no. 19, 901-906 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/ijm.2014.4367 The Bochner Integrl nd the Wek Property (N) Besnik Bush Memetj University

More information

CMDA 4604: Intermediate Topics in Mathematical Modeling Lecture 19: Interpolation and Quadrature

CMDA 4604: Intermediate Topics in Mathematical Modeling Lecture 19: Interpolation and Quadrature CMDA 4604: Intermedite Topics in Mthemticl Modeling Lecture 19: Interpoltion nd Qudrture In this lecture we mke brief diversion into the res of interpoltion nd qudrture. Given function f C[, b], we sy

More information

T b a(f) [f ] +. P b a(f) = Conclude that if f is in AC then it is the difference of two monotone absolutely continuous functions.

T b a(f) [f ] +. P b a(f) = Conclude that if f is in AC then it is the difference of two monotone absolutely continuous functions. Rel Vribles, Fll 2014 Problem set 5 Solution suggestions Exerise 1. Let f be bsolutely ontinuous on [, b] Show tht nd T b (f) P b (f) f (x) dx [f ] +. Conlude tht if f is in AC then it is the differene

More information

MATH , Calculus 2, Fall 2018

MATH , Calculus 2, Fall 2018 MATH 36-2, 36-3 Clculus 2, Fll 28 The FUNdmentl Theorem of Clculus Sections 5.4 nd 5.5 This worksheet focuses on the most importnt theorem in clculus. In fct, the Fundmentl Theorem of Clculus (FTC is rgubly

More information

Notes on Calculus. Dinakar Ramakrishnan Caltech Pasadena, CA Fall 2001

Notes on Calculus. Dinakar Ramakrishnan Caltech Pasadena, CA Fall 2001 Notes on Clculus by Dinkr Rmkrishnn 253-37 Cltech Psden, CA 91125 Fll 21 1 Contents Logicl Bckground 2.1 Sets... 2.2 Functions... 3.3 Crdinlity... 3.4 EquivlenceReltions... 4 1 Rel nd Complex Numbers 6

More information

Lecture 3. Limits of Functions and Continuity

Lecture 3. Limits of Functions and Continuity Lecture 3 Limits of Functions nd Continuity Audrey Terrs April 26, 21 1 Limits of Functions Notes I m skipping the lst section of Chpter 6 of Lng; the section bout open nd closed sets We cn probbly live

More information

Sections 5.2: The Definite Integral

Sections 5.2: The Definite Integral Sections 5.2: The Definite Integrl In this section we shll formlize the ides from the lst section to functions in generl. We strt with forml definition.. The Definite Integrl Definition.. Suppose f(x)

More information

Math& 152 Section Integration by Parts

Math& 152 Section Integration by Parts Mth& 5 Section 7. - Integrtion by Prts Integrtion by prts is rule tht trnsforms the integrl of the product of two functions into other (idelly simpler) integrls. Recll from Clculus I tht given two differentible

More information

and that at t = 0 the object is at position 5. Find the position of the object at t = 2.

and that at t = 0 the object is at position 5. Find the position of the object at t = 2. 7.2 The Fundmentl Theorem of Clculus 49 re mny, mny problems tht pper much different on the surfce but tht turn out to be the sme s these problems, in the sense tht when we try to pproimte solutions we

More information

1 Probability Density Functions

1 Probability Density Functions Lis Yn CS 9 Continuous Distributions Lecture Notes #9 July 6, 28 Bsed on chpter by Chris Piech So fr, ll rndom vribles we hve seen hve been discrete. In ll the cses we hve seen in CS 9, this ment tht our

More information

Introduction to Real Analysis (Math 315) Martin Bohner

Introduction to Real Analysis (Math 315) Martin Bohner ntroduction to Rel Anlysis (Mth 315) Spring 2005 Lecture Notes Mrtin Bohner Author ddress: Version from April 20, 2005 Deprtment of Mthemtics nd Sttistics, University of Missouri Roll, Roll, Missouri 65409-0020

More information

Continuous Random Variables

Continuous Random Variables STAT/MATH 395 A - PROBABILITY II UW Winter Qurter 217 Néhémy Lim Continuous Rndom Vribles Nottion. The indictor function of set S is rel-vlued function defined by : { 1 if x S 1 S (x) if x S Suppose tht

More information

Necessary and Sufficient Conditions for Differentiating Under the Integral Sign

Necessary and Sufficient Conditions for Differentiating Under the Integral Sign Necessry nd Sufficient Conditions for Differentiting Under the Integrl Sign Erik Tlvil 1. INTRODUCTION. When we hve n integrl tht depends on prmeter, sy F(x f (x, y dy, it is often importnt to know when

More information

Piecewise Continuous φ

Piecewise Continuous φ Piecewise Continuous φ φ is piecewise continuous on [, b] if nd only if b in R nd φ : [, b] C There is finite set S [, b] such tht, for ll t [, b] S, φ is continuous t t: φ(t) = lim φ(u) u t u [,b] For

More information

Calculus II: Integrations and Series

Calculus II: Integrations and Series Clculus II: Integrtions nd Series August 7, 200 Integrls Suppose we hve generl function y = f(x) For simplicity, let f(x) > 0 nd f(x) continuous Denote F (x) = re under the grph of f in the intervl [,x]

More information

The practical version

The practical version Roerto s Notes on Integrl Clculus Chpter 4: Definite integrls nd the FTC Section 7 The Fundmentl Theorem of Clculus: The prcticl version Wht you need to know lredy: The theoreticl version of the FTC. Wht

More information

IMPORTANT THEOREMS CHEAT SHEET

IMPORTANT THEOREMS CHEAT SHEET IMPORTANT THEOREMS CHEAT SHEET BY DOUGLAS DANE Howdy, I m Bronson s dog Dougls. Bronson is still complining bout the textbook so I thought if I kept list of the importnt results for you, he might stop.

More information

Notes on length and conformal metrics

Notes on length and conformal metrics Notes on length nd conforml metrics We recll how to mesure the Eucliden distnce of n rc in the plne. Let α : [, b] R 2 be smooth (C ) rc. Tht is α(t) (x(t), y(t)) where x(t) nd y(t) re smooth rel vlued

More information

8 Laplace s Method and Local Limit Theorems

8 Laplace s Method and Local Limit Theorems 8 Lplce s Method nd Locl Limit Theorems 8. Fourier Anlysis in Higher DImensions Most of the theorems of Fourier nlysis tht we hve proved hve nturl generliztions to higher dimensions, nd these cn be proved

More information

0.1 Properties of regulated functions and their Integrals.

0.1 Properties of regulated functions and their Integrals. MA244 Anlysis III Solutions. Sheet 2. NB. THESE ARE SKELETON SOLUTIONS, USE WISELY!. Properties of regulted functions nd their Integrls.. (Q.) Pick ny ɛ >. As f, g re regulted, there exist φ, ψ S[, b]:

More information

Calculus I-II Review Sheet

Calculus I-II Review Sheet Clculus I-II Review Sheet 1 Definitions 1.1 Functions A function is f is incresing on n intervl if x y implies f(x) f(y), nd decresing if x y implies f(x) f(y). It is clled monotonic if it is either incresing

More information

63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1

63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1 3 9. SEQUENCES AND SERIES 63. Representtion of functions s power series Consider power series x 2 + x 4 x 6 + x 8 + = ( ) n x 2n It is geometric series with q = x 2 nd therefore it converges for ll q =

More information

The First Fundamental Theorem of Calculus. If f(x) is continuous on [a, b] and F (x) is any antiderivative. f(x) dx = F (b) F (a).

The First Fundamental Theorem of Calculus. If f(x) is continuous on [a, b] and F (x) is any antiderivative. f(x) dx = F (b) F (a). The Fundmentl Theorems of Clculus Mth 4, Section 0, Spring 009 We now know enough bout definite integrls to give precise formultions of the Fundmentl Theorems of Clculus. We will lso look t some bsic emples

More information