Operator Norm Question











up vote
2
down vote

favorite












Suppose I am interested in operators $T:Xto Y$, with $X$ and $Y$ both separable Hilbert spaces. The operator norm of such $T$ can then be taken as
$$
|T| = sup_{|x|_Xleq 1}|Tx|_Y.
$$

Since the spaces are separable, there exists a sequence ${x_n}$ and ${y_m}$ dense in the unit balls of $X$ and $Y$. It would appear then, that we can write
$$
|T|=sup_{n}sup_m |(Tx_n,y_m)_Y| = sup_{m}sup_n |(Tx_n,y_m)_Y|.
$$

In the above, I am representing the $Y$ norm as
$$
|y|_Y = sup_{|tilde y|leq 1}|(y,tilde y)_Y|
$$



Is there anything wrong with this intuition?










share|cite|improve this question


























    up vote
    2
    down vote

    favorite












    Suppose I am interested in operators $T:Xto Y$, with $X$ and $Y$ both separable Hilbert spaces. The operator norm of such $T$ can then be taken as
    $$
    |T| = sup_{|x|_Xleq 1}|Tx|_Y.
    $$

    Since the spaces are separable, there exists a sequence ${x_n}$ and ${y_m}$ dense in the unit balls of $X$ and $Y$. It would appear then, that we can write
    $$
    |T|=sup_{n}sup_m |(Tx_n,y_m)_Y| = sup_{m}sup_n |(Tx_n,y_m)_Y|.
    $$

    In the above, I am representing the $Y$ norm as
    $$
    |y|_Y = sup_{|tilde y|leq 1}|(y,tilde y)_Y|
    $$



    Is there anything wrong with this intuition?










    share|cite|improve this question
























      up vote
      2
      down vote

      favorite









      up vote
      2
      down vote

      favorite











      Suppose I am interested in operators $T:Xto Y$, with $X$ and $Y$ both separable Hilbert spaces. The operator norm of such $T$ can then be taken as
      $$
      |T| = sup_{|x|_Xleq 1}|Tx|_Y.
      $$

      Since the spaces are separable, there exists a sequence ${x_n}$ and ${y_m}$ dense in the unit balls of $X$ and $Y$. It would appear then, that we can write
      $$
      |T|=sup_{n}sup_m |(Tx_n,y_m)_Y| = sup_{m}sup_n |(Tx_n,y_m)_Y|.
      $$

      In the above, I am representing the $Y$ norm as
      $$
      |y|_Y = sup_{|tilde y|leq 1}|(y,tilde y)_Y|
      $$



      Is there anything wrong with this intuition?










      share|cite|improve this question













      Suppose I am interested in operators $T:Xto Y$, with $X$ and $Y$ both separable Hilbert spaces. The operator norm of such $T$ can then be taken as
      $$
      |T| = sup_{|x|_Xleq 1}|Tx|_Y.
      $$

      Since the spaces are separable, there exists a sequence ${x_n}$ and ${y_m}$ dense in the unit balls of $X$ and $Y$. It would appear then, that we can write
      $$
      |T|=sup_{n}sup_m |(Tx_n,y_m)_Y| = sup_{m}sup_n |(Tx_n,y_m)_Y|.
      $$

      In the above, I am representing the $Y$ norm as
      $$
      |y|_Y = sup_{|tilde y|leq 1}|(y,tilde y)_Y|
      $$



      Is there anything wrong with this intuition?







      functional-analysis operator-theory






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked yesterday









      user2379888

      1746




      1746






















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          1
          down vote



          accepted










          Your equation
          $$
          |T|=sup_{n}sup_m |(Tx_n,y_m)_Y| = sup_{m}sup_n |(Tx_n,y_m)_Y|.
          $$

          is indeed correct.
          It works because the relevant norms are continuous and because of the density of the sequences in the unit balls.






          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%2f2995313%2foperator-norm-question%23new-answer', 'question_page');
            }
            );

            Post as a guest
































            1 Answer
            1






            active

            oldest

            votes








            1 Answer
            1






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes








            up vote
            1
            down vote



            accepted










            Your equation
            $$
            |T|=sup_{n}sup_m |(Tx_n,y_m)_Y| = sup_{m}sup_n |(Tx_n,y_m)_Y|.
            $$

            is indeed correct.
            It works because the relevant norms are continuous and because of the density of the sequences in the unit balls.






            share|cite|improve this answer

























              up vote
              1
              down vote



              accepted










              Your equation
              $$
              |T|=sup_{n}sup_m |(Tx_n,y_m)_Y| = sup_{m}sup_n |(Tx_n,y_m)_Y|.
              $$

              is indeed correct.
              It works because the relevant norms are continuous and because of the density of the sequences in the unit balls.






              share|cite|improve this answer























                up vote
                1
                down vote



                accepted







                up vote
                1
                down vote



                accepted






                Your equation
                $$
                |T|=sup_{n}sup_m |(Tx_n,y_m)_Y| = sup_{m}sup_n |(Tx_n,y_m)_Y|.
                $$

                is indeed correct.
                It works because the relevant norms are continuous and because of the density of the sequences in the unit balls.






                share|cite|improve this answer












                Your equation
                $$
                |T|=sup_{n}sup_m |(Tx_n,y_m)_Y| = sup_{m}sup_n |(Tx_n,y_m)_Y|.
                $$

                is indeed correct.
                It works because the relevant norms are continuous and because of the density of the sequences in the unit balls.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered yesterday









                supinf

                5,565926




                5,565926






























                     

                    draft saved


                    draft discarded



















































                     


                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function () {
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2995313%2foperator-norm-question%23new-answer', 'question_page');
                    }
                    );

                    Post as a guest




















































































                    Popular posts from this blog

                    How to change which sound is reproduced for terminal bell?

                    Title Spacing in Bjornstrup Chapter, Removing Chapter Number From Contents

                    Can I use Tabulator js library in my java Spring + Thymeleaf project?