Definition: Diagonalisable Matrix
A square matrix is diagonalisable if it is similar to a diagonal matrix .
Theorem: Eigendecomposition
A square matrix is diagonalisable if and only if it has linearly independent eigenvectors .
In that case, can be written as a matrix product
where the -th column of is the and is the diagonal matrix whose -th diagonal entry is the eigenvalue to which belongs.
PROOF
TODO
Definition: Eigendecomposition
The eigendecomposition of is the product .