$[A,B]=AB−BA$. Show that for all square matrices, $operatorname{trace}([A,B])=0.$
up vote
3
down vote
favorite
The commutator of square matrices A,B∈Mn×n(F) is defined as
$[A,B]=AB−BA$
The trace of a square matrix $C∈Mn×n(F)$ is defined as the sum of diagonal entries:
$tr(C)=C_1$$_ 1$+…+$C_n$$_n$.
a) Show that for all square matrices, tr([A,B])=0.
b) Show that if S is an invertible matrix, then $tr(SCS^−$$^1)=tr(C)$.
in part A, i prove tr(AB)=tr(BA),so tr(AB)-tr(BA)=0, is it right begin{align*}
mathrm{tr}(AB) &= sum_{i=1}^n (AB)_{ii}\
&=sum_{i=1}^n sum_{j=1}^m A_{ij}B_{ji}\
&= sum_{j=1}^m sum_{i=1}^n B_{ji}A_{ij}\
&= sum_{j=1}^m (BA)_{jj}\
&= mathrm{tr}(BA)
end{align*}
part b I did : if S is an invertible then tr(SC$S^-$$^1$)=tr(C) * tr(S) * tr($S^-$$^1$) = tr(C)*I=tr(C) , am I right for this one
linear-algebra
add a comment |
up vote
3
down vote
favorite
The commutator of square matrices A,B∈Mn×n(F) is defined as
$[A,B]=AB−BA$
The trace of a square matrix $C∈Mn×n(F)$ is defined as the sum of diagonal entries:
$tr(C)=C_1$$_ 1$+…+$C_n$$_n$.
a) Show that for all square matrices, tr([A,B])=0.
b) Show that if S is an invertible matrix, then $tr(SCS^−$$^1)=tr(C)$.
in part A, i prove tr(AB)=tr(BA),so tr(AB)-tr(BA)=0, is it right begin{align*}
mathrm{tr}(AB) &= sum_{i=1}^n (AB)_{ii}\
&=sum_{i=1}^n sum_{j=1}^m A_{ij}B_{ji}\
&= sum_{j=1}^m sum_{i=1}^n B_{ji}A_{ij}\
&= sum_{j=1}^m (BA)_{jj}\
&= mathrm{tr}(BA)
end{align*}
part b I did : if S is an invertible then tr(SC$S^-$$^1$)=tr(C) * tr(S) * tr($S^-$$^1$) = tr(C)*I=tr(C) , am I right for this one
linear-algebra
add a comment |
up vote
3
down vote
favorite
up vote
3
down vote
favorite
The commutator of square matrices A,B∈Mn×n(F) is defined as
$[A,B]=AB−BA$
The trace of a square matrix $C∈Mn×n(F)$ is defined as the sum of diagonal entries:
$tr(C)=C_1$$_ 1$+…+$C_n$$_n$.
a) Show that for all square matrices, tr([A,B])=0.
b) Show that if S is an invertible matrix, then $tr(SCS^−$$^1)=tr(C)$.
in part A, i prove tr(AB)=tr(BA),so tr(AB)-tr(BA)=0, is it right begin{align*}
mathrm{tr}(AB) &= sum_{i=1}^n (AB)_{ii}\
&=sum_{i=1}^n sum_{j=1}^m A_{ij}B_{ji}\
&= sum_{j=1}^m sum_{i=1}^n B_{ji}A_{ij}\
&= sum_{j=1}^m (BA)_{jj}\
&= mathrm{tr}(BA)
end{align*}
part b I did : if S is an invertible then tr(SC$S^-$$^1$)=tr(C) * tr(S) * tr($S^-$$^1$) = tr(C)*I=tr(C) , am I right for this one
linear-algebra
The commutator of square matrices A,B∈Mn×n(F) is defined as
$[A,B]=AB−BA$
The trace of a square matrix $C∈Mn×n(F)$ is defined as the sum of diagonal entries:
$tr(C)=C_1$$_ 1$+…+$C_n$$_n$.
a) Show that for all square matrices, tr([A,B])=0.
b) Show that if S is an invertible matrix, then $tr(SCS^−$$^1)=tr(C)$.
in part A, i prove tr(AB)=tr(BA),so tr(AB)-tr(BA)=0, is it right begin{align*}
mathrm{tr}(AB) &= sum_{i=1}^n (AB)_{ii}\
&=sum_{i=1}^n sum_{j=1}^m A_{ij}B_{ji}\
&= sum_{j=1}^m sum_{i=1}^n B_{ji}A_{ij}\
&= sum_{j=1}^m (BA)_{jj}\
&= mathrm{tr}(BA)
end{align*}
part b I did : if S is an invertible then tr(SC$S^-$$^1$)=tr(C) * tr(S) * tr($S^-$$^1$) = tr(C)*I=tr(C) , am I right for this one
linear-algebra
linear-algebra
edited Nov 16 at 21:17
amWhy
191k27223438
191k27223438
asked Nov 16 at 21:08
DORCT
406
406
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
up vote
5
down vote
accepted
Your answer for part (a) looks good. I would maybe add a quick sentence saying that $operatorname{tr}(AB)-operatorname{tr}(BA)=operatorname{tr}(AB-BA)$.
For part (b) this does not work. The trace function is not multiplicative. What you can do is use $operatorname{tr}(AB)=operatorname{tr}(BA)$ that you proved in part (a). Try setting $A=SC$ and $B=S^{-1}$.
thank i got it.
– DORCT
Nov 16 at 21:26
add a comment |
up vote
3
down vote
part a) is correct.
part b) is not correct: the trace is not multiplicative, i.e. we don't have $tr(AB)=tr(A)cdot tr(B)$.
But, we only need part a) for this: observe that $C=S^{-1}(SC)$.
add a comment |
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
5
down vote
accepted
Your answer for part (a) looks good. I would maybe add a quick sentence saying that $operatorname{tr}(AB)-operatorname{tr}(BA)=operatorname{tr}(AB-BA)$.
For part (b) this does not work. The trace function is not multiplicative. What you can do is use $operatorname{tr}(AB)=operatorname{tr}(BA)$ that you proved in part (a). Try setting $A=SC$ and $B=S^{-1}$.
thank i got it.
– DORCT
Nov 16 at 21:26
add a comment |
up vote
5
down vote
accepted
Your answer for part (a) looks good. I would maybe add a quick sentence saying that $operatorname{tr}(AB)-operatorname{tr}(BA)=operatorname{tr}(AB-BA)$.
For part (b) this does not work. The trace function is not multiplicative. What you can do is use $operatorname{tr}(AB)=operatorname{tr}(BA)$ that you proved in part (a). Try setting $A=SC$ and $B=S^{-1}$.
thank i got it.
– DORCT
Nov 16 at 21:26
add a comment |
up vote
5
down vote
accepted
up vote
5
down vote
accepted
Your answer for part (a) looks good. I would maybe add a quick sentence saying that $operatorname{tr}(AB)-operatorname{tr}(BA)=operatorname{tr}(AB-BA)$.
For part (b) this does not work. The trace function is not multiplicative. What you can do is use $operatorname{tr}(AB)=operatorname{tr}(BA)$ that you proved in part (a). Try setting $A=SC$ and $B=S^{-1}$.
Your answer for part (a) looks good. I would maybe add a quick sentence saying that $operatorname{tr}(AB)-operatorname{tr}(BA)=operatorname{tr}(AB-BA)$.
For part (b) this does not work. The trace function is not multiplicative. What you can do is use $operatorname{tr}(AB)=operatorname{tr}(BA)$ that you proved in part (a). Try setting $A=SC$ and $B=S^{-1}$.
answered Nov 16 at 21:12
Dave
8,40811033
8,40811033
thank i got it.
– DORCT
Nov 16 at 21:26
add a comment |
thank i got it.
– DORCT
Nov 16 at 21:26
thank i got it.
– DORCT
Nov 16 at 21:26
thank i got it.
– DORCT
Nov 16 at 21:26
add a comment |
up vote
3
down vote
part a) is correct.
part b) is not correct: the trace is not multiplicative, i.e. we don't have $tr(AB)=tr(A)cdot tr(B)$.
But, we only need part a) for this: observe that $C=S^{-1}(SC)$.
add a comment |
up vote
3
down vote
part a) is correct.
part b) is not correct: the trace is not multiplicative, i.e. we don't have $tr(AB)=tr(A)cdot tr(B)$.
But, we only need part a) for this: observe that $C=S^{-1}(SC)$.
add a comment |
up vote
3
down vote
up vote
3
down vote
part a) is correct.
part b) is not correct: the trace is not multiplicative, i.e. we don't have $tr(AB)=tr(A)cdot tr(B)$.
But, we only need part a) for this: observe that $C=S^{-1}(SC)$.
part a) is correct.
part b) is not correct: the trace is not multiplicative, i.e. we don't have $tr(AB)=tr(A)cdot tr(B)$.
But, we only need part a) for this: observe that $C=S^{-1}(SC)$.
answered Nov 16 at 21:12
Berci
59.1k23671
59.1k23671
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.
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.
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%2f3001637%2fa-b-ab%25e2%2588%2592ba-show-that-for-all-square-matrices-operatornametracea-b-0%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