Here is an easier way to do this without using all 10 properties of a vector space.

Theorem:Let be a vector space over a field (you probably learned it over ). Let be a subset of so that for all and for all and . Then is a vector space over the field ( ).

So you only need to check closure of vector addition and scalar multiplication.