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


 Arthur Shields
 2 years ago
 Views:
Transcription
1 rxiv:mth/ v2 [mth.ho] 16 Dec 2003 Clssicl Lebesgue Integrtion Theorems for the Riemnn Integrl Josh Isrlowitz 244 Ridge Rd. Rutherford, NJ Februry 1, 2008 Abstrct In this pper, we use the concept of guges to provide esy proofs (proofs tht re not difficult nd do not use ny mesure or Lebesgue integrtion theory except for the notion of mesure zero) of integrtion theorems for the Riemnn integrl tht re closely relted to clssicl Lebesgue integrtion theorems. An undergrdute mthemtics student will most likely be rigorously exposed to the Riemnn integrl, working directly with its definition nd proving vrious results bout the integrl. However, if the student goes on to tke higher courses in mthemtics, he or she will undoubtedly be exposed to the Lebesgue integrl, which compred to the Riemnn integrl, is very different nd lot hrder. Becuse of this, students sometimes hve difficult time djusting to the Lebesgue integrl nd hence, some uthors even c tht, the Lebesgue integrl is quite frnkly too difficult to be tught in n undergrdute clss. To ese this trnsition from the Riemnn integrl to the Lebesgue integrl, some uthors hve clled for the teching of wht is known s the Kurzweil Henstock integrl (or sometimes clled the Guge integrl) for the following two resons: the integrl only slightly differs in definition when compred to the Riemnn integrl nd in some cses the even generlizes the Lebesgue integrl. Therefore, student cn be exposed to few of the stndrd integrtion theorems for Lebesgue integrl, but sty within comfortble frmework. However, the proofs of these integrtion theorems for the KurzweilHenstock integrl re quite difficult nd might not be understood by students in dvnced clculus or introduction to nlysis courses. One wy to void this is to use the The uthor would like to thnk professor Jne Gilmn for her time nd help nd the NJIT mthemtics deprtment for their continuing support. 1
2 concept of guges to prove clssicl integrtion theorems in modified forms for the Riemnn integrl, nd hence, with the id of guges, we will prove the following three theorems for the Riemnn integrl: 1) Riemnn integrbility nd.e. equlity implies equl integrls 2) the dominted convergence theorem 3) the monotone convergence theorem For n elementry discussion of the KurzweilHenstock integrl, one should consult [1, p ], nd for more detiled discussion of the Kurzweil Henstock integrl, one should consult [3]. For detiled discussion of Lebesgue integrtion, one should consult ny Rel Anlysis text, for exmple [2]. Before we strt our proofs, we need to stte few definitions nd theorems for the the reder who hs never seen them before nd we will give definition of the Riemnn integrl for the ske of clrifying our nottion. Definition 1 A sequence of functions {f n (x)} is sid to be uniformly bounded over set S if there exists n M > 0 such tht for ny x S nd n Z +, f n (x) < M. Definition 2 A prtition Q of n intervl [, b] is collection of nonoverlpping closed intervls {[x 0, x 1 ], [x 1, x 2 ],..., [x n 1, x n ]} who s union is [, b]. If for ech i = 1, 2, 3,..., n, point t i hs been chosen from ech intervl [x i 1, x i ], then the collection of points {t i } nd intervls Q together is clled tgged prtition. Definition 3 A guge on n intervl [, b] is function δ : [, b] (0, ). If δ(t) is guge on [, b], then tgged prtition Q is sid to be δ(t)  fine if for ech i = 1, 2, 3,..., n, t i [x i 1, x i ] [t i δ(t i ), t i + δ(t i )]. The following theorem shows the existence of δ(t)  fine prtition Q for ny guge δ(t). For proof one should consult [1, p.146]. Theorem 1 If δ(t) is guge on [, b], then there exists δ(t)  fine prtition of [, b]. Definition 4 If Q is tgged prtition, then the Riemnn sum of function f : [, b] R is the number S(f, Q) = f(t i )(x i x i 1 ). The number mx{(x 1 x 0 ),, (x n 1 x n )} is sid to be the norm of Q nd is denoted by Q. A function f : [, b] R is sid to be Riemnn integrble over [, b] if there exists n L R such tht for ny ǫ > 0, there exists δ ǫ > 0 such tht for ny tgged prtition Q with Q < δ ǫ, S(f, Q) L < ǫ, nd L is clled the Riemnn integrl of f(x) over [, b]. A function f : [, b] R is sid to be KurzweilHenstock integrble (or Guge integrble or KH integrble for short) over [, b] if there exists n L R such tht for ny ǫ > 0, 2
3 there exists guge δ ǫ (t) on [, b] such tht for ny δ ǫ (t)  fine tgged prtition Q of [, b], S(f, Q) L < ǫ. nd L is sid to be the KurzweilHenstock integrl (or the KH integrl) of f(x) over [, b]. The clss of ll Riemnn integrble functions over [, b] is denoted by R[, b] nd the clss of ll KH integrble functions over [, b] is denoted by R [, b]. Two importnt fcts should be noted t this point. First, it cn esily shown tht if f(x) R[, b] then f(x) R [, b] nd the Riemnn integrl of f(x) over [, b] is the sme s the KH integrl of f(x) over [, b]. Second, the KH integrl cn be defined over subsets of R tht re more generl then closed nd bounded intervls, lthough we will not define how this will be done. For such definition nd proof of the bove sttement, see [1, p ]. Theorem 2 If f(x) R[, b] then f(x) is bounded over [, b]. For proof of this one cn consult ny introduction to nlysis text, for exmple [1, p. 200]. It should be noted tht this is not true for functions in R [, b]. For exmples of unbounded KH functions, one should gin consult [3]. Theorem 3 (Lebesgue s Criteri) A function f(x) is in R[, b] if nd only if the set of discontinuities in [, b] hs mesure zero. Although mny different books prove this criteri, in the spirit of our topic, one cn consult [1, p.347] for n esy proof tht utilizes guges. It is extremely importnt to note tht this does not chrcterize KH integrble functions. In fct, it cn be shown tht the set of ll KH integrble functions is proper subset of the set of ll Lebesgue integrble functions (when deling with integrtion over the rel line.) For detiled discussion of KH integrble functions, cn gin consult [3]. Finlly, we introduce very importnt concept known s mesure zero. Definition 5 A set G R is sid to hve mesure zero if for ny ǫ > 0, there exists collection of intervls I = {( n, b n ) : n Z + } such tht G n=1 ( n, b n ) nd n=1 (b n n ) < ǫ. If X R nd property holds on ll of X except for possibly subset S X of mesure zero, then the property is sid to hold lmost everywhere (or.e. for short) on X. Now we re in position to prove our first theorem, tht two functions tht re in R[, b] nd equivlent.e. on [, b] hve the sme integrl over [, b] (this of course is the most elementry nd fundmentl of ll integrtion theorems for the Lebesgue integrl.) In generl, however, if one function tht is in R[, b] is equivlent to nother function.e. on [, b], then the second function might not even be integrble over the intervl, s the esy exmple where f(x) = 0 for x [0, 1] nd g(x) = 0 for x [0, 1] Q nd g(x) = 1 for x [0, 1]\Q shows. Note tht this prtly gives n intuitive justifiction for the definition of lmost everywhere in the sense tht if we define two functions to be lmost equl to ech other, then their respective integrls (if they exist) should be the sme. 3
4 Lemm 1 Let f(x) nd g(x) be in R[, b] where f(x) = g(x).e. on [, b], then f(x)dx = g(x)dx. Proof: We will prove tht F(x)dx = 0 where F(x) = f(x)  g(x) for ll x [, b]. F(x) R[, b] so tht F(x) is bounded on [, b] nd for ny ǫ > 0, there exists n L nd δ ǫ > 0 such tht for ny tgged prtition Q of [, b] with Q < δ ǫ, S(F, Q) L < ǫ. Let G be the set of ll x [, b] such tht F(x) 0. By our hypothesis, G hs mesure zero so tht there exists collection of intervls I = {[ n, b n ] : n Z + } such tht G n=1 [ n, b n ], [ n, b n ] [, b] for ech n Z + nd n=1 (b n n ) < ǫ 2M where F(x) < M on [, b]. Now define guge δ(t) on [, b] where if t G then δ(t) = min{(b i i ), δǫ 4 } where i is the first i Z + such tht t [ i, b i ] where [ i, b i ] I nd δ(t) = δǫ 4 otherwise. Therefore, for ny δ(t)  fine tgged prtition Q of [, b], the only nonzero contributions to S(F, Q) re from those prtition intervls of Q tht hve prtition points t tht re in G so tht S(F(x), Q) = F(t i )(x i+1 x i ) F(t i ) (x i+1 x i ) M (x i x i 1 ) 2Mǫ 2M = ǫ so tht since Q < δ ǫ becuse Q is δ(t)  fine, by definition L = 0. QED Now we prove version of the dominted convergence theorem tht is suitble for the Riemnn Integrl. One should note tht the essentil content of the theorem is not lost when we pss it from the Lebesgue integrl to the Riemnn integrl: tht we cn interchnge its when convergent sequence of functions is dominted in some sense (nd when the it function is Riemnn integrble in the Riemnn integrl cse.) Theorem 4 (Dominted Convergence Theorem) Let {f n (x)} be uniformly bounded sequence of functions in R[, b] tht converges to function f(x) R[, b] on [, b], then. f(x)dx Proof: Let F n (x) = f n (x) f(x) for ll x [, b]. Since {f n (x)} is uniformly bounded on [, b] nd f(x) is bounded on [, b], {F n (x)} is clerly uniformly bounded on [, b] so let F n (x) < M for some M > 0 nd ll n Z +. For ny ǫ > 0, let S = {t : F n (t) < ǫ} for ny n Z + nd define guge δ(t) on [, b] where δ(t) = ǫ 4M(b ) if t S nd δ(t) = 1 n(t) otherwise, where 4
5 n(t) is the lst integer n such tht F n (t) ǫ. Now for ny N Z + such tht 1 N < ǫ 4M(b ) nd for ny Riemnn sum with δ(t)  fine tgged prtition Q of [, b], divide the tgs into two sets {t i } nd {t i } (with corresponding prtition points x i nd x i ) where the first set consists of ll tgs of Q tht re in S nd the second consists of ll tgs of Q tht re not in S, so tht for ny integer n > N, S(f n, Q) S(f, Q) = S(F n, Q) F n (t i )(x i x i 1 ) + F n (t i )(x i x i 1 ) < ǫ 2 since the definition of our guge implies tht the first nd second terms re both < ǫ 4 Ḟinlly, since f(x) R[, b], there exists n L R nd γ > 0 such tht for ny Q of [, b] with Q < γ, S(f, Q) L < ǫ 2. Now let δ (t) = min{δ(t), γ 4 }. For ny integer n > N nd δ (t) fine tgged prtition Q of [, b], the previous prgrph implies tht S(f n, Q) L S(f n, Q) S(f, Q) + S(f, Q) L < ǫ, but Q < γ nd f(x) R[, b] implies tht f(x) R [, b] with equl integrl so tht we obtin our desired result. QED It should be noted tht we ctully proved slightly stronger result, which we stte in the following. Corollry 1 Let {f n (x)} be uniformly bounded sequence of functions in R [, b] tht converge to bounded function f(x) R [, b] on [, b], then f(x)dx. Finlly, we prove our lst desired result: the monotone convergence theorem. It turns out tht this will follow trivilly from the dominted convergence theorem. Theorem 5 (Monotone Convergence Theorem) Let {f n (x)} be monotone sequence of functions in R[, b] (monotone on [, b]) such tht f n (x) converges to function f(x) R[, b] on [, b], then f(x)dx. Proof: We c tht {f n (x)} is uniformly bounded on [, b], which will immeditely prove our desired result. f(x) nd f 1 (x) re both in R[, b], so tht there exists n M > 0 nd M > 0 such tht f(x) < M nd f 1 (x) < M for 5
6 ny x [, b]. Let L = mx {M +1, M } We c tht for ll n Z +, f n (x) L. Now ssume f 1 (x) f(x) for ll x [, b]. If f 1 (x) f(x) for ll x [, b] then the following cn be esily modified to fit this cse. Now choose ny x [, b]. If f n (x ) converges to f(x ) then clerly {f n (x )} must be decresing sequence so tht for ll n Z +, f n (x) f 1 (x ). However, choosing n lrge enough so tht f n (x ) f(x ) 1 gives us tht f n (x ) 1 + f(x ) so tht for ll n Z +, f n (x) L by the definition of L. QED The reder might hve noticed tht bove proof only relied on the monotonicity of {f n (x)} on [, b] nd the boundedness of ech f n (x) nd f(x) on [, b]. Therefore, we gin proved slightly stronger result tht is stted below. It should be noted tht results tht generlize corollry 1 nd corollry 2 exist. For discussion of these, one should consult [3, p ]. Corollry 2 Let {f n (x)} be monotone nd bounded sequence of functions in R [, b] (monotone on [, b]) such tht f n (x) converges to function f(x) R [, b] on [, b],,then References f(x)dx. [1] Brtle, R.G. nd Sherbert D.R. Introduction to Rel Anlysis, John Wiley nd Sons, Inc., [2] Bruckner, A.M., Bruckner, J.B., nd Thoms, B.S. Rel Anlysis, Prentice Hll, Inc., [3] Brtle, R.G Modern Theory of Integrtion, Americn Mthemticl Society,
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 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 informationThe HenstockKurzweil integral
fculteit Wiskunde en Ntuurwetenschppen The HenstockKurzweil integrl Bchelorthesis Mthemtics June 2014 Student: E. vn Dijk First supervisor: Dr. A.E. Sterk Second supervisor: Prof. dr. A. vn der Schft
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 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 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 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 informationON THE CINTEGRAL BENEDETTO BONGIORNO
ON THE CINTEGRAL 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 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 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 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. emil: cosv@mt.cs.unibuc.ro A PROOF OF THE FUNDAMENTAL
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 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 informationLecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)
Lecture 3 (5.3.2018) (trnslted nd slightly dpted from lecture notes by Mrtin Klzr) Riemnn integrl Now we define precisely the concept of the re, in prticulr, the re of figure U(, b, f) under the grph of
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 informationReview of Calculus, cont d
Jim Lmbers MAT 460 Fll Semester 200910 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 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 informationA product convergence theorem for Henstock Kurzweil integrals
A product convergence theorem for Henstock Kurzweil integrls Prsr Mohnty Erik Tlvil 1 Deprtment of Mthemticl nd Sttisticl Sciences University of Albert Edmonton AB Cnd T6G 2G1 pmohnty@mth.ulbert.c etlvil@mth.ulbert.c
More informationCzechoslovak Mathematical Journal, 55 (130) (2005), , Abbotsford. 1. Introduction
Czechoslovk Mthemticl Journl, 55 (130) (2005), 933 940 ESTIMATES OF THE REMAINDER IN TAYLOR S THEOREM USING THE HENSTOCKKURZWEIL INTEGRAL, Abbotsford (Received Jnury 22, 2003) Abstrct. When relvlued
More informationEuler, Ioachimescu and the trapezium rule. G.J.O. Jameson (Math. Gazette 96 (2012), )
Euler, Iochimescu nd the trpezium rule G.J.O. Jmeson (Mth. Gzette 96 (0), 36 4) The following results were estblished in recent Gzette rticle [, Theorems, 3, 4]. Given > 0 nd 0 < s
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 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 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 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 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 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 informationA Convergence Theorem for the Improper Riemann Integral of Banach Spacevalued Functions
Interntionl Journl of Mthemticl Anlysis Vol. 8, 2014, no. 50, 24512460 HIKARI Ltd, www.mhikri.com http://dx.doi.org/10.12988/ijm.2014.49294 A Convergence Theorem for the Improper Riemnn Integrl of Bnch
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 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 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 informationINTRODUCTION TO INTEGRATION
INTRODUCTION TO INTEGRATION 5.1 Ares nd Distnces Assume f(x) 0 on the intervl [, b]. Let A be the re under the grph of f(x). b We will obtin n pproximtion of A in the following three steps. STEP 1: Divide
More informationThe RiemannLebesgue Lemma
Physics 215 Winter 218 The RiemnnLebesgue Lemm The Riemnn Lebesgue Lemm is one of the most importnt results of Fourier nlysis nd symptotic nlysis. It hs mny physics pplictions, especilly in studies of
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 informationGeneralized Riemann Integral
Generlized Riemnn Integrl Krel Hrbcek The City College of New York, New York khrbcek@sci.ccny.cuny.edu July 27, 2014 These notes present the theory of generlized Riemnn integrl, due to R. Henstock nd J.
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 informationFundamental Theorem of Calculus and Computations on Some Special HenstockKurzweil Integrals
Fundmentl Theorem of Clculus nd Computtions on Some Specil HenstockKurzweil Integrls WeiChi YANG wyng@rdford.edu Deprtment of Mthemtics nd Sttistics Rdford University Rdford, VA 24142 USA DING, Xiofeng
More informationDirichlet and Fresnel Integrals via Iterated Integration
VOL. 78, NO. 1, FEBRUARY 5 63 While not ll of the ssumptions of the model will be stisfied in every cse, nevertheless, this nlysis might be used to justify limiting the size of committees. Now, if we could
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 informationChapter 6. Riemann Integral
Introduction to Riemnn integrl Chpter 6. Riemnn Integrl WonKwng Prk Deprtment of Mthemtics, The College of Nturl Sciences Kookmin University Second semester, 2015 1 / 41 Introduction to Riemnn integrl
More informationReview on Integration (Secs ) Review: Sec Origins of Calculus. Riemann Sums. New functions from old ones.
Mth 20B Integrl Clculus Lecture Review on Integrtion (Secs. 5.  5.3) Remrks on the course. Slide Review: Sec. 5.5.3 Origins of Clculus. Riemnn Sums. New functions from old ones. A mthemticl description
More informationW. 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 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 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 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 informationarxiv: v1 [math.ca] 9 Jun 2011
Men vlue integrl inequlities rxiv:1106.1807v1 [mth.ca] 9 Jun 2011 June, 2011 Rodrigo López Pouso Deprtment of Mthemticl Anlysis Fculty of Mthemtics, University of Sntigo de Compostel, 15782 Sntigo de Compostel,
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 informationRiemann Stieltjes Integration  Definition and Existence of Integral
 Definition nd Existence of Integrl Dr. Adity Kushik Directorte of Distnce Eduction Kurukshetr University, Kurukshetr Hryn 136119 Indi. Prtition Riemnn Stieltjes Sums Refinement Definition Given closed
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 informationWeek 10: Riemann integral and its properties
Clculus nd Liner Algebr for Biomedicl Engineering Week 10: Riemnn integrl nd its properties H. Führ, Lehrstuhl A für Mthemtik, RWTH Achen, WS 07 Motivtion: Computing flow from flow rtes 1 We observe the
More informationRiemann Integrals and the Fundamental Theorem of Calculus
Riemnn Integrls nd the Fundmentl Theorem of Clculus Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University September 16, 2013 Outline Grphing Riemnn Sums
More informationSYDE 112, LECTURES 3 & 4: The Fundamental Theorem of Calculus
SYDE 112, LECTURES & 4: The Fundmentl Theorem of Clculus So fr we hve introduced two new concepts in this course: ntidifferentition nd Riemnn sums. It turns out tht these quntities re relted, but it is
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 informationII. Integration and Cauchy s Theorem
MTH6111 Complex Anlysis 200910 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 informationTHE EXISTENCEUNIQUENESS THEOREM FOR FIRSTORDER DIFFERENTIAL EQUATIONS.
THE EXISTENCEUNIQUENESS THEOREM FOR FIRSTORDER DIFFERENTIAL EQUATIONS RADON ROSBOROUGH https://intuitiveexplntionscom/picrdlindeloftheorem/ This document is proof of the existenceuniqueness theorem
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 welldefined, is too restrictive for mny purposes; there re functions which
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 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 informationChapter 22. The Fundamental Theorem of Calculus
Version of 24.2.4 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
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 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 informationThe presentation of a new type of quantum calculus
DOI.55/tmj2722 The presenttion of new type of quntum clculus Abdolli Nemty nd Mehdi Tourni b Deprtment of Mthemtics, University of Mzndrn, Bbolsr, Irn Emil: nmty@umz.c.ir, mehdi.tourni@gmil.com b Abstrct
More informationDefinite integral. Mathematics FRDIS MENDELU
Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová Brno 1 Motivtion  re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function defined on [, b]. Wht is the re of the
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 1B, lecture 4: Error bounds for numerical methods
Mth B, lecture 4: Error bounds for numericl methods Nthn Pflueger 4 September 0 Introduction The five numericl methods descried in the previous lecture ll operte by the sme principle: they pproximte the
More informationMAT612REAL ANALYSIS RIEMANN STIELTJES INTEGRAL
MAT612REAL ANALYSIS RIEMANN STIELTJES INTEGRAL DR. RITU AGARWAL MALVIYA NATIONAL INSTITUTE OF TECHNOLOGY, JAIPUR, INDIA302017 Tble of Contents Contents Tble of Contents 1 1. Introduction 1 2. Prtition
More informationPrinciples of Real Analysis I Fall VI. Riemann Integration
21355 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 informationDefinite integral. Mathematics FRDIS MENDELU. Simona Fišnarová (Mendel University) Definite integral MENDELU 1 / 30
Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová (Mendel University) Definite integrl MENDELU / Motivtion  re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function
More informationLECTURE. INTEGRATION AND ANTIDERIVATIVE.
ANALYSIS FOR HIGH SCHOOL TEACHERS LECTURE. INTEGRATION AND ANTIDERIVATIVE. ROTHSCHILD CAESARIA COURSE, 2015/6 1. Integrtion Historiclly, it ws the problem of computing res nd volumes, tht triggered development
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 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 informationA BRIEF INTRODUCTION TO UNIFORM CONVERGENCE. In the study of Fourier series, several questions arise naturally, such as: c n e int
A BRIEF INTRODUCTION TO UNIFORM CONVERGENCE HANS RINGSTRÖM. Questions nd exmples In the study of Fourier series, severl questions rise nturlly, such s: () (2) re there conditions on c n, n Z, which ensure
More informationThe Fundamental Theorem of Calculus
The Fundmentl Theorem of Clculus MATH 151 Clculus for Mngement J. Robert Buchnn Deprtment of Mthemtics Fll 2018 Objectives Define nd evlute definite integrls using the concept of re. Evlute definite integrls
More informationThe onedimensional HenstockKurzweil integral
Chpter 1 The onedimensionl HenstockKurzweil integrl 1.1 Introduction nd Cousin s Lemm The purpose o this monogrph is to study multiple HenstockKurzweil integrls. In the present chpter, we shll irst
More informationDefinite Integrals. The area under a curve can be approximated by adding up the areas of rectangles = 1 1 +
Definite Integrls 5 The re under curve cn e pproximted y dding up the res of rectngles. Exmple. Approximte the re under y = from x = to x = using equl suintervls nd + x evluting the function t the lefthnd
More informationHenstock Kurzweil delta and nabla integrals
Henstock Kurzweil delt nd nbl integrls Alln Peterson nd Bevn Thompson Deprtment of Mthemtics nd Sttistics, University of NebrskLincoln Lincoln, NE 685880323 peterso@mth.unl.edu Mthemtics, SPS, The University
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. 27233, Gootmn) Chpter Gols: Assignments: Understnd the sttement of the Fundmentl Theorem of Clculus.
More informationIntroduction to the Calculus of Variations
Introduction to the Clculus of Vritions Jim Fischer Mrch 20, 1999 Abstrct This is selfcontined pper which introduces fundmentl problem in the clculus of vritions, the problem of finding extreme vlues
More informationInfinite Geometric Series
Infinite Geometric Series Finite Geometric Series ( finite SUM) Let 0 < r < 1, nd let n be positive integer. Consider the finite sum It turns out there is simple lgebric expression tht is equivlent to
More informationIntegrals along Curves.
Integrls long Curves. 1. Pth integrls. Let : [, b] R n be continuous function nd let be the imge ([, b]) of. We refer to both nd s curve. If we need to distinguish between the two we cll the function the
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 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 information38 Riemann sums and existence of the definite integral.
38 Riemnn sums nd existence of the definite integrl. In the clcultion of the re of the region X bounded by the grph of g(x) = x 2, the xxis nd 0 x b, two sums ppered: ( n (k 1) 2) b 3 n 3 re(x) ( n These
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 informationThe Bochner Integral and the Weak Property (N)
Int. Journl of Mth. Anlysis, Vol. 8, 2014, no. 19, 901906 HIKARI Ltd, www.mhikri.com http://dx.doi.org/10.12988/ijm.2014.4367 The Bochner Integrl nd the Wek Property (N) Besnik Bush Memetj University
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 informationIntegral points on the rational curve
Integrl points on the rtionl curve y x bx c x ;, b, c integers. Konstntine Zeltor Mthemtics University of Wisconsin  Mrinette 750 W. Byshore Street Mrinette, WI 5443453 Also: Konstntine Zeltor P.O. Box
More informationg i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f
1. Appliction of functionl nlysis to PEs 1.1. Introduction. In this section we give little introduction to prtil differentil equtions. In prticulr we consider the problem u(x) = f(x) x, u(x) = x (1) where
More informationMain topics for the First Midterm
Min topics for the First Midterm The Midterm will cover Section 1.8, Chpters 23, Sections 4.14.8, nd Sections 5.15.3 (essentilly ll of the mteril covered in clss). Be sure to know the results of the
More informationExam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH1105 Instructor: Attila Máté 1
Exm, Mthemtics 471, Section ETY6 6:5 pm 7:4 pm, Mrch 1, 16, IH115 Instructor: Attil Máté 1 17 copies 1. ) Stte the usul sufficient condition for the fixedpoint itertion to converge when solving the eqution
More informationWeek 10: Line Integrals
Week 10: Line Integrls Introduction In this finl week we return to prmetrised curves nd consider integrtion long such curves. We lredy sw this in Week 2 when we integrted long curve to find its length.
More informationNote 16. Stokes theorem Differential Geometry, 2005
Note 16. Stokes theorem ifferentil Geometry, 2005 Stokes theorem is the centrl result in the theory of integrtion on mnifolds. It gives the reltion between exterior differentition (see Note 14) nd integrtion
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 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 informationPhysics 116C Solution of inhomogeneous ordinary differential equations using Green s functions
Physics 6C Solution of inhomogeneous ordinry differentil equtions using Green s functions Peter Young November 5, 29 Homogeneous Equtions We hve studied, especilly in long HW problem, second order liner
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 informationHilbert Spaces. Chapter Inner product spaces
Chpter 4 Hilbert Spces 4.1 Inner product spces In the following we will discuss both complex nd rel vector spces. With L denoting either R or C we recll tht vector spce over L is set E equipped with ddition,
More informationOn the fundamental theorem of calculus. Jesper Singh
On the fundmentl theorem of clculus Jesper Singh VT 2015 Exmensrbete, 30hp Mgisterexmen i mtemtik, 240hp Institutionen för mtemtik och mtemtisk sttistik Abstrct The Riemnn integrl hve mny flws, some tht
More informationStuff You Need to Know From Calculus
Stuff You Need to Know From Clculus For the first time in the semester, the stuff we re doing is finlly going to look like clculus (with vector slnt, of course). This mens tht in order to succeed, you
More information1 The Lagrange interpolation formula
Notes on Qudrture 1 The Lgrnge interpoltion formul We briefly recll the Lgrnge interpoltion formul. The strting point is collection of N + 1 rel points (x 0, y 0 ), (x 1, y 1 ),..., (x N, y N ), with x
More information