Endomorphism/Eigenvalue and characteristic polynomial/Fact/Proof
Jump to navigation
Jump to search
Proof
Let denote a describing matrix for , and let be given. We have
if and only if the linear mapping
is not bijective (and not injective) (due to fact and fact). This is, because of fact and fact, equivalent with
and this means that the eigenspace for is not the nullspace, thus is an eigenvalue for .