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

                      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

                      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?

                      Quoting Keynes in a lectureIs differentiated instruction permitted by universities?How to make students learn prerequisitesUnsatisfactory Instructor Evaluations: balancing of expectations of engineering studentsWhat is the difference between a “statistician”, “applied statistician”, and an academic applying advanced stats within their field?Listing in reference section, but not quotingHow to efficiently use time while preparing for a class?Graduate Admissions: Teaching Emphasisstrategies for sharing teaching information with universities I don't personally have contacts withIs there an efficient way to give a large class of students feedback about their assignments?Is it unreasonable to expect students to read the lecture notes before attending the first class?