Let

Again the idea is the same as I said.

We need to show closure.

Where

(Because is an element of a vector space over F thus, .)

Where, .

Thus, the set which is a subset of is closed under scalar multiplication und vector addition, that is it must be a vector space (or subspace of W) over the field F.