Definition

Suppose that has eigenvectors that form a basis of . ( linearly independent eigenvectors)

where are the eigenvectors are the eigenvalues

Proof:

Requirement

  • is real symmetric is diagonalizable over by an orthogonal matrix
  • is normal () is unitary diagonalizable over
  • All eigenvalues are distinct diagonalizable over the field containing them

Definition: normal

  • over
  • over

Definition: multiplicity

  • geometric multiplicity:
  • algebraic multiplicity: the number of times appears as a root of the characteristic polynomial

We always have: geometric multiplicity algebraic multiplicity

NOTE

A matrix is diagonalizable if for all we have geometric multiplicity algebraic multiplicity