Image preservation of Linear Transformation

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











up vote
1
down vote

favorite












This might sound quite trivial. Let $mathbfx = beginpmatrixx_1,ldots,x_N endpmatrix^top$ which takes on values on the $N$-dimensional orthant $mathcalO_N = [0,infty)^N$. If $mathbfy$ is linear transformation of $mathbfx$ defined as $mathbfy = mathbfAmathbfx$ where $mathbfA$ is an $Ntimes N$ transformation matrix (i.e., invertible),



$mathbf1.$ is the image still $mathcalO_N$?



$mathbf2.$ If no, is there a necessary and sufficient condition in $mathbfA$ for the the image to be preserved?



Context: Currently working on multivariate integration involving change-of-variables resulting to change in domain of integration.










share|cite|improve this question

























    up vote
    1
    down vote

    favorite












    This might sound quite trivial. Let $mathbfx = beginpmatrixx_1,ldots,x_N endpmatrix^top$ which takes on values on the $N$-dimensional orthant $mathcalO_N = [0,infty)^N$. If $mathbfy$ is linear transformation of $mathbfx$ defined as $mathbfy = mathbfAmathbfx$ where $mathbfA$ is an $Ntimes N$ transformation matrix (i.e., invertible),



    $mathbf1.$ is the image still $mathcalO_N$?



    $mathbf2.$ If no, is there a necessary and sufficient condition in $mathbfA$ for the the image to be preserved?



    Context: Currently working on multivariate integration involving change-of-variables resulting to change in domain of integration.










    share|cite|improve this question























      up vote
      1
      down vote

      favorite









      up vote
      1
      down vote

      favorite











      This might sound quite trivial. Let $mathbfx = beginpmatrixx_1,ldots,x_N endpmatrix^top$ which takes on values on the $N$-dimensional orthant $mathcalO_N = [0,infty)^N$. If $mathbfy$ is linear transformation of $mathbfx$ defined as $mathbfy = mathbfAmathbfx$ where $mathbfA$ is an $Ntimes N$ transformation matrix (i.e., invertible),



      $mathbf1.$ is the image still $mathcalO_N$?



      $mathbf2.$ If no, is there a necessary and sufficient condition in $mathbfA$ for the the image to be preserved?



      Context: Currently working on multivariate integration involving change-of-variables resulting to change in domain of integration.










      share|cite|improve this question













      This might sound quite trivial. Let $mathbfx = beginpmatrixx_1,ldots,x_N endpmatrix^top$ which takes on values on the $N$-dimensional orthant $mathcalO_N = [0,infty)^N$. If $mathbfy$ is linear transformation of $mathbfx$ defined as $mathbfy = mathbfAmathbfx$ where $mathbfA$ is an $Ntimes N$ transformation matrix (i.e., invertible),



      $mathbf1.$ is the image still $mathcalO_N$?



      $mathbf2.$ If no, is there a necessary and sufficient condition in $mathbfA$ for the the image to be preserved?



      Context: Currently working on multivariate integration involving change-of-variables resulting to change in domain of integration.







      linear-algebra linear-transformations analytic-geometry






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Sep 2 at 9:48









      venrey

      13811




      13811




















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          2
          down vote













          No, in general the image is not $mathcalO_N$. This is easy to see, for example take $N=2$ and $A$ to be the standard rotation matrix:
          $$beginbmatrix
          costheta & -sintheta \
          sintheta & costheta \
          endbmatrix
          $$



          Here, if you put $theta = 90^circ$, then the image is completely disjoint from $mathcalO_N$. Or you can use the shear matrix to obtain situations where the image is strictly contained in $mathcalO_N$ or will strictly contain $mathcalO_N$.



          For your second question, it is easy to detect if the image is contained in $mathcalO_N$. To check that, we just need to check if all the basis vectors of $mathcalO_N$ land in $mathcalO_N$.



          To check if the image is exactly $mathcalO_N$, we'll have to check whether every element of $mathcalO_N$ (or at least the basis) has a preimage which will be no different than looking at the image of $mathcalO_N$ and comparing.






          share|cite|improve this answer




















          • This is quite insightful. Mind if I ask, what would happen if $mathbfA$ is positive definite? Would it suffice for preservation of image?
            – venrey
            Sep 2 at 10:25










          • I mean $mathcalO_N$ where I accidentally wrote $mathcal0_N$ in my previous comment.
            – Ekanshdeep Gupta
            Sep 2 at 13:04










          • Can you formalize the proof when you say "If $mathbfA$ is positive definite, then image will be contained in $mathcalO_N$" ?
            – venrey
            Sep 2 at 15:27











          • Oh, I apologize. That statement isn't true. Example, you can take A to be the rotation matrix as in my answer with $0^circ < theta < 90^circ$, and it will be positive definite. But the image won't lie in $mathcalO_N$. I'm sorry for creating a misunderstanding. I'll remove my previous, extremely inaccurate comment now.
            – Ekanshdeep Gupta
            Sep 2 at 18:04











          • It's okay. I think I have the solution now. Your answer gave me an idea by considering eigendecomposition of $mathbfA$.
            – venrey
            Sep 3 at 2:12










          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%2f2902536%2fimage-preservation-of-linear-transformation%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













          No, in general the image is not $mathcalO_N$. This is easy to see, for example take $N=2$ and $A$ to be the standard rotation matrix:
          $$beginbmatrix
          costheta & -sintheta \
          sintheta & costheta \
          endbmatrix
          $$



          Here, if you put $theta = 90^circ$, then the image is completely disjoint from $mathcalO_N$. Or you can use the shear matrix to obtain situations where the image is strictly contained in $mathcalO_N$ or will strictly contain $mathcalO_N$.



          For your second question, it is easy to detect if the image is contained in $mathcalO_N$. To check that, we just need to check if all the basis vectors of $mathcalO_N$ land in $mathcalO_N$.



          To check if the image is exactly $mathcalO_N$, we'll have to check whether every element of $mathcalO_N$ (or at least the basis) has a preimage which will be no different than looking at the image of $mathcalO_N$ and comparing.






          share|cite|improve this answer




















          • This is quite insightful. Mind if I ask, what would happen if $mathbfA$ is positive definite? Would it suffice for preservation of image?
            – venrey
            Sep 2 at 10:25










          • I mean $mathcalO_N$ where I accidentally wrote $mathcal0_N$ in my previous comment.
            – Ekanshdeep Gupta
            Sep 2 at 13:04










          • Can you formalize the proof when you say "If $mathbfA$ is positive definite, then image will be contained in $mathcalO_N$" ?
            – venrey
            Sep 2 at 15:27











          • Oh, I apologize. That statement isn't true. Example, you can take A to be the rotation matrix as in my answer with $0^circ < theta < 90^circ$, and it will be positive definite. But the image won't lie in $mathcalO_N$. I'm sorry for creating a misunderstanding. I'll remove my previous, extremely inaccurate comment now.
            – Ekanshdeep Gupta
            Sep 2 at 18:04











          • It's okay. I think I have the solution now. Your answer gave me an idea by considering eigendecomposition of $mathbfA$.
            – venrey
            Sep 3 at 2:12














          up vote
          2
          down vote













          No, in general the image is not $mathcalO_N$. This is easy to see, for example take $N=2$ and $A$ to be the standard rotation matrix:
          $$beginbmatrix
          costheta & -sintheta \
          sintheta & costheta \
          endbmatrix
          $$



          Here, if you put $theta = 90^circ$, then the image is completely disjoint from $mathcalO_N$. Or you can use the shear matrix to obtain situations where the image is strictly contained in $mathcalO_N$ or will strictly contain $mathcalO_N$.



          For your second question, it is easy to detect if the image is contained in $mathcalO_N$. To check that, we just need to check if all the basis vectors of $mathcalO_N$ land in $mathcalO_N$.



          To check if the image is exactly $mathcalO_N$, we'll have to check whether every element of $mathcalO_N$ (or at least the basis) has a preimage which will be no different than looking at the image of $mathcalO_N$ and comparing.






          share|cite|improve this answer




















          • This is quite insightful. Mind if I ask, what would happen if $mathbfA$ is positive definite? Would it suffice for preservation of image?
            – venrey
            Sep 2 at 10:25










          • I mean $mathcalO_N$ where I accidentally wrote $mathcal0_N$ in my previous comment.
            – Ekanshdeep Gupta
            Sep 2 at 13:04










          • Can you formalize the proof when you say "If $mathbfA$ is positive definite, then image will be contained in $mathcalO_N$" ?
            – venrey
            Sep 2 at 15:27











          • Oh, I apologize. That statement isn't true. Example, you can take A to be the rotation matrix as in my answer with $0^circ < theta < 90^circ$, and it will be positive definite. But the image won't lie in $mathcalO_N$. I'm sorry for creating a misunderstanding. I'll remove my previous, extremely inaccurate comment now.
            – Ekanshdeep Gupta
            Sep 2 at 18:04











          • It's okay. I think I have the solution now. Your answer gave me an idea by considering eigendecomposition of $mathbfA$.
            – venrey
            Sep 3 at 2:12












          up vote
          2
          down vote










          up vote
          2
          down vote









          No, in general the image is not $mathcalO_N$. This is easy to see, for example take $N=2$ and $A$ to be the standard rotation matrix:
          $$beginbmatrix
          costheta & -sintheta \
          sintheta & costheta \
          endbmatrix
          $$



          Here, if you put $theta = 90^circ$, then the image is completely disjoint from $mathcalO_N$. Or you can use the shear matrix to obtain situations where the image is strictly contained in $mathcalO_N$ or will strictly contain $mathcalO_N$.



          For your second question, it is easy to detect if the image is contained in $mathcalO_N$. To check that, we just need to check if all the basis vectors of $mathcalO_N$ land in $mathcalO_N$.



          To check if the image is exactly $mathcalO_N$, we'll have to check whether every element of $mathcalO_N$ (or at least the basis) has a preimage which will be no different than looking at the image of $mathcalO_N$ and comparing.






          share|cite|improve this answer












          No, in general the image is not $mathcalO_N$. This is easy to see, for example take $N=2$ and $A$ to be the standard rotation matrix:
          $$beginbmatrix
          costheta & -sintheta \
          sintheta & costheta \
          endbmatrix
          $$



          Here, if you put $theta = 90^circ$, then the image is completely disjoint from $mathcalO_N$. Or you can use the shear matrix to obtain situations where the image is strictly contained in $mathcalO_N$ or will strictly contain $mathcalO_N$.



          For your second question, it is easy to detect if the image is contained in $mathcalO_N$. To check that, we just need to check if all the basis vectors of $mathcalO_N$ land in $mathcalO_N$.



          To check if the image is exactly $mathcalO_N$, we'll have to check whether every element of $mathcalO_N$ (or at least the basis) has a preimage which will be no different than looking at the image of $mathcalO_N$ and comparing.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Sep 2 at 10:02









          Ekanshdeep Gupta

          4816




          4816











          • This is quite insightful. Mind if I ask, what would happen if $mathbfA$ is positive definite? Would it suffice for preservation of image?
            – venrey
            Sep 2 at 10:25










          • I mean $mathcalO_N$ where I accidentally wrote $mathcal0_N$ in my previous comment.
            – Ekanshdeep Gupta
            Sep 2 at 13:04










          • Can you formalize the proof when you say "If $mathbfA$ is positive definite, then image will be contained in $mathcalO_N$" ?
            – venrey
            Sep 2 at 15:27











          • Oh, I apologize. That statement isn't true. Example, you can take A to be the rotation matrix as in my answer with $0^circ < theta < 90^circ$, and it will be positive definite. But the image won't lie in $mathcalO_N$. I'm sorry for creating a misunderstanding. I'll remove my previous, extremely inaccurate comment now.
            – Ekanshdeep Gupta
            Sep 2 at 18:04











          • It's okay. I think I have the solution now. Your answer gave me an idea by considering eigendecomposition of $mathbfA$.
            – venrey
            Sep 3 at 2:12
















          • This is quite insightful. Mind if I ask, what would happen if $mathbfA$ is positive definite? Would it suffice for preservation of image?
            – venrey
            Sep 2 at 10:25










          • I mean $mathcalO_N$ where I accidentally wrote $mathcal0_N$ in my previous comment.
            – Ekanshdeep Gupta
            Sep 2 at 13:04










          • Can you formalize the proof when you say "If $mathbfA$ is positive definite, then image will be contained in $mathcalO_N$" ?
            – venrey
            Sep 2 at 15:27











          • Oh, I apologize. That statement isn't true. Example, you can take A to be the rotation matrix as in my answer with $0^circ < theta < 90^circ$, and it will be positive definite. But the image won't lie in $mathcalO_N$. I'm sorry for creating a misunderstanding. I'll remove my previous, extremely inaccurate comment now.
            – Ekanshdeep Gupta
            Sep 2 at 18:04











          • It's okay. I think I have the solution now. Your answer gave me an idea by considering eigendecomposition of $mathbfA$.
            – venrey
            Sep 3 at 2:12















          This is quite insightful. Mind if I ask, what would happen if $mathbfA$ is positive definite? Would it suffice for preservation of image?
          – venrey
          Sep 2 at 10:25




          This is quite insightful. Mind if I ask, what would happen if $mathbfA$ is positive definite? Would it suffice for preservation of image?
          – venrey
          Sep 2 at 10:25












          I mean $mathcalO_N$ where I accidentally wrote $mathcal0_N$ in my previous comment.
          – Ekanshdeep Gupta
          Sep 2 at 13:04




          I mean $mathcalO_N$ where I accidentally wrote $mathcal0_N$ in my previous comment.
          – Ekanshdeep Gupta
          Sep 2 at 13:04












          Can you formalize the proof when you say "If $mathbfA$ is positive definite, then image will be contained in $mathcalO_N$" ?
          – venrey
          Sep 2 at 15:27





          Can you formalize the proof when you say "If $mathbfA$ is positive definite, then image will be contained in $mathcalO_N$" ?
          – venrey
          Sep 2 at 15:27













          Oh, I apologize. That statement isn't true. Example, you can take A to be the rotation matrix as in my answer with $0^circ < theta < 90^circ$, and it will be positive definite. But the image won't lie in $mathcalO_N$. I'm sorry for creating a misunderstanding. I'll remove my previous, extremely inaccurate comment now.
          – Ekanshdeep Gupta
          Sep 2 at 18:04





          Oh, I apologize. That statement isn't true. Example, you can take A to be the rotation matrix as in my answer with $0^circ < theta < 90^circ$, and it will be positive definite. But the image won't lie in $mathcalO_N$. I'm sorry for creating a misunderstanding. I'll remove my previous, extremely inaccurate comment now.
          – Ekanshdeep Gupta
          Sep 2 at 18:04













          It's okay. I think I have the solution now. Your answer gave me an idea by considering eigendecomposition of $mathbfA$.
          – venrey
          Sep 3 at 2:12




          It's okay. I think I have the solution now. Your answer gave me an idea by considering eigendecomposition of $mathbfA$.
          – venrey
          Sep 3 at 2:12

















           

          draft saved


          draft discarded















































           


          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2902536%2fimage-preservation-of-linear-transformation%23new-answer', 'question_page');

          );

          Post as a guest













































































          這個網誌中的熱門文章

          How to combine Bézier curves to a surface?

          Carbon dioxide

          Why am i infinitely getting the same tweet with the Twitter Search API?