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: