If $\dim V=n<\infty$, $T:V\to W$ is injective iff $\operatorname{rank}T=n$. Rank–nullity converts this to nullity zero. Necessarily $\dim W\ge n$, because the range lies in $W$.
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.