The quotient vector space identifies two vectors precisely when . Since is an invariant subspace, . Thus
Consequently : the output does not depend on the chosen representative. This proves that the induced linear map on a quotient vector space
is well-defined. It is a linear map because, for scalars ,
No. Over any field , take , let be the identity operator, and choose the vector subspace
Both 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 . Hence
The 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 formula
If belongs to its kernel, then . Therefore , so and is zero. We have proved
These 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 put
Direct matrix multiplication gives
For 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 is
No lower power can annihilate the matrix in any of these cases, as the displayed nonvanishing matrix powers show.
Let be the common field. The dual map is for , where and are the dual spaces.
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 with
It 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 . But
a contradiction. Hence , which proves

Articles by others on the same topic (0)

There are currently no matching articles.