The Hahn-Banach and Radon-Nikodym Theorems

Size: px
Start display at page:

Download "The Hahn-Banach and Radon-Nikodym Theorems"

Transcription

1 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 a measure but can be negative; in particular we require À (a). ÐEÑœ!. ÐEÑif E are disjoint (b) There are never two sets Eß F with. ÐEÑ œ _ and. ÐFÑ œ _ n particular, a set can exist with measure _ or one with measure _, but not both types of sets (since then we would sometimes have to compute, which is impossible). A signed measure is called an additive set funtion if it is required to have finite measure on all sets. Note that: Lemma 1: f Å or Æ then. Ð Ñ Ä. ÐÑ Ä_ Proof: This follows from the fact that if _ œ! Ð5 Ñ 5, so œ! Å then _. ÐÑ œ. Ð! Ñ. Ð5 5 Ñ œ lim. Ð! Ñ. Ð5 5Ñ Ä_ 5œ! 5œ! œ lim. Ð Ñ, Ä_ with a similar proof for the second statement. n fact it can be shown that such a signed measure is always a difference of two standard measures: 12

2 2. Hahn Decomposition: preliminaries Below we assume we are in a general measure space ÐHY ß ß. Ñ. Recall that the symmetric difference E? FœaEFbaFEb. Note also that. ÐE? FÑ œ ( lme MFl Recall Fatou's lemma for non-negative 0 : ( lim inf 0 Ÿ lim inf ( 0.. Lemma 2 (alternative Fatou Lemma): Proof: ( lim sup 0.. lim sup ( 0.. ( lim sup 0 œ ( lim inf Ð0Ñ lim inf ( Ð0Ñ œ lim sup ( 0 Lemma 3: The symmetric difference measure metric, i.e., Ð+Ñ.ÐEß EÑ œ! Ð,Ñ.ÐEß FÑ œ.ðfß EÑ Ð-Ñ.ÐEß GÑ Ÿ.ÐEß FÑ.ÐFß GÑ Proof: To prove (c), note that.ðeß FÑ œ. ÐE? FÑ.ÐEß GÑ œ ( lme MGl.. Ÿ ( lme MFl.. ( lmf MGl.. is a 13

3 œ.ðeßfñ.ðfßgñþ Lemma 4: The collection of measurable sets is complete with respect to the distance measure d, in the sense that if ÖE form a Cauchy sequence, i.e.,.ðeß E7Ñ ß 7ÒÄ _!, then there is a set E such that.ðeß EÑ ÒÄ _!. The set E is unique up to sets of measure!, and up to sets of measure!, we have E œ lim sup E œ lim inf E œ lim E Þ Proof: t suffices to show that a subsequence ÖE 5 of the sequence 5 converges to some set E, since then we will have (letting and 5 be any elements of the sequence and subsequence).ðe ß EÑ Ÿ.ÐE ß E Ñ.ÐE ß EÑ!, Ò 5 5, 5 Ä_ showing then that the full sequence also converges to E. Let 5 be a 5 subsequence of the natural numbers such that.ðe ß EÑ Ÿ # for any 5 (possible since the E form a Cauchy sequence). Then 5.ÐE ß E Ñ Ÿ # (1) since 5 5Þ For simplicity of notation assume the subsequence E Ä E 5 5 is the the full sequence, with (1) now becoming 5.ÐE5ß E5 Ñ Ÿ # Þ We will show that up to sets of measure!, lim inf E5 œ lim sup E5 œ lim E5ß (3) with the last limit being defined as the common value of the lim sup and lim inf sets (again, now up to sets of measure 0). To show (2) above, let F œ E 5 5, and Fœ F œlim F (since the F are increasing). Let G œ E, and GœG œ 5 Ä_ 5 lim GÞ Then we claim that Ä_.ÐFß GÑ Ÿ.ÐFß FÑ.ÐFß EÑ.ÐEß GÑ.ÐGß GÑ Ä_ Ò!. (4) This follows since F? F Æ 9 (the empty set) and similarly G? G Æ 9. n addition, 14

4 .ÐEß FÑ œ. E? Œ E5 œ. Œ E5 E _ 5 5 _ œ. ÐE E Ñ Ÿ. ÐE E Ñ Ÿ # œ # Ò! ß Ä_ where the third inequality follows because we are removing the set E from the union of E (on the left), so that we may equally remove it from each E individually (on the right). Similarly,.ÐE ß G Ñ!Þ This proves (4). 5 5 Ä_ Ò But since Fœlim supe and Gœlim sup E, (4) shows that FœGexcept on a set of measure 0, proving (3). But now it follows as in (4) that.ðeß FÑ Ÿ.ÐEß FÑ.ÐFß FÑ Ä_ Ò!, showing that the limit of the sets E5 exists and equals F œ lim sup E5 (or equivalently Gœlim inf EÑ, up to sets of measure!. 3. Hahn decomposition theorem 5 5 Now assume we have a signed measure. on the measurable space ÐHßYÑ. For simplicity we assume that. is finite everywhere (i.e., it's an additive set function), though the results are easily extended to the general case of a signed measure. Hahn Decomposition Theorem: There exist disjoint sets E and E such that. ÐÑ! for E, and. ÐÑ Ÿ! for E A. Proof: f we can find a set E such that. ÐE Ñ. ÐÑ for all Y, then letting E œ H E we will be done. This is because for any set E, we must have.ðñ!, since otherwise we would have. ÐE Ñ œ. ÐE Ñ. ÐÑ. ÐE Ñ, which is impossible, and a similar argument shows that if E.ÐÑ Ÿ!. then Thus let! œ sup. ÐEÑ. We wish to find a set E such that. ÐE Ñ œ! Þ E Y 15

5 To find such an E, select E Y such that!. ÐEÑ Ÿ Î#. Then we claim that Eœlim sup E œ E has measure!. To this end, note that.ðe E Ñ Ÿ # 5 5, since otherwise we would have. ÐE E Ñ. ÐE Ñ #! #!. Thus the sets E form a Cauchy sequence in the sense above, so that E Ä_ Ò E, i.e.,. ÐE? EÑ Ä_ Ò!. Thus since. ÐEÑ Ä_ Ò!, it follows easily that. ÐEÑ œ! ÑÞ Thus set E œ E. An easy consequence of the above theorem is that where. 3 are positive (ordinary) measures, and. ÐÑ œ. Ð E Ñ. œ.. #, (1). ÐÑ œ. Ð E ÑÞ # The decomposition (1) of. is called the Jordan decomposition. 4. Absolute continuity and singularity Definition 2. Given two measures. and / on a measureable space ÐHßYÑ, we say that. and / are mutually singular or. ¼ /, if they have disjoint - supports, i.e., there exists a set Esuch that. ÐE Ñ œ / ÐEÑ œ!. 16

6 Definition 3. Given two measures. and / we say that / is absolutely continuous (ac) with respect to.(or / <<. Ñif / ÐEÑ œ! whenever. ÐEÑ œ! for E YÞ Note that it is known that if 0! is a measureable function, we can define a new measure / from. through Clearly / << / ÐEÑ œ ( 0ÐBÑ.. ÐBÑ. (1) E We can ask the reverse question: if / <<., is it true there is a function 0 such that (1) holds? The answer is yes: 5. Radon-Nikodym theorem Given two 5 -finite measures / and. on Y in H, let Z be the class of nonnegative functions 0 such that ' 0 Ÿ / ÐÑ. Assume that. and / are not mutually singular (i.e. there is some with positive. and / measures) Lemma 5: There is at least one 0 Z such that ' 0..!. 17

7 Proof: Find a set with postive. and / measure, by taking subsets we may assume is finite in.-measure. Choose 0 so that! ' 0 / Ð Ñ (we can replace 0 by % 0 if this is false). Now just on the set the signed measure 7ÐÑ œ / ÐÑ ' 0 must be purely positive when restricted to some #, by Hahn decomposition. Thus for any set Y ( 0 ÐBÑM ÐBÑ œ ( 0 ÐBÑ Ÿ / Ð # Ñ Ÿ / ÐÑ. # # Choosing 0ÐBÑ œ 0 ÐBÑ M # ÐBÑ shows there is an 0 Z with ' 0!. Lemma 6: f 0 Z for œ ß #ß á ß then sup 0 Z. Proof: For any set, ( sup 0 œ ( lim sup 0 œ lim ( sup 0 Ä_ 5 5 5Ÿ Ä_ 5Ÿ œ lim ( 05 Ÿ lim / Ð5Ñ œ lim / ÐÑ œ / ÐÑÞ Ä_ Ä_ Ä_ 5œ 5œ 5 where 5 œ œb À 05ÐBÑ sup 03ÐBÑ (if there is a tie between two 3Ÿ different 0 just choose one of them so the are disjoint). 5 5 Thus sup 0 Z and so Z is closed under suprema of sequences of functions. Theorem 7. f / and. are 5-finite measures on Y in H ß+. / <<., then there is a unique function 0 such that for all E Y, / ÐEÑ œ ( 0ÐBÑ.. ÐBÑÞ Ð#Ñ E 1

8 Proof: First assume that Hhas finite measure. Consider the class Z of all positive functions 0 such that 0.. Ÿ / ÐÑfor all H. Let! œ sup ' ' H 0Þ Choosing 0 Z so that ( H then clearly letting 0! œ sup 0 We now claim that for any, For if not, the measure 0! Îß Z, we have ( 0! œ ( sup0 sup( 0 œ! Þ H H H ( 0! œ / ÐÑÞ 0 Z 7ÐÑ œ / ÐÑ ( 0! (2a) would be positive somewhere, so that by the Lemma above there would be an 0! with ' H 0! and for all, Thus we would have ( 0 Ÿ 7ÐÑ.! 7ÐÑ ( 0 œ / ÐÑ ( 0! ( 0 while œ / ÐÑ ( Ð0! 0 Ñ which gives a contradiction. ( H Ð0 0 Ñ! ß! 19

9 Uniqueness of 0 (up to sets of measure!) follows from Ð#Ñabove, since we know a function 0 is uniquely determined from knowing its integral over every set E. For example, if there were another function 0 which made (2) true, and 0 0 on a set of positive measure, then (2) would be different for 0 and for 0 integrated over ). Finally, if His 5-finite, write it as a countable union of finite pieces H 3, and use the above proof on each H3 to find a function 0 on Hwhich on each piece is constructed as above. This completes the proof. H 3 Definition 4: The function 0 above is the Radon-Nikodym derivative of / with respect to.ß Thus we can write 0œ./ Þ./ / ÐEÑ œ ( ÐBÑ ÐBÑÞ We also have (easily shown by starting with simple functions 1): 6. Lebesgue decomposition E ( 1ÐBÑ./ ÐBÑ œ ( 1ÐBÑ./ ÐBÑ ÐBÑ E Notice in the proof of the Radon-Nikodym theorem, the function 0 ÐBÑ which maximizes ' H 0ÐBÑ can be defined even if / <<. fails to hold. n that case, we will write E! Z / ÐÑ œ ( 0 ÐBÑ.. / = ÐÑ Ð Ñ! 4 / +- ÐÑ / = ÐÑ where / +- ÐÑ is defined as the integral above, and where / = ÐÑ is defined as the difference of the other two terms in (4). 190

10 But notice the remaining measure / = must satisfy / =ÐÑ œ! if. ÐÑ!, since otherwise by the same argument as in the proof of the theorem, there would be a function 0! (not all 0) such that for all ( 0./ Ÿ. ÐÑÞ = But then the function 0! defined above can be increased to 0! 0 and still be in Z, which contradicts that is maximal in Z. 0! However, the conclusion that / = ÐÑ œ! if. ÐÑ! means that / = and. are mutually singluar. Thus (4) says that given a fixed measure., any other measure / can be decomposed into a measure / +- (which is absolutely continuous with respect to.) and a measure / = which is singluar with respect to t is easy to show that this decomposition is unique. Definition 5: The decomposition (4) above is called the Lebesgue decomposition of the measure /. 191

Notes on the Unique Extension Theorem. Recall that we were interested in defining a general measure of a size of a set on Ò!ß "Ó.

Notes on the Unique Extension Theorem. Recall that we were interested in defining a general measure of a size of a set on Ò!ß Ó. 1. More on measures: Notes on the Unique Extension Theorem Recall that we were interested in defining a general measure of a size of a set on Ò!ß "Ó. Defined this measure T. Defined TÐ ( +ß, ) Ñ œ, +Þ

More information

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

Product Measures and Fubini's Theorem

Product Measures and Fubini's Theorem Product Measures and Fubini's Theorem 1. Product Measures Recall: Borel sets U in are generated by open sets. They are also generated by rectangles VœN " á N hich are products of intervals NÞ 3 Let V be

More information

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

Signed Measures. Chapter Basic Properties of Signed Measures. 4.2 Jordan and Hahn Decompositions Chapter 4 Signed Measures Up until now our measures have always assumed values that were greater than or equal to 0. In this chapter we will extend our definition to allow for both positive negative values.

More 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

Problem Set 2: Solutions Math 201A: Fall 2016

Problem Set 2: Solutions Math 201A: Fall 2016 Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that

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

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

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

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

7. Random variables as observables. Definition 7. A random variable (function) X on a probability measure space is called an observable

7. Random variables as observables. Definition 7. A random variable (function) X on a probability measure space is called an observable 7. Random variables as observables Definition 7. A random variable (function) X on a probability measure space is called an observable Note all functions are assumed to be measurable henceforth. Note that

More information

Problem set 1, Real Analysis I, Spring, 2015.

Problem set 1, Real Analysis I, Spring, 2015. Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n

More information

l(y j ) = 0 for all y j (1)

l(y j ) = 0 for all y j (1) Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that

More information

Real Analysis Notes. Thomas Goller

Real Analysis Notes. Thomas Goller Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................

More information

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

Probability basics. Probability and Measure Theory. Probability = mathematical analysis

Probability basics. Probability and Measure Theory. Probability = mathematical analysis MA 751 Probability basics Probability and Measure Theory 1. Basics of probability 2 aspects of probability: Probability = mathematical analysis Probability = common sense Probability basics A set-up of

More information

Examples of Dual Spaces from Measure Theory

Examples of Dual Spaces from Measure Theory Chapter 9 Examples of Dual Spaces from Measure Theory We have seen that L (, A, µ) is a Banach space for any measure space (, A, µ). We will extend that concept in the following section to identify an

More information

Lebesgue Integration: A non-rigorous introduction. What is wrong with Riemann integration?

Lebesgue Integration: A non-rigorous introduction. What is wrong with Riemann integration? Lebesgue Integration: A non-rigorous introduction What is wrong with Riemann integration? xample. Let f(x) = { 0 for x Q 1 for x / Q. The upper integral is 1, while the lower integral is 0. Yet, the function

More 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

Chapter 5. Measurable Functions

Chapter 5. Measurable Functions Chapter 5. Measurable Functions 1. Measurable Functions Let X be a nonempty set, and let S be a σ-algebra of subsets of X. Then (X, S) is a measurable space. A subset E of X is said to be measurable if

More information

Three hours THE UNIVERSITY OF MANCHESTER. 24th January

Three hours THE UNIVERSITY OF MANCHESTER. 24th January Three hours MATH41011 THE UNIVERSITY OF MANCHESTER FOURIER ANALYSIS AND LEBESGUE INTEGRATION 24th January 2013 9.45 12.45 Answer ALL SIX questions in Section A (25 marks in total). Answer THREE of the

More 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

M17 MAT25-21 HOMEWORK 6

M17 MAT25-21 HOMEWORK 6 M17 MAT25-21 HOMEWORK 6 DUE 10:00AM WEDNESDAY SEPTEMBER 13TH 1. To Hand In Double Series. The exercises in this section will guide you to complete the proof of the following theorem: Theorem 1: Absolute

More information

2 Measure Theory. 2.1 Measures

2 Measure Theory. 2.1 Measures 2 Measure Theory 2.1 Measures A lot of this exposition is motivated by Folland s wonderful text, Real Analysis: Modern Techniques and Their Applications. Perhaps the most ubiquitous measure in our lives

More 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

Proofs Involving Quantifiers. Proof Let B be an arbitrary member Proof Somehow show that there is a value

Proofs Involving Quantifiers. Proof Let B be an arbitrary member Proof Somehow show that there is a value Proofs Involving Quantifiers For a given universe Y : Theorem ÐaBÑ T ÐBÑ Theorem ÐbBÑ T ÐBÑ Proof Let B be an arbitrary member Proof Somehow show that there is a value of Y. Call it B œ +, say Þ ÐYou can

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

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

Stat 643 Review of Probability Results (Cressie)

Stat 643 Review of Probability Results (Cressie) Stat 643 Review of Probability Results (Cressie) Probability Space: ( HTT,, ) H is the set of outcomes T is a 5-algebra; subsets of H T is a probability measure mapping from T onto [0,] Measurable Space:

More information

E.G., data mining, prediction. Function approximation problem: How >9 best estimate the function 0 from partial information (examples)

E.G., data mining, prediction. Function approximation problem: How >9 best estimate the function 0 from partial information (examples) Can Neural Network and Statistical Learning Theory be Formulated in terms of Continuous Complexity Theory? 1. Neural Networks and Statistical Learning Theory Many areas of mathematics, statistics, and

More information

Statistical machine learning and kernel methods. Primary references: John Shawe-Taylor and Nello Cristianini, Kernel Methods for Pattern Analysis

Statistical machine learning and kernel methods. Primary references: John Shawe-Taylor and Nello Cristianini, Kernel Methods for Pattern Analysis Part 5 (MA 751) Statistical machine learning and kernel methods Primary references: John Shawe-Taylor and Nello Cristianini, Kernel Methods for Pattern Analysis Christopher Burges, A tutorial on support

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

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

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

8œ! This theorem is justified by repeating the process developed for a Taylor polynomial an infinite number of times.

8œ! This theorem is justified by repeating the process developed for a Taylor polynomial an infinite number of times. Taylor and Maclaurin Series We can use the same process we used to find a Taylor or Maclaurin polynomial to find a power series for a particular function as long as the function has infinitely many derivatives.

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

Introduction and Preliminaries

Introduction and Preliminaries Chapter 1 Introduction and Preliminaries This chapter serves two purposes. The first purpose is to prepare the readers for the more systematic development in later chapters of methods of real analysis

More information

Solution of the 7 th Homework

Solution of the 7 th Homework Solution of the 7 th Homework Sangchul Lee December 3, 2014 1 Preliminary In this section we deal with some facts that are relevant to our problems but can be coped with only previous materials. 1.1 Maximum

More information

Homework 11. Solutions

Homework 11. Solutions Homework 11. Solutions Problem 2.3.2. Let f n : R R be 1/n times the characteristic function of the interval (0, n). Show that f n 0 uniformly and f n µ L = 1. Why isn t it a counterexample to the Lebesgue

More information

THEOREMS, ETC., FOR MATH 515

THEOREMS, ETC., FOR MATH 515 THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every

More information

STRONGLY EXTREME POINTS IN LPfa X)

STRONGLY EXTREME POINTS IN LPfa X) ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 16, Number 1, Winter 1986 STRONGLY EXTREME POINTS IN LPfa X) MARK A. SMITH ABSTRACT. A natural characterization of strongly extreme points in the unit ball

More information

Chapter 4. The dominated convergence theorem and applications

Chapter 4. The dominated convergence theorem and applications Chapter 4. The dominated convergence theorem and applications The Monotone Covergence theorem is one of a number of key theorems alllowing one to exchange limits and [Lebesgue] integrals (or derivatives

More information

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a Solutions to Homework #6 1. Complete the proof of the backwards direction of Theorem 12.2 from class (which asserts the any interval in R is connected). Solution: Let X R be a closed interval. Case 1:

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

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

In N we can do addition, but in order to do subtraction we need to extend N to the integers

In N we can do addition, but in order to do subtraction we need to extend N to the integers Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend

More information

In N we can do addition, but in order to do subtraction we need to extend N to the integers

In N we can do addition, but in order to do subtraction we need to extend N to the integers Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need

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

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that

More information

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using

More information

Real Analysis Problems

Real Analysis Problems Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.

More information

Functional Analysis HW #1

Functional Analysis HW #1 Functional Analysis HW #1 Sangchul Lee October 9, 2015 1 Solutions Solution of #1.1. Suppose that X

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

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

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

( 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

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

Example Let VœÖÐBßCÑ À b-, CœB - ( see the example above). Explain why

Example Let VœÖÐBßCÑ À b-, CœB - ( see the example above). Explain why Definition If V is a relation from E to F, then a) the domain of V œ dom ÐVÑ œ Ö+ E À b, F such that Ð+ß,Ñ V b) the range of V œ ran( VÑ œ Ö, F À b+ E such that Ð+ß,Ñ V " c) the inverse relation of V œ

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

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

Tools from Lebesgue integration

Tools from Lebesgue integration Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given

More information

Chapter 3: Baire category and open mapping theorems

Chapter 3: Baire category and open mapping theorems MA3421 2016 17 Chapter 3: Baire category and open mapping theorems A number of the major results rely on completeness via the Baire category theorem. 3.1 The Baire category theorem 3.1.1 Definition. A

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

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

Part III. 10 Topological Space Basics. Topological Spaces

Part III. 10 Topological Space Basics. Topological Spaces Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.

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

LA PRISE DE CALAIS. çoys, çoys, har - dis. çoys, dis. tons, mantz, tons, Gas. c est. à ce. C est à ce. coup, c est à ce

LA PRISE DE CALAIS. çoys, çoys, har - dis. çoys, dis. tons, mantz, tons, Gas. c est. à ce. C est à ce. coup, c est à ce > ƒ? @ Z [ \ _ ' µ `. l 1 2 3 z Æ Ñ 6 = Ð l sl (~131 1606) rn % & +, l r s s, r 7 nr ss r r s s s, r s, r! " # $ s s ( ) r * s, / 0 s, r 4 r r 9;: < 10 r mnz, rz, r ns, 1 s ; j;k ns, q r s { } ~ l r mnz,

More information

FUNCTIONS WITH MANY LOCAL EXTREMA. 1. introduction

FUNCTIONS WITH MANY LOCAL EXTREMA. 1. introduction FUNCTIONS WITH MANY LOCAL EXTREMA STEFAN GESCHKE Abstract. Answering a question addressed by Dirk Werner we show that the set of local extrema of a nowhere constant continuous function f : [0, 1] R is

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

Math 131 Exam 4 (Final Exam) F04M

Math 131 Exam 4 (Final Exam) F04M Math 3 Exam 4 (Final Exam) F04M3.4. Name ID Number The exam consists of 8 multiple choice questions (5 points each) and 0 true/false questions ( point each), for a total of 00 points. Mark the correct

More information

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9 MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended

More information

convergence theorem in abstract set up. Our proof produces a positive integrable function required unlike other known

convergence theorem in abstract set up. Our proof produces a positive integrable function required unlike other known https://sites.google.com/site/anilpedgaonkar/ profanilp@gmail.com 218 Chapter 5 Convergence and Integration In this chapter we obtain convergence theorems. Convergence theorems will apply to various types

More information

! " # $! % & '! , ) ( + - (. ) ( ) * + / 0 1 2 3 0 / 4 5 / 6 0 ; 8 7 < = 7 > 8 7 8 9 : Œ Š ž P P h ˆ Š ˆ Œ ˆ Š ˆ Ž Ž Ý Ü Ý Ü Ý Ž Ý ê ç è ± ¹ ¼ ¹ ä ± ¹ w ç ¹ è ¼ è Œ ¹ ± ¹ è ¹ è ä ç w ¹ ã ¼ ¹ ä ¹ ¼ ¹ ±

More information

JUHA KINNUNEN. Harmonic Analysis

JUHA KINNUNEN. Harmonic Analysis JUHA KINNUNEN Harmonic Analysis Department of Mathematics and Systems Analysis, Aalto University 27 Contents Calderón-Zygmund decomposition. Dyadic subcubes of a cube.........................2 Dyadic cubes

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

(2) E M = E C = X\E M

(2) E M = E C = X\E M 10 RICHARD B. MELROSE 2. Measures and σ-algebras An outer measure such as µ is a rather crude object since, even if the A i are disjoint, there is generally strict inequality in (1.14). It turns out to

More 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

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION Chapter 2: Countability and Cantor Sets Countable and Uncountable Sets The concept of countability will be important in this course

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

Here are proofs for some of the results about diagonalization that were presented without proof in class.

Here are proofs for some of the results about diagonalization that were presented without proof in class. Suppose E is an 8 8 matrix. In what follows, terms like eigenvectors, eigenvalues, and eigenspaces all refer to the matrix E. Here are proofs for some of the results about diagonalization that were presented

More information

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

g 2 (x) (1/3)M 1 = (1/3)(2/3)M. COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is

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

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

Overview of normed linear spaces

Overview of normed linear spaces 20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural

More information

Homework Assignment #5 Due Wednesday, March 3rd.

Homework Assignment #5 Due Wednesday, March 3rd. Homework Assignment #5 Due Wednesday, March 3rd. 1. In this problem, X will be a separable Banach space. Let B be the closed unit ball in X. We want to work out a solution to E 2.5.3 in the text. Work

More information

Iowa State University. Instructor: Alex Roitershtein Summer Homework #5. Solutions

Iowa State University. Instructor: Alex Roitershtein Summer Homework #5. Solutions Math 50 Iowa State University Introduction to Real Analysis Department of Mathematics Instructor: Alex Roitershtein Summer 205 Homework #5 Solutions. Let α and c be real numbers, c > 0, and f is defined

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

Austin Mohr Math 704 Homework 6

Austin Mohr Math 704 Homework 6 Austin Mohr Math 704 Homework 6 Problem 1 Integrability of f on R does not necessarily imply the convergence of f(x) to 0 as x. a. There exists a positive continuous function f on R so that f is integrable

More information

1 Stochastic Dynamic Programming

1 Stochastic Dynamic Programming 1 Stochastic Dynamic Programming Formally, a stochastic dynamic program has the same components as a deterministic one; the only modification is to the state transition equation. When events in the future

More information

Convexity in R n. The following lemma will be needed in a while. Lemma 1 Let x E, u R n. If τ I(x, u), τ 0, define. f(x + τu) f(x). τ.

Convexity in R n. The following lemma will be needed in a while. Lemma 1 Let x E, u R n. If τ I(x, u), τ 0, define. f(x + τu) f(x). τ. Convexity in R n Let E be a convex subset of R n. A function f : E (, ] is convex iff f(tx + (1 t)y) (1 t)f(x) + tf(y) x, y E, t [0, 1]. A similar definition holds in any vector space. A topology is needed

More information

Example: A Markov Process

Example: A Markov Process Example: A Markov Process Divide the greater metro region into three parts: city such as St. Louis), suburbs to include such areas as Clayton, University City, Richmond Heights, Maplewood, Kirkwood,...)

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

QUALIFYING EXAMINATION II IN MATHEMATICAL STATISTICS SATURDAY, MAY 9, Examiners: Drs. K. M. Ramachandran and G. S. Ladde

QUALIFYING EXAMINATION II IN MATHEMATICAL STATISTICS SATURDAY, MAY 9, Examiners: Drs. K. M. Ramachandran and G. S. Ladde QUALIFYING EXAMINATION II IN MATHEMATICAL STATISTICS SATURDAY, MAY 9, 2015 Examiners: Drs. K. M. Ramachandran and G. S. Ladde INSTRUCTIONS: a. The quality is more important than the quantity. b. Attempt

More information

Introduction to Real Analysis

Introduction to Real Analysis Christopher Heil Introduction to Real Analysis Chapter 0 Online Expanded Chapter on Notation and Preliminaries Last Updated: January 9, 2018 c 2018 by Christopher Heil Chapter 0 Notation and Preliminaries:

More information

CHAPTER I THE RIESZ REPRESENTATION THEOREM

CHAPTER I THE RIESZ REPRESENTATION THEOREM CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals

More information

Disintegration into conditional measures: Rokhlin s theorem

Disintegration into conditional measures: Rokhlin s theorem Disintegration into conditional measures: Rokhlin s theorem Let Z be a compact metric space, µ be a Borel probability measure on Z, and P be a partition of Z into measurable subsets. Let π : Z P be the

More information

Introduction to Real Analysis Alternative Chapter 1

Introduction to Real Analysis Alternative Chapter 1 Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces

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

Inner Product Spaces

Inner Product Spaces Inner Product Spaces In 8 X, we defined an inner product? @? @?@ ÞÞÞ? 8@ 8. Another notation sometimes used is? @? ß@. The inner product in 8 has several important properties ( see Theorem, p. 33) that

More information

3 Integration and Expectation

3 Integration and Expectation 3 Integration and Expectation 3.1 Construction of the Lebesgue Integral Let (, F, µ) be a measure space (not necessarily a probability space). Our objective will be to define the Lebesgue integral R fdµ

More information