The quotient vector space identifies two vectors precisely when . Since is an invariant subspace, . ThusConsequently : the output does not depend on the chosen representative. This proves that the induced linear map on a quotient vector spaceis well-defined. It is a linear map because, for scalars ,
No. Over any field , take , let be the identity operator, and choose the vector subspaceBoth and the quotient vector space have dimension one. A one-dimensional vector space has no nonzero proper vector subspace, so neither can have a nonzero proper invariant subspace. The induced linear map on a quotient vector space is again the identity operator.
However, is another nonzero proper vector subspace of , and . HenceThe hypotheses do not prevent a direct sum whose two summands are invariant subspaces.
Write , where and . These kernels satisfy . Also and : for example, when . Thus the proposed linear map between quotient vector spaces is well-defined and has the formulaIf belongs to its kernel, then . Therefore , so and is zero. We have provedThese are the injections between successive kernel quotients. In finite dimension, they imply .
Surjectivity need not hold. Take a nonzero vector space and the zero linear map . At , we have and , so
Subtract the identity matrix and putDirect matrix multiplication givesFor the last equality, each column of is a multiple of , and . Thus is a nilpotent matrix. The minimal polynomial of divides and equals , where is the nilpotency index of .
The first row of forces if , and its third row then forces . Conversely gives . If exactly one parameter is nonzero, then but . If both are nonzero, then while . Consequently the complete answer isNo lower power can annihilate the matrix in any of these cases, as the displayed nonvanishing matrix powers show.
First assume is injective. If were not surjective, its image of a linear map would be a proper vector subspace of . Choose a basis of and use basis extension to obtain a basis of , with . There is a linear functional withIt is nonzero and vanishes on , so , contradicting injectivity. Equivalently, the annihilator of a vector subspace would give a nonzero kernel for . Therefore
Now assume is surjective. If , basis extension gives a linear functional with : include in a basis and take its coordinate functional. By surjectivity, for some . Buta contradiction. Hence , which proves
Articles by others on the same topic
There are currently no matching articles.