Radon Measures

Total Page:16

File Type:pdf, Size:1020Kb

Radon Measures Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) kfk = sup jf(x)j: x2X We want to identify the dual of C(X) with the space of (finite) signed Borel measures on X, also known as the space of Radon measures on X. Before identifying the dual of C(X); we will first identify the set of positive linear functionals on C(X): By definition, a linear functional (13.2) α : C(X) −! R is positive provided (13.3) f 2 C(X); f ≥ 0 =) α(f) ≥ 0: Clearly, if µ is a (positive) finite Borel measure on X; then (13.4) α(f) = f dµ Z is a positive linear functional. We will establish the converse, that every positive linear functional on C(X) is of the form (13.4). It is easy to see that every positive linear functional α on C(X) is bounded. In fact, applying α to f(x) − a and to b − f(x); we see that, when a and b are real numbers (13.5) f 2 C(X); a ≤ f ≤ b =) aα(1) ≤ α(f) ≤ bα(1); 179 180 13. Radon Measures so (13.6) jα(f)j ≤ Akfk; A = α(1): To begin the construction of µ, we construct a set function µ0 on the collection O of open subsets of X by (13.7) µ0(U) = sup fα(f) : f ≺ Ug; where we say (13.8) f ≺ U () f 2 C(X); 0 ≤ f ≤ 1; and supp f ⊂ U: Here, supp f is the closure of fx : f(x) 6= 0g: Clearly µ0 is monotone. Then we set, for any E ⊂ X; ∗ (13.9) µ (E) = inf fµ0(U) : E ⊂ U 2 Og: ∗ Of course, µ (U) = µ0(U) when U is open. Lemma 13.1. The set function µ∗ is an outer measure. Proof. By Proposition 5.1, it suffices to show that (13.10) Uj 2 O; U = Uj =) µ0(U) ≤ µ0(Uj); j[≥1 Xj≥1 so that we have an analogue of (5.5). Suppose f ≺ U: We need to show that α(f) ≤ µ0(Uj): Now, since supp f = K is compact, we have K ⊂ U1 [ · · · [ U` Pfor some finite `: We claim there are gj ≺ Uj; 1 ≤ j ≤ `; such that gj = 1 on K: Granted this, we can set fj = fgj: Then fj ≺ Uj; so α(fj)P≤ µ0(Uj): Hence (13.11) α(f) = α(fj) ≤ µ0(Uj); X X as desired. Thus Lemma 13.1 will be proved once we have Lemma 13.2. If K ⊂ X is compact, Uj are open, and K ⊂ U1[· · ·[U` = V; then there exist gj ≺ Uj such that gj = 1 on K: P Proof. Set U`+1 = X n K: Then fUj : 1 ≤ j ≤ ` + 1g is an open cover of X: Let fgj : 1 ≤ j ≤ ` + 1g be a partition of unity subordinate to this cover. (See Exercise 9 at the end of this chapter.) Then fgj : 1 ≤ j ≤ `g has the desired properties. Now that we know µ∗ is an outer measure, we prepare to apply Carathe- odory's Theorem. 13. Radon Measures 181 Lemma 13.3. The outer measure µ∗ is a metric outer measure. Proof. Let Sj ⊂ X; and assume (13.12) dist(S1; S2) ≥ 4" > 0: ∗ Take δ > 0: Given U ⊃ S = S1 [ S2; U open, such that µ0(U) ≤ µ (S) + δ; set Uj = U \ fx 2 X : dist(x; Sj) < "g: It follows that (13.13) Sj ⊂ Uj; U1 [ U2 ⊂ U; U1 \ U2 = ;: Now, whenever f ≺ U1 [ U2; we have f = f1 + f2 with fj = f ≺ Uj, Uj which implies µ0(U1) + µ0(U2) = µ0(U1 [ U2): Hence ∗ ∗ (13.14) µ (S1) + µ (S2) ≤ µ0(U1) + µ0(U2) = µ0(U1 [ U2) ≤ µ0(U): ∗ ∗ ∗ Thus µ (S) ≥ µ (S1) + µ (S2) − δ; for all δ > 0; which, together with ∗ ∗ ∗ ∗ subadditivity of µ ; yields the desired identity µ (S) = µ (S1) + µ (S2): It follows from Proposition 5.8 that every closed set in X is µ∗-measurable. Hence, by Theorem 5.2, every Borel set in X is µ∗-measurable, and the re- striction of µ∗ to B(X), which we denote µ, is a measure. We make a few useful comments about µ. First, in addition to (13.7), we have (13.15) µ(U) = sup fα(f) : f 4 Ug; for U open, where (13.16) f 4 U () f 2 C(X); 0 ≤ f ≤ 1; f = 0 on X n U: To see that (13.7) and (13.15) coincide, take f 4 U: Then set fj = ξj(f); where ξj(s) is defined by 1 0 for 0 ≤ s ≤ ; j 2 1 2 ξj(s) = 2s − for ≤ s ≤ ; j j j 2 s for s ≥ : j It follows that fj ≺ U and fj % f (uniformly); hence α(fj) % α(f): Using the identity (13.15), we can establish the following. 182 13. Radon Measures Lemma 13.4. If K ⊂ X is compact, then (13.17) µ(K) = inf fα(f) : f 2 C(X); f ≥ χK g: Proof. Denote the right side of (13.17) by µ1(K): It suffices to take the inf of α(f) over f < K; where (13.18) f < K () f 2 C(X); 0 ≤ f ≤ 1; f = 1 on K: Comparing this with (13.16), we see that f < K , 1 − f 4 X n K, so µ1(K) = inf fα(1) − α(g) : g 4 X n Kg (13.19) = µ(X) − µ(X n K): On the other hand, since K is µ∗-measurable, µ(X n K) + µ(K) = µ(X); so the identity (13.17) is proved. We are now ready to prove Theorem 13.5. If X is a compact metric space and α is a positive linear functional on C(X); then there exists a unique finite, positive Borel measure µ such that (13.20) α(f) = f dµ Z for all f 2 C(X): Proof. We have constructed a positive Borel measure µ, which is finite since (13.7) implies µ(X) = α(1): We next show that (13.20) holds. It suffices to check this when f : X ! [0; 1]: In such a case, take N 2 Z+ and define −1 'j(x) = min (f(x); jN ); 0 ≤ j ≤ N; (13.21) fj(x) = 'j(x) − 'j−1(x); 1 ≤ j ≤ N: We have fj = f and P 1 1 j (13.22) χKj ≤ fj ≤ χKj−1 ; Kj = x 2 X : f(x) ≥ : N N n N o Hence 1 1 (13.23) µ(K ) ≤ f dµ ≤ µ(K 1): N j Z j N j− 13. Radon Measures 183 We claim that also 1 1 (13.24) µ(Kj) ≤ α(fj) ≤ µ(Kj 1): N N − To see this, first note that if Kj−1 ⊂ U is open, then Nfj ≺ U; so Nα(fj) ≤ µ0(U): This implies the second inequality of (13.24). On the other hand, Nfj < Kj; so Lemma 13.4 gives the first inequality of (13.24). Summing (13.23) and (13.24), we have N N−1 1 1 µ(K ) ≤ f dµ ≤ µ(K ); N j Z N j Xj=1 Xj=0 (13.25) N N−1 1 1 µ(Kj) ≤ α(f) ≤ µ(Kj): N N Xj=1 Xj=0 Hence 1 1 1 (13.26) α(f) − f dµ ≤ µ(K0) − µ(KN ) ≤ µ(X): Z N N N Letting N ! 1; we have (13.20). Only the uniqueness of µ remains to be proved. To see this, let λ be a positive Borel measure on X such that (13.27) α(f) = f dλ Z for all f 2 C(X). Let K ⊂ X be compact, and apply this to −1 (13.28) fν(x) = 1 + ν dist(x; K) ; fν & χK: By the Monotone Convergence Theorem, we have fν dµ & χK dµ and fν dλ & χK dλ, so α(fν ) & µ(K) and α(fν) &R λ(K): HenceR µ(K) = λR(K) for allR compact K. Now, by (5.60), for every positive Borel measure λ on a compact metric space X; we have (13.29) E 2 B(X) =) λ(E) = sup fλ(K) : K ⊂ E; K compactg: This proves uniqueness. Generally, if X is a compact Hausdorff space and λ is a finite (positive) measure on B(X); λ is said to be regular if and only if (13.29) holds. The implication of Exercises 10{13 of Chapter 5 is that every finite Borel mea- sure is regular when X is a compact metric space. If X is compact but not 184 13. Radon Measures metrizable, a finite measure on B(X) need not be regular. The generaliza- tion of Theorem 13.5 to this case is that, given a positive linear functional α on C(X); there is a unique finite regular Borel measure µ such that (13.20) holds. (Note that if λ is any finite measure on B(X); then (13.27) defines a positive linear functional on C(X); which then gives rise to a regular Borel measure.) For this more general case, the construction of µ∗ is the same as was done above in (13.7){(13.9), but the proof that µ∗ yields a regular measure on B(X) is a little more elaborate than the proof given above for compact metric spaces. Treatments can be found in [Fol] and [Ru]. We want to extend Theorem 13.5 to the case of a general bounded linear functional (13.30) ! : C(X) ! R: We start with an analogue of the Hahn decomposition.
Recommended publications
  • Integral Representation of a Linear Functional on Function Spaces
    INTEGRAL REPRESENTATION OF LINEAR FUNCTIONALS ON FUNCTION SPACES MEHDI GHASEMI Abstract. Let A be a vector space of real valued functions on a non-empty set X and L : A −! R a linear functional. Given a σ-algebra A, of subsets of X, we present a necessary condition for L to be representable as an integral with respect to a measure µ on X such that elements of A are µ-measurable. This general result then is applied to the case where X carries a topological structure and A is a family of continuous functions and naturally A is the Borel structure of X. As an application, short solutions for the full and truncated K-moment problem are presented. An analogue of Riesz{Markov{Kakutani representation theorem is given where Cc(X) is replaced with whole C(X). Then we consider the case where A only consists of bounded functions and hence is equipped with sup-norm. 1. Introduction A positive linear functional on a function space A ⊆ RX is a linear map L : A −! R which assigns a non-negative real number to every function f 2 A that is globally non-negative over X. The celebrated Riesz{Markov{Kakutani repre- sentation theorem states that every positive functional on the space of continuous compactly supported functions over a locally compact Hausdorff space X, admits an integral representation with respect to a regular Borel measure on X. In symbols R L(f) = X f dµ, for all f 2 Cc(X). Riesz's original result [12] was proved in 1909, for the unit interval [0; 1].
    [Show full text]
  • Measure and Integration (Under Construction)
    Measure and Integration (under construction) Gustav Holzegel∗ April 24, 2017 Abstract These notes accompany the lecture course ”Measure and Integration” at Imperial College London (Autumn 2016). They follow very closely the text “Real-Analysis” by Stein-Shakarchi, in fact most proofs are simple rephrasings of the proofs presented in the aforementioned book. Contents 1 Motivation 3 1.1 Quick review of the Riemann integral . 3 1.2 Drawbacks of the class R, motivation of the Lebesgue theory . 4 1.2.1 Limits of functions . 5 1.2.2 Lengthofcurves ....................... 5 1.2.3 TheFundamentalTheoremofCalculus . 5 1.3 Measures of sets in R ......................... 6 1.4 LiteratureandFurtherReading . 6 2 Measure Theory: Lebesgue Measure in Rd 7 2.1 Preliminaries and Notation . 7 2.2 VolumeofRectanglesandCubes . 7 2.3 Theexteriormeasure......................... 9 2.3.1 Examples ........................... 9 2.3.2 Propertiesoftheexteriormeasure . 10 2.4 Theclassof(Lebesgue)measurablesets . 12 2.4.1 The property of countable additivity . 14 2.4.2 Regularity properties of the Lebesgue measure . 15 2.4.3 Invariance properties of the Lebesgue measure . 16 2.4.4 σ-algebrasandBorelsets . 16 2.5 Constructionofanon-measurableset. 17 2.6 MeasurableFunctions ........................ 19 2.6.1 Some abstract preliminary remarks . 19 2.6.2 Definitions and equivalent formulations of measurability . 19 2.6.3 Properties 1: Behaviour under compositions . 21 2.6.4 Properties 2: Behaviour under limits . 21 2.6.5 Properties3: Behaviourof sums and products . 22 ∗Imperial College London, Department of Mathematics, South Kensington Campus, Lon- don SW7 2AZ, United Kingdom. 1 2.6.6 Thenotionof“almosteverywhere”. 22 2.7 Building blocks of integration theory .
    [Show full text]
  • Extremal Dependence Concepts
    Extremal dependence concepts Giovanni Puccetti1 and Ruodu Wang2 1Department of Economics, Management and Quantitative Methods, University of Milano, 20122 Milano, Italy 2Department of Statistics and Actuarial Science, University of Waterloo, Waterloo, ON N2L3G1, Canada Journal version published in Statistical Science, 2015, Vol. 30, No. 4, 485{517 Minor corrections made in May and June 2020 Abstract The probabilistic characterization of the relationship between two or more random variables calls for a notion of dependence. Dependence modeling leads to mathematical and statistical challenges and recent developments in extremal dependence concepts have drawn a lot of attention to probability and its applications in several disciplines. The aim of this paper is to review various concepts of extremal positive and negative dependence, including several recently established results, reconstruct their history, link them to probabilistic optimization problems, and provide a list of open questions in this area. While the concept of extremal positive dependence is agreed upon for random vectors of arbitrary dimensions, various notions of extremal negative dependence arise when more than two random variables are involved. We review existing popular concepts of extremal negative dependence given in literature and introduce a novel notion, which in a general sense includes the existing ones as particular cases. Even if much of the literature on dependence is focused on positive dependence, we show that negative dependence plays an equally important role in the solution of many optimization problems. While the most popular tool used nowadays to model dependence is that of a copula function, in this paper we use the equivalent concept of a set of rearrangements.
    [Show full text]
  • Dirichlet Is Natural Vincent Danos, Ilias Garnier
    Dirichlet is Natural Vincent Danos, Ilias Garnier To cite this version: Vincent Danos, Ilias Garnier. Dirichlet is Natural. MFPS 31 - Mathematical Foundations of Program- ming Semantics XXXI, Jun 2015, Nijmegen, Netherlands. pp.137-164, 10.1016/j.entcs.2015.12.010. hal-01256903 HAL Id: hal-01256903 https://hal.archives-ouvertes.fr/hal-01256903 Submitted on 15 Jan 2016 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. MFPS 2015 Dirichlet is natural Vincent Danos1 D´epartement d'Informatique Ecole normale sup´erieure Paris, France Ilias Garnier2 School of Informatics University of Edinburgh Edinburgh, United Kingdom Abstract Giry and Lawvere's categorical treatment of probabilities, based on the probabilistic monad G, offer an elegant and hitherto unexploited treatment of higher-order probabilities. The goal of this paper is to follow this formulation to reconstruct a family of higher-order probabilities known as the Dirichlet process. This family is widely used in non-parametric Bayesian learning. Given a Polish space X, we build a family of higher-order probabilities in G(G(X)) indexed by M ∗(X) the set of non-zero finite measures over X. The construction relies on two ingredients.
    [Show full text]
  • Five Lectures on Optimal Transportation: Geometry, Regularity and Applications
    FIVE LECTURES ON OPTIMAL TRANSPORTATION: GEOMETRY, REGULARITY AND APPLICATIONS ROBERT J. MCCANN∗ AND NESTOR GUILLEN Abstract. In this series of lectures we introduce the Monge-Kantorovich problem of optimally transporting one distribution of mass onto another, where optimality is measured against a cost function c(x, y). Connections to geometry, inequalities, and partial differential equations will be discussed, focusing in particular on recent developments in the regularity theory for Monge-Amp`ere type equations. An ap- plication to microeconomics will also be described, which amounts to finding the equilibrium price distribution for a monopolist marketing a multidimensional line of products to a population of anonymous agents whose preferences are known only statistically. c 2010 by Robert J. McCann. All rights reserved. Contents Preamble 2 1. An introduction to optimal transportation 2 1.1. Monge-Kantorovich problem: transporting ore from mines to factories 2 1.2. Wasserstein distance and geometric applications 3 1.3. Brenier’s theorem and convex gradients 4 1.4. Fully-nonlinear degenerate-elliptic Monge-Amp`eretype PDE 4 1.5. Applications 5 1.6. Euclidean isoperimetric inequality 5 1.7. Kantorovich’s reformulation of Monge’s problem 6 2. Existence, uniqueness, and characterization of optimal maps 6 2.1. Linear programming duality 8 2.2. Game theory 8 2.3. Relevance to optimal transport: Kantorovich-Koopmans duality 9 2.4. Characterizing optimality by duality 9 2.5. Existence of optimal maps and uniqueness of optimal measures 10 3. Methods for obtaining regularity of optimal mappings 11 3.1. Rectifiability: differentiability almost everywhere 12 3.2. From regularity a.e.
    [Show full text]
  • The Geometry of Optimal Transportation
    THE GEOMETRY OF OPTIMAL TRANSPORTATION Wilfrid Gangbo∗ School of Mathematics, Georgia Institute of Technology Atlanta, GA 30332, USA [email protected] Robert J. McCann∗ Department of Mathematics, Brown University Providence, RI 02912, USA and Institut des Hautes Etudes Scientifiques 91440 Bures-sur-Yvette, France [email protected] July 28, 1996 Abstract A classical problem of transporting mass due to Monge and Kantorovich is solved. Given measures µ and ν on Rd, we find the measure-preserving map y(x) between them with minimal cost | where cost is measured against h(x − y)withhstrictly convex, or a strictly concave function of |x − y|.This map is unique: it is characterized by the formula y(x)=x−(∇h)−1(∇ (x)) and geometrical restrictions on . Connections with mathematical economics, numerical computations, and the Monge-Amp`ere equation are sketched. ∗Both authors gratefully acknowledge the support provided by postdoctoral fellowships: WG at the Mathematical Sciences Research Institute, Berkeley, CA 94720, and RJM from the Natural Sciences and Engineering Research Council of Canada. c 1995 by the authors. To appear in Acta Mathematica 1997. 1 2 Key words and phrases: Monge-Kantorovich mass transport, optimal coupling, optimal map, volume-preserving maps with convex potentials, correlated random variables, rearrangement of vector fields, multivariate distributions, marginals, Lp Wasserstein, c-convex, semi-convex, infinite dimensional linear program, concave cost, resource allocation, degenerate elliptic Monge-Amp`ere 1991 Mathematics
    [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]
  • Weak Convergence of Measures
    Mathematical Surveys and Monographs Volume 234 Weak Convergence of Measures Vladimir I. Bogachev Weak Convergence of Measures Mathematical Surveys and Monographs Volume 234 Weak Convergence of Measures Vladimir I. Bogachev EDITORIAL COMMITTEE Walter Craig Natasa Sesum Robert Guralnick, Chair Benjamin Sudakov Constantin Teleman 2010 Mathematics Subject Classification. Primary 60B10, 28C15, 46G12, 60B05, 60B11, 60B12, 60B15, 60E05, 60F05, 54A20. For additional information and updates on this book, visit www.ams.org/bookpages/surv-234 Library of Congress Cataloging-in-Publication Data Names: Bogachev, V. I. (Vladimir Igorevich), 1961- author. Title: Weak convergence of measures / Vladimir I. Bogachev. Description: Providence, Rhode Island : American Mathematical Society, [2018] | Series: Mathe- matical surveys and monographs ; volume 234 | Includes bibliographical references and index. Identifiers: LCCN 2018024621 | ISBN 9781470447380 (alk. paper) Subjects: LCSH: Probabilities. | Measure theory. | Convergence. Classification: LCC QA273.43 .B64 2018 | DDC 519.2/3–dc23 LC record available at https://lccn.loc.gov/2018024621 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. Requests for permission to reuse portions of AMS publication content are handled by the Copyright Clearance Center. For more information, please visit www.ams.org/publications/pubpermissions. Send requests for translation rights and licensed reprints to [email protected].
    [Show full text]
  • Probability Measures on Metric Spaces
    Probability measures on metric spaces Onno van Gaans These are some loose notes supporting the first sessions of the seminar Stochastic Evolution Equations organized by Dr. Jan van Neerven at the Delft University of Technology during Winter 2002/2003. They contain less information than the common textbooks on the topic of the title. Their purpose is to present a brief selection of the theory that provides a basis for later study of stochastic evolution equations in Banach spaces. The notes aim at an audience that feels more at ease in analysis than in probability theory. The main focus is on Prokhorov's theorem, which serves both as an important tool for future use and as an illustration of techniques that play a role in the theory. The field of measures on topological spaces has the luxury of several excellent textbooks. The main source that has been used to prepare these notes is the book by Parthasarathy [6]. A clear exposition is also available in one of Bour- baki's volumes [2] and in [9, Section 3.2]. The theory on the Prokhorov metric is taken from Billingsley [1]. The additional references for standard facts on general measure theory and general topology have been Halmos [4] and Kelley [5]. Contents 1 Borel sets 2 2 Borel probability measures 3 3 Weak convergence of measures 6 4 The Prokhorov metric 9 5 Prokhorov's theorem 13 6 Riesz representation theorem 18 7 Riesz representation for non-compact spaces 21 8 Integrable functions on metric spaces 24 9 More properties of the space of probability measures 26 1 The distribution of a random variable in a Banach space X will be a probability measure on X.
    [Show full text]
  • A Theory of Radon Measures on Locally Compact Spaces
    A THEORY OF RADON MEASURES ON LOCALLY COMPACT SPACES. By R. E. EDWARDS. 1. Introduction. In functional analysis one is often presented with the following situation: a locally compact space X is given, and along with it a certain topological vector space • of real functions defined on X; it is of importance to know the form of the most general continuous linear functional on ~. In many important cases, s is a superspace of the vector space ~ of all reul, continuous functions on X which vanish outside compact subsets of X, and the topology of s is such that if a sequence (]n) tends uniformly to zero and the ]n collectively vanish outside a fixed compact subset of X, then (/~) is convergent to zero in the sense of E. In this case the restriction to ~ of any continuous linear functional # on s has the property that #(/~)~0 whenever the se- quence (/~) converges to zero in the manner just described. It is therefore an important advance to determine all the linear functionals on (~ which are continuous in this eense. It is customary in some circles (the Bourbaki group, for example) to term such a functional # on ~ a "Radon measure on X". Any such functional can be written in many ways as the difference of two similar functionals, euch having the additional property of being positive in the sense that they assign a number >_ 0 to any function / satisfying ] (x) > 0 for all x E X. These latter functionals are termed "positive Radon measures on X", and it is to these that we may confine our attention.
    [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]
  • Real Analysis II, Winter 2018
    Real Analysis II, Winter 2018 From the Finnish original “Moderni reaalianalyysi”1 by Ilkka Holopainen adapted by Tuomas Hytönen February 22, 2018 1Version dated September 14, 2011 Contents 1 General theory of measure and integration 2 1.1 Measures . 2 1.11 Metric outer measures . 4 1.20 Regularity of measures, Radon measures . 7 1.31 Uniqueness of measures . 9 1.36 Extension of measures . 11 1.45 Product measure . 14 1.52 Fubini’s theorem . 16 2 Hausdorff measures 21 2.1 Basic properties of Hausdorff measures . 21 2.12 Hausdorff dimension . 24 2.17 Hausdorff measures on Rn ...................... 25 3 Compactness and convergence of Radon measures 30 3.1 Riesz representation theorem . 30 3.13 Weak convergence of measures . 35 3.17 Compactness of measures . 36 4 On the Hausdorff dimension of fractals 39 4.1 Mass distribution and Frostman’s lemma . 39 4.16 Self-similar fractals . 43 5 Differentiation of measures 52 5.1 Besicovitch and Vitali covering theorems . 52 1 Chapter 1 General theory of measure and integration 1.1 Measures Let X be a set and P(X) = fA : A ⊂ Xg its power set. Definition 1.2. A collection M ⊂ P (X) is a σ-algebra of X if 1. ? 2 M; 2. A 2 M ) Ac = X n A 2 M; S1 3. Ai 2 M, i 2 N ) i=1 Ai 2 M. Example 1.3. 1. P(X) is the largest σ-algebra of X; 2. f?;Xg is the smallest σ-algebra of X; 3. Leb(Rn) = the Lebesgue measurable subsets of Rn; 4.
    [Show full text]