For $T:V\to W$ with finite-dimensional $V$, $\dim V=\dim\ker T+\dim\operatorname{range}T$. Proof: extend a kernel basis to a basis of $V$. Images of the added basis vectors span the range and are independent, giving its basis and the dimension count.
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.