Signed Measures. Chapter Basic Properties of Signed Measures. 4.2 Jordan and Hahn Decompositions
|
|
- Mercy Laura Wade
- 5 years ago
- Views:
Transcription
1 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. 4.1 Basic Properties of Signed Measures Definition Let (X, A) be a measurable space. A signed measure on (X, A) is a function µ : A R such that 1) µ takes on at most one of the values or. 2) µ( ) = 0 3) If { n } A is a sequence of pairwise disjoint sets, then µ( n ) = µ( n ). xample ) Assume that (X, A) is a measurable space that µ 1, µ 2 are measures on (X, A). If at least one of the µ i s is finite, then µ = µ 1 µ 2 is a signed measure on (X, A). 2) Let (X, A, µ) be a measure space let f be an integrable function. Then if f = f + f, we have that λ() = f dµ = f + dµ f dµ is a signed measure on (X, A). 4.2 Jordan Hahn Decompositions Problem We have just seen that if (X, A) is a measurable space µ 1, µ 2 are measures on (X, A) with at least one of the µ i s being finite, then µ = µ 1 µ 2 is a signed measure on (X, A). We can now ask: do all signed measures arise in this way? 61
2 The clue to answering the problem above comes from the second item in our previous example where we decomposed our integral function f into its positive negative parts. This decomposition, often called the Jordan decomposition of f, can in fact be extended to signed measures, something which we shall see shortly. We begin with the following natural definitions: Definition Let µ be a signed measure on (X, A). Let P, N, M A. Then we say that: 1) P is positive if µ( P ) 0 for all A. 2) N is negative if µ( N) 0 for all A. 3) M is null if µ( M) = 0 for all A. The following useful results follow almost immediately from the definitions above. As such the proofs will be left as exercises. Proposition Let µ be a signed measure on (X, A). 1) If P A is positive (negative) [null] if A is such that P, then is positive (negative) [null]. 2) Let { n } A, with each n being positive (negative) [null], then = (negative) [null]. 3) Let P be positive N be negative, then P N is null. n is also positive Lemma Let µ be a signed measure on (X, A). Let A be such that 0 < µ() <. Then there exists a positive set A A with A µ(a) > 0. Proof. If is positive we are done. So we may assume without loss of generality that is not positive. Let n 1 N be the smallest natural number such that there exists an 1 with µ( 1 ) < 1 n 1. If \ 1 is positive we are done. If not then we choose the smallest natural number n 2 N such that there exists an 2 \ 1 with µ( 2 ) < 1 n 2. Suppose that we have chosen { 1, 2,..., k 1 } natural numbers {n 1, n 2,..., n k } as above that \ k 1 j is not positive, then we choose the smallest natural number n k N such that there exists an j=1 k \ k 1 j with j=1 µ( k ) < 1 n k. Now either this process terminates, in which case we are done, or we are able to inductively construct a seqeunce { k } as above. In the latter case, let A = \ k. k=1 62
3 Since { k } is pairwise disjoint, each k is disjoint from A, we have that µ() = µ(a) + µ( k ) k=1 ( ) From ( ) we may conclude the following: 1) Since µ() is finite, the series µ( k ) converges. k=1 2) Since the series µ( k ) converges, so does the series k=1 3) Since each µ( k ) < 0, we have k=1 0 < µ() < µ(a). 1 n k, hence n k. Assume that there exists an 0 A with µ( 0 ) < 0. Then we can find a k large enough so that But we have that µ( 0 ) < 1 n k 1 k 1 0 A \ so this would contradict how we went about choosing n k. It follows that A is positive. j=1 j Theorem [Hahn Decomposition Theorem] Let µ be a signed measure on (X, A). The there is a positive set A A a negative set B A so that X = A B A B =. Proof. Since µ cannot take on both ± we may assume without loss of generality that µ never takes on the value. Let α = sup{µ() A, is positive}. Since is positive, we have that α 0. We can also find a sequence of positve sets {A i } so that Next let α = lim i µ(a i ). A = Then A is also positive since A i A for each i we have A i µ(a) = α. Let B = X \ A. Assume that B is not negative. Then there is an B with µ() > 0. From the previous lemma we can find a positive set A 0 B with µ(a 0 ) > 0. But then if A = A A 0 we have that A is also positive since A A 0 =, which is impossible. µ(a ) = µ(a) + µ(a 0 ) > α 63
4 Definition Let µ be a signed measure on (X, A). A pair {P, N} of elements in A for which P is positive N is negative, P N = X P N = is called a Hahn decomposition of X with respect to µ. Remark It is generally the case that the Hahn decomposition is not unique. In fact, let X = [0, 1] let A = P(X). If µ 1 is the point mass at 1 2 2, then if P = { 1 2 } N = [0, 1] \ { 1 2 }, then {P, N} is a Hahn decomposition of [0, 1] with respect to µ. However, P 1 = [0, 1 2 ] N 1 = ( 1 2, 1] is also a Hahn decomposition. In fact, if {P, N} is a Hahn decomposition of X with respect to µ if M A is null, then {P M, N \M} is a Hahn decomposition of X with respect to µ. Furthermore, if {P 1, N 2 } {P 2, N 2 } are Hahn decompositions of X with respect to µ, then M = P 1 P 2 = (P 1 N 2 ) (N 1 P 2 ) = N 1 N 2 is a null set. Furthermore, since P 1 \ P 2 P 1 P 2 P 2 \ P 1 P 1 P 2, it follows that for each A. Similarly, µ( P 1 ) = µ( P 1 P 2 ) = µ( P 2 ) µ( N 1 ) = µ( N 1 N 2 ) = µ( N 2 ) for each A. What is true however, as we shall see, is that every Hahn decomposition induced a decomposition of µ into the difference of two positive measures that any two Hahn decompositions induce the same decomposition of µ. Definition Let {P, N} be a Hahn decomposition of X with respect to µ. Define µ + () = µ( P ) µ () = µ( N). Remark It is easy to see that µ + µ are both positive measures that µ = µ + µ. The pair {µ +, µ } is called a Jordan decomposition of µ. Definition Two measures µ ν on (X, A) are said to be mutually singular if there are disjoint sets A, B A with X = A B µ(a) = 0 while ν(b) = 0. In this case, we write µ ν. Theorem [Jordan Decomposition Theorem] Let µ be a signed measure on (X, A). Then there exist two mutually singular positive measures µ + µ such that µ = µ + µ. Furthermore, if λ ν are any two positive measures with then for each A we have Finally, if λ ν, then λ = µ + ν = µ. µ = λ ν, λ() µ + () ν() µ (). 64
5 Proof. Let {µ +, µ } be a Jordan decomposition of µ arising from the Hahn decomposition {P, N}. Then clearly µ = µ + µ. Moreover, since we have that Let λ ν be any two positive measures with let A. Then µ + (N) = µ(p N) = µ (P ) = 0 µ + µ. µ = λ ν µ + () = µ(p ) = λ(p ) ν(p ) λ(p ) λ() A similar argument shows that ν() µ (). Finally, assume that λ ν. Let {A, B} be a partition of X so that λ(b) = 0 ν(a) = 0. For each A we have µ( A) = λ( A) ν( A) = λ( A) 0. That is A is positive. Similarly B is negative, so {A, B} is a Hahn decomposition. It follows that for an A, µ + () = µ( P ) = µ( A) = λ( A) = λ() µ () = µ( N) = µ( B) = ν( B) = ν(). Definition Let µ be a signed measure on (X, A). Then if {µ +, µ } is the Jordan decomposition of µ, then the measure µ def = µ + + µ is called the total variation of µ. xample Let (X, A, µ) be a measure space let f L(X, A, µ) be integrable. If λ() = f dµ then λ is a signed measure with Jordan decomposition λ + () = In particular, λ () = λ () = f + dµ f dµ. f + dµ + f dµ = f dµ. 65
6 Definition If µ ν are signed measures on (X, A), then we say that ν is absolutely continuous with respect to µ write ν µ if ν µ. We say that µ ν are mutually singular write if µ ν. µ ν Remark ) If ν is a signed measure µ is a positive measure on (X, A), then we claim that ν µ if only if whenever A with µ() = 0, we have ν() = 0. Clearly if ν µ µ() = 0, we have ν() = 0. To prove the converse assume that {P, N} is a Hahn-decomposition for ν. Let A be such that m() = 0. Then clearly It follows from our assumption that m( P ) = 0 = m( N). ν + () = ν( P ) = 0 ν () = ν( N) = 0. Therefore, we have that ν () = 0 ν µ as desired. 2) If ν is a signed measure µ is a positive measure on (X, A), then we claim that ν µ if only if there are disjoint sets A, B A with X = A B µ(a) = 0 while ν() = 0 for any B, A. If ν µ, then there are disjoint sets A, B A with X = A B µ(a) = 0 while ν (B) = 0. But then if B, A, we have ν () = 0 hence ν() = 0. To see that the converse holds let A, B A be disjoint sets with X = A B µ(a) = 0 while ν() = 0 for any B, A. Let {P, N} be a Hahn decomposition for ν. Let 1 = B P 2 = B n. Then µ + (B) = µ( 1 ) = 0 It follows that ν (B) = 0 that ν µ. µ (B) = µ( 2 ) = 0. The following proposition gives us an alternative characterization of absolute continuity for finite positive measures which will prove useful later. Proposition Let λ µ be finite positive measures on (X, A). Then the following are equivalent: 1) λ µ 2) For every ɛ > 0 there exist a δ > 0 such that if A µ() < δ, then λ() < ɛ. Proof. 1) 2). Suppose that 2 fails. Then we can find an ɛ 0 > 0 a sequence of sets { k } A such that µ( k ) < 1 but λ( 2 k k ) ɛ 0. Now let F n = k. k=n 66
7 It follows that µ(f n ) < 1 2 n 1 while λ(f n ) ɛ 0. From here, since {F n } is decreasing, we get that while µ( λ( F n ) = lim n µ(f n) = 0, F n ) = lim n λ(f n) ɛ 0. This shows that λ is not absolutely continuous with respect to µ. 2) 1). Suppose 2) holds µ() = 0. Then for any ɛ > 0 we have that µ() < δ where δ > 0 is chosen as in 2). It follows that λ() < ɛ. But since ɛ > 0 was arbitrary, we get that λ() = Radon-Nikodym Theorem Remark We had previously asked about when, given a measure space (X, A, µ), any measure λ on A, does there exists an f M + (X, A) with the property that for every A, λ() = f dµ for all A. We have also seen that if such an f exists then it must be the case that λ µ. At this point we are in a position to use what we have learned about decompositions of signed measures to establish the converse of this result in the case of σ-finite measures. Theorem [Radon-Nikodym Theorem] Let λ µ be σ-finite measures on (X, A). Suppose that λ is absloutely continuous with respect to µ. Then there exists f M + (X, A) such that λ() = f dµ for every A. Moreover f is uniquely determined µ-almost everywhere. Proof. Case 1: We assume that λ, µ are finite. For each c > 0 let {P (c), N(c)} be an Hahn decomposition for the signed measure λ cµ. Let A 1 = N(c) for each k N let A k+1 = N((k + 1)c) \ It follows that {A i } is pairwise disjoint k N(ic) = Consequently, we have k A i. k A i. k 1 A k = N(kc) P (ic). If A A k, then N(kc) P ((k 1)c). As such we have (k 1)cµ() λ() kcµ(). ( ) 67
8 Next, let Since B P (kc) for all k N, we get that B = X \ A i = X \ N(ic) = P (ic). 0 kcµ(b) λ(b) λ(x) < for each k N. Therefore, µ(b) = 0 since λ µ we have that λ(b) = 0, as well. We now define for each c > 0, { (k 1)c if x A k, f c (x) = 0 if x B. For each A, we have = ( B) ( ( A k )). Applying ( ) to each of the component pieces above, we have that f c dµ λ() (f c + c) dµ f c dµ + cµ(x). Now for each n N let We get g n dµ λ() g n = f 1 2 n. If we let m n then ( ) tells us that g n dµ λ() g m dµ + µ(x) 2 m Combining these two give us that g n dµ + µ(x) 2 n ( ). g n dµ g m dµ µ(x) 2 n g m dµ λ() g n dµ + µ(x) 2 n. for each A. In particular this holds for 1 = {x X g n g m 0} 2 = {x X g n g m < 0}. This allows us to deduce that g n g m dµ 2µ(X) 2 n = µ(x) 2 n 1 X hence that {g n } is Cauchy in L 1 (X, A, µ). Assume that g n f in L 1 (X, A, µ). Since g n M + (X, A) we can also assume that f M + (X, A). Moreover, for any A we have g n dµ f dµ g n f dµ g n f 1 0. It then follows from ( ) that λ() = lim g n dµ = f dµ. n Suppose now that f, h M + (X, A) are such that f dµ = λ() = h dµ 68
9 for all A. Let 1 = {x X f(x) > h(x)} 2 = {x X f(x) < h(x)}. Since f h dµ = 1 f dµ 1 h dµ = λ( 1 ) λ( 1 ) = 0 1 f h dµ = 2 f dµ 2 h dµ = λ( 2 ) λ( 2 ) = 0 2 we have that µ( 1 ) = µ( 2 ) = 0 hence that f = h µ-a.e. Case 2: Asume that λ µ are σ-finite. Let {X n } A be an increasing sequence such that X = λ(x n ) < µ(x n ) <. Following the first case, we get for each n N a function f n M + (X, A) such that f n X 0, if A with X c n, then n λ() = f n dµ. If m n, then X n X m, by our previous uniqueness result, f n = f m µ-a.e. Let F n = sup{f 1, f 2,..., f n }. Then {F n } is an increasing sequence of positive measurable functions with F n = f n µ-a.e F n (x) = 0 for all x X c n. Let f = lim n F n. If A, then λ( X n ) = f n dµ = F n dµ. Given that X n, continuity from below the Monotone Convergence Theorem shows us that λ() = lim λ( X n) = lim F n dµ = f dµ. n n The uniqueness of f is determined as in the finite case. X n, Remark A close look at the proof of the Radon-Nikodym Theorem shows that the construction of the function f resembles differentiation. The next example shows that in fact this is not simply a coincidence. xample Let F : R R be a continuously differentiable function with F (x) > 0. Then F is strictly increasing. Let µ F be the Lebesgue-Stieltjes measure on (R, B(R)) generated by F. Then µ F is σ-finite µ F m. Moreover, the Fundamental Theorem of Calculus shows that µ F ((a, b]) = F (b) F (a) = b From here we can deduce that if B(R), then µ F () = a F (x) dx = F dm. [a,b] F dm = (a,b] F dm. In particular, the function we would have obtained in via the Radon-Nikodym Theorem is m-a.e equal to F. Motivated by the previous example, we have the following definition. 69
10 Definition The function f whose existence was established in the Radon-Nikodym Theorem is called the Radon-Nikodym derivative of λ with respect to µ it is denoted by dλ dµ. Remark ) dλ dµ is integrable if only if λ is a finite measure. 2) In the case that λ is σ- finite, with X = that X n each X n being such that λ(x n ) <, we have λ(x n ) = X n dλ dµ dµ so dλ dµ must be finite µ-a.e on X n. As such, we may assume that dλ dµ is actually finite everywhere on X. 3) Let (X, A, λ) = (R, M(R), m) be the ususal Lebesgue measure space. We can define µ on (R, M(R)) to be the restriction of the counting measure on (R, P(R)) to (R, M(R)). Then m µ, since µ() = 0 implies =. However, there is no f M + (R, M(R)) such that m() = f dµ. This shows that the Radon-Nikodym Theorem can fail if µ is not σ-finite. However, we leave it as an exercise to show that the Radon-Nikodym Theorem can be extended to the case where λ is arbitrary. 4) Let µ, λ, ν be σ-finite measures on (X, A) with λ µ ν µ. (i) If c > 0, then cλ µ (ii) We have (λ + ν) µ (iii) If ν λ λ µ, then ν µ (iv) If µ λ λ µ, then d(cλ) dµ = c dλ dµ. d(λ + ν) dµ = dλ dµ + dν dµ. dν dµ = dν dλ dλ dµ. dν dµ = 1. dµ dν Note: All of the equalities above apply almost everywhere. The proofs are left as an exercise. 5) If λ is a signed measure µ is a σ-finite measure with λ µ, then λ + µ λ µ. In this case, we let dλ dµ def = dλ+ dµ dλ dµ. As an application of the Radon-Nikodym Theorem we present the following fundamental Decomposition Theorem. Theorem [Lebesgue Decomposition Theorem] Let λ µ be σ-finite measures on (X, A). Then there exists two measures λ 1 λ 2 on (X, A) such that λ = λ 1 + λ 2, λ 1 µ λ 2 µ. Moreover, these measures are unique. 70
11 Proof. Let ν = λ + µ. Then clearly ν is σ-finite, λ ν µ ν. It follows that there are functions f, g M + (X, A) such that λ() = f dν µ() = g dν. for every A. Let Then {A, B} is a partition of X. Let for every A. Clearly λ = λ 1 + λ 2. Since A = {x X g(x) = 0} B = {x X g(x) > 0}. λ 1 () = λ( A) λ 1 () = λ( B) µ(a) = µ() = we have that λ 1 µ. If µ() = 0, then g dν = 0 so g(x) = 0 for ν-almost every in. It follows that ν( B) = 0 hence that λ 2 () = λ( B) = 0 since λ ν. That is λ 2 µ. To see that λ 1 λ 2 are unique we first assume that both λ µ are finite. Assume also that we can find λ 1 λ 2 ν 1 ν 2 with λ = λ 1 + λ 2, λ 1 µ λ 2 µ, λ = ν 1 + ν 2, ν 1 µ ν 2 µ. Then g dν γ = λ 1 ν 1 = ν 2 λ 2. In addition γ is such that γ µ γ µ hence γ = 0. (It is an easy exercise to verify this claim). The case where λ µ are σ-finite is left as an exercise. 71
Chapter 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 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 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 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 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 informationLebesgue-Radon-Nikodym Theorem
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
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationAdvanced Analysis Qualifying Examination Department of Mathematics and Statistics University of Massachusetts. Tuesday, January 16th, 2018
NAME: Advanced Analysis Qualifying Examination Department of Mathematics and Statistics University of Massachusetts Tuesday, January 16th, 2018 Instructions 1. This exam consists of eight (8) problems
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 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 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 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 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 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.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 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 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 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 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 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 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 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 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 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 informationDual Space of L 1. C = {E P(I) : one of E or I \ E is countable}.
Dual Space of L 1 Note. The main theorem of this note is on page 5. The secondary theorem, describing the dual of L (µ) is on page 8. Let (X, M, µ) be a measure space. We consider the subsets of X which
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 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 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 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 informationBasics of Stochastic Analysis
Basics of Stochastic Analysis c Timo Seppäläinen This version November 16, 214 Department of Mathematics, University of Wisconsin Madison, Madison, Wisconsin 5376 E-mail address: seppalai@math.wisc.edu
More informationNOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS
NOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS CLARK BUTLER. Introduction The purpose of these notes is to give a self-contained proof of the following theorem, Theorem.. Let f : S n S n be a
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 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 information3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first
Math 632/6321: Theory of Functions of a Real Variable Sample Preinary Exam Questions 1. Let (, M, µ) be a measure space. (a) Prove that if µ() < and if 1 p < q
More informationMATH 202B - Problem Set 5
MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there
More information6 Classical dualities and reflexivity
6 Classical dualities and reflexivity 1. Classical dualities. Let (Ω, A, µ) be a measure space. We will describe the duals for the Banach spaces L p (Ω). First, notice that any f L p, 1 p, generates the
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 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 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 information6. Duals of L p spaces
6 Duals of L p spaces This section deals with the problem if identifying the duals of L p spaces, p [1, ) There are essentially two cases of this problem: (i) p = 1; (ii) 1 < p < The major difference between
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 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 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 5051 Measure Theory and Functional Analysis I Homework Assignment 2
Math 551 Measure Theory and Functional nalysis I Homework ssignment 2 Prof. Wickerhauser Due Friday, September 25th, 215 Please do Exercises 1, 4*, 7, 9*, 11, 12, 13, 16, 21*, 26, 28, 31, 32, 33, 36, 37.
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 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 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 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 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 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 informationfor all x,y [a,b]. The Lipschitz constant of f is the infimum of constants C with this property.
viii 3.A. FUNCTIONS 77 Appendix In this appendix, we describe without proof some results from real analysis which help to understand weak and distributional derivatives in the simplest context of functions
More informationIntegral Jensen inequality
Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a
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 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 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 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 informationMAT1000 ASSIGNMENT 1. a k 3 k. x =
MAT1000 ASSIGNMENT 1 VITALY KUZNETSOV Question 1 (Exercise 2 on page 37). Tne Cantor set C can also be described in terms of ternary expansions. (a) Every number in [0, 1] has a ternary expansion x = a
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 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 informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
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 informationPartial Solutions to Folland s Real Analysis: Part I
Partial Solutions to Folland s Real Analysis: Part I (Assigned Problems from MAT1000: Real Analysis I) Jonathan Mostovoy - 1002142665 University of Toronto January 20, 2018 Contents 1 Chapter 1 3 1.1 Folland
More informationL p Spaces and Convexity
L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function
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 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 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 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 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 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 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 informationMeasure Theory, 2009
Measure Theory, 2009 Contents 1 Notational issues 2 2 The concept of a measure 4 3 The general notion of integration and measurable function 15 4 Convergence theorems 23 5 Radon-Nikodym and Conditional
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 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 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 informationThe Lebesgue Integral
The Lebesgue Integral Brent Nelson In these notes we give an introduction to the Lebesgue integral, assuming only a knowledge of metric spaces and the iemann integral. For more details see [1, Chapters
More informationMath 5051 Measure Theory and Functional Analysis I Homework Assignment 3
Math 551 Measure Theory and Functional Analysis I Homework Assignment 3 Prof. Wickerhauser Due Monday, October 12th, 215 Please do Exercises 3*, 4, 5, 6, 8*, 11*, 17, 2, 21, 22, 27*. Exercises marked with
More information6.2 Fubini s Theorem. (µ ν)(c) = f C (x) dµ(x). (6.2) Proof. Note that (X Y, A B, µ ν) must be σ-finite as well, so that.
6.2 Fubini s Theorem Theorem 6.2.1. (Fubini s theorem - first form) Let (, A, µ) and (, B, ν) be complete σ-finite measure spaces. Let C = A B. Then for each µ ν- measurable set C C the section x C is
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 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 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 informationRADON-NIKODÝM THEOREMS
RADON-NIKODÝM THEOREMS D. CANDELORO and A. VOLČIČ 1 Introduction Suppose λ is the Lebesgue measure on the real line and f is an integrable function. Then the measure ν defined for all the Lebesgue measurable
More informationThe Hahn-Banach and Radon-Nikodym Theorems
The Hahn-Banach and Radon-Nikodym Theorems 1. Signed measures Definition 1. Given a set Hand a 5-field of sets Y, we define a set function. À Y Ä to be a signed measure if it has all the properties of
More information