The subspace criterion
Statement
Show that a nonempty subset of a vector space is a subspace if and only if it is closed under addition and scalar multiplication.
Hint
The forward direction is immediate from the axioms. For the converse, verify that the axioms of a vector space hold in .
Show solutionHide solution
Solution
Forward direction. If is a subspace, it is a vector space under the induced operations, so it is closed under addition and scalar multiplication by definition.
Converse. Suppose is nonempty and closed under addition and scalar multiplication. We check the axioms:
- *Zero vector.* Since is nonempty, take . Then by scalar closure, and . So .
- *Opposite.* For , by scalar closure, and . So contains opposites.
- *Addition, associativity, commutativity, distributivity, scalar compatibility*: these hold in because they hold in and is closed under the relevant operations.
Conclusion. is a subspace.