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$
$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.
linear-algebra
$endgroup$
add a comment |
$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.
linear-algebra
$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
add a comment |
$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.
linear-algebra
$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
linear-algebra
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
add a comment |
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
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Try $A = beginbmatrix0&0\1&0endbmatrix$ and $B = beginbmatrix0&0\0&1endbmatrix$
$endgroup$
add a comment |
$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.
$endgroup$
add a comment |
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
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$begingroup$
Try $A = beginbmatrix0&0\1&0endbmatrix$ and $B = beginbmatrix0&0\0&1endbmatrix$
$endgroup$
add a comment |
$begingroup$
Try $A = beginbmatrix0&0\1&0endbmatrix$ and $B = beginbmatrix0&0\0&1endbmatrix$
$endgroup$
add a comment |
$begingroup$
Try $A = beginbmatrix0&0\1&0endbmatrix$ and $B = beginbmatrix0&0\0&1endbmatrix$
$endgroup$
Try $A = beginbmatrix0&0\1&0endbmatrix$ and $B = beginbmatrix0&0\0&1endbmatrix$
answered Mar 31 at 17:43
Michael BiroMichael Biro
11.7k21831
11.7k21831
add a comment |
add a comment |
$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.
$endgroup$
add a comment |
$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.
$endgroup$
add a comment |
$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.
$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.
edited Mar 31 at 22:35
Shalop
9,43811130
9,43811130
answered Mar 31 at 19:46
egregegreg
186k1486208
186k1486208
add a comment |
add a comment |
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.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
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