Showing that the induced map on the quotient vector space is a linear transformation

Question

A subspace $W$ of $V$ is called invariant under the linear transformation $T:V\to V$ if $T(W)\subseteq W$. Prove that $S: V/W\to V/W$ defined by $v + W\mapsto T(v) + W$ is a linear transformation.

Tried to compute $S(\alpha_1v_1 + W + \alpha_2v_2 + W)$, but couldn't get it to work out. Any direction would be helpful!

Answer 1

Recall that: $\alpha_1 v_1 + W + \alpha_2 v_2 + W = (\alpha_1 v_1 + \alpha_2 v_2) +W$. So,

$$S(\alpha_1 v_1 + W + \alpha_2 v_2 + W) = S((\alpha_1 v_1 + \alpha_2 v_2) +W) = T(\alpha_1 v_1 + \alpha_2 v_2) + W.$$

Now, using linearity of $T$, can you finish?

Answer 2

Use the fact that $W + W = W$ and that $\alpha W = W$ for all nonzero scalars $\alpha$. So, $$ \begin{array}{lll} & & S(\alpha_1v_1 + W + \alpha_2v_2 + W) \\ & = & S(\alpha_1v_1 + \alpha_2v_2 + W)\\ & = & T(\alpha_1v_1 + \alpha_2v_2) + W\\ & = & \alpha_1 T(v_1) + \alpha_2 T(v_2) + W \\ & = & \alpha_1 T(v_1) + W + \alpha_2 T(v_2) + W\\ & = & \alpha_1 S(v_1 + W) + \alpha_2 S(v_2 + W)\\ \end{array} $$

Answer 3

This is well explained in Chapter 3 of Axler's Linear Algebra Done Right.

First of all, one needs

where the "affine subsets" are given by the following definition:

Then