DOCSLIB.ORG

An Introductio N to Measur E and Integratio N

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
An Introductio N to Measur E and Integratio N http://dx.doi.org/10.1090/gsm/045 An Introductio n to Measur e an d Integratio n This page intentionally left blank An Introductio n to Measur e an d Integratio n SECOND EDITION Inder K. Rana Graduate Studies in Mathematics Volume 45 ;S!HSSJ»0 American Mathematical Society Providence, Rhode Island Editorial Board Steven G. Krantz David Saltman (Chair) David Sattinger Ronald Stern 2000 Mathematics Subject Classification. Primary 28-01; Secondary 28A05, 28A10, 28A12, 28A15, 28A20, 28A25, 28A33, 28A35, 26A30, 26A42, 26A45, 26A46. ABSTRACT. This text presents a motivated introduction to the theory of measure and integration. Starting with an historical introduction to the notion of integral and a preview of the Riemann integral, the reader is motivated for the need to study the Lebesgue measure and Lebesgue integral. The abstract integration theory is developed via measure. Other basic topics discussed in the text are Pubini's Theorem, Lp-spaces, Radon-Nikodym Theorem, change of variables formulas, signed and complex measures. Library of Congress Cataloging-in-Publication Data Rana, Inder K. An introduction to measure and integration / Inder K. Rana.—2nd ed. p. cm. — (Graduate texts in mathematics, ISSN 1065-7339 ; v. 45) Includes bibliographical references and index. ISBN 0-8218-2974-2 (alk. paper) 1. Lebesgue integral. 2. Measure theory. I. Title. II. Graduate texts in mathematics ; 45. QA312 .R28 2002 515/.42—dc21 2002018244 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publica• tion is permitted only under license from Narosa Publishing House. Requests for such permis• sion should be addressed to Narosa Publishing House, 6 Community Centre, Panchscheel Park, New Delhi 110 017, India. First Edition © 1997 by Narosa Publishing House. Second Edition © 2002 by Narosa Publishing House. All rights reserved. Printed in the United States of America. @ The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability. Visit the AMS home page at http://www.ams.org/ 10 9 8 7 6 5 4 3 2 1 07 06 05 04 03 02 In memory of my father Shri Omparkash Rana (24th April, 1924-26th May, 2002) This page intentionally left blank Contents Preface xi Preface to the Second Edition xvii Recipe for a one semester course and interdependence of the chapters xix Notations used in the text xxi Prologue. The length function 1 Chapter 1. Riemann integration 5 §1.1. The Riemann integral: A review 5 §1.2, Characterization of Riemann integrable functions 18 §1.3. Historical notes: The integral from antiquity to Riemann 30 §1.4. Drawbacks of the Riemann integral 36 Chapter 2. Recipes for extending the Riemann integral 45 §2.1. A function theoretic view of the Riemann integral 45 §2.2. Lebesgue's recipe 47 §2.3. Riesz-Daniel recipe 49 Chapter 3. General extension theory 51 §3.1. First extension 51 §3.2. Semi-algebra and algebra of sets 54 vm Contents §3.3. Extension from semi-algebra to the generated algebra 58 §3.4. Impossibility of extending the length function to all subsets of the real line 61 §3.5. Countably additive set functions on intervals 62 §3.6. Countably additive set functions on algebras 64 §3.7. The induced outer measure 70 §3.8. Choosing nice sets: Measurable sets 74 §3.9. The cr-algebras and extension from the algebra to the generated cr-algebra 80 §3.10. Uniqueness of the extension 84 §3.11. Completion of a measure space 89 Chapter 4. The Lebesgue measure on R and its properties 95 §4.1. The Lebesgue measure 95 §4.2. Relation of Lebesgue measurable sets with topologically nice subsets of R 99 §4.3. Properties of the Lebesgue measure with respect to the group structure on R 103 §4.4. Uniqueness of the Lebesgue measure 106 §4.5. * Cardinalities of the a-algebras C and B^ HO §4.6. Nonmeasurable subsets of R 113 §4.7. The Lebesgue-Stieltjes measure 114 Chapter 5. Integration 117 §5.1. Integral of nonnegative simple measurable functions 118 §5.2. Integral of nonnegative measurable functions 122 §5.3. Intrinsic characterization of nonnegative measurable functions 130 §5.4. Integrable functions 143 §5.5. The Lebesgue integral and its relation with the Riemann integral 153 §5.6. I/i[a, b] as completion of 1Z[a, b] 158 §5.7. Another dense subspace of L\[a, b] 163 §5.8. Improper Riemann integral and its relation with the Lebesgue integral 168 Contents IX §5.9. Calculation of some improper Riemann integrals 172 Chapter 6. Fundamental theorem of calculus for the Lebesgue integral 175 §6.1. Absolutely continuous functions 175 §6.2. Differentiability of monotone functions 179 §6.3. Fundamental theorem of calculus and its applications 191 Chapter 7. Measure and integration on product spaces 209 §7.1. Introduction 209 §7.2. Product of measure spaces 212 §7.3. Integration on product spaces: Fubini's theorems 221 §7.4. Lebesgue measure on M2 and its properties 229 §7.5. Product of finitely many measure spaces 237 Chapter 8. Modes of convergence and Lp-spaces 243 §8.1. Integration of complex-valued functions 243 §8.2. Convergence: Point wise, almost everywhere, uniform and almost uniform 248 §8.3. Convergence in measure 255 §8.4. Lp-spaces 261 §8.5. *Necessary and sufficient conditions for convergence in Lp 270 §8.6. Dense subspaces of Lp 279 §8.7. Convolution and regularization of functions 281 §8.8. LOO(X,S,IJ,): The space of essentially bounded functions 291 §8.9. 1/2(X, 5,/i): The space of square integrable functions 296 §8.10. Z/2-convergence of Fourier series 306 Chapter 9. The Radon-Nikodym theorem and its applications 311 §9.1. Absolutely continuous measures and the Radon-Nikodym theorem 311 §9.2. Computation of the Radon-Nikodym derivative 322 §9.3. Change of variable formulas 331 Chapter 10. Signed measures and complex measures 345 X Contents §10.1. Signed measures 345 §10.2. Radon-Nikodym theorem for signed measures 353 §10.3. Complex measures 365 r §10.4. Bounded linear functionals on L p(X, 5, /i) 373 Appendix A. Extended real numbers 385 Appendix B. Axiom of choice 389 Appendix C. Continuum hypothesis 391 Appendix D. Urysohn's lemma 393 Appendix E. Singular value decomposition of a matrix 395 Appendix F. Functions of bounded variation 397 Appendix G. Differentiable transformations 401 References 409 Index 413 Index of notations 419 Preface "Mathematics presented as a closed, linearly ordered, system of truths without reference to origin and purpose has its charm and satisfies a philosophical need. But the attitude of introverted science is un• suitable for students who seek intellectual independence rather than indoctrination; disregard for applications and intuition leads to isola• tion and atrophy of mathematics. It seems extremely important that students and instructors should be protected from smug purism." Richard Courant and Fritz John (Introduction to Calculus and Analysis) This text presents a motivated introduction to the subject which goes under various headings such as Real Analysis, Lebesgue Measure and Integration, Measure Theory, Modern Analysis, Advanced Analysis, and so on. The subject originated with the doctoral dissertation of the French mathematician Henri Lebesgue and was published in 1902 under the ti• tle Integrable, Longueur, Aire. The books of C. Caratheodory [8] and [9], S. Saks [35], LP. Natanson [27] and P.R. Halmos [14] presented these ideas in a unified way to make them accessible to mathematicians. Because of its fundamental importance and its applications in diverse branches of mathe• matics, the subject has become a part of the graduate level curriculum. Historically, the theory of Lebesgue integration evolved in an effort to remove some of the drawbacks of the Riemann integral (see Chapter 1). However, most of the time in a course on Lebesgue measure and integra• tion, the connection between the two notions of integrals comes up only XI Xll Preface after about half the course is over (assuming that the course is of one se• mester). In this text, after a review of the Riemann integral, the reader is acquainted with the need to extend it. Possible methods to carry out this extension are sketched before the actual theory is presented. This approach has given satisfying results to the author in teaching this subject over the years and hence the urge to write this text. The nucleus for the text was provided by the lecture notes of the courses I taught at Kurukshetra Uni• versity (India), University of Khartoum (Sudan), South Gujarat University (India) and the Indian Institute of Technology Bombay (India). These notes were slowly augmented with additional material so as to cover topics which have applications in other branches of mathematics. The end product is a text which includes many informal comments and is written in a lecture-note style. Any new concept is introduced only when it is needed in the logical development of the subject and it is discussed informally before the exact definition appears. The subject matter is developed by motivating examples and probing questions, as is normally done while teaching. I have tried to avoid slick proofs. Often a proof is either divided into steps or is presented in such a way that the main ideas of the proof emerge before the details follow. Summary of the text The text opens with a Prologue on the length function and its properties which are basic for the development of the subject.
Load more

Recommended publications
  • Complex Measures 1 11
    Tutorial 11: Complex Measures 1 11. Complex Measures In the following, (Ω, F) denotes an arbitrary measurable space. Definition 90 Let (an)n≥1 be a sequence of complex numbers. We a say that ( n)n≥1 has the permutation property if and only if, for ∗ ∗ +∞ 1 all bijections σ : N → N ,theseries k=1 aσ(k) converges in C Exercise 1. Let (an)n≥1 be a sequence of complex numbers. 1. Show that if (an)n≥1 has the permutation property, then the same is true of (Re(an))n≥1 and (Im(an))n≥1. +∞ 2. Suppose an ∈ R for all n ≥ 1. Show that if k=1 ak converges: +∞ +∞ +∞ + − |ak| =+∞⇒ ak = ak =+∞ k=1 k=1 k=1 1which excludes ±∞ as limit. www.probability.net Tutorial 11: Complex Measures 2 Exercise 2. Let (an)n≥1 be a sequence in R, such that the series +∞ +∞ k=1 ak converges, and k=1 |ak| =+∞.LetA>0. We define: + − N = {k ≥ 1:ak ≥ 0} ,N = {k ≥ 1:ak < 0} 1. Show that N + and N − are infinite. 2. Let φ+ : N∗ → N + and φ− : N∗ → N − be two bijections. Show the existence of k1 ≥ 1 such that: k1 aφ+(k) ≥ A k=1 3. Show the existence of an increasing sequence (kp)p≥1 such that: kp aφ+(k) ≥ A k=kp−1+1 www.probability.net Tutorial 11: Complex Measures 3 for all p ≥ 1, where k0 =0. 4. Consider the permutation σ : N∗ → N∗ defined informally by: φ− ,φ+ ,...,φ+ k ,φ− ,φ+ k ,...,φ+ k ,..
    [Show full text]
  • Appendix A. Measure and Integration
    Appendix A. Measure and integration We suppose the reader is familiar with the basic facts concerning set theory and integration as they are presented in the introductory course of analysis. In this appendix, we review them briefly, and add some more which we shall need in the text. Basic references for proofs and a detailed exposition are, e.g., [[ H a l 1 ]] , [[ J a r 1 , 2 ]] , [[ K F 1 , 2 ]] , [[ L i L ]] , [[ R u 1 ]] , or any other textbook on analysis you might prefer. A.1 Sets, mappings, relations A set is a collection of objects called elements. The symbol card X denotes the cardi- nality of the set X. The subset M consisting of the elements of X which satisfy the conditions P1(x),...,Pn(x) is usually written as M = { x ∈ X : P1(x),...,Pn(x) }.A set whose elements are certain sets is called a system or family of these sets; the family of all subsystems of a given X is denoted as 2X . The operations of union, intersection, and set difference are introduced in the standard way; the first two of these are commutative, associative, and mutually distributive. In a { } system Mα of any cardinality, the de Morgan relations , X \ Mα = (X \ Mα)and X \ Mα = (X \ Mα), α α α α are valid. Another elementary property is the following: for any family {Mn} ,whichis { } at most countable, there is a disjoint family Nn of the same cardinality such that ⊂ \ ∪ \ Nn Mn and n Nn = n Mn.Theset(M N) (N M) is called the symmetric difference of the sets M,N and denoted as M #N.
    [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]
  • (Measure Theory for Dummies) UWEE Technical Report Number UWEETR-2006-0008
    A Measure Theory Tutorial (Measure Theory for Dummies) Maya R. Gupta {gupta}@ee.washington.edu Dept of EE, University of Washington Seattle WA, 98195-2500 UWEE Technical Report Number UWEETR-2006-0008 May 2006 Department of Electrical Engineering University of Washington Box 352500 Seattle, Washington 98195-2500 PHN: (206) 543-2150 FAX: (206) 543-3842 URL: http://www.ee.washington.edu A Measure Theory Tutorial (Measure Theory for Dummies) Maya R. Gupta {gupta}@ee.washington.edu Dept of EE, University of Washington Seattle WA, 98195-2500 University of Washington, Dept. of EE, UWEETR-2006-0008 May 2006 Abstract This tutorial is an informal introduction to measure theory for people who are interested in reading papers that use measure theory. The tutorial assumes one has had at least a year of college-level calculus, some graduate level exposure to random processes, and familiarity with terms like “closed” and “open.” The focus is on the terms and ideas relevant to applied probability and information theory. There are no proofs and no exercises. Measure theory is a bit like grammar, many people communicate clearly without worrying about all the details, but the details do exist and for good reasons. There are a number of great texts that do measure theory justice. This is not one of them. Rather this is a hack way to get the basic ideas down so you can read through research papers and follow what’s going on. Hopefully, you’ll get curious and excited enough about the details to check out some of the references for a deeper understanding.
    [Show full text]
  • Measure Theory and Probability
    Measure theory and probability Alexander Grigoryan University of Bielefeld Lecture Notes, October 2007 - February 2008 Contents 1 Construction of measures 3 1.1Introductionandexamples........................... 3 1.2 σ-additive measures ............................... 5 1.3 An example of using probability theory . .................. 7 1.4Extensionofmeasurefromsemi-ringtoaring................ 8 1.5 Extension of measure to a σ-algebra...................... 11 1.5.1 σ-rings and σ-algebras......................... 11 1.5.2 Outermeasure............................. 13 1.5.3 Symmetric difference.......................... 14 1.5.4 Measurable sets . ............................ 16 1.6 σ-finitemeasures................................ 20 1.7Nullsets..................................... 23 1.8 Lebesgue measure in Rn ............................ 25 1.8.1 Productmeasure............................ 25 1.8.2 Construction of measure in Rn. .................... 26 1.9 Probability spaces ................................ 28 1.10 Independence . ................................. 29 2 Integration 38 2.1 Measurable functions.............................. 38 2.2Sequencesofmeasurablefunctions....................... 42 2.3 The Lebesgue integral for finitemeasures................... 47 2.3.1 Simplefunctions............................ 47 2.3.2 Positivemeasurablefunctions..................... 49 2.3.3 Integrablefunctions........................... 52 2.4Integrationoversubsets............................ 56 2.5 The Lebesgue integral for σ-finitemeasure.................
    [Show full text]
  • The Radon-Nikodym Theorem
    The Radon-Nikodym Theorem Yongheng Zhang Theorem 1 (Johann Radon-Otton Nikodym). Let (X; B; µ) be a σ-finite measure space and let ν be a measure defined on B such that ν µ. Then there is a unique nonnegative measurable function f up to sets of µ-measure zero such that Z ν(E) = fdµ, E for every E 2 B. f is called the Radon-Nikodym derivative of ν with respect to µ and it is often dν denoted by [ dµ ]. The assumption that the measure µ is σ-finite is crucial in the theorem (but we don't have this requirement directly for ν). Consider the following two examples in which the µ's are not σ-finite. Example 1. Let (R; M; ν) be the Lebesgue measure space. Let µ be the counting measure on M. So µ is not σ-finite. For any E 2 M, if µ(E) = 0, then E = ; and hence ν(E) = 0. This shows ν µ. Do we have the associated Radon-Nikodym derivative? Never. Suppose we have it and call it R R f, then for each x 2 R, 0 = ν(fxg) = fxg fdµ = fxg fχfxgdµ = f(x)µ(fxg) = f(x). Hence, f = 0. R This means for every E 2 M, ν(E) = E 0dµ = 0, which contradicts that ν is the Lebesgue measure. Example 2. ν is still the same measure above but we let µ to be defined by µ(;) = 0 and µ(A) = 1 if A 6= ;. Clearly, µ is not σ-finite and ν µ.
    [Show full text]
  • Delta Functions and Distributions
    When functions have no value(s): Delta functions and distributions Steven G. Johnson, MIT course 18.303 notes Created October 2010, updated March 8, 2017. Abstract x = 0. That is, one would like the function δ(x) = 0 for all x 6= 0, but with R δ(x)dx = 1 for any in- These notes give a brief introduction to the mo- tegration region that includes x = 0; this concept tivations, concepts, and properties of distributions, is called a “Dirac delta function” or simply a “delta which generalize the notion of functions f(x) to al- function.” δ(x) is usually the simplest right-hand- low derivatives of discontinuities, “delta” functions, side for which to solve differential equations, yielding and other nice things. This generalization is in- a Green’s function. It is also the simplest way to creasingly important the more you work with linear consider physical effects that are concentrated within PDEs, as we do in 18.303. For example, Green’s func- very small volumes or times, for which you don’t ac- tions are extremely cumbersome if one does not al- tually want to worry about the microscopic details low delta functions. Moreover, solving PDEs with in this volume—for example, think of the concepts of functions that are not classically differentiable is of a “point charge,” a “point mass,” a force plucking a great practical importance (e.g. a plucked string with string at “one point,” a “kick” that “suddenly” imparts a triangle shape is not twice differentiable, making some momentum to an object, and so on.
    [Show full text]
  • Harmonic Analysis Meets Geometric Measure Theory
    Geometry of Measures: Harmonic Analysis meets Geometric Measure Theory T. Toro ∗ 1 Introduction One of the central questions in Geometric Measure Theory is the extend to which the regularity of a measure determines the geometry of its support. This type of question was initially studied by Besicovitch, and then pursued by many authors among others Marstrand, Mattila and Preiss. These authors focused their attention on the extend to which the behavior of the density ratio of a m given Radon measure µ in R with respect to Hausdorff measure determines the regularity of the µ(B(x;r)) m support of the measure, i.e. what information does the quantity rs for x 2 R , r > 0 and s > 0 encode. In the context of the study of minimizers of area, perimeter and similar functionals the correct density ratio is monotone, the density exists and its behavior is the key to study the regularity and structure of these minimizers. This question has also been studied in the context of Complex Analysis. In this case, the Radon measure of interest is the harmonic measure. The general question is to what extend the structure of the boundary of a domain can be fully understood in terms of the behavior of the harmonic measure. Some of the first authors to study this question were Carleson, Jones, Wolff and Makarov. The goal of this paper is to present two very different type of problems, and the unifying techniques that lead to a resolution of both. In Section 2 we look at the history of the question initially studied by Besicovitch in dimension 2, as well as some of its offsprings.
    [Show full text]
  • Radon Measures
    MAT 533, SPRING 2021, Stony Brook University REAL ANALYSIS II FOLLAND'S REAL ANALYSIS: CHAPTER 7 RADON MEASURES Christopher Bishop 1. Chapter 7: Radon Measures Chapter 7: Radon Measures 7.1 Positive linear functionals on Cc(X) 7.2 Regularity and approximation theorems 7.3 The dual of C0(X) 7.4* Products of Radon measures 7.5 Notes and References Chapter 7.1: Positive linear functionals X = locally compact Hausdorff space (LCH space) . Cc(X) = continuous functionals with compact support. Defn: A linear functional I on C0(X) is positive if I(f) ≥ 0 whenever f ≥ 0, Example: I(f) = f(x0) (point evaluation) Example: I(f) = R fdµ, where µ gives every compact set finite measure. We will show these are only examples. Prop. 7.1; If I is a positive linear functional on Cc(X), for each compact K ⊂ X there is a constant CK such that jI(f)j ≤ CLkfku for all f 2 Cc(X) such that supp(f) ⊂ K. Proof. It suffices to consider real-valued I. Given a compact K, choose φ 2 Cc(X; [0; 1]) such that φ = 1 on K (Urysohn's lemma). Then if supp(f) ⊂ K, jfj ≤ kfkuφ, or kfkφ − f > 0;; kfkφ + f > 0; so kfkuI(φ) − I)f) ≥ 0; kfkuI(φ) + I)f) ≥ 0: Thus jI(f)j ≤ I(φ)kfku: Defn: let µ be a Borel measure on X and E a Borel subset of X. µ is called outer regular on E if µ(E) = inffµ(U): U ⊃ E; U open g; and is inner regular on E if µ(E) = supfµ(K): K ⊂ E; K open g: Defn: if µ is outer and inner regular on all Borel sets, then it is called regular.
    [Show full text]
  • Representation of the Dirac Delta Function in C(R)
    Representation of the Dirac delta function in C(R∞) in terms of infinite-dimensional Lebesgue measures Gogi Pantsulaia∗ and Givi Giorgadze I.Vekua Institute of Applied Mathematics, Tbilisi - 0143, Georgian Republic e-mail: [email protected] Georgian Technical University, Tbilisi - 0175, Georgian Republic g.giorgadze Abstract: A representation of the Dirac delta function in C(R∞) in terms of infinite-dimensional Lebesgue measures in R∞ is obtained and some it’s properties are studied in this paper. MSC 2010 subject classifications: Primary 28xx; Secondary 28C10. Keywords and phrases: The Dirac delta function, infinite-dimensional Lebesgue measure. 1. Introduction The Dirac delta function(δ-function) was introduced by Paul Dirac at the end of the 1920s in an effort to create the mathematical tools for the development of quantum field theory. He referred to it as an improper functional in Dirac (1930). Later, in 1947, Laurent Schwartz gave it a more rigorous mathematical definition as a spatial linear functional on the space of test functions D (the set of all real-valued infinitely differentiable functions with compact support). Since the delta function is not really a function in the classical sense, one should not consider the value of the delta function at x. Hence, the domain of the delta function is D and its value for f ∈ D is f(0). Khuri (2004) studied some interesting applications of the delta function in statistics. The purpose of the present paper is an introduction of a concept of the Dirac delta function in the class of all continuous functions defined in the infinite- dimensional topological vector space of all real valued sequences R∞ equipped arXiv:1605.02723v2 [math.CA] 14 May 2016 with Tychonoff topology and a representation of this functional in terms of infinite-dimensional Lebesgue measures in R∞.
    [Show full text]
  • A User-Friendly Introduction to Lebesgue Measure and Integration Gail S
    STUDENT MATHEMATICAL LIBRARY Volume 78 A User-Friendly Introduction to Lebesgue Measure and Integration Gail S. Nelson http://dx.doi.org/10.1090/stml/078 STUDENT MATHEMATICAL LIBRARY Volume 78 A User-Friendly Introduction to Lebesgue Measure and Integration Gail S. Nelson American Mathematical Society Providence, Rhode Island Editorial Board Satyan L. Devadoss John Stillwell (Chair) Erica Flapan Serge Tabachnikov 2010 Mathematics Subject Classification. Primary 26-XX, 28-XX. For additional information and updates on this book, visit www.ams.org/bookpages/stml-78 Library of Congress Cataloging-in-Publication Data Nelson, Gail Susan. A user-friendly introduction to Lebesgue measure and integration / Gail S. Nelson. pages cm. – (Student mathematical library ; volume 78) Includes bibliographical references and index. ISBN 978-1-4704-2199-1 (alk. paper) 1. Measure theory. 2. Lebesgue integral. 3. Integration, Functional. I. Title. QC20.7.M43N45 2015 515.83–dc23 2015022834 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy select pages for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Permissions to reuse portions of AMS publication content are handled by Copyright Clearance Center’s RightsLink service. For more information, please visit: http:// www.ams.org/rightslink. Send requests for translation rights and licensed reprints to reprint-permission @ams.org.
    [Show full text]