4
$\begingroup$

If a sequence ${f_i},f \in {L^p}([0,1]){\kern 1pt} {\kern 1pt} (1 < p < \infty )$ such that ${f_i}$ converges weakly to $f$ and ${\left\| {{f_i}} \right\|_p} \to {\left\| f \right\|_p}$, then is ${\left\| {{f_i} - f} \right\|_p} \to 0$ right?

  • 0
    I also heard the name "Kadec-Klee property" and another name which I forgot...2011-10-24

1 Answers 1

5

Assume WLOG that $\|f_i\| = \|f\| = 1$. Assume that we don't have convergence of $f_n$ to $f$ in norm. So by local uniform convexity we have a subsequence of $(f_n)$ still denoted by $f_n$ such that

$\left \|\frac{f_n + f}{2}\right \| < C < 1 \text{ for all $n$}.\tag{1}$

By Hahn-Banach there is a $\varphi \in L^q$ such that $\varphi(f) = 1$ and $\|\varphi\| = 1$.

For this $\varphi$ $(1)$ implies that $|\varphi(f_n) + 1| < 2C$, hence $f_n$ does not converge weakly to $f$.

  • 0
    Very cool application of uniform convexity and it occurs to me that in Adam's book he has given an elementary proof of Riesz representation theorem by the same methods.2011-10-25