Signed Measures. Chapter Basic Properties of Signed Measures. 4.2 Jordan and Hahn Decompositions

Size: px
Start display at page:

Download "Signed Measures. Chapter Basic Properties of Signed Measures. 4.2 Jordan and Hahn Decompositions"

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 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 information

MATHS 730 FC Lecture Notes March 5, Introduction

MATHS 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 information

CHAPTER 6. Differentiation

CHAPTER 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 information

Real Analysis Chapter 3 Solutions Jonathan Conder. ν(f n ) = lim

Real 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 information

Signed Measures and Complex Measures

Signed 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 information

Lebesgue-Radon-Nikodym Theorem

Lebesgue-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 information

MAT 571 REAL ANALYSIS II LECTURE NOTES. Contents. 2. Product measures Iterated integrals Complete products Differentiation 17

MAT 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 information

Exercise 1. Show that the Radon-Nikodym theorem for a finite measure implies the theorem for a σ-finite measure.

Exercise 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 information

FUNDAMENTALS OF REAL ANALYSIS by. IV.1. Differentiation of Monotonic Functions

FUNDAMENTALS 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 information

Differentiation of Measures and Functions

Differentiation 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 information

Section Signed Measures: The Hahn and Jordan Decompositions

Section 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 information

HILBERT 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. 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 information

Probability and Random Processes

Probability 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 information

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. (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 information

Measures and Measure Spaces

Measures 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 information

II - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define

II - 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 information

Problem Set. Problem Set #1. Math 5322, Fall March 4, 2002 ANSWERS

Problem 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 information

Chapter 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. 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.

(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

+ 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 information

Riesz Representation Theorems

Riesz 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 information

QUANTUM 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 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 information

L 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 (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 information

Section The Radon-Nikodym Theorem

Section 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 information

Real Analysis, 2nd Edition, G.B.Folland Signed Measures and Differentiation

Real 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 information

Advanced Analysis Qualifying Examination Department of Mathematics and Statistics University of Massachusetts. Tuesday, January 16th, 2018

Advanced 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 information

MATH MEASURE THEORY AND FOURIER ANALYSIS. Contents

MATH 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 information

Chapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries

Chapter 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 information

2 Lebesgue integration

2 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

Integration on Measure Spaces

Integration 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 information

9 Radon-Nikodym theorem and conditioning

9 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 information

MATH 650. THE RADON-NIKODYM THEOREM

MATH 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 information

1.4 Outer measures 10 CHAPTER 1. MEASURE

1.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 information

Math 4121 Spring 2012 Weaver. Measure Theory. 1. σ-algebras

Math 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 information

Measure 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 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 information

n [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1)

n [ 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 information

Lecture 5 Theorems of Fubini-Tonelli and Radon-Nikodym

Lecture 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 information

The Caratheodory Construction of Measures

The 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 information

Defining the Integral

Defining 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 information

INTRODUCTION TO MEASURE THEORY AND LEBESGUE INTEGRATION

INTRODUCTION 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 information

Measurable functions are approximately nice, even if look terrible.

Measurable 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 information

Annalee Gomm Math 714: Assignment #2

Annalee 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

Dual Space of L 1. C = {E P(I) : one of E or I \ E is countable}.

Dual 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 information

Analysis Comprehensive Exam Questions Fall 2008

Analysis 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 information

Measure and integration

Measure 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 information

Analysis of Probabilistic Systems

Analysis 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 information

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy

Notions 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 information

Basics of Stochastic Analysis

Basics 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 information

NOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS

NOTES 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 information

212a1214Daniell s integration theory.

212a1214Daniell 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 information

MATH 418: Lectures on Conditional Expectation

MATH 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 information

3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first

3. (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 information

MATH 202B - Problem Set 5

MATH 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 information

6 Classical dualities and reflexivity

6 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 information

Solutions to Tutorial 11 (Week 12)

Solutions 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 information

Reminder Notes for the Course on Measures on Topological Spaces

Reminder 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 information

REAL ANALYSIS I Spring 2016 Product Measures

REAL 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 information

6. Duals of L p spaces

6. 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 information

3 (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?

3 (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 information

Review of measure theory

Review 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 information

A List of Problems in Real Analysis

A 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 information

Math 5051 Measure Theory and Functional Analysis I Homework Assignment 2

Math 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 information

AN 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 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 information

Product 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 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 information

MATH41011/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 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 information

Lebesgue measure and integration

Lebesgue 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 information

Measure 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 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 information

If Y and Y 0 satisfy (1-2), then Y = Y 0 a.s.

If 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 information

for all x,y [a,b]. The Lipschitz constant of f is the infimum of constants C with this property.

for 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 information

Integral Jensen inequality

Integral 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 information

Probability and Measure

Probability 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 information

Lecture 1 Real and Complex Numbers

Lecture 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 information

Notes on Measure, Probability and Stochastic Processes. João Lopes Dias

Notes 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 information

36-752: Lecture 1. We will use measures to say how large sets are. First, we have to decide which sets we will measure.

36-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 information

MAT1000 ASSIGNMENT 1. a k 3 k. x =

MAT1000 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 information

Measure Theory & Integration

Measure 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 information

Chapter 4. Measure Theory. 1. Measure Spaces

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 information

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

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 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 information

Dynkin (λ-) 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) 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

Partial Solutions to Folland s Real Analysis: Part I

Partial 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 information

L p Spaces and Convexity

L 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 information

Chapter IV Integration Theory

Chapter 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)

( 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 information

Proof of Radon-Nikodym theorem

Proof 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 information

MA359 Measure Theory

MA359 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 information

THEOREMS, ETC., FOR MATH 516

THEOREMS, 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 information

Measures. Chapter Some prerequisites. 1.2 Introduction

Measures. 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 information

02. Measure and integral. 1. Borel-measurable functions and pointwise limits

02. 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 information

Measure Theory, 2009

Measure 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 information

Compendium and Solutions to exercises TMA4225 Foundation of analysis

Compendium 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 information

4 Integration 4.1 Integration of non-negative simple functions

4 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 information

Construction of a general measure structure

Construction 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 information

The Lebesgue Integral

The 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 information

Math 5051 Measure Theory and Functional Analysis I Homework Assignment 3

Math 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 information

6.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. (µ ν)(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 information

MTH 404: Measure and Integration

MTH 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 information

MATH & MATH FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING Scientia Imperii Decus et Tutamen 1

MATH & 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 information

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),

1/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 information

RADON-NIKODÝM THEOREMS

RADON-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 information

The Hahn-Banach and Radon-Nikodym Theorems

The 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