Let $T: U \rightarrow V$ be an isomorphism.
Given that $S: V \rightarrow U$ satisfies $T \circ S = Id_V$ (where $Id_V (v) = v$, for all $v \in V$), show that $S$ is a linear transformation.
I honestly have no clue in solving this exercise. I would really appreciate a hint. How can I even start?
Observe that $S$ is in fact the inverse transformation of $T$. If this does not appear completely obvious, we can show it like this: Observe that since $T$ is an isomorphism, it is invertible. We apply it to the equation from the question and get
$$T^{-1} \circ (T \circ S) = T^{-1} \circ \text{id}_V$$
$$(T^{-1} \circ T) \circ S = T^{-1}$$
$$ \text{id}_V \circ S = S = T^{-1}$$
Now, since $T$ is an isomorphism, its inverse is so as well, and in particular it is linear. You can also show this from the definition, if you want to.