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$.