Since $x=\sum_jx_je_j$, linearity gives $T(x)=\sum_jx_jT(e_j)$. Therefore $T(x)=[T(e_1)\ \cdots\ T(e_n)]x$. This proves that the images of standard basis vectors are the columns of the standard matrix.
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.