For finite-dimensional $W$, $T:V\to W$ is onto iff $\operatorname{rank}T=\dim W$. Its range is a subspace of $W$; equal finite dimension forces equality. Matrix form: a pivot in every row. Infinite-dimensional equal-cardinality arguments do not justify this test.
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.