6.1. Examples of Dual Spaces 1 Chapter 6. Duality 6.1. Examples of Dual Spaces Note. Recall that the dual space of a normed linear space X is the space of all bounded linear functionals from X to the scalar field F, originally denoted B(X, F), but more often denoted X. In this section we find the duals of the l p spaces for 1 p < and L p for 1 p <. Our lack of background in Lebesgue measure and integration does not allow us to give totally rigorous proofs for some of these results. In the following result, the verb is means that there is a surjective isometry between the two relevant spaces. Theorem 6.1. (a) The dual of c (the space of all sequences which converge to, with the sup norm) is l 1. (b) The dual of l 1 is l. (c) The dual of l p for 1 < p < is l q where 1 p + 1 q = 1. Note. Our text is a little unclear (in my opinion) on some of the details of the proof of Theorem 6.1. Therefore, we present a proof that follows the technique of Reed and Simon s Functional Analysis (see pages 73 and 74), but use the notation of Promislow.
6.1. Examples of Dual Spaces 2 Proof of Theorem 6.1(a). The dual of c is l 1. (1) Let f = (f(1),f(2),...) c and let g = (g(1),g(2),...) l 1. Then we claim the mapping φ g (f) = f(k)g(k) is a bounded linear functional on c. By Hölder s Inequality for l p (1 p < ) we have (since c l, we use the sup norm on c ) f(k)g(k) g 1 f () so the series converges absolutely and for f 1,f 2 c we have φ g (f 1 + f 2 ) = (f 1 + f 2 )(k)g(k) = (f 1 (k) + f 2 (k))g(k) = f 1 (k)g(k) + and for any α F, we have φ g (αf) = (αf)(k)g(k) = f 2 (k)g(k) = φ g (f 1 ) + φ g (f 2 ) αf(k)g(k) = α f(k)g(k) = αφ g (f). So φ g : c F is linear. From (), φ g (f) = f(k)g(k) f(k)g(k) g 1 f, so φ g = sup{ φ g (f) f c, f = 1} g 1 <, so φ g is a bounded linear functional. (2) Now we show that all bounded linear functionals are of the form φ g for some g l 1. Let φ be a bounded linear functional on c. Define δ i c as the sequence with ith entry 1 and all other entries. For each k N, define g(k) = φ(δ k ) and define g(k) /g(k) if g(k) h(k) = if g(k) =.
6.1. Examples of Dual Spaces 3 For fixed N N, let h N = and h N = 1. Then h(k)δ k (recall δ k c and h(k) F). Then h N c ( N ) φ(h N ) = φ h(k)δ k = = h(k)φ(δ k ) = = φ(h(k)δ k ) h(k)g(k) since g(k) = φ(δ k ) g(k) by definition of h(k). Now φ(h N ) h N φ c by the definition of operator norm in c. So g(k) = φ(δ k ) by definition of g(k) φ c o since h N = 1. Now the right hand side depends only on φ and N N on the left had side is arbitrary. So and g l 1. g(k) = φ(δ k ) φ c o, () (3) Now we want to show that φ given as an element of c is the same as φ g given in Part (1) of the proof where g is defined in Part (2). By definition, for any f c (the subset of c of all sequences with only a finite number of nonzero entries), φ(f) = φ g (f). By Example 2.18, c is a dense subset of c. Since φ is
6.1. Examples of Dual Spaces 4 continuous (it is bounded by definition; apply Theorem 2.6) and φ g is continuous (it is bounded by g 1 as shown above; apply Theorem 2.6) and φ = φ g on dense subset c in c, then φ = φ g on c. Therefore, for any φ c, there is g l 1 such that φ = φ g. This shows that the mapping g φ g is surjective (onto). (4) To see that g φ g is an isometry, we have that φ g c g 1 from Part (1) (it follows from Hölder s Inequality) and g 1 φ g c by () of Part (2). Therefore g 1 = φ g c is an isometry. So there is a surjective isometry from l 1 to c and so the dual of c is l 1. Theorem 6.2. If X is separable, then X is separable. Note. The text now discusses signed measures, σ-finite measures, absolutely continuous measures, and the Radon-Nikodym Theorem. We skip these topics here. For a thorough, detailed exploration of these topics, take our Real Analysis 2 class (MATH 522). These topics are covered in Royden and Fitzpatrick s Real Anlaysis 4th Edition, Chapters 17 and 18. I have online notes of these topics at: http://faculty.etsu.edu/gardnerr/521/notes3.htm Note. We paraphrase a result in the text and take the statement of the result from Royden and Fitzpatrick. For a thorough proof, see Chapter 8 of their Real Analysis (page 16) for the result as stated below. For a statement in the more general setting of σ-finite measure spaces (as Promislow gives) see their Chapter 19.
6.1. Examples of Dual Spaces 5 Theorem 6.3. The Riesz Representation Theorem for the Dual of L p (E). Let E be a measurable set of real numbers, let 1 p <, let q satisfy 1 p + 1 q = 1. For each g L q (E), define the bounded linear functional R g on L p (E) by R g (f) = gf for all f L p (E). E Then for each bounded linear functional T on L p (E), there is a unique function g L q (E) for which R g = T and T = g q. Note. To simplify the statement of Theorem 6.3, we can say: The dual space of L p is L q where 1 p + 1 q = 1 and 1 p <. Revised: 5/2/215