Non-unitary isometries in $B(H)$ are far away from invertible elements

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
4
down vote

favorite
1












I am struggling with the second part of this problem:



Let $A$ be a unital Banach Algebra, and let $x$ and $y$ be elements in A such that that $xy=1_A$ and $yxneq1_A$.



(i) Let $z$ be an element in $A$, such that $|x-z|<frac1$. Show that $z$ is not invertible.



(ii) Let $H$ be an infinite dimensional Hilbert space. Let $Sin B(H)$ be a non-unitary isometry (i.e. $S^*S=I$ and $SS^* neq I$).
Show that $$1=|S|=textrmdist(S,G(B(H))),$$ where $G(B(H))$ is the subset of invertible elements in $B(H)$.



This is the progress, I have made: I have finished the proof of part (i) using the fact that if $|1_A-x|<1$, for some $xin A$, then $x$ is invertible . Further, it is easy to see that $|S|=|S^*|=1$. It therefore follows from part (i) that $textrmdist(S^*, G(B(H))geq 1$. Finally, it is evident that neither $S$ nor $S^*$ are invertible.



Any hints would be appreciated.







share|cite|improve this question

















  • 1




    I'm still trying to understand this myself, but it may help to know that you can show $textrmdist(S, G(B(H))geq 1$ using a statement analogous to(and just as easy to prove as) part (i).
    – Aweygan
    Feb 17 '17 at 20:17










  • @Aweygan. You are right about that. Thanks. Now we only need to show the other inequality sign.
    – Kimarokko
    Feb 17 '17 at 22:13










  • You're welcome. May I ask where this problem comes from? Is it an exercise from a book?
    – Aweygan
    Feb 17 '17 at 23:11






  • 1




    You are done, because $|S-A|=|S^*-A^*|$, and $A$ is invertible if and only if $A^*$ is, so $S$ and $S^*$ have the same distance from the invertible elements.
    – Christian Remling
    Feb 18 '17 at 0:43






  • 2




    @Kimarokko: I missed that part, but it's clear too: you already showed that the distance is $ge 1$, and it's $le 1$ because $|S|=1$ and $epsilon I$ is invertible for all $epsilonnot= 0$.
    – Christian Remling
    Feb 18 '17 at 17:40














up vote
4
down vote

favorite
1












I am struggling with the second part of this problem:



Let $A$ be a unital Banach Algebra, and let $x$ and $y$ be elements in A such that that $xy=1_A$ and $yxneq1_A$.



(i) Let $z$ be an element in $A$, such that $|x-z|<frac1$. Show that $z$ is not invertible.



(ii) Let $H$ be an infinite dimensional Hilbert space. Let $Sin B(H)$ be a non-unitary isometry (i.e. $S^*S=I$ and $SS^* neq I$).
Show that $$1=|S|=textrmdist(S,G(B(H))),$$ where $G(B(H))$ is the subset of invertible elements in $B(H)$.



This is the progress, I have made: I have finished the proof of part (i) using the fact that if $|1_A-x|<1$, for some $xin A$, then $x$ is invertible . Further, it is easy to see that $|S|=|S^*|=1$. It therefore follows from part (i) that $textrmdist(S^*, G(B(H))geq 1$. Finally, it is evident that neither $S$ nor $S^*$ are invertible.



Any hints would be appreciated.







share|cite|improve this question

















  • 1




    I'm still trying to understand this myself, but it may help to know that you can show $textrmdist(S, G(B(H))geq 1$ using a statement analogous to(and just as easy to prove as) part (i).
    – Aweygan
    Feb 17 '17 at 20:17










  • @Aweygan. You are right about that. Thanks. Now we only need to show the other inequality sign.
    – Kimarokko
    Feb 17 '17 at 22:13










  • You're welcome. May I ask where this problem comes from? Is it an exercise from a book?
    – Aweygan
    Feb 17 '17 at 23:11






  • 1




    You are done, because $|S-A|=|S^*-A^*|$, and $A$ is invertible if and only if $A^*$ is, so $S$ and $S^*$ have the same distance from the invertible elements.
    – Christian Remling
    Feb 18 '17 at 0:43






  • 2




    @Kimarokko: I missed that part, but it's clear too: you already showed that the distance is $ge 1$, and it's $le 1$ because $|S|=1$ and $epsilon I$ is invertible for all $epsilonnot= 0$.
    – Christian Remling
    Feb 18 '17 at 17:40












up vote
4
down vote

favorite
1









up vote
4
down vote

favorite
1






1





I am struggling with the second part of this problem:



Let $A$ be a unital Banach Algebra, and let $x$ and $y$ be elements in A such that that $xy=1_A$ and $yxneq1_A$.



(i) Let $z$ be an element in $A$, such that $|x-z|<frac1$. Show that $z$ is not invertible.



(ii) Let $H$ be an infinite dimensional Hilbert space. Let $Sin B(H)$ be a non-unitary isometry (i.e. $S^*S=I$ and $SS^* neq I$).
Show that $$1=|S|=textrmdist(S,G(B(H))),$$ where $G(B(H))$ is the subset of invertible elements in $B(H)$.



This is the progress, I have made: I have finished the proof of part (i) using the fact that if $|1_A-x|<1$, for some $xin A$, then $x$ is invertible . Further, it is easy to see that $|S|=|S^*|=1$. It therefore follows from part (i) that $textrmdist(S^*, G(B(H))geq 1$. Finally, it is evident that neither $S$ nor $S^*$ are invertible.



Any hints would be appreciated.







share|cite|improve this question













I am struggling with the second part of this problem:



Let $A$ be a unital Banach Algebra, and let $x$ and $y$ be elements in A such that that $xy=1_A$ and $yxneq1_A$.



(i) Let $z$ be an element in $A$, such that $|x-z|<frac1$. Show that $z$ is not invertible.



(ii) Let $H$ be an infinite dimensional Hilbert space. Let $Sin B(H)$ be a non-unitary isometry (i.e. $S^*S=I$ and $SS^* neq I$).
Show that $$1=|S|=textrmdist(S,G(B(H))),$$ where $G(B(H))$ is the subset of invertible elements in $B(H)$.



This is the progress, I have made: I have finished the proof of part (i) using the fact that if $|1_A-x|<1$, for some $xin A$, then $x$ is invertible . Further, it is easy to see that $|S|=|S^*|=1$. It therefore follows from part (i) that $textrmdist(S^*, G(B(H))geq 1$. Finally, it is evident that neither $S$ nor $S^*$ are invertible.



Any hints would be appreciated.









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Feb 17 '17 at 16:01
























asked Feb 17 '17 at 11:16









Kimarokko

1088




1088







  • 1




    I'm still trying to understand this myself, but it may help to know that you can show $textrmdist(S, G(B(H))geq 1$ using a statement analogous to(and just as easy to prove as) part (i).
    – Aweygan
    Feb 17 '17 at 20:17










  • @Aweygan. You are right about that. Thanks. Now we only need to show the other inequality sign.
    – Kimarokko
    Feb 17 '17 at 22:13










  • You're welcome. May I ask where this problem comes from? Is it an exercise from a book?
    – Aweygan
    Feb 17 '17 at 23:11






  • 1




    You are done, because $|S-A|=|S^*-A^*|$, and $A$ is invertible if and only if $A^*$ is, so $S$ and $S^*$ have the same distance from the invertible elements.
    – Christian Remling
    Feb 18 '17 at 0:43






  • 2




    @Kimarokko: I missed that part, but it's clear too: you already showed that the distance is $ge 1$, and it's $le 1$ because $|S|=1$ and $epsilon I$ is invertible for all $epsilonnot= 0$.
    – Christian Remling
    Feb 18 '17 at 17:40












  • 1




    I'm still trying to understand this myself, but it may help to know that you can show $textrmdist(S, G(B(H))geq 1$ using a statement analogous to(and just as easy to prove as) part (i).
    – Aweygan
    Feb 17 '17 at 20:17










  • @Aweygan. You are right about that. Thanks. Now we only need to show the other inequality sign.
    – Kimarokko
    Feb 17 '17 at 22:13










  • You're welcome. May I ask where this problem comes from? Is it an exercise from a book?
    – Aweygan
    Feb 17 '17 at 23:11






  • 1




    You are done, because $|S-A|=|S^*-A^*|$, and $A$ is invertible if and only if $A^*$ is, so $S$ and $S^*$ have the same distance from the invertible elements.
    – Christian Remling
    Feb 18 '17 at 0:43






  • 2




    @Kimarokko: I missed that part, but it's clear too: you already showed that the distance is $ge 1$, and it's $le 1$ because $|S|=1$ and $epsilon I$ is invertible for all $epsilonnot= 0$.
    – Christian Remling
    Feb 18 '17 at 17:40







1




1




I'm still trying to understand this myself, but it may help to know that you can show $textrmdist(S, G(B(H))geq 1$ using a statement analogous to(and just as easy to prove as) part (i).
– Aweygan
Feb 17 '17 at 20:17




I'm still trying to understand this myself, but it may help to know that you can show $textrmdist(S, G(B(H))geq 1$ using a statement analogous to(and just as easy to prove as) part (i).
– Aweygan
Feb 17 '17 at 20:17












@Aweygan. You are right about that. Thanks. Now we only need to show the other inequality sign.
– Kimarokko
Feb 17 '17 at 22:13




@Aweygan. You are right about that. Thanks. Now we only need to show the other inequality sign.
– Kimarokko
Feb 17 '17 at 22:13












You're welcome. May I ask where this problem comes from? Is it an exercise from a book?
– Aweygan
Feb 17 '17 at 23:11




You're welcome. May I ask where this problem comes from? Is it an exercise from a book?
– Aweygan
Feb 17 '17 at 23:11




1




1




You are done, because $|S-A|=|S^*-A^*|$, and $A$ is invertible if and only if $A^*$ is, so $S$ and $S^*$ have the same distance from the invertible elements.
– Christian Remling
Feb 18 '17 at 0:43




You are done, because $|S-A|=|S^*-A^*|$, and $A$ is invertible if and only if $A^*$ is, so $S$ and $S^*$ have the same distance from the invertible elements.
– Christian Remling
Feb 18 '17 at 0:43




2




2




@Kimarokko: I missed that part, but it's clear too: you already showed that the distance is $ge 1$, and it's $le 1$ because $|S|=1$ and $epsilon I$ is invertible for all $epsilonnot= 0$.
– Christian Remling
Feb 18 '17 at 17:40




@Kimarokko: I missed that part, but it's clear too: you already showed that the distance is $ge 1$, and it's $le 1$ because $|S|=1$ and $epsilon I$ is invertible for all $epsilonnot= 0$.
– Christian Remling
Feb 18 '17 at 17:40










1 Answer
1






active

oldest

votes

















up vote
2
down vote













We have $|varepsilon I-S|geq1$, since $|I-S|<1$ would imply that $S$ is invertible. So $$1=|S|leq|varepsilon I-S|leq |S|+varepsilon$$ for all $varepsilon>0$. Thus $textdist,(S^*,G(B(H)))leq1+varepsilon$ for all $varepsilon >0$, and thus
$$tag1
textdist,(S,G(B(H)))leq1.
$$
On the other hand, using $(i)$ we have that if $T$ is invertible, then
$$tag2
|S-T|geqfrac1S=1.
$$
Combining $(1)$ and $(2)$, we get $$textdist,(S,G(B(H)))=1.$$






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: false,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    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%2f2148625%2fnon-unitary-isometries-in-bh-are-far-away-from-invertible-elements%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
    2
    down vote













    We have $|varepsilon I-S|geq1$, since $|I-S|<1$ would imply that $S$ is invertible. So $$1=|S|leq|varepsilon I-S|leq |S|+varepsilon$$ for all $varepsilon>0$. Thus $textdist,(S^*,G(B(H)))leq1+varepsilon$ for all $varepsilon >0$, and thus
    $$tag1
    textdist,(S,G(B(H)))leq1.
    $$
    On the other hand, using $(i)$ we have that if $T$ is invertible, then
    $$tag2
    |S-T|geqfrac1S=1.
    $$
    Combining $(1)$ and $(2)$, we get $$textdist,(S,G(B(H)))=1.$$






    share|cite|improve this answer



























      up vote
      2
      down vote













      We have $|varepsilon I-S|geq1$, since $|I-S|<1$ would imply that $S$ is invertible. So $$1=|S|leq|varepsilon I-S|leq |S|+varepsilon$$ for all $varepsilon>0$. Thus $textdist,(S^*,G(B(H)))leq1+varepsilon$ for all $varepsilon >0$, and thus
      $$tag1
      textdist,(S,G(B(H)))leq1.
      $$
      On the other hand, using $(i)$ we have that if $T$ is invertible, then
      $$tag2
      |S-T|geqfrac1S=1.
      $$
      Combining $(1)$ and $(2)$, we get $$textdist,(S,G(B(H)))=1.$$






      share|cite|improve this answer

























        up vote
        2
        down vote










        up vote
        2
        down vote









        We have $|varepsilon I-S|geq1$, since $|I-S|<1$ would imply that $S$ is invertible. So $$1=|S|leq|varepsilon I-S|leq |S|+varepsilon$$ for all $varepsilon>0$. Thus $textdist,(S^*,G(B(H)))leq1+varepsilon$ for all $varepsilon >0$, and thus
        $$tag1
        textdist,(S,G(B(H)))leq1.
        $$
        On the other hand, using $(i)$ we have that if $T$ is invertible, then
        $$tag2
        |S-T|geqfrac1S=1.
        $$
        Combining $(1)$ and $(2)$, we get $$textdist,(S,G(B(H)))=1.$$






        share|cite|improve this answer















        We have $|varepsilon I-S|geq1$, since $|I-S|<1$ would imply that $S$ is invertible. So $$1=|S|leq|varepsilon I-S|leq |S|+varepsilon$$ for all $varepsilon>0$. Thus $textdist,(S^*,G(B(H)))leq1+varepsilon$ for all $varepsilon >0$, and thus
        $$tag1
        textdist,(S,G(B(H)))leq1.
        $$
        On the other hand, using $(i)$ we have that if $T$ is invertible, then
        $$tag2
        |S-T|geqfrac1S=1.
        $$
        Combining $(1)$ and $(2)$, we get $$textdist,(S,G(B(H)))=1.$$







        share|cite|improve this answer















        share|cite|improve this answer



        share|cite|improve this answer








        edited Aug 7 at 17:09


























        answered Feb 24 '17 at 1:33









        Martin Argerami

        116k1071164




        116k1071164






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2148625%2fnon-unitary-isometries-in-bh-are-far-away-from-invertible-elements%23new-answer', 'question_page');

            );

            Post as a guest













































































            這個網誌中的熱門文章

            tkz-euclide: tkzDrawCircle[R] not working

            How to combine Bézier curves to a surface?

            1st Magritte Awards