Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $1\le p< \infty$. Show that a sequence $t_k = ({t_{kj}})_{j=1}^{\infty}\in l^p$ converges weakly to 0 iff $||t_k||_p$ is bounded and $\lim_k t_{kj}=0$. I proved that if $t_k$ converges weakly to 0 then we conclude that. I want to prove the reciprocal.

Let's assume that $1<p<\infty$ If I assume that $(t_k)$ it's weakly cauchy I can prove that it's weakly convergento to 0, but I don't know how to prove that. Under that assumption I used the reflexivity of the space $l^p$ ($l^1$ is not reflexive)

If $p=1$ since $l^1$ is not reflexive my arguments are not valid here. I don't really now if the result it's also true here. Please help me!

share|improve this question

1 Answer 1

up vote 1 down vote accepted

You can find a proof of more general result here.

Appply that theorem to the case $p\in(1,+\infty)$ with $S=\{f_j\in (\ell_p)^*:j\in\mathbb{N}\}$, where $$ f_j:\ell_p\to\mathbb{K}: t\mapsto t_j $$

For $p=1$ see this answer, where it was proved that weak convergence is equivalent to strong convergence. It is remains to note that every strongly convergent sequence is bonded and pointwise convergent.

share|improve this answer
    
Thanks Norbert for the complete answer! But I have one question! why the span of the projections are dense? –  Shanks Oct 17 '13 at 5:14
    
span of projections is the space of finitely supported vectors usually denoted by $c_{00}$. It is dense in $\ell_p$ by the following argument. For a given $\varepsilon$ and $t\in\ell_p$ there exists $N\in\mathbb{N}$ such that $\sum_{j=N+1}^\infty|t_j|^p<\varepsilon^p$. Then consider $y\in c_{00}$ such that $y_j=t_j$ for $j=1,\ldots,N$ and $y_j=0$ otherwise. Then $\Vert t- y\Vert_p<\varepsilon$. –  no identity Oct 17 '13 at 6:19
    
You are right, thanks! –  Shanks Oct 17 '13 at 6:32
    
But note that for the case $p=1$ the dual of $l^1$ is $l^{\infty}$ and here $c_{00}$ is not dense on $l^{\infty}$ so the span of the projections are not dense on $(l^1)'$ –  Shanks Oct 17 '13 at 7:26
    
@Shanks, you are right. See edits to my answer. –  no identity Oct 17 '13 at 9:06

Your Answer

 
discard

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.