If , then , so is singular. By the rank-nullity theorem it has a nonzero kernel vector . ThusThis is exactly the definition of an eigenvalue. Here lies in the scalar field: for the stated real vector space it is real. A nonreal root instead gives an eigenvalue of the complexified operator, by the same argument over .
Articles by others on the same topic
There are currently no matching articles.