Distributing a matrix The 2019 Stack Overflow Developer Survey Results Are In Unicorn Meta Zoo #1: Why another podcast? Announcing the arrival of Valued Associate #679: Cesar ManaraOn multiplying quaternion matricesWhen is matrix multiplication commutative?Matrix multiplicationWhy aren't all matrices diagonalisable?Linear Transformation vs Matrixhow many ways is there to factor matrix?Can an arbitrary matrix represent any linear map just by changing the basis?Inverse matrix confusionA question matrix multiplication commutative?Joint Matrices Factorization

Button changing its text & action. Good or terrible?

Can each chord in a progression create its own key?

Why did Peik Lin say, "I'm not an animal"?

Homework question about an engine pulling a train

1960s short story making fun of James Bond-style spy fiction

Can I visit the Trinity College (Cambridge) library and see some of their rare books

Visa regaring travelling European country

Mortgage adviser recommends a longer term than necessary combined with overpayments

Accepted by European university, rejected by all American ones I applied to? Possible reasons?

How do you keep chess fun when your opponent constantly beats you?

First use of “packing” as in carrying a gun

US Healthcare consultation for visitors

Is 'stolen' appropriate word?

Student Loan from years ago pops up and is taking my salary

My body leaves; my core can stay

Can we generate random numbers using irrational numbers like π and e?

Word for: a synonym with a positive connotation?

Are there continuous functions who are the same in an interval but differ in at least one other point?

Using dividends to reduce short term capital gains?

Is there a way to generate uniformly distributed points on a sphere from a fixed amount of random real numbers per point?

One-dimensional Japanese puzzle

Can a flute soloist sit?

Did the new image of black hole confirm the general theory of relativity?

Variable with quotation marks "$()"



Distributing a matrix



The 2019 Stack Overflow Developer Survey Results Are In
Unicorn Meta Zoo #1: Why another podcast?
Announcing the arrival of Valued Associate #679: Cesar ManaraOn multiplying quaternion matricesWhen is matrix multiplication commutative?Matrix multiplicationWhy aren't all matrices diagonalisable?Linear Transformation vs Matrixhow many ways is there to factor matrix?Can an arbitrary matrix represent any linear map just by changing the basis?Inverse matrix confusionA question matrix multiplication commutative?Joint Matrices Factorization










4












$begingroup$


Since matrix mutiplication is not commutative, the two ways in which you can factorize matrices makes a difference in which side the factor goes on.



In particular, if I want to distribute



$$((I - A) + A)(I - A)^-1,$$



would it become



$$(I - A)(I - A)^-1 + A(I - A)^-1 $$



OR would it be



$$(I - A)^-1(I - A) + (I - A)^-1A?$$



How do I know which side it goes on? I think the first one is correct.










share|cite|improve this question









$endgroup$
















    4












    $begingroup$


    Since matrix mutiplication is not commutative, the two ways in which you can factorize matrices makes a difference in which side the factor goes on.



    In particular, if I want to distribute



    $$((I - A) + A)(I - A)^-1,$$



    would it become



    $$(I - A)(I - A)^-1 + A(I - A)^-1 $$



    OR would it be



    $$(I - A)^-1(I - A) + (I - A)^-1A?$$



    How do I know which side it goes on? I think the first one is correct.










    share|cite|improve this question









    $endgroup$














      4












      4








      4





      $begingroup$


      Since matrix mutiplication is not commutative, the two ways in which you can factorize matrices makes a difference in which side the factor goes on.



      In particular, if I want to distribute



      $$((I - A) + A)(I - A)^-1,$$



      would it become



      $$(I - A)(I - A)^-1 + A(I - A)^-1 $$



      OR would it be



      $$(I - A)^-1(I - A) + (I - A)^-1A?$$



      How do I know which side it goes on? I think the first one is correct.










      share|cite|improve this question









      $endgroup$




      Since matrix mutiplication is not commutative, the two ways in which you can factorize matrices makes a difference in which side the factor goes on.



      In particular, if I want to distribute



      $$((I - A) + A)(I - A)^-1,$$



      would it become



      $$(I - A)(I - A)^-1 + A(I - A)^-1 $$



      OR would it be



      $$(I - A)^-1(I - A) + (I - A)^-1A?$$



      How do I know which side it goes on? I think the first one is correct.







      linear-algebra






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked 2 days ago







      user646175



























          2 Answers
          2






          active

          oldest

          votes


















          3












          $begingroup$

          In general, this is what we call "right distributivity" - I usually hear the context for this in the sense of ring axioms. Let's sojourn into this a bit - though if you're not familiar with abstract algebra, this won't be particularly enlightening, and you might be better off skipping to the very end.




          Let $(R,+,cdot,0,1)$ be a ring; then we call left-distributivity and define it by



          $$a cdot (b+c) = acdot b + a cdot c$$



          Similarly, right-distributivity is given by



          $$(b+c)cdot a = bcdot a + ccdot a$$



          Note: we are not guaranteed that $acdot b = bcdot a$ unless $R$ is a commutative ring.



          In the context of matrices over rings, for which I reference Wikipedia, you can define $M_n(R)$ as the $ntimes n$ matrices over a ring $R$ (i.e. its elements come from the ring, and the addition and multiplication of elements are shared). Notably, we have that $M_n(R)$ is a commutative ring if and only if $R$ is a commutative ring and $n=1$ (so basically effectively no different from working in the ring in question).




          So what does this mean? This means, in your case, you probably do not have $AB=BA$ (of course, I imagine you know this). And thus in the context of the distributivity thigns above, you would have



          $$(B+C)A = BA + CA$$



          Your example has $B = I-A$ and $C=A$. And thus, your first example is correct: if you are distributing something on the right side, and cannot ensure commutativity, you should multiply that element by everything in the brackets on the right side.






          share|cite|improve this answer









          $endgroup$




















            3












            $begingroup$

            Your first answer is correct. There are two distributive laws for matrices,
            $$A(B+C)=AB+ACquadhboxandquad (A+B)C=AC+BC ,$$
            but not $A(B+C)=BA+CA$ or $(A+B)C=AC+CB$ or.....






            share|cite|improve this answer









            $endgroup$













              Your Answer








              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%2f3183231%2fdistributing-a-matrix%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









              3












              $begingroup$

              In general, this is what we call "right distributivity" - I usually hear the context for this in the sense of ring axioms. Let's sojourn into this a bit - though if you're not familiar with abstract algebra, this won't be particularly enlightening, and you might be better off skipping to the very end.




              Let $(R,+,cdot,0,1)$ be a ring; then we call left-distributivity and define it by



              $$a cdot (b+c) = acdot b + a cdot c$$



              Similarly, right-distributivity is given by



              $$(b+c)cdot a = bcdot a + ccdot a$$



              Note: we are not guaranteed that $acdot b = bcdot a$ unless $R$ is a commutative ring.



              In the context of matrices over rings, for which I reference Wikipedia, you can define $M_n(R)$ as the $ntimes n$ matrices over a ring $R$ (i.e. its elements come from the ring, and the addition and multiplication of elements are shared). Notably, we have that $M_n(R)$ is a commutative ring if and only if $R$ is a commutative ring and $n=1$ (so basically effectively no different from working in the ring in question).




              So what does this mean? This means, in your case, you probably do not have $AB=BA$ (of course, I imagine you know this). And thus in the context of the distributivity thigns above, you would have



              $$(B+C)A = BA + CA$$



              Your example has $B = I-A$ and $C=A$. And thus, your first example is correct: if you are distributing something on the right side, and cannot ensure commutativity, you should multiply that element by everything in the brackets on the right side.






              share|cite|improve this answer









              $endgroup$

















                3












                $begingroup$

                In general, this is what we call "right distributivity" - I usually hear the context for this in the sense of ring axioms. Let's sojourn into this a bit - though if you're not familiar with abstract algebra, this won't be particularly enlightening, and you might be better off skipping to the very end.




                Let $(R,+,cdot,0,1)$ be a ring; then we call left-distributivity and define it by



                $$a cdot (b+c) = acdot b + a cdot c$$



                Similarly, right-distributivity is given by



                $$(b+c)cdot a = bcdot a + ccdot a$$



                Note: we are not guaranteed that $acdot b = bcdot a$ unless $R$ is a commutative ring.



                In the context of matrices over rings, for which I reference Wikipedia, you can define $M_n(R)$ as the $ntimes n$ matrices over a ring $R$ (i.e. its elements come from the ring, and the addition and multiplication of elements are shared). Notably, we have that $M_n(R)$ is a commutative ring if and only if $R$ is a commutative ring and $n=1$ (so basically effectively no different from working in the ring in question).




                So what does this mean? This means, in your case, you probably do not have $AB=BA$ (of course, I imagine you know this). And thus in the context of the distributivity thigns above, you would have



                $$(B+C)A = BA + CA$$



                Your example has $B = I-A$ and $C=A$. And thus, your first example is correct: if you are distributing something on the right side, and cannot ensure commutativity, you should multiply that element by everything in the brackets on the right side.






                share|cite|improve this answer









                $endgroup$















                  3












                  3








                  3





                  $begingroup$

                  In general, this is what we call "right distributivity" - I usually hear the context for this in the sense of ring axioms. Let's sojourn into this a bit - though if you're not familiar with abstract algebra, this won't be particularly enlightening, and you might be better off skipping to the very end.




                  Let $(R,+,cdot,0,1)$ be a ring; then we call left-distributivity and define it by



                  $$a cdot (b+c) = acdot b + a cdot c$$



                  Similarly, right-distributivity is given by



                  $$(b+c)cdot a = bcdot a + ccdot a$$



                  Note: we are not guaranteed that $acdot b = bcdot a$ unless $R$ is a commutative ring.



                  In the context of matrices over rings, for which I reference Wikipedia, you can define $M_n(R)$ as the $ntimes n$ matrices over a ring $R$ (i.e. its elements come from the ring, and the addition and multiplication of elements are shared). Notably, we have that $M_n(R)$ is a commutative ring if and only if $R$ is a commutative ring and $n=1$ (so basically effectively no different from working in the ring in question).




                  So what does this mean? This means, in your case, you probably do not have $AB=BA$ (of course, I imagine you know this). And thus in the context of the distributivity thigns above, you would have



                  $$(B+C)A = BA + CA$$



                  Your example has $B = I-A$ and $C=A$. And thus, your first example is correct: if you are distributing something on the right side, and cannot ensure commutativity, you should multiply that element by everything in the brackets on the right side.






                  share|cite|improve this answer









                  $endgroup$



                  In general, this is what we call "right distributivity" - I usually hear the context for this in the sense of ring axioms. Let's sojourn into this a bit - though if you're not familiar with abstract algebra, this won't be particularly enlightening, and you might be better off skipping to the very end.




                  Let $(R,+,cdot,0,1)$ be a ring; then we call left-distributivity and define it by



                  $$a cdot (b+c) = acdot b + a cdot c$$



                  Similarly, right-distributivity is given by



                  $$(b+c)cdot a = bcdot a + ccdot a$$



                  Note: we are not guaranteed that $acdot b = bcdot a$ unless $R$ is a commutative ring.



                  In the context of matrices over rings, for which I reference Wikipedia, you can define $M_n(R)$ as the $ntimes n$ matrices over a ring $R$ (i.e. its elements come from the ring, and the addition and multiplication of elements are shared). Notably, we have that $M_n(R)$ is a commutative ring if and only if $R$ is a commutative ring and $n=1$ (so basically effectively no different from working in the ring in question).




                  So what does this mean? This means, in your case, you probably do not have $AB=BA$ (of course, I imagine you know this). And thus in the context of the distributivity thigns above, you would have



                  $$(B+C)A = BA + CA$$



                  Your example has $B = I-A$ and $C=A$. And thus, your first example is correct: if you are distributing something on the right side, and cannot ensure commutativity, you should multiply that element by everything in the brackets on the right side.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered 2 days ago









                  Eevee TrainerEevee Trainer

                  10.5k31842




                  10.5k31842





















                      3












                      $begingroup$

                      Your first answer is correct. There are two distributive laws for matrices,
                      $$A(B+C)=AB+ACquadhboxandquad (A+B)C=AC+BC ,$$
                      but not $A(B+C)=BA+CA$ or $(A+B)C=AC+CB$ or.....






                      share|cite|improve this answer









                      $endgroup$

















                        3












                        $begingroup$

                        Your first answer is correct. There are two distributive laws for matrices,
                        $$A(B+C)=AB+ACquadhboxandquad (A+B)C=AC+BC ,$$
                        but not $A(B+C)=BA+CA$ or $(A+B)C=AC+CB$ or.....






                        share|cite|improve this answer









                        $endgroup$















                          3












                          3








                          3





                          $begingroup$

                          Your first answer is correct. There are two distributive laws for matrices,
                          $$A(B+C)=AB+ACquadhboxandquad (A+B)C=AC+BC ,$$
                          but not $A(B+C)=BA+CA$ or $(A+B)C=AC+CB$ or.....






                          share|cite|improve this answer









                          $endgroup$



                          Your first answer is correct. There are two distributive laws for matrices,
                          $$A(B+C)=AB+ACquadhboxandquad (A+B)C=AC+BC ,$$
                          but not $A(B+C)=BA+CA$ or $(A+B)C=AC+CB$ or.....







                          share|cite|improve this answer












                          share|cite|improve this answer



                          share|cite|improve this answer










                          answered 2 days ago









                          DavidDavid

                          69.9k668131




                          69.9k668131



























                              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%2f3183231%2fdistributing-a-matrix%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

                              Category:9 (number) SubcategoriesMedia in category "9 (number)"Navigation menuUpload mediaGND ID: 4485639-8Library of Congress authority ID: sh85091979ReasonatorScholiaStatistics

                              Circuit construction for execution of conditional statements using least significant bitHow are two different registers being used as “control”?How exactly is the stated composite state of the two registers being produced using the $R_zz$ controlled rotations?Efficiently performing controlled rotations in HHLWould this quantum algorithm implementation work?How to prepare a superposed states of odd integers from $1$ to $sqrtN$?Why is this implementation of the order finding algorithm not working?Circuit construction for Hamiltonian simulationHow can I invert the least significant bit of a certain term of a superposed state?Implementing an oracleImplementing a controlled sum operation

                              Magento 2 “No Payment Methods” in Admin New OrderHow to integrate Paypal Express Checkout with the Magento APIMagento 1.5 - Sales > Order > edit order and shipping methods disappearAuto Invoice Check/Money Order Payment methodAdd more simple payment methods?Shipping methods not showingWhat should I do to change payment methods if changing the configuration has no effects?1.9 - No Payment Methods showing upMy Payment Methods not Showing for downloadable/virtual product when checkout?Magento2 API to access internal payment methodHow to call an existing payment methods in the registration form?