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
The domain \(\IR^3\) is represented on the left by the \(xyz\) coordinate axes, along with an arbitrary vector \(\vec{v}\text{.}\) A curved dotted arrow to the right points to the co-domain, \(\IR^2\text{,}\) represented by the \(xy\) coordinate axes, along with an arbitrary vector labeled \(T(\vec{v})\text{.}\)
Figure22.A linear transformation with a domain of \(\IR^3\) and a co-domain of \(\IR^2\)
One example of a linear transformation \(\IR^3\to\IR^2\) is the projection of three-dimensional data onto a two-dimensional screen, as is necessary for computer animation in film or video games.
A computer generated image of a three dimensional teapot sitting in front of a screen that shows a flattened, two dimensional image of the same teapot. Several parallel black arrows point from identifiable points on the three dimensional teapot (such as the spout and handle) to the corresponding places on the two dimensional image.
Compute the result of adding vectors before a \(T\) transformation:
\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)
\end{equation*}
Consider the following maps of Euclidean vectors \(P:\mathbb R^3\rightarrow\mathbb R^3\) and \(Q:\mathbb R^3\rightarrow\mathbb R^3\) defined by
\begin{equation*}
P\left( \left[\begin{array}{c} x \\ y \\ z \end{array}\right] \right)=
\left[\begin{array}{c} -2 \, x - 3 \, y - 3 \, z \\ 3 \, x + 4 \, y + 4 \, z \\ 3 \, x + 4 \, y + 5 \, z \end{array}\right]
\hspace{1em} \text{and} \hspace{1em} Q\left( \left[\begin{array}{c} x \\ y \\ z \end{array}\right] \right)=
\left[\begin{array}{c} x - 4 \, y + 9 \, z \\ y - 2 \, z \\ 8 \, y^{2} - 3 \, x z \end{array}\right].
\end{equation*}
Consider the following map of Euclidean vectors \(S:\mathbb R^2\rightarrow\mathbb R^2\)
\begin{equation*}
S\left( \left[\begin{array}{c} x \\ y \end{array}\right]\right)= \left[\begin{array}{c} x + 2 \, y \\ 9 \, x y \end{array}\right].
\end{equation*}
Consider the following map of Euclidean vectors \(T:\mathbb R^2\rightarrow\mathbb R^2\)
\begin{equation*}
T\left( \left[\begin{array}{c} x \\ y \end{array}\right] \right)= \left[\begin{array}{c} 8 \, x - 6 \, y \\ 6 \, x - 4 \, y \end{array}\right].
\end{equation*}
Let \(f(x)=x^3-1\text{.}\) Then, \(f\colon\IR\to\IR\) is a function with domain and codomain equal to \(\IR\text{.}\) Is \(f(x)\) is a linear transformation?
Is it the case that rotating \(\vec{u}+\vec{v}\) about the origin by \(\frac{\pi}{2}=90^\circ\) is the same as first rotating each of \(\vec{u},\vec{v}\) and then adding them together?
Is it the case that rotating \(5\vec{u}\) about the origin by \(\frac{\pi}{2}=90^\circ\) is the same as first rotating \(\vec{u}\) by \(\frac{\pi}{2}=90^\circ\) and then scaling by \(5\text{?}\)
Based on this, do you suspect that the transformation \(R\colon\IR^2\to\IR^2\) given by rotating vectors about the origin through an angle of \(\frac{\pi}{2}=90^\circ\) is linear? Do you think there is anything special about the angle \(\frac{\pi}{2}=90^\circ\text{?}\)
In ActivityΒ 2.2.1, we made an analogy between vectors and linear combinations with ingredients and recipes. Let us think of cooking as a transformation of ingredients. In this analogy, would it be appropriate for us to consider "cooking" to be a linear transformation or not? Describe your reasoning.
If \(V,W\) are vectors spaces, with associated zero vectors \(\vec{0}_V\) and \(\vec{0}_W\text{,}\) and \(T:V \rightarrow W\) is a linear transformation, does \(T(\vec{0}_V) = \vec{0}_W\text{?}\) Prove this is true, or find a counterexample.
Assume \(f: V \rightarrow W\) is a linear transformation between vector spaces. Let \(\vec{v} \in V\) with additive inverse \(\vec{v}^{-1}\text{.}\) Prove that \(f(\vec{v}^{-1}) = [f(\vec{v})]^{-1}\text{.}\)