MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
up vote 6 down vote accepted

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$.

share|cite|improve this answer
Where did this question come up? – Bill Johnson Feb 23 '12 at 20:18

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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