AB diagonalizable then BA also diagonalizable Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Simultaneously Diagonalizable ProofCommuting matrices are simultaneously triangularizableFind a non diagonalizable matrix that commutes with a given matrixAll linear combinations diagonalizable over $mathbbC$ implies commuting.Simultaneously diagonalizable without distinct eigenvalues$A$ is diagonalizable, if $A,B$ have then same eigenvalues, then $B$ is also diagonalizableGiven two diagonalizable matrices that commute (AB = BA),is AB necessarily diagonalizable?Why do the nilpotent and diagonalizable parts commute?When is the product of two non simultaneously diagonalizable matrices (one of them nonsingular but none of them positive definite) diagonalizable?$A^2$ is diagonalizable and so is $A$

Is there folklore associating late breastfeeding with low intelligence and/or gullibility?

Blender game recording at the wrong time

Unexpected result with right shift after bitwise negation

What computer would be fastest for Mathematica Home Edition?

Determine whether f is a function, an injection, a surjection

How is simplicity better than precision and clarity in prose?

I'm having difficulty getting my players to do stuff in a sandbox campaign

What do you call a plan that's an alternative plan in case your initial plan fails?

Antler Helmet: Can it work?

Problem when applying foreach loop

Array/tabular for long multiplication

What is the electric potential inside a point charge?

Statistical model of ligand substitution

What to do with post with dry rot?

Why does this iterative way of solving of equation work?

What would be Julian Assange's expected punishment, on the current English criminal law?

Is there a service that would inform me whenever a new direct route is scheduled from a given airport?

I'm thinking of a number

How do I automatically answer y in bash script?

Keep going mode for require-package

How do I keep my slimes from escaping their pens?

What's the point in a preamp?

Autumning in love

Stars Make Stars



AB diagonalizable then BA also diagonalizable



Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Simultaneously Diagonalizable ProofCommuting matrices are simultaneously triangularizableFind a non diagonalizable matrix that commutes with a given matrixAll linear combinations diagonalizable over $mathbbC$ implies commuting.Simultaneously diagonalizable without distinct eigenvalues$A$ is diagonalizable, if $A,B$ have then same eigenvalues, then $B$ is also diagonalizableGiven two diagonalizable matrices that commute (AB = BA),is AB necessarily diagonalizable?Why do the nilpotent and diagonalizable parts commute?When is the product of two non simultaneously diagonalizable matrices (one of them nonsingular but none of them positive definite) diagonalizable?$A^2$ is diagonalizable and so is $A$










3












$begingroup$


If A and B don't commute are there counterexamples that AB is diagonalizable but BA not?



I read that if AB=BA then both AB and BA are diagonalizable.










share|cite|improve this question









$endgroup$







  • 2




    $begingroup$
    If $AB=BA$ then $AB$, $BA$ are either both diagonalisable or neither is diagonalisable. I hope that's obvious.
    $endgroup$
    – Lord Shark the Unknown
    Mar 31 at 17:41






  • 1




    $begingroup$
    @LordSharktheUnknown They are asking what can happen if $AB neq BA$.
    $endgroup$
    – kccu
    Mar 31 at 17:42















3












$begingroup$


If A and B don't commute are there counterexamples that AB is diagonalizable but BA not?



I read that if AB=BA then both AB and BA are diagonalizable.










share|cite|improve this question









$endgroup$







  • 2




    $begingroup$
    If $AB=BA$ then $AB$, $BA$ are either both diagonalisable or neither is diagonalisable. I hope that's obvious.
    $endgroup$
    – Lord Shark the Unknown
    Mar 31 at 17:41






  • 1




    $begingroup$
    @LordSharktheUnknown They are asking what can happen if $AB neq BA$.
    $endgroup$
    – kccu
    Mar 31 at 17:42













3












3








3





$begingroup$


If A and B don't commute are there counterexamples that AB is diagonalizable but BA not?



I read that if AB=BA then both AB and BA are diagonalizable.










share|cite|improve this question









$endgroup$




If A and B don't commute are there counterexamples that AB is diagonalizable but BA not?



I read that if AB=BA then both AB and BA are diagonalizable.







linear-algebra






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Mar 31 at 17:38









craftcraft

233




233







  • 2




    $begingroup$
    If $AB=BA$ then $AB$, $BA$ are either both diagonalisable or neither is diagonalisable. I hope that's obvious.
    $endgroup$
    – Lord Shark the Unknown
    Mar 31 at 17:41






  • 1




    $begingroup$
    @LordSharktheUnknown They are asking what can happen if $AB neq BA$.
    $endgroup$
    – kccu
    Mar 31 at 17:42












  • 2




    $begingroup$
    If $AB=BA$ then $AB$, $BA$ are either both diagonalisable or neither is diagonalisable. I hope that's obvious.
    $endgroup$
    – Lord Shark the Unknown
    Mar 31 at 17:41






  • 1




    $begingroup$
    @LordSharktheUnknown They are asking what can happen if $AB neq BA$.
    $endgroup$
    – kccu
    Mar 31 at 17:42







2




2




$begingroup$
If $AB=BA$ then $AB$, $BA$ are either both diagonalisable or neither is diagonalisable. I hope that's obvious.
$endgroup$
– Lord Shark the Unknown
Mar 31 at 17:41




$begingroup$
If $AB=BA$ then $AB$, $BA$ are either both diagonalisable or neither is diagonalisable. I hope that's obvious.
$endgroup$
– Lord Shark the Unknown
Mar 31 at 17:41




1




1




$begingroup$
@LordSharktheUnknown They are asking what can happen if $AB neq BA$.
$endgroup$
– kccu
Mar 31 at 17:42




$begingroup$
@LordSharktheUnknown They are asking what can happen if $AB neq BA$.
$endgroup$
– kccu
Mar 31 at 17:42










2 Answers
2






active

oldest

votes


















8












$begingroup$

Try $A = beginbmatrix0&0\1&0endbmatrix$ and $B = beginbmatrix0&0\0&1endbmatrix$






share|cite|improve this answer









$endgroup$




















    5












    $begingroup$

    This is true in the special case when both $A$ and $B$ are invertible.



    If we denote by $E_C(lambda)$ the eigenspace of the matrix $C$ relative to the eigenvalue $lambda$, we can see that
    $$
    vmapsto Bv
    $$

    induces an injective linear map $E_AB(lambda)to E_BA(lambda)$, so $dim E_AB(lambda)ledim E_BA(lambda)$, where $lambda$ is any eigenvalue of $AB$. By symmetry, the two eigenspaces have the same dimension.



    Also this proves that $AB$ and $BA$ have the same eigenvalues. If $AB$ is diagonalizable, then the geometric multiplicities of its eigenvalues sum up to $n$ (the size of the matrices $A$ and $B$). Thus the same happens for $BA$ and $BA$ is diagonalizable.



    If $A$ or $B$ is not invertible, we can still see that $AB$ and $BA$ have the same nonzero eigenvalues. Indeed, if $lambda$ is a nonzero eigenvalue of $AB$, with eigenvector $v$, then $ABv=lambda v$ (which implies $Bvne0$, so $(BA)(Bv)=lambda(Bv)$ and therefore $lambda$ is an eigenvalue of $BA$. By symmetry, $AB$ and $BA$ share the nonzero eigenvalues. Also, $0$ is an eigenvalue of both, because neither is invertible. However, in this case we can't control the geometric multiplicities, as Michael Biro's example shows.






    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%2f3169668%2fab-diagonalizable-then-ba-also-diagonalizable%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









      8












      $begingroup$

      Try $A = beginbmatrix0&0\1&0endbmatrix$ and $B = beginbmatrix0&0\0&1endbmatrix$






      share|cite|improve this answer









      $endgroup$

















        8












        $begingroup$

        Try $A = beginbmatrix0&0\1&0endbmatrix$ and $B = beginbmatrix0&0\0&1endbmatrix$






        share|cite|improve this answer









        $endgroup$















          8












          8








          8





          $begingroup$

          Try $A = beginbmatrix0&0\1&0endbmatrix$ and $B = beginbmatrix0&0\0&1endbmatrix$






          share|cite|improve this answer









          $endgroup$



          Try $A = beginbmatrix0&0\1&0endbmatrix$ and $B = beginbmatrix0&0\0&1endbmatrix$







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Mar 31 at 17:43









          Michael BiroMichael Biro

          11.7k21831




          11.7k21831





















              5












              $begingroup$

              This is true in the special case when both $A$ and $B$ are invertible.



              If we denote by $E_C(lambda)$ the eigenspace of the matrix $C$ relative to the eigenvalue $lambda$, we can see that
              $$
              vmapsto Bv
              $$

              induces an injective linear map $E_AB(lambda)to E_BA(lambda)$, so $dim E_AB(lambda)ledim E_BA(lambda)$, where $lambda$ is any eigenvalue of $AB$. By symmetry, the two eigenspaces have the same dimension.



              Also this proves that $AB$ and $BA$ have the same eigenvalues. If $AB$ is diagonalizable, then the geometric multiplicities of its eigenvalues sum up to $n$ (the size of the matrices $A$ and $B$). Thus the same happens for $BA$ and $BA$ is diagonalizable.



              If $A$ or $B$ is not invertible, we can still see that $AB$ and $BA$ have the same nonzero eigenvalues. Indeed, if $lambda$ is a nonzero eigenvalue of $AB$, with eigenvector $v$, then $ABv=lambda v$ (which implies $Bvne0$, so $(BA)(Bv)=lambda(Bv)$ and therefore $lambda$ is an eigenvalue of $BA$. By symmetry, $AB$ and $BA$ share the nonzero eigenvalues. Also, $0$ is an eigenvalue of both, because neither is invertible. However, in this case we can't control the geometric multiplicities, as Michael Biro's example shows.






              share|cite|improve this answer











              $endgroup$

















                5












                $begingroup$

                This is true in the special case when both $A$ and $B$ are invertible.



                If we denote by $E_C(lambda)$ the eigenspace of the matrix $C$ relative to the eigenvalue $lambda$, we can see that
                $$
                vmapsto Bv
                $$

                induces an injective linear map $E_AB(lambda)to E_BA(lambda)$, so $dim E_AB(lambda)ledim E_BA(lambda)$, where $lambda$ is any eigenvalue of $AB$. By symmetry, the two eigenspaces have the same dimension.



                Also this proves that $AB$ and $BA$ have the same eigenvalues. If $AB$ is diagonalizable, then the geometric multiplicities of its eigenvalues sum up to $n$ (the size of the matrices $A$ and $B$). Thus the same happens for $BA$ and $BA$ is diagonalizable.



                If $A$ or $B$ is not invertible, we can still see that $AB$ and $BA$ have the same nonzero eigenvalues. Indeed, if $lambda$ is a nonzero eigenvalue of $AB$, with eigenvector $v$, then $ABv=lambda v$ (which implies $Bvne0$, so $(BA)(Bv)=lambda(Bv)$ and therefore $lambda$ is an eigenvalue of $BA$. By symmetry, $AB$ and $BA$ share the nonzero eigenvalues. Also, $0$ is an eigenvalue of both, because neither is invertible. However, in this case we can't control the geometric multiplicities, as Michael Biro's example shows.






                share|cite|improve this answer











                $endgroup$















                  5












                  5








                  5





                  $begingroup$

                  This is true in the special case when both $A$ and $B$ are invertible.



                  If we denote by $E_C(lambda)$ the eigenspace of the matrix $C$ relative to the eigenvalue $lambda$, we can see that
                  $$
                  vmapsto Bv
                  $$

                  induces an injective linear map $E_AB(lambda)to E_BA(lambda)$, so $dim E_AB(lambda)ledim E_BA(lambda)$, where $lambda$ is any eigenvalue of $AB$. By symmetry, the two eigenspaces have the same dimension.



                  Also this proves that $AB$ and $BA$ have the same eigenvalues. If $AB$ is diagonalizable, then the geometric multiplicities of its eigenvalues sum up to $n$ (the size of the matrices $A$ and $B$). Thus the same happens for $BA$ and $BA$ is diagonalizable.



                  If $A$ or $B$ is not invertible, we can still see that $AB$ and $BA$ have the same nonzero eigenvalues. Indeed, if $lambda$ is a nonzero eigenvalue of $AB$, with eigenvector $v$, then $ABv=lambda v$ (which implies $Bvne0$, so $(BA)(Bv)=lambda(Bv)$ and therefore $lambda$ is an eigenvalue of $BA$. By symmetry, $AB$ and $BA$ share the nonzero eigenvalues. Also, $0$ is an eigenvalue of both, because neither is invertible. However, in this case we can't control the geometric multiplicities, as Michael Biro's example shows.






                  share|cite|improve this answer











                  $endgroup$



                  This is true in the special case when both $A$ and $B$ are invertible.



                  If we denote by $E_C(lambda)$ the eigenspace of the matrix $C$ relative to the eigenvalue $lambda$, we can see that
                  $$
                  vmapsto Bv
                  $$

                  induces an injective linear map $E_AB(lambda)to E_BA(lambda)$, so $dim E_AB(lambda)ledim E_BA(lambda)$, where $lambda$ is any eigenvalue of $AB$. By symmetry, the two eigenspaces have the same dimension.



                  Also this proves that $AB$ and $BA$ have the same eigenvalues. If $AB$ is diagonalizable, then the geometric multiplicities of its eigenvalues sum up to $n$ (the size of the matrices $A$ and $B$). Thus the same happens for $BA$ and $BA$ is diagonalizable.



                  If $A$ or $B$ is not invertible, we can still see that $AB$ and $BA$ have the same nonzero eigenvalues. Indeed, if $lambda$ is a nonzero eigenvalue of $AB$, with eigenvector $v$, then $ABv=lambda v$ (which implies $Bvne0$, so $(BA)(Bv)=lambda(Bv)$ and therefore $lambda$ is an eigenvalue of $BA$. By symmetry, $AB$ and $BA$ share the nonzero eigenvalues. Also, $0$ is an eigenvalue of both, because neither is invertible. However, in this case we can't control the geometric multiplicities, as Michael Biro's example shows.







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited Mar 31 at 22:35









                  Shalop

                  9,43811130




                  9,43811130










                  answered Mar 31 at 19:46









                  egregegreg

                  186k1486208




                  186k1486208



























                      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%2f3169668%2fab-diagonalizable-then-ba-also-diagonalizable%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

                      Adding axes to figuresAdding axes labels to LaTeX figuresLaTeX equivalent of ConTeXt buffersRotate a node but not its content: the case of the ellipse decorationHow to define the default vertical distance between nodes?TikZ scaling graphic and adjust node position and keep font sizeNumerical conditional within tikz keys?adding axes to shapesAlign axes across subfiguresAdding figures with a certain orderLine up nested tikz enviroments or how to get rid of themAdding axes labels to LaTeX figures

                      Luettelo Yhdysvaltain laivaston lentotukialuksista Lähteet | Navigointivalikko

                      Gary (muusikko) Sisällysluettelo Historia | Rockin' High | Lähteet | Aiheesta muualla | NavigointivalikkoInfobox OKTuomas "Gary" Keskinen Ancaran kitaristiksiProjekti Rockin' High