Let g be an integrable functions on [0,1] and with . Suppose that there is a constant such that for all bounded measurable functions . Prove that and .

any help is appreciated please.

Printable View

- Dec 26th 2009, 04:22 PMGTOBounded linear functions on Lp spaces
Let g be an integrable functions on [0,1] and with . Suppose that there is a constant such that for all bounded measurable functions . Prove that and .

any help is appreciated please. - Dec 27th 2009, 11:10 AMOpalg
Here's the classic proof as given in Dunford and Schwartz. First, we may assume that . Reason: let (with if ). In other words, is the complex number of absolute value 1 such that . Replace by , which has the same norm as in any of the spaces, and is always real and non-negative. We can then assume that

Now comes the clever part. It follows by putting in (*) that . Also, , with . Therefore, putting in (*), we get .

Now let . We have shown that , with . So , and we can repeat the argument in the previous paragraph to get . Thus , with .

Continue in that way to see that for n=1,2,3,... . But . By Fatou's lemma, we can let and get , from which with .