Let $V$ and $W$ be vector spaces over a field $F$, $T:V\rightarrow W$ be a linear transformation, and $S:W\rightarrow V$ be a function such that $ST$ is the identity function on $V$ and $TS$ is the identity function on $W$. Prove that $S$ is a linear transformation.
My attempt: Let $\alpha$, $\beta\in V$, $c\in F$. Then $ST(c\alpha+\beta)=c\alpha+\beta=cST\alpha+ST\beta$, where $T\alpha,T\beta\in W$, so $S$ is linear.
Is there a way to do this starting with vectors in $W$? My professor wasn't happy with this solution, but I can't see another way to solve this.