Start with the given basis of , and follow it by arbitrary lifts of the given basis of . Since is an invariant linear subspace, every acting endomorphism has block formwhere and are its matrices on and . Both are strictly upper triangular in the chosen bases. Therefore the whole matrix has zero entries on and below its diagonal. The same lifted basis works simultaneously for all elements of .
Articles by others on the same topic
There are currently no matching articles.