4
$\begingroup$

This is an exercise problem from a course in functional analysis. However, it is not a homework problem. I think I got it figured out, however my teacher said something during the lecture that I didn't understand, and was lagging behind with taking notes, so I thought I'd think about it at home rather than ask during lecture. Now I can't make sense out of what she said, and I'd rather not wait until the next lecture to ask her. Here's where you guys come in :)

Exercise:

Show that there exists a non-zero linear functional $F \in (L^\infty[a, b])^\ast$ such that for any $f \in C[a, b]$, $F(f) = f((a + b)/2)$

My Solution:

In $L^\infty[a, b]$ we identify all functions that are equal almost everywhere. In each such equivalence class there exist a continuous function and we let that function represent the equivalence class. Therefore we can conclude that $C[a,b] \subseteq L^\infty[a, b]$.

Note that $\| \cdot \|_\infty$ is a norm on $L^\infty[a, b]$ (Hahn-Banach requires only semi-norm). Now define $F(f) = f((a + b)/2)$ on C[a,b]. This is linear and bounded functional,

$F(\lambda f + \mu g) = (\lambda f + \mu g)\left(\frac{a + b}{2}\right) = \lambda f\left(\frac{a + b}{2}\right) + \mu g\left(\frac{a + b}{2}\right) = \lambda F(f) + \mu F(g)$

$|F(f)| = \left| f\left(\frac{a + b}{2}\right) \right| \leq \| f \|_\infty $

By Hahn-Banach Theorem we can extend $F$ to $L^\infty[a, b]$ with the same norm such that $F(f) \leq \| f \|_\infty$, $\forall f \in L^\infty[a, b]$. Hence $F \in (L^\infty[a, b])^\ast$

Is this a complete solution? My teacher pointed something out, that I couldn't really grasp because I was behind on taking notes. But this is what she said basically:

Teacher's comment:

You can try to show that this $F$ does not come from $f \in L^1[a, b]$ i.e. $F \neq \phi_f$ where $ \phi_f(g) = \int_a^b fg dx.$ Does this make any sense? Why is this relevant? I can't see how, but at the same time I am afraid of missing some detail here.

Thank you very much in advance!

  • 0
    Yes, you are right. I was thinking too fast! Thanks!2012-11-27

1 Answers 1

4

Your proof is correct.

The aim of your teacher is to point out that $L_\infty[a,b]$ is not reflexive. Speaking informally this means that you can not describe all linear functionals in $L_\infty[a,b]^*\cong L_1[a,b]^{**}$. Though every element of $L_1[a,b]$ gives rise in a natural way to some element of $L_\infty[a,b]^*$ they are not enough to describe the whole $L_\infty[a,b]^*$.

P.S. It is known, though, that $L_\infty[a,b]^*$ is isometrically isomorphic to the space of finitely additive bounded measures on $[a, b]$.