Matrices: $(X^{−1} + Y^{−1})^{−1} $












1














$(X^{−1} + Y^{−1})^{−1} = Y −Y(X + Y )^{−1}Y$



Here X, Y, and X + Y are nonsingular.



The only I don't get is the left part, because you cannot get rid of the whole expression by taking $X + Y$ inverse because the X and Y in the expression are also inversed. But you can also not get rid of the x and y separate because they are in the $X+Y$ expression.



Second thing aren't $X$ and $Y$ always nonsingular if $X+Y$ is nonsingular?










share|cite|improve this question





























    1














    $(X^{−1} + Y^{−1})^{−1} = Y −Y(X + Y )^{−1}Y$



    Here X, Y, and X + Y are nonsingular.



    The only I don't get is the left part, because you cannot get rid of the whole expression by taking $X + Y$ inverse because the X and Y in the expression are also inversed. But you can also not get rid of the x and y separate because they are in the $X+Y$ expression.



    Second thing aren't $X$ and $Y$ always nonsingular if $X+Y$ is nonsingular?










    share|cite|improve this question



























      1












      1








      1


      2





      $(X^{−1} + Y^{−1})^{−1} = Y −Y(X + Y )^{−1}Y$



      Here X, Y, and X + Y are nonsingular.



      The only I don't get is the left part, because you cannot get rid of the whole expression by taking $X + Y$ inverse because the X and Y in the expression are also inversed. But you can also not get rid of the x and y separate because they are in the $X+Y$ expression.



      Second thing aren't $X$ and $Y$ always nonsingular if $X+Y$ is nonsingular?










      share|cite|improve this question















      $(X^{−1} + Y^{−1})^{−1} = Y −Y(X + Y )^{−1}Y$



      Here X, Y, and X + Y are nonsingular.



      The only I don't get is the left part, because you cannot get rid of the whole expression by taking $X + Y$ inverse because the X and Y in the expression are also inversed. But you can also not get rid of the x and y separate because they are in the $X+Y$ expression.



      Second thing aren't $X$ and $Y$ always nonsingular if $X+Y$ is nonsingular?







      linear-algebra matrices






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Nov 24 at 12:32









      amWhy

      191k28224439




      191k28224439










      asked Nov 24 at 11:45









      Danielvanheuven

      457




      457






















          3 Answers
          3






          active

          oldest

          votes


















          1














          First note that if you swap $X$ and $Y$ you should get the same inverse, that's because sum is a commutative operation, so both $[Y - Y(X + Y)^{-1}Y]$ and $[X -X(X + Y)^{-1}X]$ are inverse (and obviouly $[Y - Y(X + Y)^{-1}Y] = [X - X(X + Y)^{-1}X]$)



          To prove it just multiply by your r.h.s expression



          begin{eqnarray}
          (X^{-1} + Y^{-1}) (X^{-1} + Y^{-1})^{-1} &=& (X^{-1} + Y^{-1}) [Y - Y(X + Y)^{-1}Y] \
          &=&(X^{-1} + Y^{-1})Y[1 - (X+Y)^{-1}Y] \
          &=&X^{-1} X[1 - (X+Y)^{-1}X] + Y^{-1} Y[1 - (X+Y)^{-1}Y] \
          &=&1 - (X + Y)^{-1}X + 1 - (X+Y)^{-1}Y \
          &=& 1 - (X + Y)^{-1}(X + Y) + 1 \
          &=& 1
          end{eqnarray}



          As for the second question, the answer is no. Imagine this case



          $$
          X = pmatrix{1 & 0 \ 0 & 0} ~~~ mbox{and} ~~~ Y = pmatrix{0 & 0 \ 0 & 1}
          $$



          neither $X$ nor $Y$ are invertible, but $X + Y$ is






          share|cite|improve this answer





























            0














            In the proof $$(X^{-1}+Y^{-1})^{-1}=((I+X^{-1}Y)Y^{-1})^{-1}=Y(I+X^{-1}Y)^{-1}=Y(I-(Y^{-1}(X+Y))^{-1})=Y(I-(X+Y)^{-1}Y),$$the third $=$ is the least trivial step, using$$(I+X^{-1}Y)(I-(Y^{-1}(X+Y))^{-1})=I+X^{-1}Y-X^{-1}Y(I+Y^{-1}X)(I+Y^{-1}X)^{-1}=I.$$This argument assumes $X,,Y,,X^{-1}+Y^{-1}$ are all invertible. (If the first two weren't, there'd be no such thing as $X^{-1}+Y^{-1}$ to invert in the first place.) All other requirements that a specific matrix be invertible follow from these. In particular, the inverse we seek to calculate is nonexistent iff some other inverse we need along the way is nonexistent.






            share|cite|improve this answer





























              0














              We can prove the given equation directly by premultiplying by $X^{-1}+Y^{-1}$, we get identity,



              $(X^{-1}+Y^{-1})(Y-Y(X+Y)^{-1}Y) = (X^{-1}Y)+(I)-Big((X+Y)^{-1}YBig)-Big(X^{-1}Y(X+Y)^{-1}YBig)$



              $=Big(IBig)+Big(X^{-1}YBig)-Big((X+Y)^{-1}YBig)-Big(X^{-1}Y(X+Y)^{-1}YBig)$



              $=Big(IBig)+Big(X^{-1}Big)Big(I-(X(X+Y)^{-1})-(Y(X+Y)^{-1})Big)Big(YBig)$



              $=Big(IBig)+Big(X^{-1}Big)Big(I-(X+Y)(X+Y)^{-1}Big)Big(YBig)$



              $=Big(IBig)+Big(X^{-1}Big)Big(I-IBig)Big(YBig)$



              $=I$



              Similarly, you can postmultiply and do the same.



              For your second doubt,I would say that what you are saying is the case for product of matrices and not for sum(Because the product of determinant of 2 matrices is the determinant of their product).



              Hope it is helpful:)






              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',
                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%2f3011457%2fmatrices-x%25e2%2588%25921-y%25e2%2588%25921%25e2%2588%25921%23new-answer', 'question_page');
                }
                );

                Post as a guest















                Required, but never shown

























                3 Answers
                3






                active

                oldest

                votes








                3 Answers
                3






                active

                oldest

                votes









                active

                oldest

                votes






                active

                oldest

                votes









                1














                First note that if you swap $X$ and $Y$ you should get the same inverse, that's because sum is a commutative operation, so both $[Y - Y(X + Y)^{-1}Y]$ and $[X -X(X + Y)^{-1}X]$ are inverse (and obviouly $[Y - Y(X + Y)^{-1}Y] = [X - X(X + Y)^{-1}X]$)



                To prove it just multiply by your r.h.s expression



                begin{eqnarray}
                (X^{-1} + Y^{-1}) (X^{-1} + Y^{-1})^{-1} &=& (X^{-1} + Y^{-1}) [Y - Y(X + Y)^{-1}Y] \
                &=&(X^{-1} + Y^{-1})Y[1 - (X+Y)^{-1}Y] \
                &=&X^{-1} X[1 - (X+Y)^{-1}X] + Y^{-1} Y[1 - (X+Y)^{-1}Y] \
                &=&1 - (X + Y)^{-1}X + 1 - (X+Y)^{-1}Y \
                &=& 1 - (X + Y)^{-1}(X + Y) + 1 \
                &=& 1
                end{eqnarray}



                As for the second question, the answer is no. Imagine this case



                $$
                X = pmatrix{1 & 0 \ 0 & 0} ~~~ mbox{and} ~~~ Y = pmatrix{0 & 0 \ 0 & 1}
                $$



                neither $X$ nor $Y$ are invertible, but $X + Y$ is






                share|cite|improve this answer


























                  1














                  First note that if you swap $X$ and $Y$ you should get the same inverse, that's because sum is a commutative operation, so both $[Y - Y(X + Y)^{-1}Y]$ and $[X -X(X + Y)^{-1}X]$ are inverse (and obviouly $[Y - Y(X + Y)^{-1}Y] = [X - X(X + Y)^{-1}X]$)



                  To prove it just multiply by your r.h.s expression



                  begin{eqnarray}
                  (X^{-1} + Y^{-1}) (X^{-1} + Y^{-1})^{-1} &=& (X^{-1} + Y^{-1}) [Y - Y(X + Y)^{-1}Y] \
                  &=&(X^{-1} + Y^{-1})Y[1 - (X+Y)^{-1}Y] \
                  &=&X^{-1} X[1 - (X+Y)^{-1}X] + Y^{-1} Y[1 - (X+Y)^{-1}Y] \
                  &=&1 - (X + Y)^{-1}X + 1 - (X+Y)^{-1}Y \
                  &=& 1 - (X + Y)^{-1}(X + Y) + 1 \
                  &=& 1
                  end{eqnarray}



                  As for the second question, the answer is no. Imagine this case



                  $$
                  X = pmatrix{1 & 0 \ 0 & 0} ~~~ mbox{and} ~~~ Y = pmatrix{0 & 0 \ 0 & 1}
                  $$



                  neither $X$ nor $Y$ are invertible, but $X + Y$ is






                  share|cite|improve this answer
























                    1












                    1








                    1






                    First note that if you swap $X$ and $Y$ you should get the same inverse, that's because sum is a commutative operation, so both $[Y - Y(X + Y)^{-1}Y]$ and $[X -X(X + Y)^{-1}X]$ are inverse (and obviouly $[Y - Y(X + Y)^{-1}Y] = [X - X(X + Y)^{-1}X]$)



                    To prove it just multiply by your r.h.s expression



                    begin{eqnarray}
                    (X^{-1} + Y^{-1}) (X^{-1} + Y^{-1})^{-1} &=& (X^{-1} + Y^{-1}) [Y - Y(X + Y)^{-1}Y] \
                    &=&(X^{-1} + Y^{-1})Y[1 - (X+Y)^{-1}Y] \
                    &=&X^{-1} X[1 - (X+Y)^{-1}X] + Y^{-1} Y[1 - (X+Y)^{-1}Y] \
                    &=&1 - (X + Y)^{-1}X + 1 - (X+Y)^{-1}Y \
                    &=& 1 - (X + Y)^{-1}(X + Y) + 1 \
                    &=& 1
                    end{eqnarray}



                    As for the second question, the answer is no. Imagine this case



                    $$
                    X = pmatrix{1 & 0 \ 0 & 0} ~~~ mbox{and} ~~~ Y = pmatrix{0 & 0 \ 0 & 1}
                    $$



                    neither $X$ nor $Y$ are invertible, but $X + Y$ is






                    share|cite|improve this answer












                    First note that if you swap $X$ and $Y$ you should get the same inverse, that's because sum is a commutative operation, so both $[Y - Y(X + Y)^{-1}Y]$ and $[X -X(X + Y)^{-1}X]$ are inverse (and obviouly $[Y - Y(X + Y)^{-1}Y] = [X - X(X + Y)^{-1}X]$)



                    To prove it just multiply by your r.h.s expression



                    begin{eqnarray}
                    (X^{-1} + Y^{-1}) (X^{-1} + Y^{-1})^{-1} &=& (X^{-1} + Y^{-1}) [Y - Y(X + Y)^{-1}Y] \
                    &=&(X^{-1} + Y^{-1})Y[1 - (X+Y)^{-1}Y] \
                    &=&X^{-1} X[1 - (X+Y)^{-1}X] + Y^{-1} Y[1 - (X+Y)^{-1}Y] \
                    &=&1 - (X + Y)^{-1}X + 1 - (X+Y)^{-1}Y \
                    &=& 1 - (X + Y)^{-1}(X + Y) + 1 \
                    &=& 1
                    end{eqnarray}



                    As for the second question, the answer is no. Imagine this case



                    $$
                    X = pmatrix{1 & 0 \ 0 & 0} ~~~ mbox{and} ~~~ Y = pmatrix{0 & 0 \ 0 & 1}
                    $$



                    neither $X$ nor $Y$ are invertible, but $X + Y$ is







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered Nov 24 at 12:15









                    caverac

                    13k21028




                    13k21028























                        0














                        In the proof $$(X^{-1}+Y^{-1})^{-1}=((I+X^{-1}Y)Y^{-1})^{-1}=Y(I+X^{-1}Y)^{-1}=Y(I-(Y^{-1}(X+Y))^{-1})=Y(I-(X+Y)^{-1}Y),$$the third $=$ is the least trivial step, using$$(I+X^{-1}Y)(I-(Y^{-1}(X+Y))^{-1})=I+X^{-1}Y-X^{-1}Y(I+Y^{-1}X)(I+Y^{-1}X)^{-1}=I.$$This argument assumes $X,,Y,,X^{-1}+Y^{-1}$ are all invertible. (If the first two weren't, there'd be no such thing as $X^{-1}+Y^{-1}$ to invert in the first place.) All other requirements that a specific matrix be invertible follow from these. In particular, the inverse we seek to calculate is nonexistent iff some other inverse we need along the way is nonexistent.






                        share|cite|improve this answer


























                          0














                          In the proof $$(X^{-1}+Y^{-1})^{-1}=((I+X^{-1}Y)Y^{-1})^{-1}=Y(I+X^{-1}Y)^{-1}=Y(I-(Y^{-1}(X+Y))^{-1})=Y(I-(X+Y)^{-1}Y),$$the third $=$ is the least trivial step, using$$(I+X^{-1}Y)(I-(Y^{-1}(X+Y))^{-1})=I+X^{-1}Y-X^{-1}Y(I+Y^{-1}X)(I+Y^{-1}X)^{-1}=I.$$This argument assumes $X,,Y,,X^{-1}+Y^{-1}$ are all invertible. (If the first two weren't, there'd be no such thing as $X^{-1}+Y^{-1}$ to invert in the first place.) All other requirements that a specific matrix be invertible follow from these. In particular, the inverse we seek to calculate is nonexistent iff some other inverse we need along the way is nonexistent.






                          share|cite|improve this answer
























                            0












                            0








                            0






                            In the proof $$(X^{-1}+Y^{-1})^{-1}=((I+X^{-1}Y)Y^{-1})^{-1}=Y(I+X^{-1}Y)^{-1}=Y(I-(Y^{-1}(X+Y))^{-1})=Y(I-(X+Y)^{-1}Y),$$the third $=$ is the least trivial step, using$$(I+X^{-1}Y)(I-(Y^{-1}(X+Y))^{-1})=I+X^{-1}Y-X^{-1}Y(I+Y^{-1}X)(I+Y^{-1}X)^{-1}=I.$$This argument assumes $X,,Y,,X^{-1}+Y^{-1}$ are all invertible. (If the first two weren't, there'd be no such thing as $X^{-1}+Y^{-1}$ to invert in the first place.) All other requirements that a specific matrix be invertible follow from these. In particular, the inverse we seek to calculate is nonexistent iff some other inverse we need along the way is nonexistent.






                            share|cite|improve this answer












                            In the proof $$(X^{-1}+Y^{-1})^{-1}=((I+X^{-1}Y)Y^{-1})^{-1}=Y(I+X^{-1}Y)^{-1}=Y(I-(Y^{-1}(X+Y))^{-1})=Y(I-(X+Y)^{-1}Y),$$the third $=$ is the least trivial step, using$$(I+X^{-1}Y)(I-(Y^{-1}(X+Y))^{-1})=I+X^{-1}Y-X^{-1}Y(I+Y^{-1}X)(I+Y^{-1}X)^{-1}=I.$$This argument assumes $X,,Y,,X^{-1}+Y^{-1}$ are all invertible. (If the first two weren't, there'd be no such thing as $X^{-1}+Y^{-1}$ to invert in the first place.) All other requirements that a specific matrix be invertible follow from these. In particular, the inverse we seek to calculate is nonexistent iff some other inverse we need along the way is nonexistent.







                            share|cite|improve this answer












                            share|cite|improve this answer



                            share|cite|improve this answer










                            answered Nov 24 at 12:19









                            J.G.

                            21.7k21934




                            21.7k21934























                                0














                                We can prove the given equation directly by premultiplying by $X^{-1}+Y^{-1}$, we get identity,



                                $(X^{-1}+Y^{-1})(Y-Y(X+Y)^{-1}Y) = (X^{-1}Y)+(I)-Big((X+Y)^{-1}YBig)-Big(X^{-1}Y(X+Y)^{-1}YBig)$



                                $=Big(IBig)+Big(X^{-1}YBig)-Big((X+Y)^{-1}YBig)-Big(X^{-1}Y(X+Y)^{-1}YBig)$



                                $=Big(IBig)+Big(X^{-1}Big)Big(I-(X(X+Y)^{-1})-(Y(X+Y)^{-1})Big)Big(YBig)$



                                $=Big(IBig)+Big(X^{-1}Big)Big(I-(X+Y)(X+Y)^{-1}Big)Big(YBig)$



                                $=Big(IBig)+Big(X^{-1}Big)Big(I-IBig)Big(YBig)$



                                $=I$



                                Similarly, you can postmultiply and do the same.



                                For your second doubt,I would say that what you are saying is the case for product of matrices and not for sum(Because the product of determinant of 2 matrices is the determinant of their product).



                                Hope it is helpful:)






                                share|cite|improve this answer




























                                  0














                                  We can prove the given equation directly by premultiplying by $X^{-1}+Y^{-1}$, we get identity,



                                  $(X^{-1}+Y^{-1})(Y-Y(X+Y)^{-1}Y) = (X^{-1}Y)+(I)-Big((X+Y)^{-1}YBig)-Big(X^{-1}Y(X+Y)^{-1}YBig)$



                                  $=Big(IBig)+Big(X^{-1}YBig)-Big((X+Y)^{-1}YBig)-Big(X^{-1}Y(X+Y)^{-1}YBig)$



                                  $=Big(IBig)+Big(X^{-1}Big)Big(I-(X(X+Y)^{-1})-(Y(X+Y)^{-1})Big)Big(YBig)$



                                  $=Big(IBig)+Big(X^{-1}Big)Big(I-(X+Y)(X+Y)^{-1}Big)Big(YBig)$



                                  $=Big(IBig)+Big(X^{-1}Big)Big(I-IBig)Big(YBig)$



                                  $=I$



                                  Similarly, you can postmultiply and do the same.



                                  For your second doubt,I would say that what you are saying is the case for product of matrices and not for sum(Because the product of determinant of 2 matrices is the determinant of their product).



                                  Hope it is helpful:)






                                  share|cite|improve this answer


























                                    0












                                    0








                                    0






                                    We can prove the given equation directly by premultiplying by $X^{-1}+Y^{-1}$, we get identity,



                                    $(X^{-1}+Y^{-1})(Y-Y(X+Y)^{-1}Y) = (X^{-1}Y)+(I)-Big((X+Y)^{-1}YBig)-Big(X^{-1}Y(X+Y)^{-1}YBig)$



                                    $=Big(IBig)+Big(X^{-1}YBig)-Big((X+Y)^{-1}YBig)-Big(X^{-1}Y(X+Y)^{-1}YBig)$



                                    $=Big(IBig)+Big(X^{-1}Big)Big(I-(X(X+Y)^{-1})-(Y(X+Y)^{-1})Big)Big(YBig)$



                                    $=Big(IBig)+Big(X^{-1}Big)Big(I-(X+Y)(X+Y)^{-1}Big)Big(YBig)$



                                    $=Big(IBig)+Big(X^{-1}Big)Big(I-IBig)Big(YBig)$



                                    $=I$



                                    Similarly, you can postmultiply and do the same.



                                    For your second doubt,I would say that what you are saying is the case for product of matrices and not for sum(Because the product of determinant of 2 matrices is the determinant of their product).



                                    Hope it is helpful:)






                                    share|cite|improve this answer














                                    We can prove the given equation directly by premultiplying by $X^{-1}+Y^{-1}$, we get identity,



                                    $(X^{-1}+Y^{-1})(Y-Y(X+Y)^{-1}Y) = (X^{-1}Y)+(I)-Big((X+Y)^{-1}YBig)-Big(X^{-1}Y(X+Y)^{-1}YBig)$



                                    $=Big(IBig)+Big(X^{-1}YBig)-Big((X+Y)^{-1}YBig)-Big(X^{-1}Y(X+Y)^{-1}YBig)$



                                    $=Big(IBig)+Big(X^{-1}Big)Big(I-(X(X+Y)^{-1})-(Y(X+Y)^{-1})Big)Big(YBig)$



                                    $=Big(IBig)+Big(X^{-1}Big)Big(I-(X+Y)(X+Y)^{-1}Big)Big(YBig)$



                                    $=Big(IBig)+Big(X^{-1}Big)Big(I-IBig)Big(YBig)$



                                    $=I$



                                    Similarly, you can postmultiply and do the same.



                                    For your second doubt,I would say that what you are saying is the case for product of matrices and not for sum(Because the product of determinant of 2 matrices is the determinant of their product).



                                    Hope it is helpful:)







                                    share|cite|improve this answer














                                    share|cite|improve this answer



                                    share|cite|improve this answer








                                    edited Nov 24 at 12:22

























                                    answered Nov 24 at 12:14









                                    Martund

                                    1,344212




                                    1,344212






























                                        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.





                                        Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


                                        Please pay close attention to the following guidance:


                                        • 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.


                                        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%2f3011457%2fmatrices-x%25e2%2588%25921-y%25e2%2588%25921%25e2%2588%25921%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

                                        Quarter-circle Tiles

                                        build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

                                        Mont Emei