Theorem

If subspaces of vector space then intersection of those subspaces is also subspace of .

Proof

Let be the intersection of the subspaces . This set is not empty because each of these subspaces contains the zero vector of , and hence so does their intersection. Thus, it remains to show that is closed under addition and scalar multiplication.

To prove closure under addition, let and be vectors in . Since is the intersection of , it follows that and also lie in each of these subspaces. Moreover, since these subspaces are closed under addition and scalar multiplication, they also contain the vectors and for every scalar , and hence so does their intersection . This proves that is closed under addition and scalar multiplication.