The inverse of an isomorphism is an isomorphism.

Created almost 9 years ago, updated about 8 hours ago

If $T:V\to W$ is a bijective linear map, its inverse is linear. Write $y_i=T(x_i)$; then $T^{-1}(ay_1+by_2)=T^{-1}(T(ax_1+bx_2))=ax_1+bx_2$. The inverse is already bijective, so it is an isomorphism.

Like how this is organised?

Build your own knowledge tree on knowen.md: notes, decisions and tasks in one connected markdown graph, shared with your team and your AI agents.