Riesz Representation Theorems

Similar documents
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

THEOREMS, ETC., FOR MATH 515

MATH MEASURE THEORY AND FOURIER ANALYSIS. Contents

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

Chapter 6. Integration. 1. Integrals of Nonnegative Functions. a j µ(e j ) (ca j )µ(e j ) = c X. and ψ =

MATHS 730 FC Lecture Notes March 5, Introduction

MTH 404: Measure and Integration

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. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

Analysis Comprehensive Exam Questions Fall 2008

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

Chapter 8. General Countably Additive Set Functions. 8.1 Hahn Decomposition Theorem

MATH 202B - Problem Set 5

+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space

Real Analysis Notes. Thomas Goller

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

INTRODUCTION TO MEASURE THEORY AND LEBESGUE INTEGRATION

ANALYSIS QUALIFYING EXAM FALL 2016: SOLUTIONS. = lim. F n

Homework 11. Solutions

2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space.

6 Classical dualities and reflexivity

Real Analysis Problems

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

Examples of Dual Spaces from Measure Theory

Chapter 5. Measurable Functions

CHAPTER I THE RIESZ REPRESENTATION THEOREM

Final Exam Practice Problems Math 428, Spring 2017

Class Notes for Math 921/922: Real Analysis, Instructor Mikil Foss

MATH 650. THE RADON-NIKODYM THEOREM

THEOREMS, ETC., FOR MATH 516

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

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

Differentiation of Measures and Functions

Math 5051 Measure Theory and Functional Analysis I Homework Assignment 3

Measure and Integration: Solutions of CW2

Integration on Measure Spaces

AN INTRODUCTION TO GEOMETRIC MEASURE THEORY AND AN APPLICATION TO MINIMAL SURFACES ( DRAFT DOCUMENT) Academic Year 2016/17 Francesco Serra Cassano

Measure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond

CHAPTER V DUAL SPACES

Chapter 4. The dominated convergence theorem and applications

CONTENTS. 4 Hausdorff Measure Introduction The Cantor Set Rectifiable Curves Cantor Set-Like Objects...

Overview of normed linear spaces

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

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

Reminder Notes for the Course on Measures on Topological Spaces

Three hours THE UNIVERSITY OF MANCHESTER. 24th January

Problem Set 5: Solutions Math 201A: Fall 2016

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

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

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

MTH 503: Functional Analysis

Real Analysis Qualifying Exam May 14th 2016

ANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.

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

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

6. Duals of L p spaces

Lecture 1 Real and Complex Numbers

Functional Analysis, Stein-Shakarchi Chapter 1

212a1214Daniell s integration theory.

Review of measure theory

Functional Analysis Winter 2018/2019

A List of Problems in Real Analysis

consists of two disjoint copies of X n, each scaled down by 1,

L p Spaces and Convexity

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

Section Integration of Nonnegative Measurable Functions

Signed Measures and Complex Measures

5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.

Introduction to Functional Analysis

Aliprantis, Border: Infinite-dimensional Analysis A Hitchhiker s Guide

Lebesgue-Radon-Nikodym Theorem

Measure Theory & Integration

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

4th Preparation Sheet - Solutions

1 Inner Product Space

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

Normed Vector Spaces and Double Duals

Math 720: Homework. Assignment 2: Assigned Wed 09/04. Due Wed 09/11. Assignment 1: Assigned Wed 08/28. Due Wed 09/04

It follows from the above inequalities that for c C 1

Reminder Notes for the Course on Distribution Theory

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis

Bounded and continuous functions on a locally compact Hausdorff space and dual spaces

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

Probability and Measure

LECTURE NOTES FOR , FALL Contents. Introduction. 1. Continuous functions

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE

x 0 + f(x), exist as extended real numbers. Show that f is upper semicontinuous This shows ( ɛ, ɛ) B α. Thus

Lebesgue Integration on R n

Functional Analysis Exercise Class

Exercise 1. Let f be a nonnegative measurable function. Show that. where ϕ is taken over all simple functions with ϕ f. k 1.

Metric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg

It follows from the above inequalities that for c C 1

Compact operators on Banach spaces

Measurable functions are approximately nice, even if look terrible.

REAL AND COMPLEX ANALYSIS

1 Preliminaries on locally compact spaces and Radon measure

SOME PROBLEMS IN REAL ANALYSIS.

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

Transcription:

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 V are called linear functionals. Example 6.1.2. 1) Let V = R n. Then we can identify R with R as follows: For each a = (a 1, a 2,..., a n ) define φ a : R n R by n φ a ((x 1, x 2,..., x n )) = x a = x i a i. 2) Let (X, d) be a compact metric space. Let x 0 X. Define φ x0 : C(X) R by φ x0 (f) = f(x 0 ). Then φ x0 C(X). i=1 Definition 6.1.3. Let (V, V ) and (W, W ) be normed linear spaces. Let T : V W be linear. We say that T is bounded is sup { T (x) W } <. x V 1 In this case, we write Otherwise, we say that T is unbounded. T = sup { T (x) W }. x V 1 The next result establishes the fundamental criterion for when a linear map between normed linear spaces is continuous. It s proof is left as an exercise. Theorem 6.1.4. Let (V, V ) and (W, W ) be normed linear spaces. Let T : V W be linear. Then the following are equivalent. 1) T is continuous. 2) T is continuous at 0. 91

2) T is bounded. Proof. 1) 2) This is immediate. 2) 3) Assume that T is continuous at 0. Let δ be such that if x V δ, then T (x) W. It follows easily that T 1 δ. 3) 1) Note that we may assume that T > 0 otherwise T = 0 and hence is obviously continuous. Let x 0 V and let ɛ > 0. Let δ = ɛ T. Then if x x 0 V < δ, we have T (x) T (x 0 ) W = T (x x 0 ) W T x x 0 V < ɛ. Remark 6.1.5. 1) Let (V, V ) and (W, W ) be normed linear spaces. Let T : V W be linear. Then we can easily deduce from the previous theorem that. if T is bounded, then T is uniformly continuous. 2) Let B(V, W ) = {T : X Y T is linear and T is bounded}. Let T 1 and T 2 be in B(V, W ). Then if x V, we have T 1 + T 2 (x) W = T 1 (x) + T 2 (x) W T 1 (x) W + T 2 (x) W T 1 x V + T 1 x V = ( T 1 + T 2 ) x V. As such T 1 + T 2 B(V, W ) and in particular T 1 + T 2 T 1 + T 1 It follows that (B(V, W ), ) is also a normed linear space. Theorem 6.1.6. Assume that (W, W ) be a Banach space. Then so is (B(V, W ), ). Proof. Assume that {T n } is Cauchy. Let x V. Since T n (x) T m (x) W T n T 2 x V it follows easily that {T n (x)} is also Cauchy in W. As such we can define T 0 by To see that T 0 is linear observe that T 0 (x) = lim T n(x). T 0 (αx + βy) = lim T n(αx + βy) = lim αt n(x) + βt n (y) = αt 0 (x) + βt 0 (y) To see that T 0 is bounded first observe that being Cauchy, {T n } is bounded. Hence we can find an M > 0 such that T n M for each n N. Moreover, since T 0 (x) W = lim T n(x) M x V, we have that T 0 M. 92

Now let ɛ > 0 and choose an N N so that if n, m N, then T n T m < ɛ. Let x V with x V 1. Then since T n (x) T m (x) W < ɛ for each m N, we have T n (x) T 0 (x) W = lim m T n(x) T m (x) W ɛ. In particular in B(X, Y ). T 0 = lim T n Definition 6.1.7. Let (V, ) be a normed linear space. The space B(V, R) is called the dual space of V and is denoted by V. Example 6.1.8. 1) Let V = R n with the usual norm 2. For each a = (a 1, a 2,..., a n ) we defined φ a : R n R by n φ a ((x 1, x 2,..., x n )) = x a = x i a i. i=1 Then in fact φ a R n and φ a = a 2. 2) Let (X, d) be a compact metric space. Again, if x 0 X and we define φ x0 : (C(X), ) R by φ x0 (f) = f(x 0 ), then φ x0 C(X). In this case φ x0. 3) Let (X, A, µ) be a measure space and let 1 p with 1 p + 1 q = 1. Hölder s Inequality allows us to define for each g L q (X, A, µ) and element φ g L p (X, A, µ) by φ g (f) = fg dµ. Moreover, Hölder s Inequality also shows that φ g L p (X, A, µ) with φ g g p. Note that φ g has the additional property that if g 0 µ-a.e., then φ g (f) 0 whenever f L p (X, A, µ) and f 0 µ-a.e. 4) Let (X, d) be a compact measure space and let µ be a finite regular signed measure on B(X). Define φ µ C(X) by φ µ (f) = f dµ. Since φ µ (f) f d µ f µ meas we see that in fact φ µ C(X) and φ µ µ meas. 93

We note again that φ µ has the additional property that if µ is a positive measure on B(X), then φ µ (f) 0 whenever f C(X) and f 0. Furthermore, in this case since φ µ (1) = 1 dµ = µ(x) = µ meas, if µ is a positve measure we have φ µ = µ meas. Problem 6.1.9. In Examples 3) and 4) above we have shown respectively that every element in L q (X, A, µ) determines a continuous functional on L p (X, A, µ) and that if (X, d) is a compact metric space, then every finite regular signed measure on B(X) determines a continuous linear functional on C(X). It is natural to ask: Do all continuous linear functionals on L p (X, A, µ) and C(X) arise in this fashion? 6.2 Riesz Representation Theorem for L p (X, A, µ) In this section we will focus on the following problem: Problem 6.2.1. What is L p (X, A, µ)? We have already established most of the following result: Lemma 6.2.2. If (X, A, µ) is a measure space and if 1 p with 1 p + 1 q = 1, then for every g Lq (X, µ) the map Γ g : L p (X, µ) R defined by Γ g (f) = X f g dµ is a continuous linear functional on Lp (X, µ). Further, Γ g g q and if 1 < p then Γ g = g q. Proof. Assignment. If (X, µ) is σ-finite, then equality holds for p = 1 as well. Lemma 6.2.3. Let (X, A, µ) be a finite measure space and if 1 p <. Let g be an integrable function such that there exists a constant M with gϕ dµ M ϕ p for all simple functions ϕ. Then g L q (X, µ), where 1 p + 1 q = 1. Proof. Assume that p > 1. Let ψ n be a sequence of simple functions with ψ n g q. Let ϕ n = (ψ n ) 1 p sgn(g). Then ϕ n is also simple and ϕ n p = ( ψ n dµ) 1 p. Since ϕn g ϕ n ψ n 1 q = ψn, we have ( ψ n dµ ϕ n g dµ M ϕ n p = M ) 1 p ψ n dµ Therefore ψ n dµ M q. By the Monotone Convergence Theorem we get that g q M, so g L q (X, µ). If p = 1, then we need to show that g is bounded almost everywhere. Let E = {x X g(x) > M}. Let f = 1 µ(e) χ Esgn(g). Then f is a simple function and f 1 = 1. This is a contradiction. Lemma 6.2.4. Let 1 p <. Let {E n } be a sequence of disjoint sets. Let {f n } L p (X, µ) be such that f n (x) = 0 if x / E n for each n 1. Let f = n=1 f n. Then f L p (X, µ) if and only if n=1 f p p <. In this case, f p p = n=1 f p p. Proof. Exercise. 94

Theorem 6.2.5 [Riesz Representation Theorem, I]. Let Γ L p (X, µ), where 1 p < and µ is σ-finite. Then if 1 p + 1 q = 1, there exists a unique g Lq (X, µ) such that Moreover, Γ = g q. Γ(f) = X fg dµ = φ g (f) Proof. Assume that µ is finite. Then every bounded measurable function is in L p (X, µ). Define λ : A R : E Γ(χ E ). Let {E n } A be a sequence of disjoint sets, and let E = n=1 E n. Let α n = sgnγ(χ En ) and f = n=1 α nχ En. Then f L p (X, µ) and Γ(f) = n=1 λ(e n) < and so n=1 λ(e n) = Γ(χ E ) = λ(e). Therefore λ is a finite signed measure. Clearly, if µ(e) = 0 then χ E = 0 almost everywhere, so λ(e) Γ(0) = 0. Therefore λ µ. By the Radon-Nikodym Theorem, there is an integrable function g such that λ(e) = E g dµ for all E A. If ϕ is simple, then Γ(ϕ) = ϕg dµ by linearity of the integral. But Γ(ϕ) Γ ϕ p for all simple functions ϕ, so g L q (X, µ) by the lemma above. Now Γ φ g L p (X, µ) and Γ φ g = 0 on the space of simple functions. Since the simple functions are dense in L p (X, µ), Γ φ g = 0 on L P (X, µ), so Γ = φ g. We have that Γ = φ g = g q as before. Now asume that µ is σ-finite. We can write X = n=1 X n, where µ(x n ) < and X n X n+1 for all n 1. For each n 1, the proof above gives us g n L q (X, µ), vanishing outside X n, such that Γ(f) = fg dµ for all f L p (X, µ) vanishing off of X n. Moreover, g n q Γ. By the uniqueness of the g n s, we can assume that g n+1 = g n on X n. Let g(x) = lim g n (x). We have that g n g. By the Monotone Convergence Theorem g q dµ = lim g n q dµ Γ q Hence g L q (X, µ). Let f L p (X, µ) and f n = fχ Xn. Then f n f pointwise and f n L p (X, µ) for all n 1. Since fg L 1 (X, µ) and f n g fg, the Lebesque Dominated Convergence Theorem shows fg dµ = lim f n g dµ = lim f n g n dµ = lim Γ(f n) = Γ(f) If p = 1, then we cannot drop the assumption of σ-finiteness. Theorem 6.2.6 [Riesz Representation Theorem, II]. Let Γ L p (X, µ), where 1 < p <. Then if 1 p + 1 q = 1, there exists a unique g Lq (X, µ) such that Γ(f) = fg dµ for all f L p (X, µ). Moreover, Γ = g q. Proof. Let E X be σ-finite. then there exists a unique g E L q (X, µ), vanishing outside of E, such that Γ(f) = fg E dµ for all g L p (X, µ) vanishing outside of E. Moreover, if A E, then g A = g E almost everywhere on A. For each σ-finite set E let λ(e) = g E q dµ. If A E, then λ(a) λ(e) Γ q. Let M = sup{λ(e) E is σ-finite}. Let {E n } be a sequence of σ-finite sets such that lim λ(e n ) = M. If H = n=1 E n then H is σ-finite and λ(h) = M. If E is σ-finite with H E, then g E = g H almost everywhere on H. But g E q dµ = λ(e) λ(h) = g H q dµ so g E = 0 almost everywhere on E\H. Let g = g HχH. Then g L q (X, µ) and if E is σ-finite with H E then g E = g almost everywhere. If f L p (X, µ), then let E = {x X f(x) 0}. E is σ-finite and hence E 1 = E H is σ-finite. Hence 95

Γ(f) = Therefore Γ = φ g and as before Γ = g q. fg E1 dµ = fg dµ = φ g (f) We have shown that if 1 < p < and 1 p + 1 q = 1, then for any measure space (X, A, µ), Lp (X, µ) = L q (X, µ). If µ is σ-finite, then L 1 (X, µ) = L (X, µ). What happens when p =? L 1 (X, µ) L (X, µ), but this embedding is not usually surjective. There exists a compact Hausdorff space Ω such that L (X, µ) = C(Ω). What is C(Ω)? Let ϕ : [a, b] R be defined by ϕ(f) = f(x 0 ). Then ϕ C[a, b], and ϕ = 1. Let µ x0 be the measure on [a, b] of the point mass x 0. If g L 1 ([a, b], m), then ϕ g (f) = b fg dm is a linear functional on C[a, b], a and ϕ g g 1. g is the Radon-Nikodym derivative of an absolutely continuous measure µ on [a, b], and ϕ g (f) = f dµ. If µ Meas[a, b], then ϕ n (f) = f dµ is a bounded linear functional on C[a, b], with ϕ µ µ Meas. 6.3 Riesz Representation Theorem for C() Theorem 6.3.1. [Jordan Decomposition Theorem] Let Γ C([a, b]). Then there exist positive linear functionals Γ +, Γ C([a, b]) such that Γ = Γ + Γ and Γ = Γ + (1) + Γ (1). Proof. Assume that f 0. Define Γ + (f) = sup Γ(ϕ). 0 φ f Then Γ + (f) 0 and Γ + (f) Γ(f). It is also easy to see that if c 0, then Γ + (cf) = cγ + (f). Let f, g 0. If 0 φ f and 0 ψ g, then 0 φ + ψ f + g so and hence, Γ(φ) + Γ(ψ) Γ + (f + g) Γ + (f) + Γ + (g) Γ + (f + g). If 0 ψ f + g, then let ϕ = inf{f, ψ} and ξ = ψ ϕ. Then 0 ϕ f and 0 ξ g. It follows that This shows that Therefore, Γ(ψ) = Γ(ϕ) + Γ(ξ) Γ + (f) + Γ + (g). Γ + (f + g) Γ + (f) + Γ + (g) Γ + (f + g) = Γ + (f) + Γ + (g) Let f C[a, b]. Let α, β be such that f + α1 0 and f + β1 0. Then Γ + (f + α1 + β1) = Γ + (f + α1) + Γ + (β1) = Γ + (f + β1) + Γ + (α1) This shows that As such, if we let Γ + (f + α1) Γ + (α1) = Γ + (f + β1) Γ + (β1) Γ + (f) = Γ + (f + α1) Γ + (α1), 96

then Γ + is well defined. Let f, g C[a, b]. Let α, β be chosen so that f + α1 0 and g + β1 0. Then f + g + (α + β)1 0 so Γ + (f + g) = Γ + (f + g + (α + β)1) Γ + ((α + β)1) = Γ + (f + α1) + Γ + (g + β1) Γ + ((α + β)1) = Γ + (f + α1) Γ + (α1) + Γ + (g + β1) Γ + (β)1) = Γ + (f) + Γ + (g). That is Γ + is additive. It is also clear that Γ + (cf) = cγ + (f) when c 0. But since Γ + ( f) + Γ + (f) = Γ + (0) = 0, we get that so Γ + is linear. Let Γ + ( f) = Γ + (f) Γ = Γ + Γ Since it is clear that Γ + (f) Γ(f) if f 0, Γ is also positive. We know that Γ Γ + + Γ = Γ + (1) + Γ (1) Let 0 ψ 1. Then 2ψ 1 1. As such and therefore Γ Γ(2ψ 1) = 2Γ(ψ) Γ(1) Γ 2Γ + (1) Γ(1) = Γ + (1) + Γ (1) Hence Γ = Γ + (1) + Γ (1). Theorem 6.3.2. [Riesz Representation Theorem for C([a, b])] Let Γ C([a, b]). Then there exists a unique finite signed measure µ on the Borel subsets of [a, b] such that Γ(f) = f dµ for each f C([a, b]). Moreover, Γ = µ ([a, b]). Proof. First, we will assume that Γ is positive. For a t < b and for n large enough so that t + 1 n b, let 1 if x [a, t] ϕ t,n (x) = 1 n(x t) if x (t, t + 1 n ] 0 if x (t + 1 n, b] 97

Note that if n m, then 0 ϕ t,m ϕ t,n 1 It follows that {Γ(ϕ t,n )} is decreasing and bounded below by 0. Therefore, we can define 0 if t < a g(t) = lim Γ(ϕ t,n) if t [a, b) Γ(1) if t b Moreover, if t 1 > t, we have ϕ t,m ϕ t1,n. 98

Since Γ is positive, g(t) is monotonically increasing. It is clear that g(t) is right continuous if t < a or if t b. Assume that t [a, b). Let ɛ > 0 and choose n large enough so that n > max(2, Γ ) ɛ and g(t) Γ(ϕ t,n ) g(t) + ɛ. Let Then 1 if x [a, t + 1 n ] 2 ψ n (x) = 1 n2 n 2 (x t 1 n ) if x (t + 1 2 n, t + 1 2 n 1 n ] 2 0 if x (t + 1 n 1 n, b] 2. ψ n ϕ t,n 1 n Therefore, Γ(ψ n ) Γ(ϕ t,n ) + 1 Γ g(t) + 2ɛ. n 99

This means that g(t) g(t + 1 ) g(t) + 2ɛ. n2 However, as g(t) is increasing, this is sufficient to show that g(t) is right continuous. The Hahn Extension Theorem gives a Borel measure µ such that µ((α, β]) = g(β) g(α). In particular, if a c b, then µ([a, c]) = µ((a 1, c]) = g(c). Let f C([a, b]) and let ɛ > 0. Let δ be such that if x y < δ and x, y [a, b], then f(x) f(y) < ɛ. Let P = {a = t 0, t 1,..., t m = b} be a partition with sup(t k t k 1 ) < δ 2. Then choose n large enough so that 2 n < inf(t k t k 1 ) and (*) g(t k ) Γ(ϕ t,n ) g(t k ) + ɛ m f. and Next, we let f 1 (x) = f(t 1 )ϕ t1,n + m f(t k )(ϕ tk,n ϕ tk 1,n) k=2 f 2 (x) = f(t 1 )χ [t0,t 1] + m f(t k )χ [tk 1,t k ]) Note that f 1 is continuous and piecewise linear. f 2 is a step function. It is also true that both f 1 and f 2 agree with f(x) at each point t k for k 1. Moreover, the function f 1 takes on values between f(t k 1 and f(t k ) on the interval [t k 1, t k ]. As such f 1 f ɛ and From this we conclude that We use (*) to see that for 2 k m k=2 sup{ f 2 (x) f(x) x [a, b]} ɛ. Γ(f) Γ(f 1 ) ɛ Γ. ɛ Γ(ϕ tk,n ϕ tk 1,n) (g(t k ) g(t k 1 )) m f Next, we apply Γ to f 1 and integrate f 2 with respect to µ to get Γ(f 1 ) f 2 dµ ɛ We also have that Therefore, Since ɛ is arbitrary, f 2 dµ f dµ ɛµ([a, b]). Γ(f) f dµ ɛ(2 Γ +µ([a, b]). Γ(f) = for each f C[a, b]. Moreover, Γ = Γ(1) = µ ([a, b]). The general result follows from the previous theorem. f dµ 100

6.4 Riesz Representation Theorem for C(Ω) In this section we will briefly discuss how to extend the Riesz Representation to C(Ω) when (Ω, d) is a compact metric space. In fact we can state this extension in greater generality: Theorem 6.4.1. [Riesz Representation Theorem for C(Ω)] Let (Ω, τ) be a compact Hausdorff space. Let Γ C(Ω). Then there exists a unique finite regular signed measure µ on the Borel subsets of Ω such that Γ(f) = f dµ for each f C(Ω). Moreover, Γ = µ (Ω). Ω Remark 6.4.2. Let µ Meas(Ω, B(Ω)). If Γ µ is defined by Γ µ (f) = f dµ for each f C(Ω), then Γ µ C(Ω) and Ω ( ) Γ µ = µ (Ω) = µ meas. Problem 6.4.3. For the converse how do we construct the measure µ? Sketch: We will sketch a solution in the special case where (Ω, d) is a compact metric space. By the Jordan Decomposition Theorem, we may again assume that Γ is positive. Key Observation: Let K Ω be compact. Assume that {ϕ n } is a sequence of continuous functions such that 0 ϕ n+1 (t) ϕ n (t) 1 for every t Ω with pointwise. Then Ω lim ϕ n = χ K lim Γ(ϕ n) exists. Moreover, if µ is a measure satisfying ( ), then the Lebesgue Dominated Convergence Theorem shows that µ(k) = χ K dµ = lim ϕ n dµ = lim Γ(ϕ n). From here, let K be compact. For each n N let and let F n = Ω \ U n. Then define ϕ n (x) = U n = x K Ω B(x, 1 n ) dist(x, F n ) dist(x, F n ) + dist(x, K) where dist(x, A) = inf{d(x, y) y A}.Then ϕ n (x) = 1 if x K and ϕ n (x) = 0 if x F n. Hence ϕ n χ K pointwise. Moreover since {dist(x, F n )} is decreasing, we get 0 ϕ n+1 (t) ϕ n (t) 1. 101