is the inverse image of under . That is it is the set of all elements of W such that .

That is non-empty is shown as that is for any linear transformation the zero vector maps to the zero vector. Then since we have

To show that is a subspace of it is sufficient to show that for any scalars , and that:

CB