Surjective linear map (source code)

= Surjective linear map

A linear map $T:V\to W$ is surjective when its <image and preimage of a function>[image] is all of $W$. For finite-dimensional spaces this is equivalent to $\operatorname{rank}T=\dim W$.