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

                      Are all passive ability checks floors for active ability checks?Does passive perception supersede active perception?Which skills can be used passively?Active Opposition with Free-Form Professions in Fate5E Trap/Ambush/Stealth Mechanics VS Passive Perception ConfusionInteraction between perception and stealth in obscured conditionsHow does Keen Sight affect Passive Perception?Are all d20 rolls either attacks, saves or ability checks?Can players declare that they are making a specific ability check?Can I see a Hidden creature that is not obscured at all?Can a Stealth check ever be made passively?Is this alternate version of the Observant feat balanced?What is the minimum amount of skill points per HD?

                      How do we improve the relationship with a client software team that performs poorly and is becoming less collaborative? Unicorn Meta Zoo #1: Why another podcast? Announcing the arrival of Valued Associate #679: Cesar ManaraDealing with clients who want more than what's in the contractHow to prepare for a client visit?How to handle undeservedly positive feedbackSupervisor apparently making it appear that our team underperformed and we indirectly caused client not to pay fullHow to progress my skills development as both the technical lead and youngest member on my team?Under performing employee will be fired if I ask for him off my teamwhat recommendations can I give to a colleague who is not preforming as well as expectedForcing usage of clients laptops because of VPN accessIs it acceptable to e-mail a client regarding potential opportunities in their company?Am I overly concerned about a newly hired Senior Developer with low performance?

                      Rank groups within a grouped sequence of TRUE/FALSE and NAGrouping functions (tapply, by, aggregate) and the *apply familyCharacters counting and subletting specific patternsWhat is the purpose of setting a key in data.table?data.table vs dplyr: can one do something well the other can't or does poorly?how to make a bar plot for a list of dataframes?How to group by unique values in a list in RPandas - Alternative to rank() function that gives unique ordinal ranks for a columnRank within group in for loop in RData transformation: from dyadic to observational data in RGetting map from purrr to work with paste0