Proving Periodic Matrices are Similar to Diagonal Matrices | Proof

  • Thread starter Thread starter Diffy
  • Start date Start date
  • Tags Tags
    Matrices Proof
Click For Summary
SUMMARY

Every periodic matrix is similar to a diagonal matrix, as established in the discussion. The proof begins with the assertion that if a periodic matrix A satisfies A^m = I, then A is similar to I, denoted as A ~ I. The proof utilizes induction to show that if X ~ Y, then X^n ~ Y^n for any positive integer n. The conclusion is reached by demonstrating that A ~ I implies A is similar to a diagonal matrix, specifically the identity matrix, which is a diagonal matrix.

PREREQUISITES
  • Understanding of periodic matrices and their properties
  • Familiarity with matrix similarity notation (A ~ B)
  • Knowledge of induction proofs in mathematics
  • Concept of Jordan normal form in linear algebra
NEXT STEPS
  • Study the properties of periodic matrices in linear algebra
  • Learn about the Jordan normal form and its implications for matrix similarity
  • Explore induction proofs in greater depth, particularly in the context of linear transformations
  • Investigate diagonalization of matrices and conditions for similarity to diagonal matrices
USEFUL FOR

Students and educators in linear algebra, mathematicians focusing on matrix theory, and anyone interested in the properties of periodic matrices and their diagonalization.

Diffy
Messages
441
Reaction score
0

Homework Statement



Prove that every periodic matrix is similar to a diagonal matrix.

Homework Equations



I use ~ to denote A similar to B as A~B

The Attempt at a Solution



Let A be periodic, and let A^m = I.

If A^m = I this implies A^m ~ I.

Claim: if X~Y implies X^n ~ Y^n for n a positive integer.
By induction.

Base case n = 2.
If X~Y then there exists a Z such that X = ZY(Z^-1).
X^2 = X*X = ZY(Z^-1)ZY(Z^-1) = Z*(Y^2)*(Z^-1).

Inductive step Assume true for some n.

X^(n+1) = (X^n) * X = Z(Y^n)(Z^-1)* ZY(Z^-1) = Z (Y^(n+1))(Z^-1) and we are done.

So since A^m ~ I implies A^(m+1) ~ I ^2 implies A^(m+1) ~ I, but since A^(m+1) = A we have A~I and since I is a diagonal matrix we are done.
 
Physics news on Phys.org
No, that doesn't work. You've shown X~Y implies X^n~Y^n. That's fine. But applying that to A^m~I only gives you e.g. (A^m)^2~I^2 or A^(2m)~I. That doesn't help. Think about what the blocks must look like in the Jordan normal form of A.
 
Last edited:

Similar threads

Replies
8
Views
2K
Replies
2
Views
1K
  • · Replies 8 ·
Replies
8
Views
1K
Replies
6
Views
2K
Replies
3
Views
2K
Replies
1
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
3
Views
2K