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 byThen 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
There are currently no matching articles.