Given a basis $B=(b_1,\ldots,b_n)$ and chosen vectors $w_j\in W$, define $T(\sum_jc_jb_j)=\sum_jc_jw_j$. Unique basis coordinates make this well-defined, and the formula is linear. This is the linear extension principle; assigning images on a dependent generating list requires preserving its relations.
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.