Lebesgue Integration Theory: Part I

Total Page:16

File Type:pdf, Size:1020Kb

Lebesgue Integration Theory: Part I Part V 17 Introduction: What are measures and why “measurable” sets Lebesgue Integration Theory Definition 17.1 (Preliminary). A measure “on” a set [ is a function :2[ $ [0> 4] such that 1. (>)=0 Q 2. If Dl l=1 is a finite (Q?4) or countable (Q = 4) collection of subsets of {[ which} are pair-wise disjoint (i.e. D _ D = > if l = m) then l m 6 Q Q (^l=1Dl)= (Dl)= l=1 X Example 17.2. Suppose that [ is any set and { 5 [ is a point. For D [> let 1 if { 5 D (D)= { 0 if {@5 D= ½ Then = { is a measure on [ called the Dirac delta measure at {= Example 17.3. Suppose that is a measure on [ and A0> then is also a measure on [= Moreover, if are all measures on [> then· { }5M = 5M > i.e. P (D)= (D) for all D [ X5M is a measure on [= (See Section 2 for the meaning of this sum.) To prove 4 this we must show that is countably additive. Suppose that Dl l=1 is a collection of pair-wise disjoint subsets of [> then { } 4 4 4 (^l=1Dl)= (Dl)= (Dl) l=1 l=1 5M X 4 X X 4 = (Dl)= (^l=1Dl) 5M l=1 5M X 4X X = (^l=1Dl) 246 17 Introduction: What are measures and why “measurable” sets 17.1 The problem with Lebesgue “measure” 247 wherein the third equality we used Theorem 4.22 and in the fourth we used that is to say hlQ is Q rotated counter clockwise by angle = We now claim that fact that is a measure. that is invariant under these rotations, i.e. Example 17.4. Suppose that [ is a set : [ $ [0> 4] is a function. Then (}Q)=(Q) (17.2) 1 1 := ({){ for all } 5 V and Q V = To verify this, write Q = !(D) and } = !(w) for some w 5 [0> 1) and D [0> 1)= Then {X5[ is a measure, explicitly !(w)!(D)=!(w + D mod 1) (D)= ({) where for D [0> 1) and 5 [0> 1)> {X5D for all D [= w + D mod 1 := d + w mod 1 5 [0> 1) : d 5 Q { } =(d + D _ d?1 w ) ^ ((w 1) + D _ d 1 w ) = { } { } 17.1 The problem with Lebesgue “measure” Thus So far all of the examples of measures given above are “counting” type mea- (!(w)!(D)) = (w + D mod 1) sures, i.e. a weighted count of the number of points in a set. We certainly are = ((d + D _ d?1 w ) ^ ((w 1) + D _ d 1 w )) going to want other types of measures too. In particular, it will be of great { } { } = ((d + D _ d?1 w )) + (((w 1) + D _ d 1 w )) interest to have a measure on R (called Lebesgue measure) which measures { } { } the “length” of a subset of = Unfortunately as the next theorem shows, there = (D _ d?1 w )+ (D _ d 1 w ) R { } { } is no such reasonable measure of length if we insist on measuring all subsets = ((D _ d?1 w ) ^ (D _ d 1 w )) of { } { } R= = (D)=(!(D))= Theorem 17.5. There is no measure :2R$[0> 4] such that Therefore it su!ces to prove that no finite non-trivial measure on V1 such 1. ([d> e)) = (e d) for all d?eand that Eq. (17.2) holds. To do this we will “construct” a non-measurable set 2. is translation invariant, i.e. (D + {)=(D) for all { 5 R and D 5 2R> Q = !(D) for some D [0> 1)= Let where U := } = hl2w : w 5 = } = hl2w : w 5 [0> 1) _ D + { := | + { : | 5 D R= Q Q { } { } { } In fact the theorem is still true even if (1) is replaced by the weaker con- — a countable subgroup of V1= As above U acts on V1 by rotations and divides dition that 0 ?((0> 1]) ? 4= V1 up into equivalence classes, where }>z 5 V1 are equivalent if } = uz for some u 5 U= Choose (using the axiom of choice) one representative point q The counting measure (D)=#(D) is translation invariant. However from each of these equivalence classes and let Q V1 be the set of these ((0> 1]) = 4 in this case and so does not satisfy condition 1. representative points. Then every point } 5 V1 may be uniquely written as Proof. First proof. Let us identify [0> 1) with the unit circle V1 := } 5 { } = qu with q 5 Q and u 5 U= That is to say C : } =1 by the map | | } V1 = (uQ) (17.3) !(w)=hl2w =(cos2w + l sin 2w) 5 V1 ua5U for w 5 [0> 1)= Using this identification we may use to define a function on where D is used to denote the union of pair-wise disjoint sets D = By 1 2V by (!(D)) = (D) for all D [0> 1)= This new function is a measure on Eqs. (17.2) and (17.3), { } V1 with the property that 0 ?((0> 1]) ? 4= For } 5 V1 and Q V1 let ` (V1)= (uQ)= (Q)= }Q := }q 5 V1 : q 5 Q > (17.1) { } uX5U uX5U 248 17 Introduction: What are measures and why “measurable” sets 17.1 The problem with Lebesgue “measure” 249 The right member from this equation is either 0 or 4, 0 if (Q)=0and 4 if 1=([0> 1)) = (Q u)= (Q) 1 (Q) A 0= In either case it is not equal (V ) 5 (0> 1)= Thus we have reached u5U u5U X X the desired contradiction. 4 if (Q) A 0 = = Proof. Second proof of Theorem 17.5. For Q [0> 1) and 5 [0> 1)> 0 if (Q)=0 let ½ which is certainly inconsistent. Incidentally we have just produced an example Q = Q + mod 1 of so called “non — measurable” set. = d + mod 1 5 [0> 1) : d 5 Q Because of Theorem 17.5, it is necessary to modify Definition 17.1. Theo- { } =( + Q _ d?1 ) ^ (( 1) + Q _ d 1 ) = rem 17.5 points out that we will have to give up the idea of trying to measure { } { } all subsets of R but only measure some sub-collections of “measurable” sets. Then This leads us to the notion of — algebra discussed in the next chapter. Our revised notion of a measure will appear in Definition 19.1 of Chapter 19 below. (Q )= ( + Q _ d?1 )+ (( 1) + Q _ d 1 ) { } { } = (Q _ d?1 )+ (Q _ d 1 ) { } { } = (Q _ d?1 ^ (Q _ d 1 )) { } { } = (Q)= (17.4) We will now construct a bad set Q which coupled with Eq. (17.4) will lead to a contradiction. Set T{ := { + u 5 R : u5 Q ={ + Q= { } Notice that T{ _ T| = > implies that T{ = T|= Let = T{ : { 5 R —the 6 O { } orbit space of the Q action. For all D 5 choose i(D) 5 [0> 1@3) _ D1 and define Q = i( )= Then observe: O O 1. i(D)=i(E) implies that D _ E = > which implies that D = E so that i is injective. 6 2. = T : q 5 Q = O { q } Let U be the countable set, U := Q _ [0> 1)= We now claim that u v Q _ Q = > if u = v and (17.5) 6 u [0> 1) = ^u5UQ = (17.6) u v Indeed, if { 5 Q _ Q = > then { = u + q mod 1 and { = v + q0 mod 1> then 6 qq0 5 Q> i.e. Tq = Tq0 .Thatistosay,q = i(Tq)=i(Tq0 )=q0 and hence that v = u mod 1> but v> u 5 [0> 1) implies that v = u= Furthermore, if { 5 [0> 1) u mod 1 and q := i(T{)> then { q = u 5 Q and { 5 Q = Now that we have constructed Q> we are ready for the contradiction. By Equations (17.4—17.6) we find 1 We have used the Axiom of choice here, i.e. DM (D K [0> 1@3]) = F 6 Q 252 18 Measurability Proposition 18.4. Let be any collection of subsets of [= Then there exists a unique smallest algebraE ( ) and — algebra ( ) which contains = 18 A E E E Proof. The proof is the same as the analogous Proposition 10.6 for topolo- Measurability gies, i.e. ( ):= : is an algebra such that A E {A A E A} \ and ( ):= : is a — algebra such that = E {M M E M} \ Example 18.5. Suppose [ = 1> 2> 3 and = >>[> 1> 2 > 1> 3 > see Figure 18.1. { } E { { } { }} 18.1 Algebras and —Algebras Definition 18.1. Acollectionofsubsets of a set [ is an algebra if A 1. >>[ 5 2. D 5 Aimplies that Df 5 A A 3. is closed under finite unions, i.e. if D1>===>Dq 5 then D1 ^ ^Dq 5 A= A ··· InA view of conditions 1. and 2., 3. is equivalent to 30. is closed under finite intersections. A Definition 18.2. Acollectionofsubsets of [ is a — algebra (or some- times called a — field) if is an algebraM which also closed under countable unions, i.e. if 4 Mthen 4 (Notice that since is also Dl l=1 > ^l=1Dl 5 = Fig. 18.1. A collection of subsets. closed under taking{ } complements,M is also closedM under taking countableM in- tersections.) A pair ([> )> whereM[ is a set and is a — algebra on [> is called a measurableM space. M Then The reader should compare these definitions with that of a topology in Definition 10.1. Recall that the elements of a topology are called open sets. ( )= >>[> 1 > 1> 2 > 1> 3 Analogously, elements of and algebra or a —algebra will be called E { { } { } { }} A M ( )=( )=2[ = measurable sets.
Recommended publications
  • The Fundamental Theorem of Calculus for Lebesgue Integral
    Divulgaciones Matem´aticasVol. 8 No. 1 (2000), pp. 75{85 The Fundamental Theorem of Calculus for Lebesgue Integral El Teorema Fundamental del C´alculo para la Integral de Lebesgue Di´omedesB´arcenas([email protected]) Departamento de Matem´aticas.Facultad de Ciencias. Universidad de los Andes. M´erida.Venezuela. Abstract In this paper we prove the Theorem announced in the title with- out using Vitali's Covering Lemma and have as a consequence of this approach the equivalence of this theorem with that which states that absolutely continuous functions with zero derivative almost everywhere are constant. We also prove that the decomposition of a bounded vari- ation function is unique up to a constant. Key words and phrases: Radon-Nikodym Theorem, Fundamental Theorem of Calculus, Vitali's covering Lemma. Resumen En este art´ıculose demuestra el Teorema Fundamental del C´alculo para la integral de Lebesgue sin usar el Lema del cubrimiento de Vi- tali, obteni´endosecomo consecuencia que dicho teorema es equivalente al que afirma que toda funci´onabsolutamente continua con derivada igual a cero en casi todo punto es constante. Tambi´ense prueba que la descomposici´onde una funci´onde variaci´onacotada es ´unicaa menos de una constante. Palabras y frases clave: Teorema de Radon-Nikodym, Teorema Fun- damental del C´alculo,Lema del cubrimiento de Vitali. Received: 1999/08/18. Revised: 2000/02/24. Accepted: 2000/03/01. MSC (1991): 26A24, 28A15. Supported by C.D.C.H.T-U.L.A under project C-840-97. 76 Di´omedesB´arcenas 1 Introduction The Fundamental Theorem of Calculus for Lebesgue Integral states that: A function f :[a; b] R is absolutely continuous if and only if it is ! 1 differentiable almost everywhere, its derivative f 0 L [a; b] and, for each t [a; b], 2 2 t f(t) = f(a) + f 0(s)ds: Za This theorem is extremely important in Lebesgue integration Theory and several ways of proving it are found in classical Real Analysis.
    [Show full text]
  • Shape Analysis, Lebesgue Integration and Absolute Continuity Connections
    NISTIR 8217 Shape Analysis, Lebesgue Integration and Absolute Continuity Connections Javier Bernal This publication is available free of charge from: https://doi.org/10.6028/NIST.IR.8217 NISTIR 8217 Shape Analysis, Lebesgue Integration and Absolute Continuity Connections Javier Bernal Applied and Computational Mathematics Division Information Technology Laboratory This publication is available free of charge from: https://doi.org/10.6028/NIST.IR.8217 July 2018 INCLUDES UPDATES AS OF 07-18-2018; SEE APPENDIX U.S. Department of Commerce Wilbur L. Ross, Jr., Secretary National Institute of Standards and Technology Walter Copan, NIST Director and Undersecretary of Commerce for Standards and Technology ______________________________________________________________________________________________________ This Shape Analysis, Lebesgue Integration and publication Absolute Continuity Connections Javier Bernal is National Institute of Standards and Technology, available Gaithersburg, MD 20899, USA free of Abstract charge As shape analysis of the form presented in Srivastava and Klassen’s textbook “Functional and Shape Data Analysis” is intricately related to Lebesgue integration and absolute continuity, it is advantageous from: to have a good grasp of the latter two notions. Accordingly, in these notes we review basic concepts and results about Lebesgue integration https://doi.org/10.6028/NIST.IR.8217 and absolute continuity. In particular, we review fundamental results connecting them to each other and to the kind of shape analysis, or more generally, functional data analysis presented in the aforeme- tioned textbook, in the process shedding light on important aspects of all three notions. Many well-known results, especially most results about Lebesgue integration and some results about absolute conti- nuity, are presented without proofs.
    [Show full text]
  • An Introduction to Measure Theory Terence
    An introduction to measure theory Terence Tao Department of Mathematics, UCLA, Los Angeles, CA 90095 E-mail address: [email protected] To Garth Gaudry, who set me on the road; To my family, for their constant support; And to the readers of my blog, for their feedback and contributions. Contents Preface ix Notation x Acknowledgments xvi Chapter 1. Measure theory 1 x1.1. Prologue: The problem of measure 2 x1.2. Lebesgue measure 17 x1.3. The Lebesgue integral 46 x1.4. Abstract measure spaces 79 x1.5. Modes of convergence 114 x1.6. Differentiation theorems 131 x1.7. Outer measures, pre-measures, and product measures 179 Chapter 2. Related articles 209 x2.1. Problem solving strategies 210 x2.2. The Radamacher differentiation theorem 226 x2.3. Probability spaces 232 x2.4. Infinite product spaces and the Kolmogorov extension theorem 235 Bibliography 243 vii viii Contents Index 245 Preface In the fall of 2010, I taught an introductory one-quarter course on graduate real analysis, focusing in particular on the basics of mea- sure and integration theory, both in Euclidean spaces and in abstract measure spaces. This text is based on my lecture notes of that course, which are also available online on my blog terrytao.wordpress.com, together with some supplementary material, such as a section on prob- lem solving strategies in real analysis (Section 2.1) which evolved from discussions with my students. This text is intended to form a prequel to my graduate text [Ta2010] (henceforth referred to as An epsilon of room, Vol. I ), which is an introduction to the analysis of Hilbert and Banach spaces (such as Lp and Sobolev spaces), point-set topology, and related top- ics such as Fourier analysis and the theory of distributions; together, they serve as a text for a complete first-year graduate course in real analysis.
    [Show full text]
  • Computing the Bayes Factor from a Markov Chain Monte Carlo
    Computing the Bayes Factor from a Markov chain Monte Carlo Simulation of the Posterior Distribution Martin D. Weinberg∗ Department of Astronomy University of Massachusetts, Amherst, USA Abstract Computation of the marginal likelihood from a simulated posterior distribution is central to Bayesian model selection but is computationally difficult. The often-used harmonic mean approximation uses the posterior directly but is unstably sensitive to samples with anomalously small values of the likelihood. The Laplace approximation is stable but makes strong, and of- ten inappropriate, assumptions about the shape of the posterior distribution. It is useful, but not general. We need algorithms that apply to general distributions, like the harmonic mean approximation, but do not suffer from convergence and instability issues. Here, I argue that the marginal likelihood can be reliably computed from a posterior sample by careful attention to the numerics of the probability integral. Posing the expression for the marginal likelihood as a Lebesgue integral, we may convert the harmonic mean approximation from a sample statistic to a quadrature rule. As a quadrature, the harmonic mean approximation suffers from enor- mous truncation error as consequence . This error is a direct consequence of poor coverage of the sample space; the posterior sample required for accurate computation of the marginal likelihood is much larger than that required to characterize the posterior distribution when us- ing the harmonic mean approximation. In addition, I demonstrate that the integral expression for the harmonic-mean approximation converges slowly at best for high-dimensional problems with uninformative prior distributions. These observations lead to two computationally-modest families of quadrature algorithms that use the full generality sample posterior but without the instability.
    [Show full text]
  • Problem Set 6
    Richard Bamler Jeremy Leach office 382-N, phone: 650-723-2975 office 381-J [email protected] [email protected] office hours: office hours: Mon 1:00pm-3pm, Thu 1:00pm-2:00pm Thu 3:45pm-6:45pm MATH 172: Lebesgue Integration and Fourier Analysis (winter 2012) Problem set 6 due Wed, 2/22 in class (1) (20 points) Let X be an arbitrary space, M a σ-algebra on X and λ a measure on M. Consider an M-measurable function ρ : X ! [0; 1] which only takes non-negative values. (a) Show that the function, Z µ : M! [0; 1];A 7! (ρχA)dλ is a measure on M. We will also denote this measure by µ = (ρλ). (b) Show that any M-measurable function f : X ! R is integrable with respect to µ if and only if fρ is integrable with respect to λ. In this case we have Z Z Z fdµ = fd(ρλ) = fρdλ. (Hint: Show first that this is true for simple functions, then for non-negative functions, then for general functions). (c) Show that if A 2 M is a nullset with respect to λ, then it is also a nullset with respect to µ = ρλ. (Remark: A measure µ with this property is called absolutely continuous with respect to λ in symbols µ λ.) (d) Assume that X = Rn, M = L and λ is the Lebesgue measure. Give an example for a measure µ0 on M such that there is no non-negative, M- measurable function ρ : X ! [0; 1] with µ0 = ρλ.
    [Show full text]
  • Lecture 3 the Lebesgue Integral
    Lecture 3:The Lebesgue Integral 1 of 14 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 3 The Lebesgue Integral The construction of the integral Unless expressly specified otherwise, we pick and fix a measure space (S, S, m) and assume that all functions under consideration are defined there. Definition 3.1 (Simple functions). A function f 2 L0(S, S, m) is said to be simple if it takes only a finite number of values. The collection of all simple functions is denoted by LSimp,0 (more precisely by LSimp,0(S, S, m)) and the family of non-negative simple Simp,0 functions by L+ . Clearly, a simple function f : S ! R admits a (not necessarily unique) representation n f = ∑ ak1Ak , (3.1) k=1 for a1,..., an 2 R and A1,..., An 2 S. Such a representation is called the simple-function representation of f . When the sets Ak, k = 1, . , n are intervals in R, the graph of the simple function f looks like a collection of steps (of heights a1,..., an). For that reason, the simple functions are sometimes referred to as step functions. The Lebesgue integral is very easy to define for non-negative simple functions and this definition allows for further generalizations1: 1 In fact, the progression of events you will see in this section is typical for measure theory: you start with indica- Definition 3.2 (Lebesgue integration for simple functions). For f 2 tor functions, move on to non-negative Simp,0 R simple functions, then to general non- L+ we define the (Lebesgue) integral f dm of f with respect to m negative measurable functions, and fi- by nally to (not-necessarily-non-negative) Z n f dm = a m(A ) 2 [0, ¥], measurable functions.
    [Show full text]
  • Measure, Integrals, and Transformations: Lebesgue Integration and the Ergodic Theorem
    Measure, Integrals, and Transformations: Lebesgue Integration and the Ergodic Theorem Maxim O. Lavrentovich November 15, 2007 Contents 0 Notation 1 1 Introduction 2 1.1 Sizes, Sets, and Things . 2 1.2 The Extended Real Numbers . 3 2 Measure Theory 5 2.1 Preliminaries . 5 2.2 Examples . 8 2.3 Measurable Functions . 12 3 Integration 15 3.1 General Principles . 15 3.2 Simple Functions . 20 3.3 The Lebesgue Integral . 28 3.4 Convergence Theorems . 33 3.5 Convergence . 40 4 Probability 41 4.1 Kolmogorov's Probability . 41 4.2 Random Variables . 44 5 The Ergodic Theorem 47 5.1 Transformations . 47 5.2 Birkho®'s Ergodic Theorem . 52 5.3 Conclusions . 60 6 Bibliography 63 0 Notation We will be using the following notation throughout the discussion. This list is included here as a reference. Also, some of the concepts and symbols will be de¯ned in subsequent sections. However, due to the number of di®erent symbols we will use, we have compiled the more archaic ones here. lR; lN : the real and natural numbers lR¹ : the extended natural numbers, i.e. the interval [¡1; 1] ¹ lR+ : the nonnegative (extended) real numbers, i.e. the interval [0; 1] ­ : a sample space, a set of possible outcomes, or any arbitrary set F : an arbitrary σ-algebra on subsets of a set ­ σ hAi : the σ-algebra generated by a subset A ⊆ ­. T : a function between the set ­ and ­ itself Á, Ã : simple functions on the set ­ ¹ : a measure on a space ­ with an associated σ-algebra F (Xn) : a sequence of objects Xi, i.
    [Show full text]
  • 14. Lebesgue Integral Dered Numbers Cn, Cn < Cn+1, Which Is Finite Or
    106 2. THE LEBESGUE INTEGRATION THEORY 14. Lebesgue integral 14.1. Piecewise continuous functions on R. Consider a collection of or- dered numbers cn, cn < cn+1, which is finite or countable. Suppose that any interval (a,b) contains only finitely many numbers cn. Con- sider open intervals Ωn =(cn,cn+1). If the set of numbers cn contains the smallest number m, then the interval Ω− = (−∞,m) is added to the set of intervals {Ωn}. If the set of numbers cn contains the greatest + number M, then the interval Ω = (M, ∞) is added to {Ωn}. The − union of the closures Ωn =[cn,cn+1] (and possibly Ω =(−∞,m] and Ω+ =[M, ∞)) is the whole real line R. So, the characteristic properties of the collection {Ωn} are: 0 (i) Ωn ∩ Ωn0 = ∅ , n =6 n (ii) (a,b) ∩{Ωn} = {cj,cj+1,...,cm} , (iii) Ωn = R , [n Property (ii) also means that any bounded interval is covered by finitely many intervals Ωn. Alternatively, the sequence of endpoints cn is not allowed to have a limit point. For example, let cn = n where n is an integer. Then any interval (a,b) contains only finitely many integers. The real line R is the union of intervals [n, n+1] because every real x either lies between two integers or coincides with an integer. If cn is the collection of all non-negative integers, then R is the union of I− = (−∞, 0] and all [n, n + 1], n = 1 0, 1,.... However, the collection cn = n , n = 1, 2,..., does not have the property that any interval (a,b) contains only finitely many elements cn because 0 <cn < 2 for all n.
    [Show full text]
  • Familiarizing Students with Definition of Lebesgue Integral: Examples of Calculation Directly from Its Definition Using Mathemat
    Math.Comput.Sci. (2017) 11:363–381 DOI 10.1007/s11786-017-0321-5 Mathematics in Computer Science Familiarizing Students with Definition of Lebesgue Integral: Examples of Calculation Directly from Its Definition Using Mathematica Włodzimierz Wojas · Jan Krupa Received: 7 December 2016 / Revised: 19 April 2017 / Accepted: 20 April 2017 / Published online: 30 May 2017 © The Author(s) 2017. This article is an open access publication Abstract We present in this paper several examples of Lebesgue integral calculated directly from its definitions using Mathematica. Calculation of Riemann integrals directly from its definitions for some elementary functions is standard in higher mathematics education. But it is difficult to find analogical examples for Lebesgue integral in the available literature. The paper contains Mathematica codes which we prepared to calculate symbolically Lebesgue sums and limits of sums. We also visualize the graphs of simple functions used for approximation of the integrals. We also show how to calculate the needed sums and limits by hand (without CAS). We compare our calculations in Mathematica with calculations in some other CAS programs such as wxMaxima, MuPAD and Sage for the same integrals. Keywords Higher education · Lebesgue integral · Application of CAS · Mathematica · Mathematical didactics Mathematics Subject Classification 97R20 · 97I50 · 97B40 1 Introduction Young man, in mathematics you don’t understand things. You just get used to them John von Neumann I hear and I forget. I see and I remember. I do and I understand Chinese Quote Electronic Supplementary material The online version of this article (doi:10.1007/s11786-017-0321-5) contains supplementary material, which is available to authorized users.
    [Show full text]
  • Contents 1. the Riemann and Lebesgue Integrals. 1 2. the Theory of the Lebesgue Integral
    Contents 1. The Riemann and Lebesgue integrals. 1 2. The theory of the Lebesgue integral. 7 2.1. The Monotone Convergence Theorem. 7 2.2. Basic theory of Lebesgue integration. 9 2.3. Lebesgue measure. Sets of measure zero. 12 2.4. Nonmeasurable sets. 13 2.5. Lebesgue measurable sets and functions. 14 3. More on the Riemann integral. 18 3.1. The fundamental theorems of calculus. 21 3.2. Characterization of Riemann integrability. 22 1. The Riemann and Lebesgue integrals. Fix a positive integer n. Recall that Rn and Mn are the family of rectangles in Rn and the algebra of multirectangles in Rn, respec- tively. Definition 1.1. We let F + F B n ; n; n; be the set of [0; 1] valued functions on Rn; the vector space of real valued functions n on R ; the vector space of f 2 Fn such that ff =6 0g[rng f is bounded, respectively. We let S B \S M ⊂ F S+ S \F + ⊂ S+ M n = n ( n) n and we let n = n n ( n): n Thus s 2 Sn if and only if s : R ! R, rng s is finite, fs = yg is a multirectangle 2 R f 6 g 2 S+ 2 S ≥ for each y and s = 0 is bounded and s n if and only if s n and s 0. S+ S+ 2 S+ We let n;" be the set of nondecreasing sequences in n . For each s n;" we let 2 F + sup s n be such that n sup s(x) = supfsν (x): ν 2 Ng for x 2 R and we let n f + 2 N+g In;"(s) = sup In (sν ): ν : 2 S+ Remark 1.1.
    [Show full text]
  • (Riemann) Integration Sucks!!!
    (Riemann) Integration Sucks!!! Peyam Ryan Tabrizian Friday, November 18th, 2010 1 Are all functions integrable? Unfortunately not! Look at the handout "Solutions to 5.2.67, 5.2.68", we get two examples of functions f which are not Riemann integrable! Let's recap what those two examples were! 1 The first one was f(x) = x on [0; 1]. The reason that this function fails to be integrable is that it goes to 1 is a very fast way when x goes to 0, so the area under the graph of this function is infinite. Remember that it is not enough to say that this function has a vertical p1 asymptote at x = 0. For example, the function g(x) = x has an asymptote at x = 0, but it is still integrable, because by the FTC: Z 1 1 p p 1 dx = 2 x 0 = 2 0 x 1 This is not too bad! Basically, we have that f(x) = x is not integrable because its integral is ’infinite’, whatever this might mean! The point is: if a function is integrable, then its integral is finite. There's a way to get around this! In Math 1B, you'll learn that even though this function is not integrable, we can define its integral to be 1, so you'd write: Z 1 1 dx = 1 0 x The second example was way worse! The function in question was: 0 if x is rational f(x) = 1 if x is irrational And its graph looks like this: 1 1A/Handouts/Nonintegrable.png This function is not integrable because it basically can't make up its mind! It sometimes is 0 and sometimes is 1.
    [Show full text]
  • Measure Theory and Lebesgue Integration
    Appendix D Measure theory and Lebesgue integration ”As far as the laws of mathematics refer to reality, they are not certain, and as far as they are certain, they do not refer to reality.” Albert Einstein (1879-1955) In this appendix, we will briefly recall the main concepts and results about the measure theory and Lebesgue integration. Then, we will introduce the Lp spaces that prove especially useful in the analysis of the solutions of partial differential equations. Contents D.1 Measure theory . 107 D.2 Riemann integration . 109 D.3 Lebesgue integration . 111 D.4 Lp spaces . 116 D.1 Measure theory Measure theory initially was proposed to provide an analysis of and generalize notions such as length, area and volume (not strictly related to physical sizes) of subsets of Euclidean spaces. The approach to measure and integration is axomatic, i.e. a measure is any function µ defined on subsets which satisfy a cetain list of properties. In this respect, measure theory is a branch of real analysis which investigates, among other concepts, measurable functions and integrals. D.1.1 Definitions and properties Definition D.1 A collection S of subsets of a set X is said to be a topology in X is S has the following three properties: (i) S and X S, ∅ ∈ ∈ 107 108 Chapter D. Measure theory and Lebesgue integration (ii) if V S for i = 1, . , n then, V V V S, i ∈ 1 ∩ 2 ∩ · · · ∩ n ∈ (iii) if V is an arbitrary collection of members of S (finite, countable or not), then V inS.
    [Show full text]