DOCSLIB.ORG

Chapter 2 Measure Spaces

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Chapter 2 Measure Spaces Chapter 2 Measure spaces 2.1 Sets and σ-algebras 2.1.1 Definitions Let X be a (non-empty) set; at this stage it is only a set, i.e., not yet endowed with any additional structure. Our eventual goal is to define a measure on subsets of X. As we have seen, we may have to restrict the subsets to which a measure is assigned. There are, however, certain requirements that the collection of sets to which a measure is assigned—measurable sets (;&$*$/ ;&7&"8)—should satisfy. If two sets are measurable, we would like their union, intersection and comple- ments to be measurable as well. This leads to the following definition: Definition 2.1 Let X be a non-empty set. A (boolean) algebra of subsets (%9"#-! ;&7&"8 -:) of X, is a non-empty collection of subsets of X, closed under finite unions (*5&2 $&(*!) and complementation. A (boolean) σ-algebra (%9"#-! %/#*2) ⌃ of subsets of X is a non-empty collection of subsets of X, closed under countable unions (%**1/ 0" $&(*!) and complementation. Comment: In the context of probability theory, the elements of a σ-algebra are called events (;&39&!/). Proposition 2.2 Let be an algebra of subsets of X. Then, contains X, the empty set, and it is closed under finite intersections. A A 8 Chapter 2 Proof : Since is not empty, it contains at least one set A . Then, A X A Ac and Xc ∈ A. Let A1,...,An . By= de∪ Morgan’s∈ A laws, = ∈ A n n c ⊂ A c Ak Ak . k 1 k 1 = = = ∈ A n Given in 2018 . Exercise 2.1 Let X be a set and let be a collection of subsets containing X and closed under set subtraction (i.e, if A, B then A B . Show that is an algebra. A The following useful proposition∈ A states ∈ thatA for an algebraA to be a σ-algebra, it suffices to require closure under countable disjoint union: Proposition 2.3 Let X be a non-empty set, and let P X be an algebra of subsets of X, closed under countable disjoint unions. Then, is a σ-algebra. A ⊂ ( ) A Proof : We need to show that is closed under countable unions. Let An , and define recursively the sequence of disjoint sets Bn , A ( ) ⊂ A ( n )1 B A and Bn An Ak . 1 1 − k 1 = ∈ A = ∈ A Then, = An Bn . ∞ ∞ n 1 n 1 (The inclusion n 1 Bn n 1 An= is obvious.= = Let∈ Ax n 1 An. Then, there exists a minimal n such that∞ x An.∞ By definition of the Bn’s, ∞x Bn, hence x Bn, = = = n 1 which proves the reverse⊂ inclusion.) ∈ ∞ n = ∈ ∈ ∈ Trick #1: Turn a sequence of sets into a sequence of disjoint sets having the same —1h(2018)— union. Definition 2.4 A non-empty set endowed with a σ-algebra of subsets is called a measurable space ($*$/ "(9/). Measure spaces 9 To conclude, a σ-algebra is a collection of sets closed under countably-many set- theoretic operations. Examples: 1. Let X be a non-empty set. Then, , X is its smallest σ-algebra (the trivial{σ-algebra).} 2. Let X be a non-empty set. Then, its power set (%8'(% ;7&"8) P X is its maximal σ-algebra. ( ) 3. Let X be a non-empty set. Then, ⌃ A X A is countable or Ac is countable is a σ-algebra (the= { countable⊂ ∶ or co-countable sets). Clearly,} ⌃ is non- empty and is closed under complementation. Let An ⌃. If all An are countable, then their union is also countable, hence in ⌃. Conversely, if one of the An is co-countable, then their union is also co-countable,( ) ⊂ hence in ⌃. The following proposition states that every intersection of σ-algebras is a σ- algebra. This property will be used right after to prove that every collection of subsets defines a unique σ-algebra, which is the smallest σ-algebra containing that collection. Proposition 2.5 Let ⌃↵ P X ↵ J be a (not necessarily countable) collection of σ-algebras. Then, their intersection is a σ-algebra. { ⊂ ( ) ∶ ∈ } Proof : Set ⌃ ⌃↵. ↵ J Since for every ↵ J, , X ⌃↵, it follows= ∈ that ⌃ contains and X. Let A ⌃; by definition, ∈ ∈ A ⌃↵ ↵ J. ∈ ∈ ∀ ∈ 10 Chapter 2 Since each of the ⌃↵ is a σ-algebra, c A ⌃↵ ↵ J, hence Ac ⌃, proving that ⌃ is∈ closed under∀ ∈ complementation. Likewise, let An ⌃. Then, ∈ An ⌃↵ n N and ↵ J. ( ) ⊂ It follows that ∈ ∀ ∈ ∀ ∈ An ⌃↵ ↵ J, ∞ n 1 hence = ∈ ∀ ∈ An ⌃, ∞ n 1 proving that ⌃ is closed under countable= unions.∈ n . Exercise 2.2 Let X be a set. (a) Show that the collection of subsets that are either finite or co-finite is an algebra. (b) Show that it is a σ-algebra if and only if X is a finite set. Given in 2018 . Exercise 2.3 (a) Let n be an increasing sequence of algebras of subsets of X, i.e., n n 1. Show that A A ⊂ + n ∞ A n 1 is an algebra. (b) Give an example in whichA =n=isA an increasing sequence of σ-algebras, and its union is not a σ-algebra. A Let E P X be a collection of sets and consider the family of all σ-algebras of subsets of X containing E . This family is not empty since is includes at least the power⊂ set P( )X . By Proposition 2.5, ( ) σ ⌃ ⌃ is a σ-algebra containing is a σ-algebra; it is( theE) smallest= { ∶σ-algebra containing ; it is calledE} the σ-algebra generated by (*$* -3 ;97&1) . E A comment about nomenclature: we will repeatedly deal with sets of sets and sets E of sets of sets; to avoid confusion, we will use the terms collection (42&!), class (%8-(/) and family (%(5:/) for sets whose elements are sets. The following proposition comes up useful: Measure spaces 11 Proposition 2.6 Let P X and let ⌃ P X be a σ-algebra. If E ⊂ ( ) ⌃⊂, ( ) then E ⊂ σ ⌃. (E) ⊂ Proof : Since ⌃ is a σ-algebra containing , then, by definition, it contains σ . n E (E) Corollary 2.7 Let , P X . If E F ⊂ σ( ) and σ , then E ⊂ (F) F ⊂ (E) σ σ . (E) = (F) . Exercise 2.4 Let X be a non-countable set. Let x x X . What is the σ-algebra generated by ? E = {{ } ∶ ∈ } . Exercise 2.5 Let A1,...,An beE a finite number of subsets of X. (a) Prove that if the A1,...,An are disjoint and their union is X, then n σ A1,...,An 2 . (b) Prove that for arbitrary A1,...,An, ({ }) = σ A1,...,An contains a finite number of elements. ({ }) . Exercise 2.6 Let X, ⌃ be a measurable space. Let be a collection of sets. Let P be a property of sets in X (i.e., a function P P X true, false ), such that ( ) C (a) P true. ∶ ( ) → { } () = 12 Chapter 2 (b) P C true for all C . (c) P A true implies that P Ac true. ( ) = ∈ C (d) if P A true for all n, then P A true. ( ) =n ( ) = n 1 n ∞ = Show that P( A) = true for all A σ (. ) = Given in 2018 ( ) = ∈ (C) . Exercise 2.7 Prove that every member of a σ-algebra is countably-generated: i.e., let be a collection of subsets of X and let A σ . Prove that there exists a countable sub-collection A , such that A σ A . C Given in 2018 ∈ (C) C ⊂ C ∈ (C ) . Exercise 2.8 Let f X1 X2 be a function between two sets. Prove that if ⌃2 is a σ- algebra on X2, then ∶ → 1 ⌃1 f A A ⌃2 − is a σ-algebra on X1. = { ( ) ∶ ∈ } Given in 2018 . Exercise 2.9 Let X, ⌃ be a measurable space and let An ⌃ be a sequence of measurable set. The superior limit of this sequence is the set of points x which belong to An for infinitely- many n’s, i.e., ( ) ∈ lim sup An x X n x An . n = { ∈ ∶ { ∶ ∈ } = ∞} The inferior limit of this sequence→∞ is the set of points x which belong to An for all but finitely- many n’s, i.e., lim inf An x X n x An . n →∞ = { ∈ ∶ { ∶ ∉ } < ∞} (a) Prove that lim supn An n 1 k n Ak. (b) Prove that lim inf A ∞ ∞ A . n →∞ n = n =1 k =n k c ∞ ∞ c (c) Prove that lim sup→∞ A lim inf A . n =n = = n n c c (d) Prove that lim inf A lim sup →∞ A . ( n →∞ n ) = n n (e) Denote by χ the →∞ of a measurable set A. Prove that ( A indicator) function= →∞ χ χ χ χ . lim supn An lim sup An and lim infn An lim inf An n n →∞ →∞ = →∞ = →∞ 2.1.2 The Borel σ-algebra on R A σ-algebra is a structure on a set. Another set structure you are familiar with is a topology. Open sets and measurable sets are generally distinct entities, however, we often want to assign a measurable structure to a topological space. For that, there is a natural construction: Measure spaces 13 Definition 2.8 Let X,⌧X be a topological space (*#&-&5&) "(9/). The σ-algebra generated by the open sets is called the Borel σ-algebra and is denoted ( ) B X σ ⌧X . Its elements are called Borel sets (-9&"( ) ;&7&"8= ( )) (roughly speaking, it is the collec- tion of all sets obtained by countably-many set-theoretic operations on the open sets). Since we have special interest in the topological spaces Rn (endowed with the topology induced by the Euclidean metric), we want to get acquainted with its Borel sets.
Load more

Recommended publications
  • 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]
  • Ernst Zermelo Heinz-Dieter Ebbinghaus in Cooperation with Volker Peckhaus Ernst Zermelo
    Ernst Zermelo Heinz-Dieter Ebbinghaus In Cooperation with Volker Peckhaus Ernst Zermelo An Approach to His Life and Work With 42 Illustrations 123 Heinz-Dieter Ebbinghaus Mathematisches Institut Abteilung für Mathematische Logik Universität Freiburg Eckerstraße 1 79104 Freiburg, Germany E-mail: [email protected] Volker Peckhaus Kulturwissenschaftliche Fakultät Fach Philosophie Universität Paderborn War burger St raße 100 33098 Paderborn, Germany E-mail: [email protected] Library of Congress Control Number: 2007921876 Mathematics Subject Classification (2000): 01A70, 03-03, 03E25, 03E30, 49-03, 76-03, 82-03, 91-03 ISBN 978-3-540-49551-2 Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broad- casting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable for prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com © Springer-Verlag Berlin Heidelberg 2007 The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant pro- tective laws and regulations and therefore free for general use. Typesetting by the author using a Springer TEX macro package Production: LE-TEX Jelonek, Schmidt & Vöckler GbR, Leipzig Cover design: WMXDesign GmbH, Heidelberg Printed on acid-free paper 46/3100/YL - 5 4 3 2 1 0 To the memory of Gertrud Zermelo (1902–2003) Preface Ernst Zermelo is best-known for the explicit statement of the axiom of choice and his axiomatization of set theory.
    [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]
  • Old Notes from Warwick, Part 1
    Measure Theory, MA 359 Handout 1 Valeriy Slastikov Autumn, 2005 1 Measure theory 1.1 General construction of Lebesgue measure In this section we will do the general construction of σ-additive complete measure by extending initial σ-additive measure on a semi-ring to a measure on σ-algebra generated by this semi-ring and then completing this measure by adding to the σ-algebra all the null sets. This section provides you with the essentials of the construction and make some parallels with the construction on the plane. Throughout these section we will deal with some collection of sets whose elements are subsets of some fixed abstract set X. It is not necessary to assume any topology on X but for simplicity you may imagine X = Rn. We start with some important definitions: Definition 1.1 A nonempty collection of sets S is a semi-ring if 1. Empty set ? 2 S; 2. If A 2 S; B 2 S then A \ B 2 S; n 3. If A 2 S; A ⊃ A1 2 S then A = [k=1Ak, where Ak 2 S for all 1 ≤ k ≤ n and Ak are disjoint sets. If the set X 2 S then S is called semi-algebra, the set X is called a unit of the collection of sets S. Example 1.1 The collection S of intervals [a; b) for all a; b 2 R form a semi-ring since 1. empty set ? = [a; a) 2 S; 2. if A 2 S and B 2 S then A = [a; b) and B = [c; d).
    [Show full text]
  • Some Topologies Connected with Lebesgue Measure Séminaire De Probabilités (Strasbourg), Tome 5 (1971), P
    SÉMINAIRE DE PROBABILITÉS (STRASBOURG) JOHN B. WALSH Some topologies connected with Lebesgue measure Séminaire de probabilités (Strasbourg), tome 5 (1971), p. 290-310 <http://www.numdam.org/item?id=SPS_1971__5__290_0> © Springer-Verlag, Berlin Heidelberg New York, 1971, tous droits réservés. L’accès aux archives du séminaire de probabilités (Strasbourg) (http://portail. mathdoc.fr/SemProba/) implique l’accord avec les conditions générales d’utili- sation (http://www.numdam.org/conditions). Toute utilisation commerciale ou im- pression systématique est constitutive d’une infraction pénale. Toute copie ou im- pression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ SOME TOPOLOGIES CONNECTED WITH LEBESGUE MEASURE J. B. Walsh One of the nettles flourishing in the nether regions of the field of continuous parameter processes is the quantity lim sup X. s-~ t When one most wants to use it, he can’t show it is measurable. A theorem of Doob asserts that one can always modify the process slightly so that it becomes in which case lim sup is the same separable, X~ s-t as its less relative lim where D is a countable prickly sup X, set. If, as sometimes happens, one is not free to change the process, the usual procedure is to use the countable limit anyway and hope that the process is continuous. Chung and Walsh [3] used the idea of an essential limit-that is a limit ignoring sets of Lebesgue measure and found that it enjoyed the pleasant measurability and separability properties of the countable limit in addition to being translation invariant.
    [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]
  • Topologies Which Generate a Complete Measure Algebra
    ADVANCES IN MATHEMATICS 7, 231--239 (1971) Topologies which Generate a Complete Measure Algebra STEPHEN SCHEINBERG* Department of Mathematics, Stanford University, Stanford, California 94305 Topologies are constructed so that the c~-field they generate is the collection of Lebesgue-measurable sets_ One such topology provides a simple proof of yon Neumann's theorem on selecting representatives for bounded measurable "functions." Everyone is familiar with the fact that there are vastly more Lebesgue measurable sets than Borel sets in the real line. S. Polit asked me the very natural question: is there a topology for the reals so that the Borel sets generated by it are exactly the Lebesgue measurable sets ? This note is intended to present a self-contained elementary descrip- tion of several related ways of constructing such a topology. All the topologies considered are translation-invariant enlargements of the standard topology. The topology T of Section 1 is a very natural one for the real line. It is easily seen to be connected and regular, but not normal. The topology T has been studied before in a different context, and is known to be completely regular [1]. The topology T' of Section 2 is also connected, but not regular. However, the construction generalizes readily to general topological measure spaces. The topology U con- structed in Section 3 is maximal with respect to generating measurable sets; it is completely regular and has the remarkable property that each bounded measurable function is equal almost everywhere to a unique U-continuous function. This yields an especially simple proof of a theorem of von Neumann [2].
    [Show full text]
  • 1.4 Outer Measures
    10 CHAPTER 1. MEASURE 1.3.6. (‘Almost everywhere’ and null sets) If (X, A,µ) is a measure space, then a set in A is called a null set (or µ-null) if its measure is 0. Clearly a countable union of null sets is a null set, by the subadditivity condition in Theorem 1.3.4. If a statement about points x ∈ X is true except for points x in some null set, then we say that the statement is true almost everywhere (a.e.), or µ-almost everywhere (µ-a.e.), or for almost every x, or for µ-almost every x. We say that A is complete (with respect to µ), if any subset of a µ-null set is in A (in which case it is also a null set). We also say that the measure space is complete, in this case. Theorem 1.3.7 If (X, A,µ) is a measure space, define A¯ to be the set of unions of a set in A and a subset of a µ-null set. Then A¯ is a σ-algebra on X, and there is a unique extension µ¯ of µ to a complete measure on A¯. ∞ ∞ Proof: If (An)n=1, (Bn)n=1 are sets in A with µ(Bn) = 0 for all n, and if Fn ⊂ Bn for ∞ ∞ ∞ ∞ ∞ all n, then ∪n=1 (An ∪ Fn)=(∪n=1 An) ∪ (∪n=1 Fn), and ∪n=1 Fn ⊂ B, where B = ∪n=1 Bn. ∞ ¯ Note that B is µ-null, by a comment above the theorem.
    [Show full text]
  • SOME REMARKS CONCERNING FINITELY Subaddmve OUTER MEASURES with APPUCATIONS
    Internat. J. Math. & Math. Sci. 653 VOL. 21 NO. 4 (1998) 653-670 SOME REMARKS CONCERNING FINITELY SUBADDmVE OUTER MEASURES WITH APPUCATIONS JOHN E. KNIGHT Department of Mathematics Long Island University Brooklyn Campus University Plaza Brooklyn, New York 11201 U.S.A. (Received November 21, 1996 and in revised form October 29, 1997) ABSTRACT. The present paper is intended as a first step toward the establishment of a general theory of finitely subadditive outer measures. First, a general method for constructing a finitely subadditive outer measure and an associated finitely additive measure on any space is presented. This is followed by a discussion of the theory of inner measures, their construction, and the relationship of their properties to those of an associated finitely subadditive outer measure. In particular, the interconnections between the measurable sets determined by both the outer measure and its associated inner measure are examined. Finally, several applications of the general theory are given, with special attention being paid to various lattice related set functions. KEY WORDS AND PHRASES: Outer measure, inner measure, measurable set, finitely subadditive, superadditive, countably superadditive, submodular, supermodular, regular, approximately regular, condition (M). 1980 AMS SUBJECT CLASSIFICATION CODES: 28A12, 28A10. 1. INTRODUCTION For some time now countably subadditive outer measures have been studied from the vantage point of a general theory (e.g. see [4], [6]), but until now this has not been true for finitely subadditive outer measures. Although some effort has been made to explore the interconnections between certain specific examples of finitely subadditive outer measures (see [3], [7], [8], [10]), there is still no unifying framework for this subject analogous to the one for the countably subadditive case.
    [Show full text]
  • Structural Features of the Real and Rational Numbers ENCYCLOPEDIA of MATHEMATICS and ITS APPLICATIONS
    ENCYCLOPEDIA OF MATHEMATICS AND ITS APPLICATIONS FOUNDED BY G.-C. ROTA Editorial Board P. Flajolet, M. Ismail, E. Lutwak Volume 112 The Classical Fields: Structural Features of the Real and Rational Numbers ENCYCLOPEDIA OF MATHEMATICS AND ITS APPLICATIONS FOUNDING EDITOR G.-C. ROTA Editorial Board P. Flajolet, M. Ismail, E. Lutwak 40 N. White (ed.) Matroid Applications 41 S. Sakai Operator Algebras in Dynamical Systems 42 W. Hodges Basic Model Theory 43 H. Stahl and V. Totik General Orthogonal Polynomials 45 G. Da Prato and J. Zabczyk Stochastic Equations in Infinite Dimensions 46 A. Bj¨orner et al. Oriented Matroids 47 G. Edgar and L. Sucheston Stopping Times and Directed Processes 48 C. Sims Computation with Finitely Presented Groups 49 T. Palmer Banach Algebras and the General Theory of *-Algebras I 50 F. Borceux Handbook of Categorical Algebra I 51 F. Borceux Handbook of Categorical Algebra II 52 F. Borceux Handbook of Categorical Algebra III 53 V. F. Kolchin Random Graphs 54 A. Katok and B. Hasselblatt Introduction to the Modern Theory of Dynamical Systems 55 V. N. Sachkov Combinatorial Methods in Discrete Mathematics 56 V. N. Sachkov Probabilistic Methods in Discrete Mathematics 57 P. M. Cohn Skew Fields 58 R. Gardner Geometric Tomography 59 G. A. Baker, Jr., and P. Graves-Morris Pade´ Approximants, 2nd edn 60 J. Krajicek Bounded Arithmetic, Propositional Logic, and Complexity Theory 61 H. Groemer Geometric Applications of Fourier Series and Spherical Harmonics 62 H. O. Fattorini Infinite Dimensional Optimization and Control Theory 63 A. C. Thompson Minkowski Geometry 64 R. B. Bapat and T.
    [Show full text]
  • Probability Theory: STAT310/MATH230; September 12, 2010 Amir Dembo
    Probability Theory: STAT310/MATH230; September 12, 2010 Amir Dembo E-mail address: [email protected] Department of Mathematics, Stanford University, Stanford, CA 94305. Contents Preface 5 Chapter 1. Probability, measure and integration 7 1.1. Probability spaces, measures and σ-algebras 7 1.2. Random variables and their distribution 18 1.3. Integration and the (mathematical) expectation 30 1.4. Independence and product measures 54 Chapter 2. Asymptotics: the law of large numbers 71 2.1. Weak laws of large numbers 71 2.2. The Borel-Cantelli lemmas 77 2.3. Strong law of large numbers 85 Chapter 3. Weak convergence, clt and Poisson approximation 95 3.1. The Central Limit Theorem 95 3.2. Weak convergence 103 3.3. Characteristic functions 117 3.4. Poisson approximation and the Poisson process 133 3.5. Random vectors and the multivariate clt 140 Chapter 4. Conditional expectations and probabilities 151 4.1. Conditional expectation: existence and uniqueness 151 4.2. Properties of the conditional expectation 156 4.3. The conditional expectation as an orthogonal projection 164 4.4. Regular conditional probability distributions 169 Chapter 5. Discrete time martingales and stopping times 175 5.1. Definitions and closure properties 175 5.2. Martingale representations and inequalities 184 5.3. The convergence of Martingales 191 5.4. The optional stopping theorem 203 5.5. Reversed MGs, likelihood ratios and branching processes 209 Chapter 6. Markov chains 225 6.1. Canonical construction and the strong Markov property 225 6.2. Markov chains with countable state space 233 6.3. General state space: Doeblin and Harris chains 255 Chapter 7.
    [Show full text]
  • Finitely Subadditive Outer Measures, Finitely Superadditive Inner Measures and Their Measurable Sets
    Internat. J. Math. & Math. Sci. 461 VOL. 19 NO. 3 (1996) 461-472 FINITELY SUBADDITIVE OUTER MEASURES, FINITELY SUPERADDITIVE INNER MEASURES AND THEIR MEASURABLE SETS P. D. STRATIGOS Department of Mathematics Long Island University Brooklyn, NY 11201, USA (Received February 24, 1994 and in revised form April 28, 1995) ABSTRACT. Consider any set X A finitely subadditive outer measure on P(X) is defined to be a function u from 7(X) to R such that u()) 0 and u is increasing and finitely subadditive A finitely superadditive inner measure on 7:'(X) is defined to be a function p from (X) to R such that p(0) 0 and p is increasing and finitely superadditive (for disjoint unions) (It is to be noted that every finitely superadditive inner measure on 7(X) is countably superadditive This paper contributes to the study of finitely subadditive outer measures on P(X) and finitely superadditive inner measures on 7:'(X) and their measurable sets KEY WORDS AND PHRASES. Lattice space, lattice normality and countable compactness, lattice regularity and a-smoothness of a measure, finitely subadditive outer measure, finitely superadditive inner measure, regularity of a finitely subadditive outer measure 1991 AMS SUBJECT CLASSIFICATION CODES. 28A12, 28A60, 28C15 0. INTROI)UCTION Consider any set X and any lattice on X, The algebra on X generated by is denoted by .A() A measure on .A(/2) is defined to be a function/.t from Jl.() to R such that/.t is finitely additive and bounded. The set of all measures on .A() is denoted by M() and the set of all/-regular measures on Jr(/2) by M/(/2) A finitely subadditive outer measure on 7)(X) is defined to be a function u from '(X) to R such that u(0) 0 and u is increasing and finitely subadditive A finitely superadditive inner measure on P(X) is defined to be a function p from P(X) to R such that p() 0 and p is increasing and finitely superadditive (for disjoint unions).
    [Show full text]