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

Click For Summary
SUMMARY

The discussion centers on the proof of the matrix multiplication problem involving the expression ##M^n## and the rearrangement of terms. Participants clarify that the order of multiplication cannot be changed due to the non-commutative nature of matrix multiplication. They emphasize the necessity of the associativity law, the definition of an inverse, and the neutral element in matrix operations. The conclusion is that without specific properties of the matrices involved, one cannot assume that ##M^n## equals ##D^n##.

PREREQUISITES
  • Understanding of matrix multiplication properties, specifically associativity and non-commutativity.
  • Familiarity with the concept of matrix inverses and identity matrices.
  • Knowledge of diagonal matrices and their commutation properties.
  • Basic proficiency in linear algebra and matrix theory.
NEXT STEPS
  • Study the properties of matrix multiplication, focusing on associativity and non-commutativity.
  • Learn about the implications of matrix inverses and identity matrices in proofs.
  • Investigate the characteristics of diagonal matrices and their behavior in multiplication.
  • Explore examples of non-diagonal matrices to understand their commutation with other matrices.
USEFUL FOR

Students and professionals in mathematics, particularly those studying linear algebra, matrix theory, or involved in proofs related to 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