Now you are in the subtree of Container for Linear Algebra project. 

The dimension of a eigenspace is less than or equal to the (algebraic) multiplicity of the eigenvalue.

Created over 8 years ago, updated 10 days ago

Theorem: The dimension of an eigenspace $E_\lambda$ is less than or equal to the algebraic multiplicity of $\lambda$. That is, geometric multiplicity $\leq$ algebraic multiplicity. Equality holds iff the matrix is diagonalizable.