Proof of ##M^n## (matrix multiplication problem)

Click For Summary

Homework Help Overview

The discussion revolves around the properties of matrix multiplication, particularly in the context of proving the equality of powers of matrices, specifically ##M^n##. Participants are examining the implications of rearranging terms in a proof involving diagonal and non-diagonal matrices.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants are questioning why the order of multiplication was not changed in a specific proof step. There is an exploration of the implications of matrix multiplication not being commutative and the necessity of using properties such as associativity and the definition of the inverse.

Discussion Status

Some participants have provided insights into the properties of matrix multiplication that are relevant to the discussion, noting the importance of recognizing which laws are applicable. There is an acknowledgment of differing interpretations regarding the rearrangement of matrices and the conditions under which they can be swapped.

Contextual Notes

Participants are operating under the assumption that the matrices involved may not commute, particularly when dealing with non-diagonal matrices. This has led to a deeper examination of the conditions required for certain matrix operations.

member 731016
Homework Statement
Please see below
Relevant Equations
Please see below
For,
1683666942440.png

Does anybody please know why they did not change the order in the second line of the proof? For example, why did they not rearrange the order to be ##M^n = (DP^{-1}P)(DP^{-1}P)(DP^{-1}P)(DP^{-1}P)---(DP^{-1}P)## for to get ##M^n = (DI)(DI)(DI)(DI)---(DI) = D^n##

Many thanks!
 
Physics news on Phys.org
ChiralSuperfields said:
Homework Statement: Please see below
Relevant Equations: Please see below

For,
View attachment 326261
Does anybody please know why they did not change the order in the second line of the proof? For example, why did they not rearrange the order to be ##M^n = (DP^{-1}P)(DP^{-1}P)(DP^{-1}P)(DP^{-1}P)---(DP^{-1}P)## for to get ##M^n = (DI)(DI)(DI)(DI)---(DI) = D^n##

Many thanks!
They did exactly what you proposed only with one more step that shows how the associativity law is necessary here. We first need ##(AB)B^{-1}=A(BB^{-1})=AI=A## before we are allowed to write ##A##. It is important to recognize which laws of matrix multiplication are actually used. Here it's the law of associativity ##(AB)B^{-1}=A(BB^{-1})##, the definition of an inverse ##BB^{-1}=I## and the definition of the neutral element ##AI=A.## So every single property of matrix multiplication, except for the distributive law since there is no addition here, has actually been used.
 
  • Like
Likes   Reactions: member 731016
ChiralSuperfields said:
Homework Statement: Please see below
Relevant Equations: Please see below

For,
View attachment 326261
Does anybody please know why they did not change the order in the second line of the proof? For example, why did they not rearrange the order to be ##M^n = (DP^{-1}P)(DP^{-1}P)(DP^{-1}P)(DP^{-1}P)---(DP^{-1}P)## for to get ##M^n = (DI)(DI)(DI)(DI)---(DI) = D^n##

Many thanks!
Because that would not be correct. Matrix multiplication is not commutative, and it is definitely not true that a matrix, ##M^n## that is probably non-diagonal, is equal to the diagonal matrix ##D^n##.
 
  • Like
Likes   Reactions: Infrared, member 731016, vela and 1 other person
@FactChecker has a good point here. I didn't see that you switched the order of ##P## and ##D.##

The only matrices that can be swapped are the diagonal matrices with the same value on the entire diagonal.
$$
A\cdot B = B\cdot A \text{ for all matrices } A \Longleftrightarrow D=\operatorname{diag}(d,d,\ldots,d)
$$

So if we do not have any specific information about ##A,## we must treat it like an arbitrary matrix. And that leaves us with ##\begin{pmatrix}d&0&\ldots&0\\0&d&\ldots&0\\ \vdots&\vdots&\ddots&\vdots\\ 0&0&\ldots&d\\ \end{pmatrix}## as the only matrix that commutes with ##A.## If we consider a specific matrix ##A,## then there are possibly more matrices that commute with ##A##. (Commute means ##A\cdot B=B\cdot A.##) However, if all these matrices are as before, then ##PD\neq DP.##
 
  • Like
Likes   Reactions: member 731016

Similar threads

  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K