A linear transformation (also called a linear map) is a map between vector spaces that preserves the vector space operations. More precisely, if \(V\) and \(W\) are vector spaces, a map \(T:V\rightarrow W\) is called a linear transformation if
\(T(\vec{v}+\vec{w}) = T(\vec{v})+T(\vec{w})\) for any \(\vec{v},\vec{w} \in V\text{,}\) and
\(T(c\vec{v}) = cT(\vec{v})\) for any \(c \in \IR,\) and \(\vec{v} \in V\text{.}\)
In other words, a map is linear when vector space operations can be applied before or after the transformation without affecting the result.
Definition 3.1.2
Given a linear transformation \(T:V\to W\text{,}\)\(V\) is called the domain of \(T\) and \(W\) is called the co-domain of \(T\text{.}\)
Example 3.1.3
Let \(T : \IR^3 \rightarrow \IR^2\) be given by
\begin{equation*}
T\left(\left[\begin{array}{c} x \\ y \\ z \end{array}\right] \right)
=
\left[\begin{array}{c} x-z \\ 3y \end{array}\right].
\end{equation*}
To show that \(T\) is a linear transformation, we must verify that \(T(\vec{v}+\vec{w}) = T(\vec{v})+T(\vec{w})\) by computing
\begin{equation*}
T\left(
\left[\begin{array}{c} x \\ y \\ z \end{array}\right] +
\left[\begin{array}{c} u \\ v \\ w \end{array}\right]
\right)
=
T\left(
\left[\begin{array}{c} x+u \\ y+v \\ z+w \end{array}\right]
\right) =
\left[\begin{array}{c} (x+u)-(z+w) \\ 3(y+v) \end{array}\right]
\end{equation*}
and
\begin{equation*}
T\left(
\left[\begin{array}{c} x \\ y \\ z \end{array}\right]
\right) + T\left(
\left[\begin{array}{c} u \\ v \\ w \end{array}\right]
\right)
=
\left[\begin{array}{c} x-z \\ 3y \end{array}\right] +
\left[\begin{array}{c} u-w \\ 3v \end{array}\right]=
\left[\begin{array}{c} (x+u)-(z+w) \\ 3(y+v) \end{array}\right]\text{,}
\end{equation*}
and we must verify that \(T(c\vec{v}) = cT(\vec{v})\) by computing
\begin{equation*}
T\left(c\left[\begin{array}{c} x \\ y \\ z \end{array}\right] \right)
=
T\left(\left[\begin{array}{c} cx \\ cy \\ cz \end{array}\right] \right)
=
\left[\begin{array}{c} cx-cz \\ 3cy \end{array}\right]
\text{ and }
cT\left(\left[\begin{array}{c} x \\ y \\ z \end{array}\right] \right)
=
c\left[\begin{array}{c} x-z \\ 3y \end{array}\right]
=
\left[\begin{array}{c} cx-cz \\ 3cy \end{array}\right]\text{.}
\end{equation*}
Therefore \(T\) is a linear transformation.
Example 3.1.4
Let \(S : \IR^2 \rightarrow \IR^4\) be given by
\begin{equation*}
S\left(\left[\begin{array}{c} x \\ y \end{array}\right] \right)
=
\left[\begin{array}{c} x+y \\ x^2 \\ y+3 \\ y-2^x \end{array}\right]
\end{equation*}
To show that \(S\) is not linear, we only need to find one counterexample.
Since the resulting vectors are different, \(S\) is not a linear transformation.
Fact 3.1.5
A map between Euclidean spaces \(T:\IR^n\to\IR^m\) is linear exactly when every component of the output is a linear combination of the variables of \(\IR^n\text{.}\)
For example, the following map is definitely linear because \(x-z\) and \(3y\) are linear combinations of \(x,y,z\text{:}\)
\begin{equation*}
T\left(\left[\begin{array}{c} x \\ y \\ z \end{array}\right] \right)
=
\left[\begin{array}{c} x-z \\ 3y \end{array}\right]
=
\left[\begin{array}{c} 1x+0y-1z \\ 0x+3y+0z \end{array}\right]\text{.}
\end{equation*}
But the map below is not linear because \(x^2\text{,}\)\(y+3\text{,}\) and \(y-2^x\) are not linear combinations (even though \(x+y\) is):
\begin{equation*}
S\left(\left[\begin{array}{c} x \\ y \end{array}\right] \right)
=
\left[\begin{array}{c} x+y \\ x^2 \\ y+3 \\ y-2^x \end{array}\right]\text{.}
\end{equation*}
Activity 3.1.6 (~5 min)
Let \(D:\P\to\P\) be the derivative map defined by \(D(f(x))=f'(x)\) for each polynomial \(f \in \P\text{.}\) We recall from calculus that
Compute \(S(x^4+x)\text{,}\)\(S(x^4)+S(x)\text{,}\)\(T(x^4+x)\text{,}\) and \(T(x^4)+T(x)\text{.}\) Based on these computations, can you conclude that either \(S\) or \(T\) is definitely not a linear transformation?
Fact 3.1.8
If \(L:V\to W\) is a linear transformation, then \(L(\vec z)=L(0\vec v)=0L(\vec v)=\vec z\) where \(\vec z\) is the additive identity of the vector spaces \(V,W\text{.}\)
Put another way, an easy way to prove that a map like \(T(f(x)) = f'(x)+x^3\) can not be linear is to check that