Displaying similar documents to “Spectral properties of non-local uniformly-elliptic operators.”

Eigenvalues of a Linear Transformation

Karol Pąk (2008)

Formalized Mathematics

Similarity:

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