Since , the vector is an eigenvector with nonzero eigenvalue . The assumption also makes , so the kernel has dimension . Choose its basis .
The vector is outside this kernel. Hence is a basis of consisting of eigenvectors, with corresponding eigenvalues . In that basis, is the diagonal matrixThis proves that is a diagonalisable matrix, including the case .
Articles by others on the same topic
There are currently no matching articles.