Lebesgue-Radon-Nikodym Theorem
|
|
- Margery Higgins
- 6 years ago
- Views:
Transcription
1 Lebesgue-Radon-Nikodym Theorem Matt Rosenzweig 1 Lebesgue-Radon-Nikodym Theorem In what follows, (, A) will denote a measurable space. We begin with a review of signed measures. 1.1 Signed Measures Definition 1. A signed measure ν on a σ-algebra A is a set function such that 1. ν is extended-valued in the sense that < ν() for all A. If { j } are disjoint subsets of A, then ν j = ν( j ) Note that in order for condition () to hold, the sum ν( j ) must be independent of any rearrangement. If ν( j) is finite, then it follows from a theorem of Riemann that the sum converges absolutely. I have included a proof of this result for the interested reader. Lemma. (Riemann Rearrangement Lemma) Let a n be a series of real numbers which converges, but not absolutely. Suppose α β. Then there exists a rearrangement a n with partial sums s n such that Proof. For n N, set lim inf s n = α, lim sup s n = β p n = a n + a n, q n = a n a n Then p n q n = a n, p n + q n = a n, p n 0, q n 0. I claim that the series p n, q n diverge. If either pn or p n converges, then since a n converges, it follows that a n converges, which contradicts our hypothesis that a n does not converge absolutely. Let P 1, P, denote the nonnegative terms of a n, in the order in which they occur, and let Q 1, Q, denote the absolute values of the negative terms of a n also in their original order. Since N n=1 P n = MN n=1 p n and N n=1 Q n = M N n=1 q n for all N N, both P n, Q n diverge. We will construct sequences (m n ) n=1, (k n ) n=1, such that P P m1 Q 1 Q k1 + P m P m Q k1+1 Q k + satisfies the conclusion of the lemma. Choose real sequences (α n ) n=1, (β n ) n=1 such that α n α, β n β. Let m 1, k 1 be the minimal positive integers such that and Let m, k be the minimal positive integers such that P P m1 > β 1, P P m1 Q 1 Q k1 < α 1 P P m1 Q 1 Q k1 + P m P m > β, and P P m1 Q 1 Q k1 + P m P m Q k1+1 Q k < α 1
2 We continue in this fashion. This selection process is possible since P n, Q n diverge. Let x n, y n denote the partial sums whose last terms are P mn and Q kn, respectively. Then x n b n P mn, y n α n Q kn Since a n is convergent, P mn, Q kn 0 as n. We conclude that x n β, y n α. Since the subsequential limits of the rearrangement series a n are bounded from above by β and bounded from below by α (this is evident from the squeeze theorem), it follows immediately that lim sup s n = β, lim inf s n = α Corollary 3. If every rearrangement of real-valued series n=1 a n converges, then n=1 a n <. 1. Total Variation Given a signed measure ν on a measure space (, A), one might ask if it is always possible to find a positive measure µ which dominates ν in the following sense: ν() µ(), A Moreover, one might ask if there is a smallest such µ in the sense that if µ is any other positive measure which dominates ν, then µ() µ () for all A. It turns out the answer is yes. First, we need to define the notion of the total variation of a measure, analogous to the variation of a measurable function. Definition 4. Define a set function ν : A R, called the total variation of ν, by ν () = sup ν( j ) where the supremum is taken over all countable partitions of. Lemma 5. The total variation ν of a signed measure ν is a positive measure which satisfies ν nu. Proof. The only axiom of measures which ν does not obviously satisfy is σ-additivity. Let { j } be a countable collection of disjoint sets in A, and set = j. For each j, let α j R such that α j < v ( j ). It follows from the definition of supremum and of v that, for each j, there exists a countable collection of disjoint sets {F i,j } i=1 such that j = i=1 F i,j and Since {F i,j } i, is a partition of, we have α j ν(f i,j ) i=1 α j ν(f i,j ) ν () i=1 Taking the supremum over all α j which satisfy α j < v ( j ) yields the inequality ν ( j ) ν () For the reverse inequality, let {F k } be any other partition of. For k fixed, {F k j } is a partition of F k. By the σ-additivity of ν, ν(f k ) = ν(f k j )
3 If ν(f k j ) =, then ν(f k j ) =. It follows from the definition of total variation that ν ( j) =, and the inequality ν(f k ) ν () holds trivially. If ν(f k j ) <, then we can interchange the order of summation to obtaion ν(f k ) = ν(f k j ) = ν(f k j ) ν ( j ), since {F k j } is a partition of j for each fixed j. Since {F k } obtain the reverse inequality ν () ν ( j ), which completes the proof. was an arbitrary partition of, we Analogous to the decomposition of a function f into a difference f = f + f of two nonnegative functions, we can write a signed measure as the difference of two positive measures. Definition 6. For a signed measure ν, we define the positive variation and negative variation of ν by ν + = 1 ( ν + ν) and ν = 1 ( ν ν) If A is such that ν() =, then ν () := 0. It follows from the preceding proposition that ν +, ν are both (positive) measures, and moreover, ν = ν + ν and ν = ν + + ν We say that the signed measure ν is σ-finite if the measure ν is σ-finite. 1.3 Mutual Singularity and Absolute Continuity Definition 7. Two signed measures ν and µ on a measure space (, A) are mutually singular if there are disjoint subsets A, B A so that ν() = ν(a ) and µ() = µ(b ), A If ν, µ are mutually singular, we write ν µ. If ν is a signed measure and ν is a positive measure on A, we say that ν is absolutely continuous with respect to µ if A, µ() = 0 ν() = 0 If ν is absolutely continuous with respect to µ, we write ν µ. Lemma 8. If ν and µ are mutually singular, and ν is also absolutely continuous with respect to µ, then ν vanishes identically. Proof. Let A, B A be disjoint subsets such that ν() = ν(a ) and µ() = µ(b ), A For any A, µ(a ) = 0. By absolute continuity, ν(a ) = ν() = 0. Since A was arbitrary, we conclude that ν = 0. Lemma 9. Let µ be a positive measure and ν be a signed measure. 1. If for every ɛ > 0, there exists δ > 0 such that A, µ() < δ ν() < ɛ, then ν µ. 3
4 . If ν is a finite measure, then the converse holds. Proof. We first prove (1). Let A be such that µ() = 0. It follows from our hypothesis that ν() < ɛ for every ɛ > 0, from which we conclude that ν() = 0. We prove () by contradiction. Suppose there exists ɛ > 0 such that for all δ > 0, there exists δ A with µ( δ ) < δ and ν( δ ) ɛ. For each n N choose n A with µ( n ) 1 and ν( n n ) ɛ. Then ( µ lim sup ) n = µ n=1 k n for all N N. We conclude that µ(lim sup n ) = 0. Since ν µ by hypothesis, we have ν(lim sup n ) = 0. But this is a contradiction since ν(lim sup k k=n n ) = lim sup ν( n ) ɛ 1 k 1.4 Lebesgue-Radon-Nikodym Theorem There are several proofs of the (Lebesgue-)Radon-Nikodym theorem, but I am fond of the one given below because it uses the theory of Hilbert spaces, which is quite elegant. The exposition closely follows that of Stein and Shakarchi in Real Analysis: Measure, Integration, and Hilbert Spaces. Theorem 10. Suppose µ is a σ-finite positive measure on the measure space (, A) and ν is a σ-finite signed measure on A. Then there exist unique signed meaures ν a and ν s on mathcala such that ν a µ, ν s µ, and ν = ν s + ν a. Furthermore, the measure ν a is given by ν a () = f(x)µ(dx), A for some extended µ-integrable function f. Proof. We first consider the case where both µ and ν are positive and finite. Set ρ = µ + nu. We define a functional l : L (, ρ) C by l(ψ) = ψ(x)ν(dx) Clearly, l is linear. I claim that l is bounded. Indeed, since ν, µ are both positive, ( l(ψ) ψ(x) ν(dx) ψ(x) ρ(dx) = ψ(x)1 (x) ρ(dx) (ρ()) 1 ) 1 ψ(x) ρ(dx), where the last inequality follow from the Cauchy-Schwarz inequality. Since L (, ρ) is a Hilbert space, the Riesz representation theorem tells us that there exists a unique (up to a.e. equivalence) g L (, ρ) such that ψ(x)ν(dx) = ψ(x)g(x)ρ(dx), ψ L (, ρ) If A with ρ() > 0, when we set ψ = χ and recall that ν ρ, we obtain 0 1 g(x)ρ(dx) = ν() ρ() ρ() ρ() ρ() = 1, I claim that 0 g(x) 1 ρ-a.e. Indeed, 0 g(x)ρ(dx) for all sets A implies that 0 g(x)ρ(dx) 1 { n ρ g < 1 } { ρ g < 1 } = 0, n N n n g< 1 n Taking the intersection yields ρ {g < 0} = 0. By the same argument, 0 (1 g(x))ρ(dx) for all A implies that g(x) 1 ρ-a.e. Thus, we may assume that 0 g(x) 1 for all x, and we have ψ(1 g)dν = ψgdµ 4
5 Consider the two sets and define two measures ν a and ν s on A by A = {x : 0 g(x) < 1} and B = {x : g(x) = 1} ν a () = ν(a ) and ν s () = ν(b ), A The diligent inclined reader can verify that ν a, ν s are indeed measures. I claim that ν s µ. It is tautological that A, B are disjoint and ν s () = 0 for all measurable subsets A, so we need only show that µ() = 0 for all measurable subsets B. Indeed, taking ψ = 1 in the identity ψgdµ = ψ(1 g)dν yields µ() = 1 gdµ = 1 (1 g)dµ = 1 0dµ = 0 I now claim that ν a µ. Let A be such that µ() = 0. Then 0 = gdµ = (1 g)dν Since 1 g 0, we conclude that (1 g)1 = 0 a.e., which imples that ν a () = ν( A) = 0. I now claim that dv a = fdµ. Let A, and set ψ = ( n k=0 gk )1. Then (1 g n+1 )dν = n+1 gdµ If x B, then (1 g n+1 )(x) = 0, and if x A, then (1 g n+1 )(x) 1, n. In other words, lim 1 g n+1 = 1 A. Since 1 g n+1 and our measure space is finite, the dominated convergence theorem implies that lim (1 g n+1 )dν = 1 A dν = ν(a ) = ν A () Observe that { n+1 g(x) lim g k 1 g(x) x A (x) = x B Set f = g 1 g. From the monotone convergence theorem we conclude that n+1 v a () = lim g k dµ = Furthermore, f L 1 (, µ) since fdµ = ν a() ν() <. We now consider the case where ν, µ are σ-finite positive measures. It follows from the definition of σ-finite that we can find pairwise disjoint sets j A such that = j and µ( j ), ν( j ) < for all j. We define positive, finite measures on A by fdµ µ j () = µ( j ) and ν j () = ν( j ), A For each j, we write ν j = ν j,a + ν j,s, where ν j,s µ j and ν j,a = f j dµ j. Defining f = j f j, ν s = j ν j,s, ν a = j ν j,a completes the argument. If ν is signed, then we apply the preceding argument separately to the positive and negative variations of ν. To see the uniqueness of the decomposition, suppose we also have ν = ν a + ν s, where ν a µ and ν s µ. Then ν a ν a = ν s ν s 5
6 Clearly, the LHS is absolutely continuous with respect to µ. I claim that the RHS is singular with respect to µ. Indeed, let A B, A B be paritions guaranteed in the definition of singular measures. Then (ν s ν s ) () = 0 for all measurable subset A A, and for any \ (A A ), µ() = µ( B \ B ) + µ( B \ B) + µ( B B ) = = 0 We conclude that ν a ν a = 0 = ν s ν s. 6
5 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 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 informationSigned Measures. Chapter Basic Properties of Signed Measures. 4.2 Jordan and Hahn Decompositions
Chapter 4 Signed Measures Up until now our measures have always assumed values that were greater than or equal to 0. In this chapter we will extend our definition to allow for both positive negative values.
More informationSigned Measures and Complex Measures
Chapter 8 Signed Measures Complex Measures As opposed to the measures we have considered so far, a signed measure is allowed to take on both positive negative values. To be precise, if M is a σ-algebra
More informationReal Analysis, 2nd Edition, G.B.Folland Signed Measures and Differentiation
Real Analysis, 2nd dition, G.B.Folland Chapter 3 Signed Measures and Differentiation Yung-Hsiang Huang 3. Signed Measures. Proof. The first part is proved by using addivitiy and consider F j = j j, 0 =.
More informationFUNDAMENTALS OF REAL ANALYSIS by. IV.1. Differentiation of Monotonic Functions
FUNDAMNTALS OF RAL ANALYSIS by Doğan Çömez IV. DIFFRNTIATION AND SIGND MASURS IV.1. Differentiation of Monotonic Functions Question: Can we calculate f easily? More eplicitly, can we hope for a result
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 informationProbability and Random Processes
Probability and Random Processes Lecture 7 Conditional probability and expectation Decomposition of measures Mikael Skoglund, Probability and random processes 1/13 Conditional Probability A probability
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 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 information2 Lebesgue integration
2 Lebesgue integration 1. Let (, A, µ) be a measure space. We will always assume that µ is complete, otherwise we first take its completion. The example to have in mind is the Lebesgue measure on R n,
More information( f ^ M _ M 0 )dµ (5.1)
47 5. LEBESGUE INTEGRAL: GENERAL CASE Although the Lebesgue integral defined in the previous chapter is in many ways much better behaved than the Riemann integral, it shares its restriction to bounded
More information212a1214Daniell s integration theory.
212a1214 Daniell s integration theory. October 30, 2014 Daniell s idea was to take the axiomatic properties of the integral as the starting point and develop integration for broader and broader classes
More information1 Inner Product Space
Ch - Hilbert Space 1 4 Hilbert Space 1 Inner Product Space Let E be a complex vector space, a mapping (, ) : E E C is called an inner product on E if i) (x, x) 0 x E and (x, x) = 0 if and only if x = 0;
More informationLecture 5 Theorems of Fubini-Tonelli and Radon-Nikodym
Lecture 5: Fubini-onelli and Radon-Nikodym 1 of 13 Course: heory of Probability I erm: Fall 2013 Instructor: Gordan Zitkovic Lecture 5 heorems of Fubini-onelli and Radon-Nikodym Products of measure spaces
More information36-752: Lecture 1. We will use measures to say how large sets are. First, we have to decide which sets we will measure.
0 0 0 -: Lecture How is this course different from your earlier probability courses? There are some problems that simply can t be handled with finite-dimensional sample spaces and random variables that
More informationProblem Set. Problem Set #1. Math 5322, Fall March 4, 2002 ANSWERS
Problem Set Problem Set #1 Math 5322, Fall 2001 March 4, 2002 ANSWRS i All of the problems are from Chapter 3 of the text. Problem 1. [Problem 2, page 88] If ν is a signed measure, is ν-null iff ν () 0.
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 informationLEBESGUE MEASURE AND L2 SPACE. Contents 1. Measure Spaces 1 2. Lebesgue Integration 2 3. L 2 Space 4 Acknowledgments 9 References 9
LBSGU MASUR AND L2 SPAC. ANNI WANG Abstract. This paper begins with an introduction to measure spaces and the Lebesgue theory of measure and integration. Several important theorems regarding the Lebesgue
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 informationCHAPTER 6. Differentiation
CHPTER 6 Differentiation The generalization from elementary calculus of differentiation in measure theory is less obvious than that of integration, and the methods of treating it are somewhat involved.
More informationDefining the Integral
Defining the Integral In these notes we provide a careful definition of the Lebesgue integral and we prove each of the three main convergence theorems. For the duration of these notes, let (, M, µ) be
More informationSection Signed Measures: The Hahn and Jordan Decompositions
17.2. Signed Measures 1 Section 17.2. Signed Measures: The Hahn and Jordan Decompositions Note. If measure space (X, M) admits measures µ 1 and µ 2, then for any α,β R where α 0,β 0, µ 3 = αµ 1 + βµ 2
More informationSection The Radon-Nikodym Theorem
18.4. The Radon-Nikodym Theorem 1 Section 18.4. The Radon-Nikodym Theorem Note. For (X, M,µ) a measure space and f a nonnegative function on X that is measurable with respect to M, the set function ν on
More informationProof of Radon-Nikodym theorem
Measure theory class notes - 13 October 2010, class 20 1 Proof of Radon-Niodym theorem Theorem (Radon-Niodym). uppose Ω is a nonempty set and a σ-field on it. uppose µ and ν are σ-finite measures on (Ω,
More informationExercise 1. Show that the Radon-Nikodym theorem for a finite measure implies the theorem for a σ-finite measure.
Real Variables, Fall 2014 Problem set 8 Solution suggestions xercise 1. Show that the Radon-Nikodym theorem for a finite measure implies the theorem for a σ-finite measure. nswer: ssume that the Radon-Nikodym
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
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 informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
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 informationAnalysis Comprehensive Exam Questions Fall 2008
Analysis Comprehensive xam Questions Fall 28. (a) Let R be measurable with finite Lebesgue measure. Suppose that {f n } n N is a bounded sequence in L 2 () and there exists a function f such that f n (x)
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 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 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 informationMATH 650. THE RADON-NIKODYM THEOREM
MATH 650. THE RADON-NIKODYM THEOREM This note presents two important theorems in Measure Theory, the Lebesgue Decomposition and Radon-Nikodym Theorem. They are not treated in the textbook. 1. Closed subspaces
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 informationMath 4121 Spring 2012 Weaver. Measure Theory. 1. σ-algebras
Math 4121 Spring 2012 Weaver Measure Theory 1. σ-algebras A measure is a function which gauges the size of subsets of a given set. In general we do not ask that a measure evaluate the size of every subset,
More information02. Measure and integral. 1. Borel-measurable functions and pointwise limits
(October 3, 2017) 02. Measure and integral Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2017-18/02 measure and integral.pdf]
More informationDifferentiation of Measures and Functions
Chapter 6 Differentiation of Measures and Functions This chapter is concerned with the differentiation theory of Radon measures. In the first two sections we introduce the Radon measures and discuss two
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More information+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1
Appendix To understand weak derivatives and distributional derivatives in the simplest context of functions of a single variable, we describe without proof some results from real analysis (see [7] and
More informationChapter 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 informationAN INTRODUCTION TO GEOMETRIC MEASURE THEORY AND AN APPLICATION TO MINIMAL SURFACES ( DRAFT DOCUMENT) Academic Year 2016/17 Francesco Serra Cassano
AN INTRODUCTION TO GEOMETRIC MEASURE THEORY AND AN APPLICATION TO MINIMAL SURFACES ( DRAFT DOCUMENT) Academic Year 2016/17 Francesco Serra Cassano Contents I. Recalls and complements of measure theory.
More informationMAT 571 REAL ANALYSIS II LECTURE NOTES. Contents. 2. Product measures Iterated integrals Complete products Differentiation 17
MAT 57 REAL ANALSIS II LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: SPRING 205 Contents. Convergence in measure 2. Product measures 3 3. Iterated integrals 4 4. Complete products 9 5. Signed measures
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 informationMTH 404: Measure and Integration
MTH 404: Measure and Integration Semester 2, 2012-2013 Dr. Prahlad Vaidyanathan Contents I. Introduction....................................... 3 1. Motivation................................... 3 2. The
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 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 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 informationIf Y and Y 0 satisfy (1-2), then Y = Y 0 a.s.
20 6. CONDITIONAL EXPECTATION Having discussed at length the limit theory for sums of independent random variables we will now move on to deal with dependent random variables. An important tool in this
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 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 informationChapter 6. Integration. 1. Integrals of Nonnegative Functions. a j µ(e j ) (ca j )µ(e j ) = c X. and ψ =
Chapter 6. Integration 1. Integrals of Nonnegative Functions Let (, S, µ) be a measure space. We denote by L + the set of all measurable functions from to [0, ]. Let φ be a simple function in L +. Suppose
More information3 Integration and Expectation
3 Integration and Expectation 3.1 Construction of the Lebesgue Integral Let (, F, µ) be a measure space (not necessarily a probability space). Our objective will be to define the Lebesgue integral R fdµ
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 information2 Measure Theory. 2.1 Measures
2 Measure Theory 2.1 Measures A lot of this exposition is motivated by Folland s wonderful text, Real Analysis: Modern Techniques and Their Applications. Perhaps the most ubiquitous measure in our lives
More informationM17 MAT25-21 HOMEWORK 6
M17 MAT25-21 HOMEWORK 6 DUE 10:00AM WEDNESDAY SEPTEMBER 13TH 1. To Hand In Double Series. The exercises in this section will guide you to complete the proof of the following theorem: Theorem 1: Absolute
More informationREAL ANALYSIS I Spring 2016 Product Measures
REAL ANALSIS I Spring 216 Product Measures We assume that (, M, µ), (, N, ν) are σ- finite measure spaces. We want to provide the Cartesian product with a measure space structure in which all sets of the
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 informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
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 informationL p Functions. Given a measure space (X, µ) and a real number p [1, ), recall that the L p -norm of a measurable function f : X R is defined by
L p Functions Given a measure space (, µ) and a real number p [, ), recall that the L p -norm of a measurable function f : R is defined by f p = ( ) /p f p dµ Note that the L p -norm of a function f may
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 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 informationLecture 1 Real and Complex Numbers
Lecture 1 Real and Complex Numbers Exercise 1.1. Show that a bounded monotonic increasing sequence of real numbers converges (to its least upper bound). Solution. (This was indicated in class) Let (a n
More informationCHAPTER I THE RIESZ REPRESENTATION THEOREM
CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals
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 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 informationMeasure Theory. John K. Hunter. Department of Mathematics, University of California at Davis
Measure Theory John K. Hunter Department of Mathematics, University of California at Davis Abstract. These are some brief notes on measure theory, concentrating on Lebesgue measure on R n. Some missing
More informationFolland: Real Analysis, Chapter 7 Sébastien Picard
Folland: Real Analysis, Chapter 7 Sébastien Picard Problem 7.2 Let µ be a Radon measure on X. a. Let N be the union of all open U X such that µ(u) =. Then N is open and µ(n) =. The complement of N is called
More informationMATH & MATH FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING Scientia Imperii Decus et Tutamen 1
MATH 5310.001 & MATH 5320.001 FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING 2016 Scientia Imperii Decus et Tutamen 1 Robert R. Kallman University of North Texas Department of Mathematics 1155
More informationMeasure Theory & Integration
Measure Theory & Integration Lecture Notes, Math 320/520 Fall, 2004 D.H. Sattinger Department of Mathematics Yale University Contents 1 Preliminaries 1 2 Measures 3 2.1 Area and Measure........................
More informationHomework 11. Solutions
Homework 11. Solutions Problem 2.3.2. Let f n : R R be 1/n times the characteristic function of the interval (0, n). Show that f n 0 uniformly and f n µ L = 1. Why isn t it a counterexample to the Lebesgue
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 informationLebesgue measure and integration
Chapter 4 Lebesgue measure and integration If you look back at what you have learned in your earlier mathematics courses, you will definitely recall a lot about area and volume from the simple formulas
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
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 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 informationABSTRACT INTEGRATION CHAPTER ONE
CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed
More informationA List of Problems in Real Analysis
A List of Problems in Real Analysis W.Yessen & T.Ma December 3, 218 This document was first created by Will Yessen, who was a graduate student at UCI. Timmy Ma, who was also a graduate student at UCI,
More informationMATH 418: Lectures on Conditional Expectation
MATH 418: Lectures on Conditional Expectation Instructor: r. Ed Perkins, Notes taken by Adrian She Conditional expectation is one of the most useful tools of probability. The Radon-Nikodym theorem enables
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 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 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 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 informationSolutions to Tutorial 11 (Week 12)
THE UIVERSITY OF SYDEY SCHOOL OF MATHEMATICS AD STATISTICS Solutions to Tutorial 11 (Week 12) MATH3969: Measure Theory and Fourier Analysis (Advanced) Semester 2, 2017 Web Page: http://sydney.edu.au/science/maths/u/ug/sm/math3969/
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 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 informationReview of measure theory
209: Honors nalysis in R n Review of measure theory 1 Outer measure, measure, measurable sets Definition 1 Let X be a set. nonempty family R of subsets of X is a ring if, B R B R and, B R B R hold. bove,
More informationChapter IV Integration Theory
Chapter IV Integration Theory This chapter is devoted to the developement of integration theory. The main motivation is to extend the Riemann integral calculus to larger types of functions, thus leading
More informationHomework 4, 5, 6 Solutions. > 0, and so a n 0 = n + 1 n = ( n+1 n)( n+1+ n) 1 if n is odd 1/n if n is even diverges.
2..2(a) lim a n = 0. Homework 4, 5, 6 Solutions Proof. Let ɛ > 0. Then for n n = 2+ 2ɛ we have 2n 3 4+ ɛ 3 > ɛ > 0, so 0 < 2n 3 < ɛ, and thus a n 0 = 2n 3 < ɛ. 2..2(g) lim ( n + n) = 0. Proof. Let ɛ >
More informationRiesz Representation Theorems
Chapter 6 Riesz Representation Theorems 6.1 Dual Spaces Definition 6.1.1. Let V and W be vector spaces over R. We let L(V, W ) = {T : V W T is linear}. The space L(V, R) is denoted by V and elements of
More information9 Radon-Nikodym theorem and conditioning
Tel Aviv University, 2015 Functions of real variables 93 9 Radon-Nikodym theorem and conditioning 9a Borel-Kolmogorov paradox............. 93 9b Radon-Nikodym theorem.............. 94 9c Conditioning.....................
More informationSection Integration of Nonnegative Measurable Functions
18.2. Integration of Nonnegative Measurable Functions 1 Section 18.2. Integration of Nonnegative Measurable Functions Note. We now define integrals of measurable functions on measure spaces. Though similar
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 informationClass Notes for Math 921/922: Real Analysis, Instructor Mikil Foss
University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Math Department: Class Notes and Learning Materials Mathematics, Department of 200 Class Notes for Math 92/922: Real Analysis,
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 informationLECTURE NOTES FOR , FALL Contents. Introduction. 1. Continuous functions
LECTURE NOTES FOR 18.155, FALL 2002 RICHARD B. MELROSE Contents Introduction 1 1. Continuous functions 1 2. Measures and σ-algebras 9 3. Integration 16 4. Hilbert space 27 5. Test functions 30 6. Tempered
More informationNotions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy
Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.
More informationFinal. due May 8, 2012
Final due May 8, 2012 Write your solutions clearly in complete sentences. All notation used must be properly introduced. Your arguments besides being correct should be also complete. Pay close attention
More information