Similarity and Diagonalisation
The Definition of Similar Matrices
Definition
A definition is a precise description of what a concept, a term, or an object means. Understanding definitions is the foundation of learning any field, and every concept has its own exact meaning.
For n-th order square matrices and , if there exists an invertible matrix such that , then the matrices and are called similar, written .
Properties of Similar Matrices
Property 1: similarity is an equivalence relation (reflexive, symmetric and transitive).
Property 2: similar matrices have the same characteristic polynomial.
Property 3: similar matrices have the same eigenvalues.
Property 4: similar matrices have the same trace and determinant.
Property 5: similar matrices have the same rank.
The Proof for Similar Matrices
Proof of Property 2: Let . Then:
The Definition of Diagonalisation
Definition
A definition is a precise description of what a concept, a term, or an object means. Understanding definitions is the foundation of learning any field, and every concept has its own exact meaning.
If the matrix is similar to a diagonal matrix, that is, if there exist an invertible matrix and a diagonal matrix such that:
then the matrix is called diagonalisable.
The Conditions for Diagonalisation
Theorem
A theorem is a proposition that has been rigorously proved, and it is the foundation of mathematical reasoning. A theorem usually states its conditions and its conclusion, and is an important part of any mathematical system.
An n-th order matrix is diagonalisable if and only if has linearly independent eigenvectors.
Proof
Proof:
- Sufficiency: suppose has linearly independent eigenvectors with corresponding eigenvalues . Let and . Then .
- Necessity: if , then , that is, the columns of are linear combinations of the columns of , with coefficients given by the diagonal entries of .
The Steps of Diagonalisation
Steps:
- Find the eigenvalues: solve the characteristic equation
- Find the eigenvectors: for each eigenvalue, find the corresponding linearly independent eigenvectors
- Construct the matrices: is formed from the eigenvectors and from the eigenvalues
- Verify: check that holds
Example
Example 1: decide whether the matrix is diagonalisable, and if so find its diagonalisation.
Solution:
- The characteristic equation:
- The eigenvalues: ,
- The eigenvectors:
- :
- :
- Construct the matrices:
- The diagonalisation:
The Condition for Failure
Theorem
A theorem is a proposition that has been rigorously proved, and it is the foundation of mathematical reasoning. A theorem usually states its conditions and its conclusion, and is an important part of any mathematical system.
If the matrix has a repeated eigenvalue whose geometric multiplicity is smaller than its algebraic multiplicity, then is not diagonalisable.
Example
Example 2: decide whether the matrix is diagonalisable.
Solution:
- The characteristic equation:
- The eigenvalue: (a double root)
- The geometric multiplicity: solving gives , so the geometric multiplicity is 1
- The algebraic multiplicity is 2 and the geometric multiplicity is 1, so the matrix is not diagonalisable
Computing Powers of a Matrix
Theorem
A theorem is a proposition that has been rigorously proved, and it is the foundation of mathematical reasoning. A theorem usually states its conditions and its conclusion, and is an important part of any mathematical system.
If , then .
Proof
Proof:
Computing Functions of a Matrix
Theorem
A theorem is a proposition that has been rigorously proved, and it is the foundation of mathematical reasoning. A theorem usually states its conditions and its conclusion, and is an important part of any mathematical system.
If , then , where .
The Definition of the Jordan Canonical Form
Definition
A definition is a precise description of what a concept, a term, or an object means. Understanding definitions is the foundation of learning any field, and every concept has its own exact meaning.
For a real symmetric matrix , if there exists an orthogonal matrix such that is a diagonal matrix, then is called diagonalisable, where is the diagonal matrix whose entries on the diagonal are the eigenvalues of .
Jordan Blocks
Definition
A definition is a precise description of what a concept, a term, or an object means. Understanding definitions is the foundation of learning any field, and every concept has its own exact meaning.
A matrix of the form
is called a Jordan block.
Exercise 1
Decide whether the matrix is diagonalisable.
Approach: Check whether there are enough linearly independent eigenvectors.
Steps:
- The characteristic equation:
- The eigenvalue: (a double root)
- Find the eigenvectors: solve
- This gives the eigenvector
- There is only one linearly independent eigenvector, fewer than the order of the matrix, which is 2
Answer: it is not diagonalisable
Exercise 2
Find the diagonalisation of the matrix .
Approach: Follow the steps of diagonalisation.
Steps:
- The characteristic equation:
- The eigenvalues: ,
- The eigenvectors:
- :
- :
- Construct the matrices:
- The diagonalisation:
Answer: , where and
Exercise 3
Prove that: similar matrices have the same eigenvalues.
Approach: Use the property that similar matrices have the same characteristic polynomial.
Steps:
- Let , that is,
- Similar matrices have the same characteristic polynomial:
- The eigenvalues are the roots of the characteristic polynomial
- Therefore and have the same eigenvalues
Answer: the proof is complete
Exercise 4
Let . Find .
Approach: Use the property of powers of a diagonalised matrix.
Steps:
Answer: , where
Exercise 5
Decide whether the matrix is diagonalisable, and if so find its diagonalisation.
Approach: Follow the steps of diagonalisation.
Steps:
- The characteristic equation:
- The eigenvalues: ,
- The eigenvectors:
- :
- :
- There are two linearly independent eigenvectors, equal to the order of the matrix
- Construct the matrices:
- The diagonalisation:
Answer: it is diagonalisable, , where and
Symbols Used in This Article
| Symbol | Type | Pronunciation / Note | Meaning in This Article |
|---|---|---|---|
| Mathematical symbol | P inverse A P | The form of a similarity transformation: | |
| Mathematical symbol | A tilde B | The matrices and are similar | |
| Mathematical symbol | invertible matrix P | The invertible matrix formed from the linearly independent eigenvectors | |
| Mathematical symbol | A equals P D P inverse | The diagonalisation decomposition | |
| Mathematical symbol | diagonal matrix of lambdas | The diagonal matrix whose diagonal entries are the eigenvalues | |
| Greek letter | Lambda sub i | The -th eigenvalue | |
| Mathematical symbol | determinant of (A minus lambda I) | The characteristic polynomial, which similar matrices share | |
| Mathematical symbol | A to the n equals P D to the n P inverse | The computation of powers of a matrix after diagonalisation | |
| Mathematical symbol | Jordan block J i | A Jordan block, an upper triangular matrix with 1s on the superdiagonal |
