Kunze Linear Algebra · Problem 6.4.1
Elementary Canonical Forms
Mathematics — Methods · invariant-subspaces-r2
Problem
Let be the linear operator on , the matrix of which in the standard ordered basis is (a) Prove that the only subspaces of invariant under are and the zero subspace. (b) If is the linear operator on , the matrix of which in the standard ordered basis is , show that has -dimensional invariant subspaces.Intuitive explanation
The key is understanding what invariant subspaces are: subsets closed under the action of the operator. For part (a), a -dimensional invariant subspace would be spanned by an eigenvector of . Over the reals, has no real eigenvalues (check the characteristic polynomial), so no such subspace exists. Part (b) flips the field to complex numbers, where the same matrix now does have complex eigenvalues, giving you the eigenvectors you need to construct invariant subspaces.
Intuitive explanation
The key is understanding what invariant subspaces are: subsets closed under the action of the operator. For part (a), a -dimensional invariant subspace would be spanned by an eigenvector of . Over the reals, has no real eigenvalues (check the characteristic polynomial), so no such subspace exists. Part (b) flips the field to complex numbers, where the same matrix now does have complex eigenvalues, giving you the eigenvectors you need to construct invariant subspaces.