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 .