(Minerva)
Given
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 closed under is closed under has an additive zero vector
For reference, here’s all properties of a vector space
Link to original8 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
- Is closed under both operations
- Sum of vectors is a vector in set
- Result scalar multiplication is vector in set
:
- has an additive zero vector. It acts as neutral element in a group.
- has additive inverses for all of its vectors. They act as inverse elements in a group
- keeps multiplication identity
is commutative
- both
and are associative
- both
and are distributive
Example
The vector space
is the set of all 2x2 matrices and is a subset of containing only 2x2 upper triangular matrix
The vector space
is the set of solution to the linear system . Let be a subset of where