The dimension of a eigenspace is less than or equal to the (algebraic) multiplicity of the eigenvalue.
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.