There are two ways to define the algebraic multiplicity of a eigenvalue.
- The dimension of its generalized eigenspace.
- The multiplicity as a root of the characteristic polynomial.
I just wonder why these two statements are equivalent on complex vector spaces. Can anybody give me a brief explanation?