Chapter 22. The Fundamental Theorem of Calculus
|
|
- Basil Lee
- 5 years ago
- Views:
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
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 informationThe 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 informationA 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 information7.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 informationLecture 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 informationAdvanced 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 informationON 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 informationMath 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 informationf(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 informationFundamental 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 informationAppendix 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 informationReview 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 informationLecture 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 informationThis 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 informationChapter 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 informationMath 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 informationSOLUTIONS 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 informationFUNDAMENTALS 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 informationCalculus 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 informationUNIFORM 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 informationPresentation 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 informationPrinciples 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 informationThe 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 informationarxiv: 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 information1. 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 informationA 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 informationReview 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 informationarxiv: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 informationUNIFORM 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 informationarxiv: 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 information1 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 informationThe 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 informationMath 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 informationACCESS 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 informationExam 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 informationMath 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 informationAdvanced 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 informationNOTES 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 informationRiemann 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 informationReview. 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 informationEntrance 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 informationPhil 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 informationMapping 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 informationMATH 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 informationII. 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 informationMAA 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 informationMA123, 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 informationHomework 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 information2 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 informationThe 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 informationFourier 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 informationn 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 informationUnit #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 informationA 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 informationTheoretical 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 information1.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 informationProperties 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 informationProblem 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 information11 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 informationMain 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 informationConvex 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 informationChapter 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 informationOverview 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 informationChapter 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 information1 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 informationLecture 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 informationRiemann 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 information7.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 informationPreliminaries 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 informationODE: 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 informationFor 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 informationp(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 informationMA 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 informationRiemann 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 information1 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 information1 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 informationChapter 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 informationThe 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 informationCMDA 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 informationT 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 informationMATH , 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 informationNotes 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 informationLecture 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 informationSections 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 informationMath& 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 informationand 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 information1 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 informationIntroduction 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 informationContinuous 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 informationNecessary 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 informationPiecewise 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 informationCalculus 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 informationThe 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 informationIMPORTANT 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 informationNotes 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 information8 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 information0.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 informationCalculus 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 information63. 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 informationThe 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