For a linear map with finite-dimensional domain, injectivity is equivalent to nullity zero. Nullity is the dimension of the kernel, and the only zero-dimensional subspace is $\{0\}$. Rank–nullity then gives rank equal to the domain dimension.
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.