Measure Theory and Lebesgue Integration

Total Page:16

File Type:pdf, Size:1020Kb

Measure Theory and Lebesgue Integration Measure Theory and Lebesgue Integration T. Muthukumar [email protected] April 12, 2018 ii Contents Notationsv 1 Introduction1 1.1 Riemann Integration and its Inadequacy............1 1.1.1 Limit and Integral: Interchange.............3 1.1.2 Differentiation and Integration: Duality.........5 1.2 Motivating Lebesgue Integral and Measure...........6 2 Lebesgue Measure on Rn 9 2.1 Introduction............................9 2.2 Outer measure.......................... 12 2.2.1 Abstract Set-up...................... 22 2.3 Measurable Sets.......................... 22 2.3.1 Abstract Set-up...................... 32 2.4 Measurable Functions....................... 34 2.5 Littlewood's Three Principles.................. 43 2.5.1 First Principle....................... 44 2.5.2 Third Principle...................... 45 2.5.3 Second Principle..................... 49 2.6 Jordan Content or Measure................... 50 3 Lebesgue Integration 55 3.1 Simple Functions......................... 55 3.2 Bounded Function With Finite Measure Support........ 58 3.3 Non-negative Functions...................... 62 3.4 General Integrable Functions................... 67 3.5 Order of Integration....................... 75 3.6 Lp Spaces............................. 78 iii CONTENTS iv 3.7 Invariance of Lebesgue Integral................. 87 4 Duality of Differentiation and Integration 89 4.1 Monotone Functions....................... 90 4.2 Bounded Variation Functions.................. 97 4.3 Derivative of an Integral..................... 106 4.4 Absolute Continuity and FTC.................. 111 Appendices 119 A Cantor Set and Cantor Function 121 Bibliography 127 Notations Symbols 2S will denote the power set, the set of all subsets, of a set S L(Rn) the class of all Lebesgue measurable subsets of Rn C denotes the plane of complex numbers Q denotes the set of all rationals in R Qn set of all vectors in Rn with each coordinate being rational number R denotes the real line Rn denotes the Euclidean space of dimension n Function Spaces R([a; b]) denotes the space of all Riemann integrable functions on the interval [a; b] Lip(E) denotes the space of all Lipschitz functions on E AC(E) denotes the space of all absolutely continuous functions on E BV (E) denotes the space of all bounded variation functions on E C(X) the class of all real-valued continuous functions on X C0(X) denotes the space of all continuous functions vanishing at 1 on X Cc(X) denotes the space of all compactly supported continuous functions on X v NOTATIONS vi Lp(E) denotes the space of all measurable p-integrable functions on E M(Rn) the class of all finite a.e. real valued Lebesgue measurable functions on Rn General Conventions Br(x) will denote the closed ball of radius r and centre at x Ec will denote the set complement of E ⊂ S, S n E Chapter 1 Introduction 1.1 Riemann Integration and its Inadequacy Let f :[a; b] ! R be a bounded function. Let P be the partition of the interval [a; b], a = x0 ≤ x1 ≤ ::: ≤ xk = b. For i = 0; 1; 2; : : : ; k, let Mi(P ) = sup f(x) and mi(P ) = inf f(x): x2[x ;x ] x2[xi−1;xi] i−1 i The upper Riemann sum of f with respect to the given partition P is, k X U(P; f) = Mi(P )(xi − xi−1) i=1 and the lower Riemann sum of f with respect to the given partition P is, k X L(P; f) = mi(P )(xi − xi−1): i=1 We say the bounded function f is Riemann integrable on [a; b] if the infimum of upper sum and supremum of lower sum, over all partitions P of [a; b], coincide and is denoted as Z b f(x) dx := inf U(P; f) = sup L(P; f): a P P If f = u + iv is a bounded complex-valued function on [a; b], then f is said to be Riemann integrable if its real and imaginary parts are Riemann 1 CHAPTER 1. INTRODUCTION 2 integral and Z b Z b Z b f(x) dx = u(x) dx + i v(x) dx: a a a If either f is unbounded or the domain [a; b] is not finite then its corre- sponding integral, called as improper integral, is defined in terms of limits of Riemann integrable functions, whenever possible. Exercise 1. Every Riemann integrable function1 is bounded. Let R([a; b]) denote the space of all Riemann integrable functions on [a; b]. The space R([a; b]) forms a vector space over R (or C). It is closed under composition, if it makes sense. Theorem 1.1.1. If f is continuous on [a; b], then f 2 R([a; b]). In fact even piecewise continuity is sufficient for Riemann integrability. Theorem 1.1.2. If f is continuous except at finitely many points of [a; b] (piecewise continu- ous), then f 2 R([a; b]). But there are functions which has discontinuity at countably many points and are still in R([a; b]). Example 1.1. Consider the function 8 1 1 >1 if k+1 < x ≤ k and k is odd < 1 1 f(x) = 0 if k+1 < x ≤ k and k is even :>0 x = 0 which has discontinuities at x = 0 and x = 1=k, for k = 1; 2;:::. It can be shown that f 2 R([0; 1]). Theorem 1.1.3. If f is bounded monotonic on [a; b] then f 2 R([a; b]). In fact, one can construct functions whose set of discontinuities are `dense' in [0; 1]. 1here by Riemann integrable we mean the upper sum and lower sum coincide and are finite CHAPTER 1. INTRODUCTION 3 1 Example 1.2. For instance, let frkg1 denote a countable dense subset of [0; 1] (for instance, Q) and define 1 X 1 f(x) = H(x − r ) k2 k k=1 where H : R ! R is defined as ( 1 if x ≥ 0 H(x) = 0 if x < 0: The function f is discontinuous at all the points rk and can be shown to be in R([0; 1]), because it is bounded and monotone. Theorem 1.1.4. If f 2 R([a; b]) then f is continuous on a dense subset of [a; b]. Example 1.3. An example of a function f : [0; 1] ! R which is not Riemann integrable is ( 1 x 2 f(x) = Q 0 x 2 [0; 1] n Q: A necessary and sufficient condition of Riemann integrability is given by Theorem 3.0.1. Thus, even to characterise the class of Riemann integrable functions, we need to have the notion of length (\measure") (at least measure zero). 1.1.1 Limit and Integral: Interchange Let us consider a sequence of functions ffkg ⊂ R([a; b]) and define f(x) := limk!1 fk(x), assuming that the limit exists for every x 2 [a; b]. Does f 2 R([a; b])? The answer is a \no", as seen in example below. Example 1.4. Fix an enumeration (order) of the set of rationals in [0; 1]. Let the finite set rk denote the first k elements of the set of rationals in [0; 1]. Define the sequence of functions ( 1 if x 2 rk fk(x) = 0 otherwise: CHAPTER 1. INTRODUCTION 4 Each fk 2 R([0; 1]), since it has discontinuity at k (finite) number of points. The point-wise limit of fk, f = limk!1 fk, is ( 1 x 2 f(x) = Q 0 x 2 [0; 1] n Q which we have seen above is not Riemann integrable. Thus, the space R([a; b]) is not \complete" under point-wise limit. How- ever, R([a; b]) is complete under uniform convergence. A related question is if the limit f 2 R([a; b]), is the Riemann integral of f the limit of the Riemann integrals of fk, i.e., can we say Z b Z b f(x) dx = lim fk(x) dx? a k!1 a The answer is a \no" again. Example 1.5. Consider the functions ( k x 2 (0; 1=k) fk(x) = 0 otherwise Then f(x) = limk fk(x) = 0. Note that Z fk(x) dx = 1 8k; R but R f(x) dx = 0. R The interchange becomes possible under uniform convergence. Theorem 1.1.5. Let ffkg ⊂ R([a; b]) and fk(x) ! f(x) uniformly in [a; b]. Then f 2 R([a; b]) and Z b Z b f = lim fk: a k!1 a But uniform convergence is too demanding in practice. The following more general result for interchanging limit and integral will be proved in this write-up. CHAPTER 1. INTRODUCTION 5 Theorem 1.1.6. Let ffkg ⊂ R([a; b]) and f 2 R([a; b]). Also, let fk(x) ! f(x) point-wise and fk are uniformly bounded. Then Z b Z b lim fk = f: k!1 a a The proof of above theorem is not elementary, thus in classical analysis we always prove the result for uniform convergence. Observe the hypothesis of integrability on f in the above theorem. 1.1.2 Differentiation and Integration: Duality An observation we make, once we have Riemann integration, is about the dual nature of differentiation and integration. Thus, one asks the following two questions: 1. (Derivative of an integral) For which class of functions can we say d Z x f(t) dt = f(x)? dx a 2. (Integral of a derivative) For which class of functions can we say Z b f 0(x) dx = f(b) − f(a)? a To answer the first question, for any f 2 R([a; b]), let us define the function Z x F (x) := f(t) dt: a Exercise 2.
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]
  • An Application of the Dirichlet Integrals to the Summation of Series
    Some applications of the Dirichlet integrals to the summation of series and the evaluation of integrals involving the Riemann zeta function Donal F. Connon [email protected] 1 December 2012 Abstract Using the Dirichlet integrals, which are employed in the theory of Fourier series, this paper develops a useful method for the summation of series and the evaluation of integrals. CONTENTS Page 1. Introduction 1 2. Application of Dirichlet’s integrals 5 3. Some applications of the Poisson summation formula: 3.1 Digamma function 11 3.2 Log gamma function 13 3.3 Logarithm function 14 3.4 An integral due to Ramanujan 16 3.5 Stieltjes constants 36 3.6 Connections with other summation formulae 40 3.7 Hurwitz zeta function 48 4. Some integrals involving cot x 62 5. Open access to our own work 68 1. Introduction In two earlier papers [19] and [20] we considered the following identity (which is easily verified by multiplying the numerator and the denominator by the complex conjugate (1− e−ix ) ) 1 1 isin x 1 i (1.1) = − = + cot(x / 2) 1− eix 2 2 1− cos x 2 2 Using the basic geometric series identity 1 N y N +1 =∑ yn + 1− y n=0 1− y we obtain N 1 inx (1.1a) ix =∑e + RN () x 1− e n=0 1 iN()+ x iN(1)+ x 2 ei1 iN(1)+ x e where RxN () == e[]1 + i cot( x / 2) = 12− exix 2sin(/2) Separating the real and imaginary parts of (1.1a) produces the following two identities (the first of which is called Lagrange’s trigonometric identity and contains the Dirichlet kernel DxN () which is employed in the theory of Fourier series [55, p.49]) 1 N sin(N+ 1/ 2) x (1.2) = ∑cosnx − 2 n=0 2sin(x / 2) 1 N cos(N+ 1/ 2) x (1.3) cot(x / 2)=∑ sin nx + 2 n=0 2sin(x / 2) (and these equations may obviously be generalised by substituting αx in place of x .
    [Show full text]
  • DRAFT Uncountable Problems 1. Introduction
    November 8, 9, 2017; June 10, 21, November 8, 2018; January 19, 2019. DRAFT Chapter from a book, The Material Theory of Induction, now in preparation. Uncountable Problems John D. Norton1 Department of History and Philosophy of Science University of Pittsburgh http://www.pitt.edu/~jdnorton 1. Introduction The previous chapter examined the inductive logic applicable to an infinite lottery machine. Such a machine generates a countably infinite set of outcomes, that is, there are as many outcomes as natural numbers, 1, 2, 3, … We found there that, if the lottery machine is to operate without favoring any particular outcome, the inductive logic native to the system is not probabilistic. A countably infinite set is the smallest in the hierarchy of infinities. The next routinely considered is a continuum-sized set, such as given by the set of all real numbers or even just by the set of all real numbers in some interval, from, say, 0 to 1. It is easy to fall into thinking that the problems of inductive inference with countably infinite sets do not arise for outcome sets of continuum size. For a familiar structure in probability theory is the uniform distribution of probabilities over some interval of real numbers. One might think that this probability distribution provides a logic that treats each outcome in a continuum-sized set equally, thereby doing what no probability distribution could do for a countably infinite set. That would be a mistake. A continuum-sized set is literally infinitely more complicated than a countably infinite set. If we simply ask that each outcome in a continuum- sized set be treated equally in the inductive logic, then just about every problem that arose with the countably infinite case reappears; and then more.
    [Show full text]
  • Arxiv:2007.02955V4 [Quant-Ph] 7 Jan 2021
    Harvesting correlations in Schwarzschild and collapsing shell spacetimes Erickson Tjoa,a,b,1 Robert B. Manna,c aDepartment of Physics and Astronomy, University of Waterloo, Waterloo, Ontario, N2L 3G1, Canada bInstitute for Quantum Computing, University of Waterloo, Waterloo, Ontario, N2L 3G1, Canada cPerimeter Institute for Theoretical Physics, Waterloo, Ontario, N2L 2Y5, Canada E-mail: [email protected], [email protected] Abstract: We study the harvesting of correlations by two Unruh-DeWitt static detectors from the vacuum state of a massless scalar field in a background Vaidya spacetime con- sisting of a collapsing null shell that forms a Schwarzschild black hole (hereafter Vaidya spacetime for brevity), and we compare the results with those associated with the three pre- ferred vacua (Boulware, Unruh, Hartle-Hawking-Israel vacua) of the eternal Schwarzschild black hole spacetime. To do this we make use of the explicit Wightman functions for a massless scalar field available in (1+1)-dimensional models of the collapsing spacetime and Schwarzschild spacetimes, and the detectors couple to the proper time derivative of the field. First we find that, with respect to the harvesting protocol, the Unruh vacuum agrees very well with the Vaidya vacuum near the horizon even for finite-time interactions. Sec- ond, all four vacua have different capacities for creating correlations between the detectors, with the Vaidya vacuum interpolating between the Unruh vacuum near the horizon and the Boulware vacuum far from the horizon. Third, we show that the black hole horizon inhibits any correlations, not just entanglement. Finally, we show that the efficiency of the harvesting protocol depend strongly on the signalling ability of the detectors, which is highly non-trivial in presence of curvature.
    [Show full text]
  • Hausdorff Measure
    Hausdorff Measure Jimmy Briggs and Tim Tyree December 3, 2016 1 1 Introduction In this report, we explore the the measurement of arbitrary subsets of the metric space (X; ρ); a topological space X along with its distance function ρ. We introduce Hausdorff Measure as a natural way of assigning sizes to these sets, especially those of smaller \dimension" than X: After an exploration of the salient properties of Hausdorff Measure, we proceed to a definition of Hausdorff dimension, a separate idea of size that allows us a more robust comparison between rough subsets of X. Many of the theorems in this report will be summarized in a proof sketch or shown by visual example. For a more rigorous treatment of the same material, we redirect the reader to Gerald B. Folland's Real Analysis: Modern techniques and their applications. Chapter 11 of the 1999 edition served as our primary reference. 2 Hausdorff Measure 2.1 Measuring low-dimensional subsets of X The need for Hausdorff Measure arises from the need to know the size of lower-dimensional subsets of a metric space. This idea is not as exotic as it may sound. In a high school Geometry course, we learn formulas for objects of various dimension embedded in R3: In Figure 1 we see the line segment, the circle, and the sphere, each with it's own idea of size. We call these length, area, and volume, respectively. Figure 1: low-dimensional subsets of R3: 2 4 3 2r πr 3 πr Note that while only volume measures something of the same dimension as the host space, R3; length, and area can still be of interest to us, especially 2 in applications.
    [Show full text]
  • Measure, Integral and Probability
    Marek Capinski´ and Ekkehard Kopp Measure, Integral and Probability Springer-Verlag Berlin Heidelberg NewYork London Paris Tokyo Hong Kong Barcelona Budapest To our children; grandchildren: Piotr, Maciej, Jan, Anna; Luk asz Anna, Emily Preface The central concepts in this book are Lebesgue measure and the Lebesgue integral. Their role as standard fare in UK undergraduate mathematics courses is not wholly secure; yet they provide the principal model for the development of the abstract measure spaces which underpin modern probability theory, while the Lebesgue function spaces remain the main source of examples on which to test the methods of functional analysis and its many applications, such as Fourier analysis and the theory of partial differential equations. It follows that not only budding analysts have need of a clear understanding of the construction and properties of measures and integrals, but also that those who wish to contribute seriously to the applications of analytical methods in a wide variety of areas of mathematics, physics, electronics, engineering and, most recently, finance, need to study the underlying theory with some care. We have found remarkably few texts in the current literature which aim explicitly to provide for these needs, at a level accessible to current under- graduates. There are many good books on modern probability theory, and increasingly they recognize the need for a strong grounding in the tools we develop in this book, but all too often the treatment is either too advanced for an undergraduate audience or else somewhat perfunctory. We hope therefore that the current text will not be regarded as one which fills a much-needed gap in the literature! One fundamental decision in developing a treatment of integration is whether to begin with measures or integrals, i.e.
    [Show full text]
  • The Axiom of Choice and Its Implications
    THE AXIOM OF CHOICE AND ITS IMPLICATIONS KEVIN BARNUM Abstract. In this paper we will look at the Axiom of Choice and some of the various implications it has. These implications include a number of equivalent statements, and also some less accepted ideas. The proofs discussed will give us an idea of why the Axiom of Choice is so powerful, but also so controversial. Contents 1. Introduction 1 2. The Axiom of Choice and Its Equivalents 1 2.1. The Axiom of Choice and its Well-known Equivalents 1 2.2. Some Other Less Well-known Equivalents of the Axiom of Choice 3 3. Applications of the Axiom of Choice 5 3.1. Equivalence Between The Axiom of Choice and the Claim that Every Vector Space has a Basis 5 3.2. Some More Applications of the Axiom of Choice 6 4. Controversial Results 10 Acknowledgments 11 References 11 1. Introduction The Axiom of Choice states that for any family of nonempty disjoint sets, there exists a set that consists of exactly one element from each element of the family. It seems strange at first that such an innocuous sounding idea can be so powerful and controversial, but it certainly is both. To understand why, we will start by looking at some statements that are equivalent to the axiom of choice. Many of these equivalences are very useful, and we devote much time to one, namely, that every vector space has a basis. We go on from there to see a few more applications of the Axiom of Choice and its equivalents, and finish by looking at some of the reasons why the Axiom of Choice is so controversial.
    [Show full text]
  • Caratheodory's Extension Theorem
    Caratheodory’s extension theorem DBW August 3, 2016 These notes are meant as introductory notes on Caratheodory’s extension theorem. The presentation is not completely my own work; the presentation heavily relies on the pre- sentation of Noel Vaillant on http://www.probability.net/WEBcaratheodory.pdf. To make the line of arguments as clear as possible, the starting point is the notion of a ring on a topological space and not the notion of a semi-ring. 1 Elementary definitions and properties We fix a topological space Ω. The power set of Ω is denoted P(Ω) and consists of all subsets of Ω. Definition 1. A ring on on Ω is a subset R of P(Ω), such that (i) ∅ ∈ R (ii) A, B ∈ R ⇒ A ∪ B ∈ R (iii) A, B ∈ R ⇒ A \ B ∈ R Definition 2. A σ-algebra on Ω is a subset Σ of P(Ω) such that (i) ∅ ∈ Σ (ii) (An)n∈N ∈ Σ ⇒ ∪n An ∈ Σ (iii) A ∈ Σ ⇒ Ac ∈ Σ Since A∩B = A\(A\B) it follows that any ring on Ω is closed under finite intersections; c c hence any ring is also a semi-ring. Since ∩nAn = (∪nA ) it follows that any σ-algebra is closed under arbitrary intersections. And from A \ B = A ∩ Bc we deduce that any σ-algebra is also a ring. If (Ri)i∈I is a set of rings on Ω then it is clear that ∩I Ri is also a ring on Ω. Let S be any subset of P(Ω), then we call the intersection of all rings on Ω containing S the ring generated by S.
    [Show full text]
  • Functional Analysis
    Functional Analysis Marco Di Francesco, Stefano Spirito 2 Contents I Introduction 5 1 Motivation 7 1.1 Someprerequisitesofsettheory. ............... 10 II Lebesgue integration 13 2 Introduction 15 2.1 Recalling Riemann integration . ............ 15 2.2 A new way to count rectangles: Lebesgue integration . .............. 17 3 An overview of Lebesgue measure theory 19 4 Lebesgue integration theory 23 4.1 Measurablefunctions................................. ............ 23 4.2 Simplefunctions ................................... ............ 24 4.3 Definition of the Lebesgue integral . ............ 25 5 Convergence properties of Lebesgue integral 31 5.1 Interchanging limits and integrals . ............... 31 5.2 Fubini’sTheorem................................... ............ 34 5.3 Egorov’s and Lusin’s Theorem. Convergence in measure . .............. 36 6 Exercises 39 III The basic principles of functional analysis 43 7 Metric spaces and normed spaces 45 7.1 Compactnessinmetricspaces. ............. 45 7.2 Introduction to Lp spaces .......................................... 48 7.3 Examples: some classical spaces of sequences . ............... 52 8 Linear operators 57 9 Hahn-Banach Theorems 59 9.1 The analytic form of the Hahn-Banach theorem . .......... 59 9.2 The geometric forms of the Hahn-Banach Theorem . .......... 61 10 The uniform boundedness principle and the closed graph theorem 65 10.1 The Baire category theorem . .......... 65 10.2 Theuniformboundednessprinciple . ................ 66 10.3 The open mapping theorem and the closed graph theorem . ............ 67 3 4 CONTENTS 11 Weak topologies 69 11.1 The inverse limit topology of a family of maps . ........... 69 11.2 The weak topology σ(E, E ∗) ........................................ 69 11.3 The weak ∗ topology σ(E∗, E )........................................ 73 11.4 Reflexive spaces and separable spaces . .............. 75 11.5 Uniformly Convex Space . .......... 78 12 Exercises 79 IV Lp spaces and Hilbert spaces 87 13 Lp spaces 89 p p 13.1 Density properties and separability of L spaces.
    [Show full text]
  • Lecture 2 Complex Analysis
    Complex Analysis Lecture 2 Complex Analysis A Complex Numbers and Complex Variables In this chapter we give a short discussion of complex numbers and the theory of a function of a complex variable. Before we get to complex numbers, let us first say a few words about real numbers. All real numbers have meanings in the real world. Ever since the beginning of civilization, people have found great use of real positive integers such as 2 and 30, which came up in, as an example, the sentence “my neighbor has two pigs, and I have thirty chickens”. The concept of negative real integers, say ?5, is a bit more difficult, but found its use when a person owed another person five ounces of silver. It was also natural to extend the concept of integers to numbers which are not integers. For example, when six persons share equally a melon, the number describing the fraction of melon each of them has is not an integer but the rational number 1/6. The need for other real numbers was found as mathematicians pondered the length of the circumference of a perfectly circular hole with unit radius. This length is a real number which can be expressed neither as an integer nor as a ratio of two integers. This real number is denoted as Z, and is called an irrational number. Another example of irrational number is e. Each of the real numbers, be it integral, rational or irrational, can be geometrically represented by a point on an infinite line, and vice versa.
    [Show full text]