Compact operators on $ell^1$
up vote
2
down vote
favorite
Let $Tin ell^1$, $Tx = (lambda_1x_1,dots,lambda_nx_n,dots)$. Want to show that if $T$ is compact, then $lambda_nto0$.
I know for $pin(1,infty]$, canonical basis $e_n rightharpoonup 0$ (so $T(e_n)rightharpoonup 0$), and $T(e_n)in overline{T(B(0,1))}$, which is compact, so we can get $T(e_n)to 0$, and $lambda_nto 0$.
But what should I do with this problem when $p=1$, there is no weak convergence to $0$. Can someone help me with this? Thanks
functional-analysis operator-theory lp-spaces compact-operators
add a comment |
up vote
2
down vote
favorite
Let $Tin ell^1$, $Tx = (lambda_1x_1,dots,lambda_nx_n,dots)$. Want to show that if $T$ is compact, then $lambda_nto0$.
I know for $pin(1,infty]$, canonical basis $e_n rightharpoonup 0$ (so $T(e_n)rightharpoonup 0$), and $T(e_n)in overline{T(B(0,1))}$, which is compact, so we can get $T(e_n)to 0$, and $lambda_nto 0$.
But what should I do with this problem when $p=1$, there is no weak convergence to $0$. Can someone help me with this? Thanks
functional-analysis operator-theory lp-spaces compact-operators
add a comment |
up vote
2
down vote
favorite
up vote
2
down vote
favorite
Let $Tin ell^1$, $Tx = (lambda_1x_1,dots,lambda_nx_n,dots)$. Want to show that if $T$ is compact, then $lambda_nto0$.
I know for $pin(1,infty]$, canonical basis $e_n rightharpoonup 0$ (so $T(e_n)rightharpoonup 0$), and $T(e_n)in overline{T(B(0,1))}$, which is compact, so we can get $T(e_n)to 0$, and $lambda_nto 0$.
But what should I do with this problem when $p=1$, there is no weak convergence to $0$. Can someone help me with this? Thanks
functional-analysis operator-theory lp-spaces compact-operators
Let $Tin ell^1$, $Tx = (lambda_1x_1,dots,lambda_nx_n,dots)$. Want to show that if $T$ is compact, then $lambda_nto0$.
I know for $pin(1,infty]$, canonical basis $e_n rightharpoonup 0$ (so $T(e_n)rightharpoonup 0$), and $T(e_n)in overline{T(B(0,1))}$, which is compact, so we can get $T(e_n)to 0$, and $lambda_nto 0$.
But what should I do with this problem when $p=1$, there is no weak convergence to $0$. Can someone help me with this? Thanks
functional-analysis operator-theory lp-spaces compact-operators
functional-analysis operator-theory lp-spaces compact-operators
edited Nov 13 at 9:31
Davide Giraudo
123k16149253
123k16149253
asked Nov 12 at 22:15
QD666
1116
1116
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
up vote
2
down vote
Suppose that $Tcolonell^1 to ell^1$ is compact. Then the sequence $left(Te_nright)_{ngeqslant 1}$ admits a subsequence $left(Te_{n_k}right)_{kgeqslant 1}$ which converges to some $v$ (strongly) in $ell^1$. Look at $leftlVert Te_{n_{k+1}}-Te_{n_k}rightrVert_1$ to conclude that $lambda_{n_k}to 0$.
Now apply the previous result to $left(Te_{N_j}right)_{jgeqslant 1}$ for a fixed sequence $N_juparrow infty$ instead of $left(Te_nright)_{ngeqslant 1}$ to see that each subsequence of $left(lambda_nright)_{ngeqslant 1}$ admit a further subsequence with converges to $0$.
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
Suppose that $Tcolonell^1 to ell^1$ is compact. Then the sequence $left(Te_nright)_{ngeqslant 1}$ admits a subsequence $left(Te_{n_k}right)_{kgeqslant 1}$ which converges to some $v$ (strongly) in $ell^1$. Look at $leftlVert Te_{n_{k+1}}-Te_{n_k}rightrVert_1$ to conclude that $lambda_{n_k}to 0$.
Now apply the previous result to $left(Te_{N_j}right)_{jgeqslant 1}$ for a fixed sequence $N_juparrow infty$ instead of $left(Te_nright)_{ngeqslant 1}$ to see that each subsequence of $left(lambda_nright)_{ngeqslant 1}$ admit a further subsequence with converges to $0$.
add a comment |
up vote
2
down vote
Suppose that $Tcolonell^1 to ell^1$ is compact. Then the sequence $left(Te_nright)_{ngeqslant 1}$ admits a subsequence $left(Te_{n_k}right)_{kgeqslant 1}$ which converges to some $v$ (strongly) in $ell^1$. Look at $leftlVert Te_{n_{k+1}}-Te_{n_k}rightrVert_1$ to conclude that $lambda_{n_k}to 0$.
Now apply the previous result to $left(Te_{N_j}right)_{jgeqslant 1}$ for a fixed sequence $N_juparrow infty$ instead of $left(Te_nright)_{ngeqslant 1}$ to see that each subsequence of $left(lambda_nright)_{ngeqslant 1}$ admit a further subsequence with converges to $0$.
add a comment |
up vote
2
down vote
up vote
2
down vote
Suppose that $Tcolonell^1 to ell^1$ is compact. Then the sequence $left(Te_nright)_{ngeqslant 1}$ admits a subsequence $left(Te_{n_k}right)_{kgeqslant 1}$ which converges to some $v$ (strongly) in $ell^1$. Look at $leftlVert Te_{n_{k+1}}-Te_{n_k}rightrVert_1$ to conclude that $lambda_{n_k}to 0$.
Now apply the previous result to $left(Te_{N_j}right)_{jgeqslant 1}$ for a fixed sequence $N_juparrow infty$ instead of $left(Te_nright)_{ngeqslant 1}$ to see that each subsequence of $left(lambda_nright)_{ngeqslant 1}$ admit a further subsequence with converges to $0$.
Suppose that $Tcolonell^1 to ell^1$ is compact. Then the sequence $left(Te_nright)_{ngeqslant 1}$ admits a subsequence $left(Te_{n_k}right)_{kgeqslant 1}$ which converges to some $v$ (strongly) in $ell^1$. Look at $leftlVert Te_{n_{k+1}}-Te_{n_k}rightrVert_1$ to conclude that $lambda_{n_k}to 0$.
Now apply the previous result to $left(Te_{N_j}right)_{jgeqslant 1}$ for a fixed sequence $N_juparrow infty$ instead of $left(Te_nright)_{ngeqslant 1}$ to see that each subsequence of $left(lambda_nright)_{ngeqslant 1}$ admit a further subsequence with converges to $0$.
answered Nov 12 at 22:55
Davide Giraudo
123k16149253
123k16149253
add a comment |
add a comment |
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2995972%2fcompact-operators-on-ell1%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown