Eigenvalues of a Linear Transformation

The article presents well known facts about eigenvalues of linear transformation of a vector space (see [13]). I formalize main dependencies between eigenvalues and the diagram of the matrix of a linear transformation over a finite-dimensional vector space. Finally, I formalize the subspace called a generalized eigenspace for the eigenvalue λ and show its basic properties.

MML identifier: VECTSP11, version: 7.9.03 4.108.1028