Lecture 3: Probability Measures - 2
|
|
- Colleen Lucas
- 5 years ago
- Views:
Transcription
1 Lecture 3: Probability Measures Continuation of measures 1.1 Problem of continuation of a probability measure 1.2 Outer measure 1.3 Lebesgue outer measure 1.4 Lebesgue continuation of an elementary measure 1.5 Continuation of an elementary measure to the minimal σ- algebra 2. Measures and distribution functions 2.1 Probability measure and its distribution function 2.2 Lebesgue measure 3. Example of non-borel set 1. Continuation of measures 1.1 Problem of continuation of a probability measure Let A be an algebra of subsets of a space Ω. Definition 3.1. An elementary probability measure is a function P (A) defined on sets A A and satisfying the following conditions: (a) P (A) 0, A F; (b) If A 1, A 2,..., A n is a finite sequence of disjoint events, i.e., 1
2 A i A j =, i j then P ( n k=1a k ) = n k=1 P (A k ); (c) P (Ω) = 1. Definition 3.2. A probability measure P (A), A σ(a) is a continuation of an elementary measure P (A), A A if P (A) = P (A), A A. The following fundamental questions arise: (1) Does exist a continuation P (A), A σ(a) of an elementary measure P (A), A A? (2) Is this continuation unique? Example Let F (x), x R 1 is a distribution function on a real line, i.e., a real-valued function defined on R 1 satisfying conditions: (a) F (x) is monotonically non-decreasing function; (b) F ( ) = lim x F (x) = 0, F ( ) = lim x F (x) = 1; (c) F (x) is continuous from the right, i.e., lim x y x F (y) = F (x), x R 1. Let also A be the class of all finite unions of disjoint intervals A = n i=1(a i, b i ], a i b i + ((a, ] = (a, )), (a i, b i ] (a j, b j ] =, i j, n = 1, 2,.... Lemma 3.1. The class A is an algebra and the function P (A) = n i=1 (F (b i ) F (a i )) is an elementary measure defined on algebra A. The above questions take the following form: (1) Does exist a probability measure P (A), A σ(a) such that 2
3 P ((, x]) = F (x), x? (2) Is this continuation unique? 1.2 Outer measure Definition 3.3. A function of sets λ(a) defined on all subsets A Ω taking values in the interval [0, ] is an outer measure if it satisfies conditions: (a) λ( ) = 0; (b) If A, A 1,... Ω is a finite or countable sequence of sets such A n A n then λ(a) λ(a n ). n The property (b) is so-called sub-additivity property. Definition 3.4. A set E Ω is called measurable if, λ(a) = λ(a E) + λ(a \ E), A Ω. Theorem 3.1**. The class F λ of all measurable sets is a σ- algebra and the outer measure λ(a) is a measure on this σ- algebra. (a) Lemma 3.2. Sets, Ω F λ. (b) Lemma 3.3. If E is a measurable set then E is a measurable set. (c) Lemma 3.4. If E is a measurable set, A, B Ω and E B =, then, λ(a (B E)) = λ(a B) + λ(a E). 3
4 (d) Lemma 3.5. If E 1,..., E n are measurable sets, A, B Ω and E k B =, E k E r =, k, r = 1,..., n, then, λ(a (B ( n k=1e k ))) = λ(a B) + n λ(a E k ). (e) Lemma 3.6. The class F λ is an algebra. (f) Lemma 3.7. If E 1, E 2,... and E k E r =, k, r = 1,..., then, λ(a ( k=1e k )) = λ(a E k ). k=1 k=1 (g) Lemma 3.8. The class F λ is an σ-algebra. (h) Theorem 3.1 is a corollary of Lemmas 3.7 and 3.8. Lemma 3.9. The σ-algebra F λ is full, i.e., any subset A A of a measurable set A such that λ(a ) = 0 is also a measurable set and λ(a) = Lebesgue outer measure Let A ba a class of subsets of Ω such that, Ω A. Let also µ(a), A A is a function of sets taking values in the interval [0, ] such that µ( ) = 0. Let now define a function of sets λ(a), A Ω as, λ(a) = inf{ n=1 µ(a n ) : A n A, A n=1a n }. 4
5 Theorem 3.2. The function λ(a), A Ω is an outer measure. (a) λ( ) = 0 follows from relation µ( ) = 0; (b) λ(a), A Ω is sub-additive function; (c) If λ(a n ) = for some n then the property of sub-additivity is obvious; (d) If λ(a n ) <, n = 1, 2,... then, by definition of λ(a), for every ε > 0, there exist sets A n,m A, n, m = 1, 2,... such that A n m A n,m, n = 1, 2,... and m µ(a n,m ) λ(a n ) + ε (e) λ(a) n m µ(a n,m ) n λ(a n ) + ε; (f) Passing ε 0 we get λ(a) n λ(a n ). Definition 3.5. The outer measure λ(a), A Ω is called Lebesgue outer measure and the measure λ(a), A F λ is called Lebesgue measure (constructed from the function of sets µ(a), A A). 1.4 Lebesgue continuation of an elementary measure Let µ (A), A A and µ (A), A A be two functions of sets. Definition 3.6. The function µ (A), A A is a continuation of function µ (A), A A if: (a) A A ; (b) µ (A) = µ (A), A A. Let A be an algebra of subsets of a space Ω. 2 n ; 5
6 Definition 3.7. An elementary measure is a function µ(a) defined on sets A A and taking values in the interval [0, ] is am elementary measure if it satisfies the following conditions: (a) µ( ) = 0; (b) If A 1, A 2,..., A n is a finite sequence of disjoint events, i.e., A i A j =, i j then µ( n k=1a k ) = n k=1 µ(a k ). Theorem 3.3**. The Lebesgue measure λ(a), A F λ constructed from an elementary measure µ(a), A A is a continuation of this elementary measure, i.e., A F λ and λ(a) = µ(a), A A, if and only if the elementary measure µ(a), A A is subadditive, i.e., for any finite or countable sequence of sets A, A 1, A 2,... A, A n A n, µ(a) µ(a n ). n (a) Necessity: If λ(a), A F λ is a continuation of the elementary measure µ(a), A A then the sub-additivity of µ(a) follows from sub-additivity of the outer measure λ(a); (b) Sufficiency is not trivial. Definition 3.8. An elementary measure µ(a), A A is σ- additive if it satisfies the following condition: (a) If A 1, A 2,..., is a infinite sequence of disjoint events, i.e., A i A j =, i j such that n=1a n A then, µ( n=1a n ) = n=1 µ(a n ). 6
7 Lemma If an elementary measure µ(a), A A is σ- additive then it is also a sub-additive. (a) Let A, A k, k = 1, 2,... A, A k A k. Then A = k (A A k ); (b) B n = n k=1(a A k ). Then A = n B n = n (B n \ B n 1 ), where B 0 = ; (c) B n, B n \ B n 1 A, n = 1, 2,..., B n \ B n 1, n = 1, 2,... are disjoint sets; (d) µ(a) = k=1 µ(b k \ B k 1 ) = lim n nk=1 µ(b k \ B k 1 ) = lim n µ(b n ) = lim n nk=1 µ(a A k ) lim n nk=1 µ(a k ) = n µ(a k ). 1.5 Continuation of an elementary measure to the minimal σ-algebra Let A be an algebra of subsets of a space Ω and µ(a), A A be an elementary mesure defined on this algebra. Definition 3.9. An elementary measure µ(a), A A is σ- finite if there exist a the sequence of sets A 1, A 2,... A such that n A n = Ω and µ(a n ) <, n = 1, 2,.... Theorem 3.4*. Let µ (A), A σ(a) and µ (A), A σ(a) are two continuations of a σ-finite elementary measure µ(a), A A on the minimal σ-algebra σ(a). Then µ (A) = µ (A), A σ(a), 7
8 i.e., the continuation of an elementary σ-finite measure from an algebra to the corresponding minimal σ-algebra is unique. (a) The proof may be reduced to the case of finite measure µ(a), A A, i.e., where µ(ω) < ; (b) Let R be the class of sets A σ(a) such that µ (A) = µ (A); (c) R is a monotonic class; (d) Also A R; (e) Thus, σ(a) R. The following theorem is the direct corollary of Theorems 3.3 and 3.4. Theorem 3.5. If µ(a), A A is a σ-finite and sub-additive elementary measure defined on algebra A, then A σ(a) F λ and the Lebesgue measure λ(a), A F λ constructed from an elementary measure µ(a), A A is a continuation of this elementary measure defining also the measure λ(a), A σ(a) that is the unique continuation of the elementary measure µ(a), A A to the minimal σ-algebra σ(a). The following theorem describes the relationship between the σ- algebras σ(a) and F λ and the Lebesgue measure λ(a), A F λ and the measure λ(a), A σ(a). Let us introduce the class of zero-sets, N λ = {A Ω : A A, A σ(a), λ(a ) = 0}. Theorem 3.6. If µ(a), A A is a σ-finite and sub-additive 8
9 elementary measure defined on algebra A, then the σ-algebras σ(a) and F λ are connected by the following relation, F λ = {B = (A A ) \ A, A σ(a), A, A N λ }, while the measures λ(a), A F λ and λ(a), A σ(a) are connected by the relation, λ(b) = λ(a), B = (A A ) \ A, A σ(a), A, A N λ. Measure λ(a), A F λ is called a replenishment of the measure λ(a), A σ(a). Corollary 1. Let A σ(a) and ε > 0. Then there exist sets A 1, A 2,... A such that A n=1a n such that µ(a) n=1 µ(a n ) µ(a) + ε. 2. Measures and distribution functions 2.1 Probability measure and its distribution function Let F (x), x R 1 is a distribution function on a real line, i.e., a real-valued function defined on R 1 ; A be the algebra of all finite unions of disjoint intervals A = n i=1(a i, b i ] and P (A) be the elementary measure defined on algebra A by formulas P (A) = n (F (b i ) F (a i )), A A. (1) i=1 Lemma 3.11*. The elementary measure P (A) is σ-additive. The following theorem is a corollary of Theorem 3.6 and Lemma
10 Theorem 3.7. If P (A), A A is an elementary measure defined on algebra A by relation (1), then the Lebesgue measure F (A), A F F constructed from an elementary measure P (A), A A is a continuation of this elementary measure defining also the measure F (A), A σ(a) that is the unique continuation of the elementary measure P (A), A A to the Borel σ-algebra B 1 = σ(a). Let F be the family of all distribution functions, i.e., the family of real-valued functions F (x) defined on R 1 satisfying conditions: (a) F (x) is monotonically non-decreasing function; (b) F ( ) = lim x F (x) = 0, F ( ) = lim x F (x) = 1; (c) F (x) is continuous from the right, i.e., lim x y x F (y) = F (x), x R 1. Let also P be the class of all probability measures, on Borel σ- algebra B 1. The following theorem is a corollary of Theorem 3.7. Theorem 3.8. There is one-to-one mapping between the families F and P. The mapping P F is given by the relations F (x) = P ((, x]), x R 1 while the inverse mapping F P is given by the algorithm described in the Theorem Lebesgue measure Let m(x), x R 1 is a function on a real line satisfying conditions: (a) m(x) is monotonically non-decreasing function; (b) m(x) is continuous from the right, i.e., lim x y x m(y) = m(x), x R 1. Let also A be the algebra of all finite unions of disjoint intervals 10
11 A = n i=1(a i, b i ] and m(a) be the function of sets defined on algebra A by formulas, m(a) = n (m(b i ) m(a i )), A A. (2) i=1 Note that m(r 1 ) < iff both m( ) = lim x m(x) > and m( ) = lim x m(x) <. Lemma 3.12*. The function m(a) is a σ-finite and σ-additive elementary measure defined on algebra A. The following theorem is a corollary of Theorem 3.6 and Lemma Theorem 3.9. If m(a), A A is an elementary measure defined on algebra A by relation (2), then the Lebesgue measure M(A), A F M constructed from an elementary measure of sets m(a), A A is a continuation of this elementary measure defining also the measure M(A), A σ(a) that is the unique continuation of the elementary measure m(a), A A to the Borel σ-algebra B 1 = σ(a). The case of the standard Lebesgue measure λ(a), A B 1 on Borel σ-algebra B 1 corresponds to the model with function m(x) = x, x R Example of a non-borel set Let denote the λ(a), A F λ the replenishment of the standard Lebesgue measure λ(a), A B 1. 11
12 Let also N be the set of integer numbers. (1) Take some irrational number a and define the set A = {b = n + ma : n, m N. (2) Define equivalence relation between any to real numbers x y if x y A. This equivalence relation is reflective (x x), symmetric (y x if x y) and transitive (if x y and y z then x z). (3) This follows from the listed above properties of the equivalence relation that the set of real numbers splits in the family E a of disjoint sets such that every set from E a contains all real numbers that are connected by the relation with each others. The family E a has a continuum elements (it admit a one-to-one mapping with the set of all real numbers). (4) According so-called axiom of choice there exists the set E 0 that contains exactly one point from every set E E a. Theorem 3.10**. The set E 0 does not belong to the σ-algebra F λ. (a) If E 0 F λ then λ(e 0 ) = 0; (b) λ(e 0 + b) = λ(e 0 ) = 0, b A; (c) E 0 + b E 0 + b =, b, b A; (d) b A (E 0 + b) = R 1 ; (e) λ(r 1 ) = 0?? (f) Thus E 0 F λ. 12
13 Halmos P.R. (1950) Measure Theory, Van Nostrand, New York. LN Problem 1. Prove of find in the R, G or GS* the proofs of Lemmas * GS: Gikman, I.I., Skorokhod, A.V. (1996) Introduction to the Theory of Random Processes, Dover, Mineola. 2. Let λ(a) = I A (a) where a Ω. Is λ(a) a outer measure? What is the σ-algebra F λ of measurable sets? 3. Prove or find in R, G or GS the proof of the sufficiency statement of Theorem Complete the sketch of the proof for Theorem Prove or find in R, G or GS the proof of Theorem The probability space < Ω, F, P > ia called non-atomic if for every A F with P (A) > 0 there exist B F, B A such that o < P (B) < P (A). Prove that the set of values P (A), A F coincides with the whole interval [0, 1]. 7. Prove or find in R, G or GS the proof of Lemmas 3.11 and
Chapter 4. Measure Theory. 1. Measure Spaces
Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if
More informationChapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries
Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.
More informationLebesgue Measure. Dung Le 1
Lebesgue Measure Dung Le 1 1 Introduction How do we measure the size of a set in IR? Let s start with the simplest ones: intervals. Obviously, the natural candidate for a measure of an interval is its
More informationµ (X) := inf l(i k ) where X k=1 I k, I k an open interval Notice that is a map from subsets of R to non-negative number together with infinity
A crash course in Lebesgue measure theory, Math 317, Intro to Analysis II These lecture notes are inspired by the third edition of Royden s Real analysis. The Jordan content is an attempt to extend the
More information1.4 Outer measures 10 CHAPTER 1. MEASURE
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
More informationMeasures. 1 Introduction. These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland.
Measures These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland. 1 Introduction Our motivation for studying measure theory is to lay a foundation
More information+ = x. ± if x > 0. if x < 0, x
2 Set Functions Notation Let R R {, + } and R + {x R : x 0} {+ }. Here + and are symbols satisfying obvious conditions: for any real number x R : < x < +, (± + (± x + (± (± + x ±, (± (± + and (± (, ± if
More informationSpring 2014 Advanced Probability Overview. Lecture Notes Set 1: Course Overview, σ-fields, and Measures
36-752 Spring 2014 Advanced Probability Overview Lecture Notes Set 1: Course Overview, σ-fields, and Measures Instructor: Jing Lei Associated reading: Sec 1.1-1.4 of Ash and Doléans-Dade; Sec 1.1 and A.1
More information18.175: Lecture 2 Extension theorems, random variables, distributions
18.175: Lecture 2 Extension theorems, random variables, distributions Scott Sheffield MIT Outline Extension theorems Characterizing measures on R d Random variables Outline Extension theorems Characterizing
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationReal Analysis Chapter 1 Solutions Jonathan Conder
3. (a) Let M be an infinite σ-algebra of subsets of some set X. There exists a countably infinite subcollection C M, and we may choose C to be closed under taking complements (adding in missing complements
More informationII - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define
1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1
More informationIntroduction to Ergodic Theory
Lecture I Crash course in measure theory Oliver Butterley, Irene Pasquinelli, Stefano Luzzatto, Lucia Simonelli, Davide Ravotti Summer School in Dynamics ICTP 2018 Why do we care about measure theory?
More informationn [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1)
1.4. CONSTRUCTION OF LEBESGUE-STIELTJES MEASURES In this section we shall put to use the Carathéodory-Hahn theory, in order to construct measures with certain desirable properties first on the real line
More informationarxiv: v1 [math.fa] 14 Jul 2018
Construction of Regular Non-Atomic arxiv:180705437v1 [mathfa] 14 Jul 2018 Strictly-Positive Measures in Second-Countable Locally Compact Non-Atomic Hausdorff Spaces Abstract Jason Bentley Department of
More informationFUNDAMENTALS OF REAL ANALYSIS by. II.1. Prelude. Recall that the Riemann integral of a real-valued function f on an interval [a, b] is defined as
FUNDAMENTALS OF REAL ANALYSIS by Doğan Çömez II. MEASURES AND MEASURE SPACES II.1. Prelude Recall that the Riemann integral of a real-valued function f on an interval [a, b] is defined as b n f(xdx :=
More informationMeasures and Measure Spaces
Chapter 2 Measures and Measure Spaces In summarizing the flaws of the Riemann integral we can focus on two main points: 1) Many nice functions are not Riemann integrable. 2) The Riemann integral does not
More information1.1. MEASURES AND INTEGRALS
CHAPTER 1: MEASURE THEORY In this chapter we define the notion of measure µ on a space, construct integrals on this space, and establish their basic properties under limits. The measure µ(e) will be defined
More informationAnnalee Gomm Math 714: Assignment #2
Annalee Gomm Math 714: Assignment #2 3.32. Verify that if A M, λ(a = 0, and B A, then B M and λ(b = 0. Suppose that A M with λ(a = 0, and let B be any subset of A. By the nonnegativity and monotonicity
More informationG1CMIN Measure and Integration
G1CMIN Measure and Integration 2003-4 Prof. J.K. Langley May 13, 2004 1 Introduction Books: W. Rudin, Real and Complex Analysis ; H.L. Royden, Real Analysis (QA331). Lecturer: Prof. J.K. Langley (jkl@maths,
More informationIntegration on Measure Spaces
Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of
More informationThe Caratheodory Construction of Measures
Chapter 5 The Caratheodory Construction of Measures Recall how our construction of Lebesgue measure in Chapter 2 proceeded from an initial notion of the size of a very restricted class of subsets of R,
More informationRS Chapter 1 Random Variables 6/5/2017. Chapter 1. Probability Theory: Introduction
Chapter 1 Probability Theory: Introduction Basic Probability General In a probability space (Ω, Σ, P), the set Ω is the set of all possible outcomes of a probability experiment. Mathematically, Ω is just
More informationMeasure Theoretic Probability. P.J.C. Spreij
Measure Theoretic Probability P.J.C. Spreij this version: September 16, 2009 Contents 1 σ-algebras and measures 1 1.1 σ-algebras............................... 1 1.2 Measures...............................
More informationAn extended version of the Carathéodory extension Theorem
An extended version of the Carathéodory extension Theorem Alexandre G. Patriota Departamento de Estatística, Universidade de São Paulo, São Paulo/SP, 05508-090, Brazil Abstract In this paper, we show that
More information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More informationAlmost Sure Convergence of a Sequence of Random Variables
Almost Sure Convergence of a Sequence of Random Variables (...for people who haven t had measure theory.) 1 Preliminaries 1.1 The Measure of a Set (Informal) Consider the set A IR 2 as depicted below.
More information(U) =, if 0 U, 1 U, (U) = X, if 0 U, and 1 U. (U) = E, if 0 U, but 1 U. (U) = X \ E if 0 U, but 1 U. n=1 A n, then A M.
1. Abstract Integration The main reference for this section is Rudin s Real and Complex Analysis. The purpose of developing an abstract theory of integration is to emphasize the difference between the
More information5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.
5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint
More informationIntroduction to Hausdorff Measure and Dimension
Introduction to Hausdorff Measure and Dimension Dynamics Learning Seminar, Liverpool) Poj Lertchoosakul 28 September 2012 1 Definition of Hausdorff Measure and Dimension Let X, d) be a metric space, let
More information13. Examples of measure-preserving tranformations: rotations of a torus, the doubling map
3. Examples of measure-preserving tranformations: rotations of a torus, the doubling map 3. Rotations of a torus, the doubling map In this lecture we give two methods by which one can show that a given
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More informationThree hours THE UNIVERSITY OF MANCHESTER. 24th January
Three hours MATH41011 THE UNIVERSITY OF MANCHESTER FOURIER ANALYSIS AND LEBESGUE INTEGRATION 24th January 2013 9.45 12.45 Answer ALL SIX questions in Section A (25 marks in total). Answer THREE of the
More informationProblem set 1, Real Analysis I, Spring, 2015.
Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n
More information2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More informationLebesgue measure on R is just one of many important measures in mathematics. In these notes we introduce the general framework for measures.
Measures In General Lebesgue measure on R is just one of many important measures in mathematics. In these notes we introduce the general framework for measures. Definition: σ-algebra Let X be a set. A
More informationSTAT 7032 Probability Spring Wlodek Bryc
STAT 7032 Probability Spring 2018 Wlodek Bryc Created: Friday, Jan 2, 2014 Revised for Spring 2018 Printed: January 9, 2018 File: Grad-Prob-2018.TEX Department of Mathematical Sciences, University of Cincinnati,
More informationChase Joyner. 901 Homework 1. September 15, 2017
Chase Joyner 901 Homework 1 September 15, 2017 Problem 7 Suppose there are different types of coupons available when buying cereal; each box contains one coupon and the collector is seeking to collect
More informationMeasure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India
Measure and Integration: Concepts, Examples and Exercises INDER K. RANA Indian Institute of Technology Bombay India Department of Mathematics, Indian Institute of Technology, Bombay, Powai, Mumbai 400076,
More informationMoreover, µ is monotone, that is for any A B which are both elements of A we have
FRACTALS Contents. Algebras, sigma algebras, and measures 2.. Carathéodory s outer measures 5.2. Completeness 6.3. Homework: Measure theory basics 7 2. Completion of a measure, creating a measure from
More informationMeasure Theoretic Probability. P.J.C. Spreij
Measure Theoretic Probability P.J.C. Spreij this version: September 11, 2008 Contents 1 σ-algebras and measures 1 1.1 σ-algebras............................... 1 1.2 Measures...............................
More informationUniversity of Sheffield. School of Mathematics & and Statistics. Measure and Probability MAS350/451/6352
University of Sheffield School of Mathematics & and Statistics Measure and Probability MAS350/451/6352 Spring 2018 Chapter 1 Measure Spaces and Measure 1.1 What is Measure? Measure theory is the abstract
More informationLebesgue Measure on R n
CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationIndeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )
Lebesgue Measure The idea of the Lebesgue integral is to first define a measure on subsets of R. That is, we wish to assign a number m(s to each subset S of R, representing the total length that S takes
More information18.175: Lecture 3 Integration
18.175: Lecture 3 Scott Sheffield MIT Outline Outline Recall definitions Probability space is triple (Ω, F, P) where Ω is sample space, F is set of events (the σ-algebra) and P : F [0, 1] is the probability
More informationAnalysis of Probabilistic Systems
Analysis of Probabilistic Systems Bootcamp Lecture 2: Measure and Integration Prakash Panangaden 1 1 School of Computer Science McGill University Fall 2016, Simons Institute Panangaden (McGill) Analysis
More informationSerena Doria. Department of Sciences, University G.d Annunzio, Via dei Vestini, 31, Chieti, Italy. Received 7 July 2008; Revised 25 December 2008
Journal of Uncertain Systems Vol.4, No.1, pp.73-80, 2010 Online at: www.jus.org.uk Different Types of Convergence for Random Variables with Respect to Separately Coherent Upper Conditional Probabilities
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationLebesgue Integration: A non-rigorous introduction. What is wrong with Riemann integration?
Lebesgue Integration: A non-rigorous introduction What is wrong with Riemann integration? xample. Let f(x) = { 0 for x Q 1 for x / Q. The upper integral is 1, while the lower integral is 0. Yet, the function
More informationReal Analysis Chapter 3 Solutions Jonathan Conder. ν(f n ) = lim
. Suppose ( n ) n is an increasing sequence in M. For each n N define F n : n \ n (with 0 : ). Clearly ν( n n ) ν( nf n ) ν(f n ) lim n If ( n ) n is a decreasing sequence in M and ν( )
More information3 Measurable Functions
3 Measurable Functions Notation A pair (X, F) where F is a σ-field of subsets of X is a measurable space. If µ is a measure on F then (X, F, µ) is a measure space. If µ(x) < then (X, F, µ) is a probability
More informationMATS113 ADVANCED MEASURE THEORY SPRING 2016
MATS113 ADVANCED MEASURE THEORY SPRING 2016 Foreword These are the lecture notes for the course Advanced Measure Theory given at the University of Jyväskylä in the Spring of 2016. The lecture notes can
More informationLebesgue Measure on R n
8 CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationCompendium and Solutions to exercises TMA4225 Foundation of analysis
Compendium and Solutions to exercises TMA4225 Foundation of analysis Ruben Spaans December 6, 2010 1 Introduction This compendium contains a lexicon over definitions and exercises with solutions. Throughout
More informationECE353: Probability and Random Processes. Lecture 2 - Set Theory
ECE353: Probability and Random Processes Lecture 2 - Set Theory Xiao Fu School of Electrical Engineering and Computer Science Oregon State University E-mail: xiao.fu@oregonstate.edu January 10, 2018 Set
More informationMeasures. Chapter Some prerequisites. 1.2 Introduction
Lecture notes Course Analysis for PhD students Uppsala University, Spring 2018 Rostyslav Kozhan Chapter 1 Measures 1.1 Some prerequisites I will follow closely the textbook Real analysis: Modern Techniques
More informationMeasure and integration
Chapter 5 Measure and integration In calculus you have learned how to calculate the size of different kinds of sets: the length of a curve, the area of a region or a surface, the volume or mass of a solid.
More informationThe main results about probability measures are the following two facts:
Chapter 2 Probability measures The main results about probability measures are the following two facts: Theorem 2.1 (extension). If P is a (continuous) probability measure on a field F 0 then it has a
More informationChapter 1: Probability Theory Lecture 1: Measure space and measurable function
Chapter 1: Probability Theory Lecture 1: Measure space and measurable function Random experiment: uncertainty in outcomes Ω: sample space: a set containing all possible outcomes Definition 1.1 A collection
More informationStanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon Measures
2 1 Borel Regular Measures We now state and prove an important regularity property of Borel regular outer measures: Stanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon
More informationConstruction of a general measure structure
Chapter 4 Construction of a general measure structure We turn to the development of general measure theory. The ingredients are a set describing the universe of points, a class of measurable subsets along
More informationEmanuele Bottazzi, University of Trento. January 24-25, 2013, Pisa. Elementary numerosity and measures. Emanuele Bottazzi. Preliminary notions
, University of Trento January 24-25, 2013, Pisa Finitely additive measures Definition A finitely additive measure is a triple (Ω, A, µ) where: The space Ω is a non-empty set; A is a ring of sets over
More informationMath212a1411 Lebesgue measure.
Math212a1411 Lebesgue measure. October 14, 2014 Reminder No class this Thursday Today s lecture will be devoted to Lebesgue measure, a creation of Henri Lebesgue, in his thesis, one of the most famous
More informationSection 2: Classes of Sets
Section 2: Classes of Sets Notation: If A, B are subsets of X, then A \ B denotes the set difference, A \ B = {x A : x B}. A B denotes the symmetric difference. A B = (A \ B) (B \ A) = (A B) \ (A B). Remarks
More informationEssential Background for Real Analysis I (MATH 5210)
Background Material 1 Essential Background for Real Analysis I (MATH 5210) Note. These notes contain several definitions, theorems, and examples from Analysis I (MATH 4217/5217) which you must know for
More informationTHEOREMS, ETC., FOR MATH 516
THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition
More informationChapter 8. General Countably Additive Set Functions. 8.1 Hahn Decomposition Theorem
Chapter 8 General Countably dditive Set Functions In Theorem 5.2.2 the reader saw that if f : X R is integrable on the measure space (X,, µ) then we can define a countably additive set function ν on by
More informationThe Borel-Cantelli Group
The Borel-Cantelli Group Dorothy Baumer Rong Li Glenn Stark November 14, 007 1 Borel-Cantelli Lemma Exercise 16 is the introduction of the Borel-Cantelli Lemma using Lebesue measure. An approach using
More informationINTRODUCTION TO MEASURE THEORY AND LEBESGUE INTEGRATION
1 INTRODUCTION TO MEASURE THEORY AND LEBESGUE INTEGRATION Eduard EMELYANOV Ankara TURKEY 2007 2 FOREWORD This book grew out of a one-semester course for graduate students that the author have taught at
More informationTheorem 2.1 (Caratheodory). A (countably additive) probability measure on a field has an extension. n=1
Chapter 2 Probability measures 1. Existence Theorem 2.1 (Caratheodory). A (countably additive) probability measure on a field has an extension to the generated σ-field Proof of Theorem 2.1. Let F 0 be
More informationDynkin (λ-) and π-systems; monotone classes of sets, and of functions with some examples of application (mainly of a probabilistic flavor)
Dynkin (λ-) and π-systems; monotone classes of sets, and of functions with some examples of application (mainly of a probabilistic flavor) Matija Vidmar February 7, 2018 1 Dynkin and π-systems Some basic
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More information(2) E M = E C = X\E M
10 RICHARD B. MELROSE 2. Measures and σ-algebras An outer measure such as µ is a rather crude object since, even if the A i are disjoint, there is generally strict inequality in (1.14). It turns out to
More informationMeasure Theoretic Probability. P.J.C. Spreij. (minor revisions by S.G. Cox)
Measure Theoretic Probability P.J.C. Spreij (minor revisions by S.G. Cox) this version: October 23, 2016 Preface In these notes we explain the measure theoretic foundations of modern probability. The
More informationQUANTUM MEASURE THEORY. Stanley Gudder. Department of Mathematics. University of Denver. Denver Colorado
QUANTUM MEASURE THEORY Stanley Gudder Department of Mathematics University of Denver Denver Colorado 828 sgudder@math.du.edu 1. Introduction A measurable space is a pair (X, A) where X is a nonempty set
More informationIntroduction. Hausdorff Measure on O-Minimal Structures. Outline
Introduction and Motivation Introduction Hausdorff Measure on O-Minimal Structures Integral geometry on o-minimal structures Antongiulio Fornasiero fornasiero@mail.dm.unipi.it Università di Pisa Conference
More informationMATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION. Extra Reading Material for Level 4 and Level 6
MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION Extra Reading Material for Level 4 and Level 6 Part A: Construction of Lebesgue Measure The first part the extra material consists of the construction
More informationLebesgue Integration on R n
Lebesgue Integration on R n The treatment here is based loosely on that of Jones, Lebesgue Integration on Euclidean Space We give an overview from the perspective of a user of the theory Riemann integration
More information4 Integration 4.1 Integration of non-negative simple functions
4 Integration 4.1 Integration of non-negative simple functions Throughout we are in a measure space (X, F, µ). Definition Let s be a non-negative F-measurable simple function so that s a i χ Ai, with disjoint
More informationMATH5011 Real Analysis I. Exercise 1 Suggested Solution
MATH5011 Real Analysis I Exercise 1 Suggested Solution Notations in the notes are used. (1) Show that every open set in R can be written as a countable union of mutually disjoint open intervals. Hint:
More informationREAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE
REAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE CHRISTOPHER HEIL 1.4.1 Introduction We will expand on Section 1.4 of Folland s text, which covers abstract outer measures also called exterior measures).
More informationErgodic Theory and Topological Groups
Ergodic Theory and Topological Groups Christopher White November 15, 2012 Throughout this talk (G, B, µ) will denote a measure space. We call the space a probability space if µ(g) = 1. We will also assume
More informationReminder Notes for the Course on Measures on Topological Spaces
Reminder Notes for the Course on Measures on Topological Spaces T. C. Dorlas Dublin Institute for Advanced Studies School of Theoretical Physics 10 Burlington Road, Dublin 4, Ireland. Email: dorlas@stp.dias.ie
More informationSolutions to Tutorial 1 (Week 2)
THE UNIVERSITY OF SYDNEY SCHOOL OF MATHEMATICS AND STATISTICS Solutions to Tutorial 1 (Week 2 MATH3969: Measure Theory and Fourier Analysis (Advanced Semester 2, 2017 Web Page: http://sydney.edu.au/science/maths/u/ug/sm/math3969/
More informationReal Analysis II, Winter 2018
Real Analysis II, Winter 2018 From the Finnish original Moderni reaalianalyysi 1 by Ilkka Holopainen adapted by Tuomas Hytönen January 18, 2018 1 Version dated September 14, 2011 Contents 1 General theory
More information2 Probability, random elements, random sets
Tel Aviv University, 2012 Measurability and continuity 25 2 Probability, random elements, random sets 2a Probability space, measure algebra........ 25 2b Standard models................... 30 2c Random
More informationNotes on Measure, Probability and Stochastic Processes. João Lopes Dias
Notes on Measure, Probability and Stochastic Processes João Lopes Dias Departamento de Matemática, ISEG, Universidade de Lisboa, Rua do Quelhas 6, 1200-781 Lisboa, Portugal E-mail address: jldias@iseg.ulisboa.pt
More information2 Construction & Extension of Measures
STA 711: Probability & Measure Theory Robert L. Wolpert 2 Construction & Extension of Measures For any finite set Ω = {ω 1,...,ω n }, the power set PΩ is the collection of all subsets of Ω, including the
More informationU e = E (U\E) e E e + U\E e. (1.6)
12 1 Lebesgue Measure 1.2 Lebesgue Measure In Section 1.1 we defined the exterior Lebesgue measure of every subset of R d. Unfortunately, a major disadvantage of exterior measure is that it does not satisfy
More informationHILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define
HILBERT SPACES AND THE RADON-NIKODYM THEOREM STEVEN P. LALLEY 1. DEFINITIONS Definition 1. A real inner product space is a real vector space V together with a symmetric, bilinear, positive-definite mapping,
More informationMeasure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond
Measure Theory on Topological Spaces Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond May 22, 2011 Contents 1 Introduction 2 1.1 The Riemann Integral........................................ 2 1.2 Measurable..............................................
More informationLebesgue Measure. Chapter Lebesgue Outer Measure
Chapter 2 Lebesgue Measure This chapter develops the basic notions of measure theory. They are what is needed to introduce the concepts of measure-preserving transformations, recurrence and ergodicity
More informationMATH MEASURE THEORY AND FOURIER ANALYSIS. Contents
MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure
More information1 Measurable Functions
36-752 Advanced Probability Overview Spring 2018 2. Measurable Functions, Random Variables, and Integration Instructor: Alessandro Rinaldo Associated reading: Sec 1.5 of Ash and Doléans-Dade; Sec 1.3 and
More informationAn introduction to Geometric Measure Theory Part 2: Hausdorff measure
An introduction to Geometric Measure Theory Part 2: Hausdorff measure Toby O Neil, 10 October 2016 TCON (Open University) An introduction to GMT, part 2 10 October 2016 1 / 40 Last week... Discussed several
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 2017 Nadia S. Larsen. 17 November 2017.
Product measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 017 Nadia S. Larsen 17 November 017. 1. Construction of the product measure The purpose of these notes is to prove the main
More informationMA359 Measure Theory
A359 easure Theory Thomas Reddington Usman Qureshi April 8, 204 Contents Real Line 3. Cantor set.................................................. 5 2 General easures 2 2. Product spaces...............................................
More information7 About Egorov s and Lusin s theorems
Tel Aviv University, 2013 Measure and category 62 7 About Egorov s and Lusin s theorems 7a About Severini-Egorov theorem.......... 62 7b About Lusin s theorem............... 64 7c About measurable functions............
More informationExistence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets
Existence of a Limit on a Dense Set, and Construction of Continuous Functions on Special Sets REU 2012 Recap: Definitions Definition Given a real-valued function f, the limit of f exists at a point c R
More informationMath212a1413 The Lebesgue integral.
Math212a1413 The Lebesgue integral. October 28, 2014 Simple functions. In what follows, (X, F, m) is a space with a σ-field of sets, and m a measure on F. The purpose of today s lecture is to develop the
More information