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










share|cite|improve this question




























    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










    share|cite|improve this question


























      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










      share|cite|improve this question















      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






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Nov 13 at 9:31









      Davide Giraudo

      123k16149253




      123k16149253










      asked Nov 12 at 22:15









      QD666

      1116




      1116






















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






          share|cite|improve this answer





















            Your Answer





            StackExchange.ifUsing("editor", function () {
            return StackExchange.using("mathjaxEditing", function () {
            StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
            StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
            });
            });
            }, "mathjax-editing");

            StackExchange.ready(function() {
            var channelOptions = {
            tags: "".split(" "),
            id: "69"
            };
            initTagRenderer("".split(" "), "".split(" "), channelOptions);

            StackExchange.using("externalEditor", function() {
            // Have to fire editor after snippets, if snippets enabled
            if (StackExchange.settings.snippets.snippetsEnabled) {
            StackExchange.using("snippets", function() {
            createEditor();
            });
            }
            else {
            createEditor();
            }
            });

            function createEditor() {
            StackExchange.prepareEditor({
            heartbeatType: 'answer',
            convertImagesToLinks: true,
            noModals: true,
            showLowRepImageUploadWarning: true,
            reputationToPostImages: 10,
            bindNavPrevention: true,
            postfix: "",
            imageUploader: {
            brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
            contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
            allowUrls: true
            },
            noCode: true, onDemand: true,
            discardSelector: ".discard-answer"
            ,immediatelyShowMarkdownHelp:true
            });


            }
            });














             

            draft saved


            draft discarded


















            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

























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






            share|cite|improve this answer

























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






              share|cite|improve this answer























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






                share|cite|improve this answer












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







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Nov 12 at 22:55









                Davide Giraudo

                123k16149253




                123k16149253






























                     

                    draft saved


                    draft discarded



















































                     


                    draft saved


                    draft discarded














                    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





















































                    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







                    Popular posts from this blog

                    How do I know what Microsoft account the skydrive app is syncing to?

                    When does type information flow backwards in C++?

                    Grease: Live!