Recall a linear transformation is a map T such that T(x + y) = T(x) + T(y) and T(cx) = cT(x).
null space and kernel, range and image
Theorem: these are subspaces
image of subspaces T(W)
prove rank-nullity. Pick a basis for null space and extend.
One-to-one