DOCSLIB.ORG

Arxiv:2010.00681V2 [Math.FA] 20 Nov 2020

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2010.00681V2 [Math.FA] 20 Nov 2020 FOUNDATIONAL ASPECTS OF UNCOUNTABLE MEASURE THEORY: GELFAND DUALITY, RIESZ REPRESENTATION, CANONICAL MODELS, AND CANONICAL DISINTEGRATION ASGAR JAMNESHAN AND TERENCE TAO Abstract. We collect several foundational results regarding the interaction be- tween locally compact spaces, probability spaces and probability algebras, and commutative C∗-algebras and von Neumann algebras equipped with traces, in the “uncountable” setting in which no separability, metrizability, or standard Borel hypotheses are placed on these spaces and algebras. In particular, we re- view the Gelfand dualities and Riesz representation theorems available in this setting. We also present a canonical model that represents (opposite) probabil- ity algebras as compact Hausdorff probability spaces in a completely functorial fashion, and apply this model to obtain a canonical disintegration theorem and to readily construct various product measures. These tools will be used in fu- ture papers by the authors and others in various applications to “uncountable” ergodic theory. 1. Introduction In this paper we establish various foundational results about the measure theory (and also point set topology and functional analysis) of “uncountable” spaces: topological spaces that are not required to be separable or Polish, mea- surable spaces that are not required to be standard Borel, measure spaces that are not required to be standard Lebesgue, and C∗-algebras that are not required to be separable. In other work by us and other authors [16, 33, 32] we will use these results to establish various results in “uncountable” ergodic theory (in which the group Γ acting on the system is not required to be countable), which in turn can arXiv:2010.00681v2 [math.FA] 20 Nov 2020 be applied to various “uncountable” systems constructed using ultraproducts and similar devices to obtain combinatorial consequences. In this paper we focus on the following (interrelated) families of results: (i) The compactification of locally compact Hausdorff spaces, and the Gel- fand dualities between categories of these spaces and various categories of commutative C∗-algebras. (ii) Riesz representation theorems on compact and locally compact Haus- dorff spaces, leading to various “Riesz dualities” between categories of Date: November 23, 2020. 2020 Mathematics Subject Classification. Primary 28A60; Secondary 46L05, 28A50. Key words and phrases. Uncountable measure theory, Gelfand duality, Riesz representations, probability algebras, canonical model, Stone duality, disintegration of measures. 1 2 A.JAMNESHANANDT.TAO compact or locally compact Hausdorff probability spaces and categories of tracial commutative C∗-algebras. (iii) Construction of a canonical model of opposite probability algebras as compact Hausdorff spaces with good category theoretic properties (based on combining the above dualities with a “probability duality” between opposite probability algebras and tracial commutative von Neumann al- gebras). (iv) Construction of a canonical disintegration of probability measures with respect to a factor space, via the aforementioned canonical model, and the use of this disintegration to construct relatively independent products. (v) Connections with various Stone dualities between categories of Stone spaces and categories of Boolean algebras, focusing in particular on the duality provided by the Loomis-Sikorski theorem, and using this duality to establish an abstract version of the Kolmogorov extension theorem. Most of the above results are already known in the literature, though some- times in a different guise; we discuss relevant references at all stages of this pa- per. Our primary contribution is to synthesize them into an arrangement in which they appear as different aspects of a coherent whole. As the above descriptions indicate, we will rely hereby on the language of category theory to describe, or- ganize, and interpret our results, as well as the results already in the literature. Indeed, we found that an insistence on ensuring that various operations or iden- tifications can be viewed as functors or natural transformations to be extremely elucidating, for instance clarifying the different versions of the Baire algebra or the Riesz representation theorem that exist in the literature by assigning each such version to a slightly different category. We highlight the category theoretic notions of universal product, natural isomorphism, and duality of categories as being of particular relevance to our investigations. We review the basic terminol- ogy of category theory we will need in Appendix A. 1.1. Compactification and Gelfand duality. In this paper we use the term Gelfand duality to refer to a number of duality of categories between categories of compact or locally compact Hausdorff spaces on one hand, and categories of commutative C∗-algebras on the other. To illustrate the most basic example of Gelfand duality, we introduce the compact Hausdorff category CH and the unital ∗ 1 ∗ commutative C -algebra category CC Alg1. ∗ Definition 1.1 (CH and CC Alg1). 1As explained in Appendix A, we use black boldface strings for categories of “spaces” and red boldface strings for categories of “algebras”, with the latter often exhibiting dualities with the former. FOUNDATIONAL ASPECTS OF UNCOUNTABLE MEASURE THEORY 3 (i) A CH-space is a compact Hausdorff space X = (XSet, FX), that is to say a set XSet equipped with a topology FX that makes the set compact and Hausdorff.A CH-morphism f : X → Y between two CH-spaces is a Set- morphism (i.e., a function) fSet : XSet → YSet between the underlying sets which is continuous, using the usual Set-composition law. ∗ ∗ ∗ (ii) A CC Alg1-algebra is a unital commutative C -algebra A.A CC Alg1- morphism Φ: A→B is a unital ∗-homomorphism from A to B. ∗ (iii) If X is a CH-space, we define C(X) to bethe CC Alg1-algebra of contin- uous functions f : X → C from X to the complex numbers C, endowed with the obvious structure of a unital C∗-algebra. If T : X → Y is a CH- morphism, we define C(T): C(Y) → C(X) to be the Koopman operator C(T)( f ) ≔ f ◦ T. ∗ (iv) If A is a CC Alg1-algebra, we define Spec(A) (the Gelfand spectrum ∗ ∗ C of A) to be the space HomCC Alg1 (A → ) of CC Alg1-morphisms ∗ λ: A → C from A to C (viewing the latter as a CC Alg1-algebra), equipped with the topology induced from the product topology on the space CA of all functions from A to C; this is a CH-space thanks to ∗ the Banach-Alaoglu theorem. If φ: A→B is a CC Alg1-morphism, then Spec(Φ): Spec(B) → Spec(A) is the CH-morphism defined by ≔ ∗ C Spec(Φ)(λ) λ ◦ Φ for all λ ∈ HomCC Alg1 (A → ). ∗ It is a routine matter to verify that CH and CC Alg1 are categories, and ∗ ∗ C : CH → CC Alg1 and Spec : CC Alg1 → CH are contravariant functors between the indicated categories. We depict the functor C in blue to indicate that ∗ ≔ we deem it a “casting functor”, so that we view XCC Alg1 C(X) as the “canon- ical” unital commutative C∗-algebra associated to a CH-space X; see Definition A.21 for a fuller explanation of our casting conventions. (We cannot simultane- ously deem Spec to be a casting functor, because the composition Spec ◦ C (or C ◦ Spec) is not the identity, instead merely being naturally isomorphic to the identity.) It is well-known (see, e.g., [43], [51] or [20, Theorem 1.20]) that the functors C, Spec are full inclusions which invert each other up to natural isomorphism, thus giving a duality of categories which we refer to as the Gelfand duality be- ∗ tween CH and CC Alg1. We summarize all these facts as a single diagram ∗ CC Alg1 C Spec . CH 4 A.JAMNESHANANDT.TAO In fact we have the larger, essentially commuting, diagram of Gelfand dualities depicted in Figures2 1, 2, where (roughly speaking) • LCH is the category of locally compact Hausdorff spaces, with mor- phisms required to be continuous; • LCHp is the category of locally compact Hausdorff spaces, with mor- phisms required to be both continuous and proper; • (pt ↓ CH) is the category of pointed compact Hausdorff spaces, equipped with a distinguished point, and with morphisms required to preserve this point; • β: LCH → CH is the Stone-Cechˇ compactification functor; • Alex: LCHp → (pt ↓ CH) is the Alexandroff (or one-point) compactifi- cation functor; ∗ ∗ • CC Algnd is the category of commutative C -algebras with morphisms taking values in the target algebra and required to be nondegenerate; ∗ ∗ • CC AlgMult,nd is the category of commutative C -algebras with morphisms taking values in the multiplier algebra and required to be nondegenerate; ∗ ∗ • (CC Alg1 ↓ C) is the category of unital commutative C -algebras A en- dowed with a distinguished unital ∗-homomorphism to C, with the mor- phisms required to preserve this ∗-homomorphism; • C0(X) is the space of continuous functions on X which vanish at infinity; • Cb(X) is the space of bounded continuous functions on X; • Mult is the multiplier algebra functor; • Unit is the functor that adjoins a unit to a C∗-algebra A to create a unital ∗ C -algebra A⊕C, with the coordinate ∗-homomorphism λ∗ : A⊕C → C. We describe these categories and functors in more detail in Section 2, where we also present various commutativity relations and dualities of categories that are implicit in Figures 1, 2, formalized as Theorem 2.4. Each of these functors and equivalences already occur either implicitly or explicitly in the literature, but to our knowledge this is the first time they have been combined into the above two diagrams. In particular, we believe that these diagrams clarify an ambiguity in the Gelfand duality literature in which morphisms between locally compact Hausdorff spaces were sometimes, but not always, required to be proper, and morphisms between C∗-algebras were sometimes, but not always, required to lie in the target algebra rather than the multiplier algebra. This ambiguity is resolved 2These figures, as well as several other figures in this paper, can be viewed as “coordinate charts” of a single enormous diagram of categories that encompass a large number of types of objects and morphisms that are studied in topology, measure theory, probability theory, and operator algebras.
Load more

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 Theory (Graduate Texts in Mathematics)
    PaulR. Halmos Measure Theory Springer-VerlagNewYork-Heidelberg-Berlin Managing Editors P. R. Halmos C. C. Moore Indiana University University of California Department of Mathematics at Berkeley Swain Hall East Department of Mathematics Bloomington, Indiana 47401 Berkeley, California 94720 AMS Subject Classifications (1970) Primary: 28 - 02, 28A10, 28A15, 28A20, 28A25, 28A30, 28A35, 28A40, 28A60, 28A65, 28A70 Secondary: 60A05, 60Bxx Library of Congress Cataloging in Publication Data Halmos, Paul Richard, 1914- Measure theory. (Graduate texts in mathematics, 18) Reprint of the ed. published by Van Nostrand, New York, in series: The University series in higher mathematics. Bibliography: p. 1. Measure theory. I. Title. II. Series. [QA312.H26 1974] 515'.42 74-10690 ISBN 0-387-90088-8 All rights reserved. No part of this book may be translated or reproduced in any form without written permission from Springer-Verlag. © 1950 by Litton Educational Publishing, Inc. and 1974 by Springer-Verlag New York Inc. Printed in the United States of America. ISBN 0-387-90088-8 Springer-Verlag New York Heidelberg Berlin ISBN 3-540-90088-8 Springer-Verlag Berlin Heidelberg New York PREFACE My main purpose in this book is to present a unified treatment of that part of measure theory which in recent years has shown itself to be most useful for its applications in modern analysis. If I have accomplished my purpose, then the book should be found usable both as a text for students and as a source of refer­ ence for the more advanced mathematician. I have tried to keep to a minimum the amount of new and unusual terminology and notation.
    [Show full text]
  • Version of 21.8.15 Chapter 43 Topologies and Measures II The
    Version of 21.8.15 Chapter 43 Topologies and measures II The first chapter of this volume was ‘general’ theory of topological measure spaces; I attempted to distinguish the most important properties a topological measure can have – inner regularity, τ-additivity – and describe their interactions at an abstract level. I now turn to rather more specialized investigations, looking for features which offer explanations of the behaviour of the most important spaces, radiating outwards from Lebesgue measure. In effect, this chapter consists of three distinguishable parts and two appendices. The first three sections are based on ideas from descriptive set theory, in particular Souslin’s operation (§431); the properties of this operation are the foundation for the theory of two classes of topological space of particular importance in measure theory, the K-analytic spaces (§432) and the analytic spaces (§433). The second part of the chapter, §§434-435, collects miscellaneous results on Borel and Baire measures, looking at the ways in which topological properties of a space determine properties of the measures it carries. In §436 I present the most important theorems on the representation of linear functionals by integrals; if you like, this is the inverse operation to the construction of integrals from measures in §122. The ideas continue into §437, where I discuss spaces of signed measures representing the duals of spaces of continuous functions, and topologies on spaces of measures. The first appendix, §438, looks at a special topic: the way in which the patterns in §§434-435 are affected if we assume that our spaces are not unreasonably complex in a rather special sense defined in terms of measures on discrete spaces.
    [Show full text]
  • 1 Sets and Classes
    Prerequisites Topological spaces. A set E in a space X is σ-compact if there exists a S1 sequence of compact sets such that E = n=1 Cn. A space X is locally compact if every point of X has a neighborhood whose closure is compact. A subset E of a locally compact space is bounded if there exists a compact set C such that E ⊂ C. Topological groups. The set xE [or Ex] is called a left translation [or right translation.] If Y is a subgroup of X, the sets xY and Y x are called (left and right) cosets of Y . A topological group is a group X which is a Hausdorff space such that the transformation (from X ×X onto X) which sends (x; y) into x−1y is continuous. A class N of open sets containing e in a topological group is a base at e if (a) for every x different form e there exists a set U in N such that x2 = U, (b) for any two sets U and V in N there exists a set W in N such that W ⊂ U \ V , (c) for any set U 2 N there exists a set W 2 N such that V −1V ⊂ U, (d) for any set U 2 N and any element x 2 X, there exists a set V 2 N such that V ⊂ xUx−1, and (e) for any set U 2 N there exists a set V 2 N such that V x ⊂ U. If N is a satisfies the conditions described above, and if the class of all translation of sets of N is taken for a base, then, with respect to the topology so defined, X becomes a topological group.
    [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]
  • Borel Extensions of Baire Measures
    FUNDAMENTA MATHEMATICAE 154 (1997) Borel extensions of Baire measures by J. M. A l d a z (Madrid) Abstract. We show that in a countably metacompact space, if a Baire measure admits a Borel extension, then it admits a regular Borel extension. We also prove that under the special axiom ♣ there is a Dowker space which is quasi-Maˇr´ıkbut not Maˇr´ık,answering a question of H. Ohta and K. Tamano, and under P (c), that there is a Maˇr´ıkDowker space, answering a question of W. Adamski. We answer further questions of H. Ohta and K. Tamano by showing that the union of a Maˇr´ıkspace and a compact space is Maˇr´ık,that under “c is real-valued measurable”, a Baire subset of a Maˇr´ıkspace need not be Maˇr´ık, and finally, that the preimage of a Maˇr´ıkspace under an open perfect map is Maˇr´ık. 1. Introduction. The Borel sets are the σ-algebra generated by the open sets of a topological space, and the Baire sets are the smallest σ- algebra making all real-valued continuous functions measurable. The Borel extension problem asks: Given a Baire measure, when can it be extended to a Borel measure? Whenever one deals with Baire measures on a topological space, it is assumed that the space is completely regular and Hausdorff, so there are enough continuous functions to separate points and closed sets. In 1957 (see [Ma]), J. Maˇr´ıkproved that all normal, countably paracompact spaces have the following property: Every Baire measure extends to a regular Borel measure.
    [Show full text]
  • Some Undecidability Results Concerning Radon Measures by R
    transactions of the american mathematical society Volume 259, Number 1, May 1980 SOME UNDECIDABILITY RESULTS CONCERNING RADON MEASURES BY R. J. GARDNER AND W. F. PFEFFER Abstract. We show that in metalindelöf spaces certain questions about Radon measures cannot be decided within the Zermelo-Fraenkel set theory, including the axiom of choice. 0. Introduction. All spaces in this paper will be Hausdorff. Let A be a space. By § and Q we shall denote, respectively, the families of all open and compact subsets of X. The Borel o-algebra in X, i.e., the smallest a-algebra in X containing ê, will be denoted by <®. The elements of 9> are called Borel sets. A Borel measure in A' is a measure p on % such that each x G X has a neighborhood U G % with p( U) < + 00. A Borel measure p in X is called (i) Radon if p(B) = sup{ p(C): C G G, C c F} for each F G % ; (ii) regular if p(B) = inî{ p(G): G G @,B c G} for each fieS. A Radon space is a space X in which each finite Borel measure is Radon. The present paper will be divided into two parts, each dealing with one of the following questions. (a) Let A' be a locally compact, hereditarily metalindelöf space with the counta- ble chain condition. Is X a Radon space? (ß) Let A' be a metalindelöf space, and let p be a a-finite Radon measure in X. Is pa. regular measure? We shall show that neither question can be decided within the usual axioms of set theory.
    [Show full text]
  • On Measure-Compactness and Borel Measure-Compactness
    CORE Metadata, citation and similar papers at core.ac.uk Provided by Osaka City University Repository Okada, S. and Okazaki, Y. Osaka J. Math. 15 (1978), 183-191 ON MEASURE-COMPACTNESS AND BOREL MEASURE-COMPACTNESS SUSUMU OKADA AND YOSHIAKI OKAZAKI (Received December 6, 1976) 1. Introduction Moran has introduced "measure-compactness' and "strongly measure- compactness' in [7], [8], For measure-compactness, Kirk has independently presented in [4]. For Borel measures, "Borel measure-compactness' and "property B" are introduced by Gardner [1], We study, defining "a weak Radon space", the relation among these proper- ties at the last of §2. Furthermore we investigate the stability of countable unions in §3 and the hereditariness in §4. The authors wish to thank Professor Y. Yamasaki for his suggestions. 2. Preliminaries and fundamental results All spaces considered in this paper are completely regular and Hausdorff. Let Cb(X) be the space of all bounded real-valued continuous functions on a topological space X. By Z(X] we mean the family of zero sets {/" \0) / e Cb(X)} c and U(X) the family of cozero sets {Z \ Z<=Z(X)}. We denote by &a(X) the Baίre field, that is, the smallest σ-algebra containing Z(X) and by 1$(X) the σ-algebra generated by all open subsets of X, which is called the Borel field. A Baire measure [resp. Borel measure} is a totally finite, non-negative coun- tably additive set function defined on Άa(X) [resp. 3)(X)]. For a Baire measure μ, the support of μ is supp μ = {x^Xm, μ(U)>0 for every U^ U(X) containing x} .
    [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]