Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

I'm reading the book Topics in Banach Space Theory by Albiac F. Kalton N. J. I got stuck at the proof of the Pitt's theorem. enter image description here

In the second paragraphs authors tries to prove ad absurdum that for weakly nuul sequence $\lim\limits_{n\to\infty}\Vert T(x_n)\Vert=0$. They say that without loss of generality one may suppose that $\{x_n\}_{n=1}^\infty$ is a weakly null sequence with $\Vert x_n\Vert=1$ and $\Vert T(x_n)\Vert>\delta$ for all $n\in\mathbb{N}$. I think they normalized original sequence $\{x_n\}_{n=1}^\infty$ and claims that it is also weakly null.

Why is weakly null sequence remains weakly null after normalization?

Another place I got stuck is the place where authors claims that passing to subsequence in $\{T(x_n)\}_{n=1}^\infty$ gives subsequence equivalent to the natural basis of $\ell_p$. And they also assume that after passing to subsequence $\{x_n\}_{n=1}^\infty$ remains to be equivalent to natural basis of $\ell_p$.

Why is $\{x_n\}_{n=1}^\infty$ remains to be equivalent to natural basis of $\ell_p$?

Thank you.

share|cite|improve this question
up vote 5 down vote accepted
  1. We assume that $\{x_n\}$ doesn't converge strongly to $0$. We show, that each subsequence of $\{Tx_n\}$ has a convergent subsequence. So here, we can find a constant $C>0$ and $A$ infinite such that $\lVert x_n\rVert\geq C$ for all $n\in A$. Let $y_n:=\frac 1{\lVert x_n\rVert}x_n$ for $n\in A$. Then $\{y_n\}_{n\in A}$ converges weakly to $0$, as for $f\in (\ell^r)^*$ and $n\in A$, we have $$|f(y_n)|=|f(x_n)|\frac 1{\lVert y_n\rVert}\leq \frac{|f(x_n)|}C.$$

  2. By definition of equivalence $\{u_n\}$ and $\{v_n\}$ are equivalent if for all sequence $\{a_n\}$ of scalars, $\sum_{n=1}^{+\infty}a_nu_n$ is convergent if and only if so is $\sum_{n=1}^{+\infty}a_nv_n$. So $\{x_n\}_{n\in A}$ is equivalent to $\{e_n\}_{n\in A}$ (not to the whole sequence). But it's enough to conclude, as we would have boundedness from an infinite subspace of $\ell^r$ to $\ell^p$.

share|cite|improve this answer
That was really easy – Norbert Oct 21 '12 at 21:39
Well, not so easy, as such details are missing in the proof. – Davide Giraudo Oct 21 '12 at 21:49

I think that for your first question the answer is:

If $\|x_{n}\|\rightarrow 0$, then $x_{n}\rightarrow 0$ which implies that $T(x_n)\rightarrow 0$. So you can suppose that $\|x_{n}\|>\delta$ for some $\delta>0$. By hypothesis you have $$\langle y,x_{n}\rangle\rightarrow 0,\ \forall\ y\in X^{\star}$$

hence $$\Big|\Big\langle y,\frac{x_{n}}{\|x_{n}\|}\Big\rangle\Big|\leq \delta|\langle y,x_{n}\rangle|,\ \forall\ y\in X^{\star} $$

From the last inequality you can conclude that $\frac{x_{n}}{\|x_{n}\|}$ is an weakly null sequence.

share|cite|improve this answer
(+1) Thank you. – Norbert Oct 21 '12 at 21:40
It's true after having taken a subsequence of $\{x_n\}$ (otherwise take $x_{2k}=e_k$, $x_{2k+1}=0$. But that the idea. – Davide Giraudo Oct 21 '12 at 21:50
You are welcome. – Tomás Oct 21 '12 at 21:53
@DavideGiraudo, yes you are right, but im assuming that Norbert is aware of that. – Tomás Oct 21 '12 at 21:56
Of course I understand necessity of subsequences. – Norbert Oct 21 '12 at 22:05

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.