(Minerva)

Given , a subset of a vector space .

is a subspace of if it, by itself, is a vector space with the same operations and a field of scalars as

To show that is also a vector space, we only need to show first 3 properties:

  1. is closed under
  2. is closed under
  3. has an additive zero vector

For reference, here’s all properties of a vector space

8 full criteria to prove a vector space

Given a set with two operations (addition and scalar multiplication), is a real-valued vector space if and it

  1. Is closed under both operations
  2. Sum of vectors is a vector in set
  1. Result scalar multiplication is vector in set :
  1. has an additive zero vector. It acts as neutral element in a group.
  1. has additive inverses for all of its vectors. They act as inverse elements in a group
  1. keeps multiplication identity
  1. is commutative
  1. both and are associative
  1. both and are distributive
Link to original

Example

Fundamental subspaces