For an injective linear map $T:V\to W$ between finite-dimensional spaces, $\dim V\le\dim W$. Rank–nullity gives $\operatorname{rank}T=\dim V$, while the range is a subspace of $W$. This prevents an injective linear map from a larger finite coordinate space into a smaller one.
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.