It is the set of vectors that satisfy
- So any vector that, after transformation through , lands on is part of this set.
- By definition, is a subset of .
is a subspace of cuz:
- is part of this set.
- Cuz satisfies this equation.
- satisfies the equation, cuz the origin remains unchanged in a linear transformation (represented by the matrix).
- is closed under linear combination.
- We have two vectors, who land on after transformation.
- The resultant of them will also land on after transformation.
Theorem 28.4
See reference [2]
for complete proof.
- It is a subspace of , with specifically instead of because for matrix-vector product to work, the number of entries of the vector should be the same as the number of columns of the matrix.
- Since the matrix is columns wide, the vector is also columns tall, hence belonging in .