Inverse of continuous bijective linear operator is continuous.












1












$begingroup$



If $T: X to Y$ is a continuous bijective linear operator where $X$ and $Y$ are Banach spaces, show that $T^{-1}$ is continuous.




Attempt:



Suppose that $T^{-1}$ is not continuous. Then, $T^{-1}$ is not bounded, so we have that $$||T^{-1}y_0||_X geq C||y_0||_Y$$ for all $C in mathbb{R}$. However, since $y_0 in Y$ and $T$ is surjective, we have that $T(x_0) = y_0$ for some $x_0 in X.$ Then,
$$||T^{-1}(Tx_0)||_X geq C||T(x_0)||_Y$$
$$||x_0||_X geq C||T(x_0)||_Y$$
$$||Tx_0||_Y leq frac{1}{C}||x_0||_X.$$
Since this is true for all $C in mathbb{R}$, we have that
$$||Tx_0||_Y = 0.$$
Since we can repeat this process for every $y in Y$, we get that
$$||Tx||_Y = 0, forall x in X.$$
Then, we must have that $Tx = 0$ for all $x$, because in general, $||x|| = 0$ iff $x=0$. So, this $T$ isn't injective, a contradiction. Thus, $T^{-1}$ must be bounded, and hence continuous.



Could someone please verify if I'm doing this properly? Linear operators are very new to me, and slightly uncomfortable. In particular, when we say a linear operator is bounded, I'm not sure if that means at a single $x_0$, or for all $x in X$. We've also never discussed the composition of linear operators, so I'm not 100% sure that $T^{-1}T(x_0) = x_0$, although I assume it should work just like function composition. Thanks for any help in advance.










share|cite|improve this question









$endgroup$












  • $begingroup$
    This isn't right. Note your first display says $T^{-1}y_0$ has infinite norm... But, try using the Open Mapping Theorem to show $(T^{-1})^{-1} U$ is open for any $U$ open in $X$.
    $endgroup$
    – David Mitra
    Sep 24 '17 at 20:23










  • $begingroup$
    Oh. It's literally just, when $U subset X$ is open, then since $T$ is a continuous surjective linear operator, by the Open Mapping Theorem, $T(U)$ is open, which is precisely what $T^{-1}$ being continuous means? So... $T^{-1}y_0$ can't have infinite norm? Isn't this just the negation of being bounded?
    $endgroup$
    – user389056
    Sep 24 '17 at 23:02












  • $begingroup$
    If $y_0$ is fixed, no; $T^{-1}y_0$ is some element of $X$, it has finite norm. But $sup_{Vert y Vert=1} Vert T^{-1} yVert$ can be infinite. Different $C$ correspond to different $y$.
    $endgroup$
    – David Mitra
    Sep 25 '17 at 6:22


















1












$begingroup$



If $T: X to Y$ is a continuous bijective linear operator where $X$ and $Y$ are Banach spaces, show that $T^{-1}$ is continuous.




Attempt:



Suppose that $T^{-1}$ is not continuous. Then, $T^{-1}$ is not bounded, so we have that $$||T^{-1}y_0||_X geq C||y_0||_Y$$ for all $C in mathbb{R}$. However, since $y_0 in Y$ and $T$ is surjective, we have that $T(x_0) = y_0$ for some $x_0 in X.$ Then,
$$||T^{-1}(Tx_0)||_X geq C||T(x_0)||_Y$$
$$||x_0||_X geq C||T(x_0)||_Y$$
$$||Tx_0||_Y leq frac{1}{C}||x_0||_X.$$
Since this is true for all $C in mathbb{R}$, we have that
$$||Tx_0||_Y = 0.$$
Since we can repeat this process for every $y in Y$, we get that
$$||Tx||_Y = 0, forall x in X.$$
Then, we must have that $Tx = 0$ for all $x$, because in general, $||x|| = 0$ iff $x=0$. So, this $T$ isn't injective, a contradiction. Thus, $T^{-1}$ must be bounded, and hence continuous.



Could someone please verify if I'm doing this properly? Linear operators are very new to me, and slightly uncomfortable. In particular, when we say a linear operator is bounded, I'm not sure if that means at a single $x_0$, or for all $x in X$. We've also never discussed the composition of linear operators, so I'm not 100% sure that $T^{-1}T(x_0) = x_0$, although I assume it should work just like function composition. Thanks for any help in advance.










share|cite|improve this question









$endgroup$












  • $begingroup$
    This isn't right. Note your first display says $T^{-1}y_0$ has infinite norm... But, try using the Open Mapping Theorem to show $(T^{-1})^{-1} U$ is open for any $U$ open in $X$.
    $endgroup$
    – David Mitra
    Sep 24 '17 at 20:23










  • $begingroup$
    Oh. It's literally just, when $U subset X$ is open, then since $T$ is a continuous surjective linear operator, by the Open Mapping Theorem, $T(U)$ is open, which is precisely what $T^{-1}$ being continuous means? So... $T^{-1}y_0$ can't have infinite norm? Isn't this just the negation of being bounded?
    $endgroup$
    – user389056
    Sep 24 '17 at 23:02












  • $begingroup$
    If $y_0$ is fixed, no; $T^{-1}y_0$ is some element of $X$, it has finite norm. But $sup_{Vert y Vert=1} Vert T^{-1} yVert$ can be infinite. Different $C$ correspond to different $y$.
    $endgroup$
    – David Mitra
    Sep 25 '17 at 6:22
















1












1








1





$begingroup$



If $T: X to Y$ is a continuous bijective linear operator where $X$ and $Y$ are Banach spaces, show that $T^{-1}$ is continuous.




Attempt:



Suppose that $T^{-1}$ is not continuous. Then, $T^{-1}$ is not bounded, so we have that $$||T^{-1}y_0||_X geq C||y_0||_Y$$ for all $C in mathbb{R}$. However, since $y_0 in Y$ and $T$ is surjective, we have that $T(x_0) = y_0$ for some $x_0 in X.$ Then,
$$||T^{-1}(Tx_0)||_X geq C||T(x_0)||_Y$$
$$||x_0||_X geq C||T(x_0)||_Y$$
$$||Tx_0||_Y leq frac{1}{C}||x_0||_X.$$
Since this is true for all $C in mathbb{R}$, we have that
$$||Tx_0||_Y = 0.$$
Since we can repeat this process for every $y in Y$, we get that
$$||Tx||_Y = 0, forall x in X.$$
Then, we must have that $Tx = 0$ for all $x$, because in general, $||x|| = 0$ iff $x=0$. So, this $T$ isn't injective, a contradiction. Thus, $T^{-1}$ must be bounded, and hence continuous.



Could someone please verify if I'm doing this properly? Linear operators are very new to me, and slightly uncomfortable. In particular, when we say a linear operator is bounded, I'm not sure if that means at a single $x_0$, or for all $x in X$. We've also never discussed the composition of linear operators, so I'm not 100% sure that $T^{-1}T(x_0) = x_0$, although I assume it should work just like function composition. Thanks for any help in advance.










share|cite|improve this question









$endgroup$





If $T: X to Y$ is a continuous bijective linear operator where $X$ and $Y$ are Banach spaces, show that $T^{-1}$ is continuous.




Attempt:



Suppose that $T^{-1}$ is not continuous. Then, $T^{-1}$ is not bounded, so we have that $$||T^{-1}y_0||_X geq C||y_0||_Y$$ for all $C in mathbb{R}$. However, since $y_0 in Y$ and $T$ is surjective, we have that $T(x_0) = y_0$ for some $x_0 in X.$ Then,
$$||T^{-1}(Tx_0)||_X geq C||T(x_0)||_Y$$
$$||x_0||_X geq C||T(x_0)||_Y$$
$$||Tx_0||_Y leq frac{1}{C}||x_0||_X.$$
Since this is true for all $C in mathbb{R}$, we have that
$$||Tx_0||_Y = 0.$$
Since we can repeat this process for every $y in Y$, we get that
$$||Tx||_Y = 0, forall x in X.$$
Then, we must have that $Tx = 0$ for all $x$, because in general, $||x|| = 0$ iff $x=0$. So, this $T$ isn't injective, a contradiction. Thus, $T^{-1}$ must be bounded, and hence continuous.



Could someone please verify if I'm doing this properly? Linear operators are very new to me, and slightly uncomfortable. In particular, when we say a linear operator is bounded, I'm not sure if that means at a single $x_0$, or for all $x in X$. We've also never discussed the composition of linear operators, so I'm not 100% sure that $T^{-1}T(x_0) = x_0$, although I assume it should work just like function composition. Thanks for any help in advance.







real-analysis functional-analysis proof-verification






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Sep 24 '17 at 19:03









user389056user389056

381112




381112












  • $begingroup$
    This isn't right. Note your first display says $T^{-1}y_0$ has infinite norm... But, try using the Open Mapping Theorem to show $(T^{-1})^{-1} U$ is open for any $U$ open in $X$.
    $endgroup$
    – David Mitra
    Sep 24 '17 at 20:23










  • $begingroup$
    Oh. It's literally just, when $U subset X$ is open, then since $T$ is a continuous surjective linear operator, by the Open Mapping Theorem, $T(U)$ is open, which is precisely what $T^{-1}$ being continuous means? So... $T^{-1}y_0$ can't have infinite norm? Isn't this just the negation of being bounded?
    $endgroup$
    – user389056
    Sep 24 '17 at 23:02












  • $begingroup$
    If $y_0$ is fixed, no; $T^{-1}y_0$ is some element of $X$, it has finite norm. But $sup_{Vert y Vert=1} Vert T^{-1} yVert$ can be infinite. Different $C$ correspond to different $y$.
    $endgroup$
    – David Mitra
    Sep 25 '17 at 6:22




















  • $begingroup$
    This isn't right. Note your first display says $T^{-1}y_0$ has infinite norm... But, try using the Open Mapping Theorem to show $(T^{-1})^{-1} U$ is open for any $U$ open in $X$.
    $endgroup$
    – David Mitra
    Sep 24 '17 at 20:23










  • $begingroup$
    Oh. It's literally just, when $U subset X$ is open, then since $T$ is a continuous surjective linear operator, by the Open Mapping Theorem, $T(U)$ is open, which is precisely what $T^{-1}$ being continuous means? So... $T^{-1}y_0$ can't have infinite norm? Isn't this just the negation of being bounded?
    $endgroup$
    – user389056
    Sep 24 '17 at 23:02












  • $begingroup$
    If $y_0$ is fixed, no; $T^{-1}y_0$ is some element of $X$, it has finite norm. But $sup_{Vert y Vert=1} Vert T^{-1} yVert$ can be infinite. Different $C$ correspond to different $y$.
    $endgroup$
    – David Mitra
    Sep 25 '17 at 6:22


















$begingroup$
This isn't right. Note your first display says $T^{-1}y_0$ has infinite norm... But, try using the Open Mapping Theorem to show $(T^{-1})^{-1} U$ is open for any $U$ open in $X$.
$endgroup$
– David Mitra
Sep 24 '17 at 20:23




$begingroup$
This isn't right. Note your first display says $T^{-1}y_0$ has infinite norm... But, try using the Open Mapping Theorem to show $(T^{-1})^{-1} U$ is open for any $U$ open in $X$.
$endgroup$
– David Mitra
Sep 24 '17 at 20:23












$begingroup$
Oh. It's literally just, when $U subset X$ is open, then since $T$ is a continuous surjective linear operator, by the Open Mapping Theorem, $T(U)$ is open, which is precisely what $T^{-1}$ being continuous means? So... $T^{-1}y_0$ can't have infinite norm? Isn't this just the negation of being bounded?
$endgroup$
– user389056
Sep 24 '17 at 23:02






$begingroup$
Oh. It's literally just, when $U subset X$ is open, then since $T$ is a continuous surjective linear operator, by the Open Mapping Theorem, $T(U)$ is open, which is precisely what $T^{-1}$ being continuous means? So... $T^{-1}y_0$ can't have infinite norm? Isn't this just the negation of being bounded?
$endgroup$
– user389056
Sep 24 '17 at 23:02














$begingroup$
If $y_0$ is fixed, no; $T^{-1}y_0$ is some element of $X$, it has finite norm. But $sup_{Vert y Vert=1} Vert T^{-1} yVert$ can be infinite. Different $C$ correspond to different $y$.
$endgroup$
– David Mitra
Sep 25 '17 at 6:22






$begingroup$
If $y_0$ is fixed, no; $T^{-1}y_0$ is some element of $X$, it has finite norm. But $sup_{Vert y Vert=1} Vert T^{-1} yVert$ can be infinite. Different $C$ correspond to different $y$.
$endgroup$
– David Mitra
Sep 25 '17 at 6:22












2 Answers
2






active

oldest

votes


















1












$begingroup$

The proof looks good to me. To say it is ``bounded" means that there is a bound on how much a linear operator can stretch a vector.



It seems like you know the definition, but we want to just ensure that there exists some $c$ so that $|Tx| leq c|x|$ for all $x in X$.



Your second question is just the definition of an inverse, as in $TT^{-1}x=x$.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    So, the same $c$ for all $x$? Okay, thanks.
    $endgroup$
    – user389056
    Sep 24 '17 at 19:11










  • $begingroup$
    Follow up question, if you have a chance: If we say that a family $T_j$ is bounded, then $||T_j(x)|| < C||x||$ for all j and x, or is every j allowed to use a different C?
    $endgroup$
    – user389056
    Sep 24 '17 at 19:21












  • $begingroup$
    Look up the uniform boundedness principle. I think it depends on the context, but more likely than not, the former
    $endgroup$
    – Andres Mejia
    Sep 24 '17 at 19:44





















0












$begingroup$

By open mapping theorem, the preimage of open set in $X$ under $T^{-1}$ is still open in $Y$, which shows that $T^{-1}$ is continuous.






share|cite|improve this answer









$endgroup$













    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',
    autoActivateHeartbeat: false,
    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%2f2443553%2finverse-of-continuous-bijective-linear-operator-is-continuous%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    1












    $begingroup$

    The proof looks good to me. To say it is ``bounded" means that there is a bound on how much a linear operator can stretch a vector.



    It seems like you know the definition, but we want to just ensure that there exists some $c$ so that $|Tx| leq c|x|$ for all $x in X$.



    Your second question is just the definition of an inverse, as in $TT^{-1}x=x$.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      So, the same $c$ for all $x$? Okay, thanks.
      $endgroup$
      – user389056
      Sep 24 '17 at 19:11










    • $begingroup$
      Follow up question, if you have a chance: If we say that a family $T_j$ is bounded, then $||T_j(x)|| < C||x||$ for all j and x, or is every j allowed to use a different C?
      $endgroup$
      – user389056
      Sep 24 '17 at 19:21












    • $begingroup$
      Look up the uniform boundedness principle. I think it depends on the context, but more likely than not, the former
      $endgroup$
      – Andres Mejia
      Sep 24 '17 at 19:44


















    1












    $begingroup$

    The proof looks good to me. To say it is ``bounded" means that there is a bound on how much a linear operator can stretch a vector.



    It seems like you know the definition, but we want to just ensure that there exists some $c$ so that $|Tx| leq c|x|$ for all $x in X$.



    Your second question is just the definition of an inverse, as in $TT^{-1}x=x$.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      So, the same $c$ for all $x$? Okay, thanks.
      $endgroup$
      – user389056
      Sep 24 '17 at 19:11










    • $begingroup$
      Follow up question, if you have a chance: If we say that a family $T_j$ is bounded, then $||T_j(x)|| < C||x||$ for all j and x, or is every j allowed to use a different C?
      $endgroup$
      – user389056
      Sep 24 '17 at 19:21












    • $begingroup$
      Look up the uniform boundedness principle. I think it depends on the context, but more likely than not, the former
      $endgroup$
      – Andres Mejia
      Sep 24 '17 at 19:44
















    1












    1








    1





    $begingroup$

    The proof looks good to me. To say it is ``bounded" means that there is a bound on how much a linear operator can stretch a vector.



    It seems like you know the definition, but we want to just ensure that there exists some $c$ so that $|Tx| leq c|x|$ for all $x in X$.



    Your second question is just the definition of an inverse, as in $TT^{-1}x=x$.






    share|cite|improve this answer









    $endgroup$



    The proof looks good to me. To say it is ``bounded" means that there is a bound on how much a linear operator can stretch a vector.



    It seems like you know the definition, but we want to just ensure that there exists some $c$ so that $|Tx| leq c|x|$ for all $x in X$.



    Your second question is just the definition of an inverse, as in $TT^{-1}x=x$.







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered Sep 24 '17 at 19:09









    Andres MejiaAndres Mejia

    16.2k21548




    16.2k21548












    • $begingroup$
      So, the same $c$ for all $x$? Okay, thanks.
      $endgroup$
      – user389056
      Sep 24 '17 at 19:11










    • $begingroup$
      Follow up question, if you have a chance: If we say that a family $T_j$ is bounded, then $||T_j(x)|| < C||x||$ for all j and x, or is every j allowed to use a different C?
      $endgroup$
      – user389056
      Sep 24 '17 at 19:21












    • $begingroup$
      Look up the uniform boundedness principle. I think it depends on the context, but more likely than not, the former
      $endgroup$
      – Andres Mejia
      Sep 24 '17 at 19:44




















    • $begingroup$
      So, the same $c$ for all $x$? Okay, thanks.
      $endgroup$
      – user389056
      Sep 24 '17 at 19:11










    • $begingroup$
      Follow up question, if you have a chance: If we say that a family $T_j$ is bounded, then $||T_j(x)|| < C||x||$ for all j and x, or is every j allowed to use a different C?
      $endgroup$
      – user389056
      Sep 24 '17 at 19:21












    • $begingroup$
      Look up the uniform boundedness principle. I think it depends on the context, but more likely than not, the former
      $endgroup$
      – Andres Mejia
      Sep 24 '17 at 19:44


















    $begingroup$
    So, the same $c$ for all $x$? Okay, thanks.
    $endgroup$
    – user389056
    Sep 24 '17 at 19:11




    $begingroup$
    So, the same $c$ for all $x$? Okay, thanks.
    $endgroup$
    – user389056
    Sep 24 '17 at 19:11












    $begingroup$
    Follow up question, if you have a chance: If we say that a family $T_j$ is bounded, then $||T_j(x)|| < C||x||$ for all j and x, or is every j allowed to use a different C?
    $endgroup$
    – user389056
    Sep 24 '17 at 19:21






    $begingroup$
    Follow up question, if you have a chance: If we say that a family $T_j$ is bounded, then $||T_j(x)|| < C||x||$ for all j and x, or is every j allowed to use a different C?
    $endgroup$
    – user389056
    Sep 24 '17 at 19:21














    $begingroup$
    Look up the uniform boundedness principle. I think it depends on the context, but more likely than not, the former
    $endgroup$
    – Andres Mejia
    Sep 24 '17 at 19:44






    $begingroup$
    Look up the uniform boundedness principle. I think it depends on the context, but more likely than not, the former
    $endgroup$
    – Andres Mejia
    Sep 24 '17 at 19:44













    0












    $begingroup$

    By open mapping theorem, the preimage of open set in $X$ under $T^{-1}$ is still open in $Y$, which shows that $T^{-1}$ is continuous.






    share|cite|improve this answer









    $endgroup$


















      0












      $begingroup$

      By open mapping theorem, the preimage of open set in $X$ under $T^{-1}$ is still open in $Y$, which shows that $T^{-1}$ is continuous.






      share|cite|improve this answer









      $endgroup$
















        0












        0








        0





        $begingroup$

        By open mapping theorem, the preimage of open set in $X$ under $T^{-1}$ is still open in $Y$, which shows that $T^{-1}$ is continuous.






        share|cite|improve this answer









        $endgroup$



        By open mapping theorem, the preimage of open set in $X$ under $T^{-1}$ is still open in $Y$, which shows that $T^{-1}$ is continuous.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Jan 24 at 8:40









        Lin XueleiLin Xuelei

        15510




        15510






























            draft saved

            draft discarded




















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2443553%2finverse-of-continuous-bijective-linear-operator-is-continuous%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

            Mario Kart Wii

            The Binding of Isaac: Rebirth/Afterbirth

            What does “Dominus providebit” mean?