Maths WorkshopMaths problems with full solutions
Exercise 596Linear algebra › Vector spaces and subspacesHigh schoolAdded 3 Nov 2026

The subspace criterion

#subspace criterion#examples

Statement

Show that a nonempty subset FF of a vector space EE 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 FF.

Show solutionHide solution

Solution

Forward direction. If FF 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 FF is nonempty and closed under addition and scalar multiplication. We check the axioms:
- *Zero vector.* Since FF is nonempty, take v∈Fv\in F. Then 0⋅v∈F0\cdot v\in F by scalar closure, and 0⋅v=0E0\cdot v=0_E. So 0E∈F0_E\in F.
- *Opposite.* For v∈Fv\in F, (−1)⋅v∈F(-1)\cdot v\in F by scalar closure, and (−1)⋅v=−v(-1)\cdot v=-v. So FF contains opposites.
- *Addition, associativity, commutativity, distributivity, scalar compatibility*: these hold in FF because they hold in EE and FF is closed under the relevant operations.

Conclusion. FF is a subspace.