5
$\begingroup$

A surprising (to me) consequence of Hahn-Banach is that when a sequence converges weakly then there is another sequence made of (finite) convex combination which converges in norm (to the same element).

In particular, this has a consequence in the context of $\ell^p$ spaces (the space of $p$-summable sequences, with $1 < p < \infty$). Assume there is a sequence of elements $\lbrace x_n \rbrace$ (with $x_n \in \ell^r$ for all $n$ and $1 < r < p$) which converges weakly (in the sense of $\ell^p$) to an element $x \in \ell^r$. Under the extra hypothesis that $\|x_n\|_{\ell^r} \leq K$ (for some $K \in \mathbb{R}$), the above theorem implies that there will be another sequence (given by finite convex combinations) which converges in $\ell^r$.

$\textbf{Question:}$ Suppose a sequence $\lbrace y_n \rbrace$ converges in $\ell^p$ norm to $y$, where $y_n$ and $y \in \ell^r$ (again with $1 < r < p < \infty$). Let $Y = \overline{ \textrm{Span} \lbrace y_n \rbrace }^{\ell^r}$ be the closure of the space generated by the $y_n$s in $\ell^r$. Does $y \in Y$? Since this is probably false (but I would be happy with a counter-example), are there conditions (weaker than boundedness of the sequence) which may allow to reach the same conclusion?

$\endgroup$

1 Answer 1

7
$\begingroup$

No. In $\ell_r \oplus_r \ell_r$ let $y_n = (z_n, x_n)$ where $x_n$ are disjoint, $\|x_n\|_r=4^n$, $\|x_n\|_p \to 0$, $\|z_n\|_r = 1$, and $\|z_n-y\|_r \to 0$ for some non zero $y$.

$\endgroup$
1
  • 1
    $\begingroup$ Where did this question come up? $\endgroup$ Feb 23, 2012 at 20:18

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.