To prove the problem below I am having some trouble finding an inverse to prove $\Rightarrow$. Is there a theorem I can use to prove the existence of the identity or is the inverse the correct approach?

Thanks in advance

Let $T\in \mathcal{L}(V,W)$, with $dimV<\infty$, $dimW<\infty$

Prove that $T$ is surjective iff $\exists$ $S\in \mathcal{L}(W,V)$ such that $T\circ S=I_w$


First of all I think that the title is a little misleading. In fact the theorem does not say that $T$ is surjective iff exists the inverse, it says instead iff exists the right inverse. I'll make an example. If you have a linear application $F:\mathbb R^3\rightarrow\mathbb R^2$ such that $F(x,y,z)=(x,y)$ you have for sure a surjective application but you won't find it's inverse. In fact that is valid only if the two spaces have the same (finite) dimension (that was just in case you didn't know, if you wrote that title in order to simplify it I'm sorry). That said, let's demonstrate the $(\Leftarrow)$ part: take $x \in W$ then we have that $S(x)=y \in V$, so $T(y)=T(S(x))=I_W(x)=x$. Now the $(\Rightarrow)$ part $: \forall y \in W, \exists x \in V: T(x)=y $. Now I define $S:W \rightarrow V$ such that $S(y)=x$, if I take $y \in W, \rightarrow T(S(y))=T(x)=y \Rightarrow T \circ S=I_w$ (note that $S$ is linear). Hope it helps.

  • $\begingroup$ Thanks for the clarification, and I did write the title with the intention of simplifying it $\endgroup$ Nov 4 '17 at 1:20

Hint: Fix a basis in $W$ and choose a $T$-preimage for each basis element.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.