Let $A=[T]_{C\leftarrow B}$. The map $T:V\to W$ is surjective iff its matrix columns span the entire coordinate space of $W$, iff $\operatorname{rank}A=\dim W$. A pivot in every row tests this. Independence of columns instead tests injectivity.
Parents
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.