The necessary and sufficient condition is
For necessity, if and , then .
For sufficiency, let be a basis of and suppose the kernel of a linear map is trivial. The vectors are linearly independent, since implies . Extend them to a basis of . Define a linear map by
Then agrees with the identity operator on a basis, hence on all of . Thus a left inverse exists precisely when is injective; this is the linear left inverse criterion.

Articles by others on the same topic (0)

There are currently no matching articles.