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!