Matrices of Linear Transformations with Respect to Arbitrary Bases

We know that every linear transformation from \(\RR ^n\) into \(\RR ^m\) is a matrix transformation (Theorem th:matlin). However, the matrix that represents a linear transformation is tied to the basis we choose. So far we have only used the standard basis of \(\RR ^n\). What about linear transformations between vector spaces other than \(\RR ^n\)? In this section we will learn to represent linear transformations between arbitrary finite-dimensional vector spaces using matrices. To do so, we will use the fact that every \(n\)-dimensional vector space is isomorphic to \(\RR ^n\). (Theorem th:ndimisotorn). What we do here will serve as yet another example of how isomorphisms can be used to translate problems in one vector space to another, more convenient, vector space.

Define a transformation
\[\tau :\mathbb {M}_{2,2}\rightarrow \mathbb {P}^3\]
by
\[\tau \left (\begin{bmatrix}a&b\\c&d\end{bmatrix}\right )=a+(a+c)x+(b-c)x^2+dx^3\]

You should verify that \(\tau \) is linear. (See Practice Problem prob:taulinear.)

We will examine \(\tau \) in an effort to find a way to represent it with a matrix. The matrix we find will depend on our choice of bases. We will choose bases that will make computations easier.

Let

\[\mathcal {B}=\left \{\begin{bmatrix}1&0\\0&0\end{bmatrix}, \begin{bmatrix}0&1\\0&0\end{bmatrix}, \begin{bmatrix}0&0\\1&0\end{bmatrix}, \begin{bmatrix}0&0\\0&1\end{bmatrix}\right \}\]
\[\mathcal {C}=\{1, x, x^2, x^3\}\]
be our ordered bases of choice for \(\mathbb {M}_{2,2}\) and \(\mathbb {P}^3\), respectively.

Recall that a coordinate isomorphism maps a vector to its coordinate vector with respect to the given ordered basis (Theorem ex:coordmapiso). In the diagram below, let \(R\) and \(S\) be coordinate isomorphisms with respect to \(\mathcal {B}\) and \(\mathcal {C}\), respectively.

[Picture]

Define \(T:\RR ^4\rightarrow \RR ^4\) by

\[T\left (\begin{bmatrix}a\\b\\c\\d\end{bmatrix}\right )=\begin{bmatrix}a\\a+c\\b-c\\d\end{bmatrix}\]
Observe that \(T=S\circ \tau \circ R^{-1}\). Because \(T\) is a composition of linear transformations, \(T\) itself is linear (Theorem th:complinear). Thus, we should be able to find the standard matrix for \(T\). To do this, find the images of the standard unit vectors and use them to create the standard matrix \(A\) for \(T\).
\[A=\begin{bmatrix}\answer {1}&\answer {0}&\answer {0}&\answer {0}\\\answer {1}&\answer {0}&\answer {1}&\answer {0}\\\answer {0}&\answer {1}&\answer {-1}&\answer {0}\\\answer {0}&\answer {0}&\answer {0}&\answer {1}\end{bmatrix}\]

We say that \(A\) is the matrix of \(\tau \) with respect to ordered bases \(\mathcal {B}\) and \(\mathcal {C}\).

Let
\[\vec {v}_1=\begin{bmatrix}1\\2\\0\end{bmatrix}\quad \text {and}\quad \vec {v}_2=\begin{bmatrix}0\\1\\1\end{bmatrix}\]
\[\vec {w}_1=\begin{bmatrix}1\\0\\1\end{bmatrix}\quad \text {and}\quad \vec {w}_2=\begin{bmatrix}1\\0\\0\end{bmatrix}\]

Define \(V\) and \(W\) as follows:

\[V=\text {span}(\vec {v}_1, \vec {v}_2)\quad \text {and}\quad W=\text {span}(\vec {w}_1, \vec {w}_2)\]
Geometrically, \(V\) and \(W\) are planes in \(\RR ^3\). Let’s choose
\[\mathcal {B}=\{\vec {v}_1, \vec {v}_2\}\quad \text {and}\quad \mathcal {C}=\{\vec {w}_1, \vec {w}_2\}\]
as ordered bases of \(V\) and \(W\), respectively.

Define a transformation \(T:V\rightarrow W\) by

\[T(\vec {v}_1)=2\vec {w}_1-3\vec {w}_2\quad \text {and} \quad T(\vec {v}_2)=-\vec {w}_1+4\vec {w}_2\]
(You should mentally verify that \(T\) is linear.)

Our goal now is to find a matrix for \(T\) with respect to \(\mathcal {B}\) and \(\mathcal {C}\).

The information given in this problem is slightly different from the information in Exploration init:taumatrix. Instead of being given an expression for the image of a generic vector of \(V\), we are only given the images of the two basis vectors of \(V\). But this information is sufficient to determine the linear transformation.

As before, we will map vectors of \(V\) and \(W\) to their coordinate vectors. Where are the coordinate vectors located?

(a)
\([\vec {v}_1]_{\mathcal {B}}\) and \([\vec {v}_2]_{\mathcal {B}}\) are elements of \(\RR \), \(\RR ^2\), \(\RR ^3\)
(b)
\([\vec {w}_1]_{\mathcal {C}}\) and \([\vec {w}_2]_{\mathcal {C}}\) are elements of \(\RR \), \(\RR ^2\), \(\RR ^3\)

Now we find the coordinate vectors.

(a)
\[[\vec {v}_1]_{\mathcal {B}}=\begin{bmatrix}\answer {1}\\\answer {0}\end{bmatrix}\quad \text {and}\quad [\vec {v}_2]_{\mathcal {B}}=\begin{bmatrix}\answer {0}\\\answer {1}\end{bmatrix}\]
(b)
\[[T(\vec {v}_1)]_{\mathcal {C}}=\begin{bmatrix}\answer {2}\\\answer {-3}\end{bmatrix}\quad \text {and}\quad [T(\vec {v}_2)]_{\mathcal {C}}=\begin{bmatrix}\answer {-1}\\\answer {4}\end{bmatrix}\]

The diagram below summarizes this information.

[Picture]

Define \(F:\RR ^2\rightarrow \RR ^2\) by \(F=S\circ T\circ R^{-1}\). \(F\) is a linear transformation that maps \(\begin{bmatrix}1\\0\end{bmatrix}\) and \(\begin{bmatrix}0\\1\end{bmatrix}\) to \(\begin{bmatrix}2\\-3\end{bmatrix}\) and \(\begin{bmatrix}-1\\4\end{bmatrix}\), respectively. Thus, the standard matrix for \(F\) is:

\[A=\begin{bmatrix}2&-1\\-3&4\end{bmatrix}\]
We say that \(A\) is a matrix for \(T\) with respect to \(\mathcal {B}\) and \(\mathcal {C}\).

Let’s take a look at what this matrix can do for us. Suppose we want to find the image of \(\vec {v}=2\vec {v}_1+\vec {v}_2\) under \(T\). We can compute this directly, as follows:

\[T(\vec {v})=T(2\vec {v}_1+\vec {v}_2)=2T(\vec {v}_1)+T(\vec {v}_2)=3\vec {w}_1-2\vec {w}_2\]
This result can also be obtained by finding the product of \(A\) with the coordinate vector of \(\vec {v}\).
\[\begin{bmatrix}2&-1\\-3&4\end{bmatrix}\begin{bmatrix}2\\1\end{bmatrix}=\begin{bmatrix}3\\-2\end{bmatrix}\]

Given any vector \(\vec {u}=a\vec {v}_1+b\vec {v}_2\) of \(V\), we can find \(T(\vec {u})\) as follows:

\[\begin{bmatrix}2&-1\\-3&4\end{bmatrix}\begin{bmatrix}a\\b\end{bmatrix}=\begin{bmatrix}2a-b\\-3a+4b\end{bmatrix}\]

This gives us

\[T(\vec {u})=T(a\vec {v}_1+b\vec {v}_2)=(2a-b)\vec {w}_1+(-3a+4b)\vec {w}_2\]

The Matrix of a Linear Transformation

In this section we will formalize the process for finding the matrix of a linear transformation with respect to arbitrary bases that we established through earlier examples.

Let \(V\) and \(W\) be vector spaces with ordered bases \(\mathcal {B}=\{\vec {v}_1, \vec {v}_2,\ldots ,\vec {v}_n\}\) and \(\mathcal {C}=\{\vec {w}_1, \vec {w}_2,\ldots ,\vec {w}_m\}\), respectively. Suppose \(T:V\rightarrow W\) is a linear transformation. Our goal is to find a matrix for \(T\) with respect to \(\mathcal {B}\) and \(\mathcal {C}\).

Observe that \(\text {dim}(V)=n=\text {dim}(\RR ^n)\) and \(\text {dim}(W)=m=\text {dim}(\RR ^m)\). Let \(R:V\rightarrow \RR ^n\) and \(S:W\rightarrow \RR ^m\) be coordinate isomorphisms defined by

\[R(\vec {v})=[\vec {v}]_{\mathcal {B}}\quad \text {and}\quad S(\vec {w})=[\vec {w}]_{\mathcal {C}}\]

We know that \(R\) is an isomorphism and \(R^{-1}\) exists. Consider the transformation

\[S\circ T\circ R^{-1}:\RR ^n\rightarrow \RR ^m\]

[Picture]

As a composition of linear transformation, \(S\circ T\circ R^{-1}\) is linear and thus has a standard matrix. To find it, we need to determine the images of standard unit vectors \(\vec {e}_i\) under \(S\circ T\circ R^{-1}\). We have the following:

[Picture]

Vectors \([T(\vec {v}_i)]_{\mathcal {C}}\) will become the columns of the standard matrix. We summarize this discussion as a theorem.

In conclusion, observe how isomorphisms helped us solve the matrix of a linear transformation problem. The coordinate mappings \(R\) and \(S\) are isomorphisms. This means that \(V\) and \(\RR ^n\) are isomorphic and have the same structural properties. The same is true for \(W\) and \(\RR ^m\). In this abstract discussion, we do not know anything about the elements of \(V\) and \(W\), but isomorphisms allow us to take a problem that we do not know much about and transform it to a familiar problem involving familiar spaces.

The Inverse of a Linear Transformation and its Matrix

Let \(V\) and \(W\) be vector spaces. Suppose \(T:V\rightarrow W\) is an invertible linear transformation. This, of course, means that \(T\) is an isomorphism, which means that

\[\mbox {dim}(V)=\mbox {dim}(W)\]

Let \(\mathcal {B}=\{\vec {v}_1, \vec {v}_2,\ldots ,\vec {v}_n\}\) and \(\mathcal {C}=\{\vec {w}_1, \vec {w}_2,\ldots ,\vec {w}_n\}\) be ordered bases of \(V\) and \(W\), respectively. We can find the matrix of \(T^{-1}\) with respect to \(\mathcal {C}\) and \(\mathcal {B}\) by finding the standard matrix of the linear transformation \(R\circ T^{-1}\circ S^{-1}:\RR ^n\rightarrow \RR ^n\).

[Picture]

Observe that \(R\circ T^{-1}\circ S^{-1}\) is the inverse of \(S\circ T\circ R^{-1}\). So, if \(A\) is the standard matrix of \(S\circ T\circ R^{-1}\), then \(A^{-1}\) is the standard matrix of \(R\circ T^{-1}\circ S^{-1}\). Thus, \(A^{-1}\) is the matrix of \(T^{-1}\) with respect to \(\mathcal {C}\) and \(\mathcal {B}\).

Practice Problems

Verify that \(\tau \) of Exploration is linear.
Define \(T:\mathbb {M}_{2,2}\rightarrow \mathbb {L}\) by
\[T\left (\begin{bmatrix}a&b\\c&d\end{bmatrix}\right )=(a+b)+(c+d)x\]
(a)
Show that \(T\) is linear.
(b)
Let
\[\mathcal {B}=\left \{\begin{bmatrix}1&0\\0&0\end{bmatrix}, \begin{bmatrix}0&1\\0&0\end{bmatrix}, \begin{bmatrix}0&0\\1&0\end{bmatrix}, \begin{bmatrix}0&0\\0&1\end{bmatrix}\right \}\]
\[\mathcal {C}=\{1, x\}\]
be ordered bases for \(\mathbb {M}_{2,2}\) and \(\mathbb {L}\), respectively.

Find the matrix for \(T\) with respect to \(\mathcal {B}\) and \(\mathcal {C}\).

Answer:

\[\begin{bmatrix}\answer {1}&\answer {1}&\answer {0}&\answer {0}\\\answer {0}&\answer {0}&\answer {1}&\answer {1}\end{bmatrix}\]
Let \(V\) and \(W\) be vector spaces with ordered bases \(\mathcal {B}=\{\vec {v}_1, \vec {v}_2\}\) and \(\mathcal {C}=\{\vec {w}_1, \vec {w}_2, \vec {w}_3\}\), respectively. Define a linear transformation \(T:V\rightarrow W\) by
\[T(\vec {v}_1)=\vec {w}_1+2\vec {w}_2-\vec {w}_3,\quad T(\vec {v}_2)=3\vec {w}_2+\vec {w}_3\]
Find the matrix \(A\) of \(T\) with respect to \(\mathcal {B}\) and \(\mathcal {C}\), and use it to find \(T(-\vec {v}_1-3\vec {v}_2)\). Verify your answer by computing \(T(-\vec {v}_1-3\vec {v}_2)\) directly.
\[A=\begin{bmatrix}\answer {1}&\answer {0}\\\answer {2}&\answer {3}\\\answer {-1}&\answer {1}\end{bmatrix}\]
\[T(-\vec {v}_1-3\vec {v}_2)=\answer {-1}\vec {w}_1+\answer {-11}\vec {w}_2+\answer {-2}\vec {w}_3\]
Let
\[\vec {v}_1=\begin{bmatrix}2\\0\\1\end{bmatrix}\quad \text {and}\quad \vec {v}_2=\begin{bmatrix}3\\1\\1\end{bmatrix}\]
\[\vec {w}_1=\begin{bmatrix}-1\\1\\1\end{bmatrix}\quad \text {and}\quad \vec {w}_2=\begin{bmatrix}1\\1\\0\end{bmatrix}\]
Let \(V\) and \(W\) be subspaces of \(\RR ^3\) with ordered bases
\[\mathcal {B}=\{\vec {v}_1, \vec {v}_2\}\quad \text {and}\quad \mathcal {C}=\{\vec {w}_1, \vec {w}_2\}\]
respectively.

Let \(T:V\rightarrow W\) be a linear transformation such that

\[T(\vec {v}_1)=\begin{bmatrix}-1\\3\\2\end{bmatrix}\quad \text {and}\quad T(\vec {v}_2)=\begin{bmatrix}2\\4\\1\end{bmatrix}\]
(a)
Show that \(\begin{bmatrix}-1\\3\\2\end{bmatrix}, \begin{bmatrix}2\\4\\1\end{bmatrix}\) lie in \(W\) by expressing them as linear combinations of \(\vec {w}_1\) and \(\vec {w}_2\).
\[\begin{bmatrix}-1\\3\\2\end{bmatrix}=\answer {2}\vec {w}_1+\answer {1}\vec {w}_2\]
\[\begin{bmatrix}2\\4\\1\end{bmatrix}=\answer {1}\vec {w}_1+\answer {3}\vec {w}_2\]
(b)
Find the matrix of \(T\) with respect to \(\mathcal {B}\) and \(\mathcal {C}\).
\[\begin{bmatrix}\answer {2}&\answer {1}\\\answer {1}&\answer {3}\end{bmatrix}\]
(c)
Find the matrix of \(T^{-1}\) with respect to \(\mathcal {C}\) and \(\mathcal {B}\).
\[\begin{bmatrix}\answer {3/5}&\answer {-1/5}\\\answer {-1/5}&\answer {2/5}\end{bmatrix}\]
(d)
Find \(T^{-1}\left (\begin{bmatrix}10\\10\\0\end{bmatrix}\right )\).
\[T^{-1}\left (\begin{bmatrix}10\\10\\0\end{bmatrix}\right )=\begin{bmatrix}\answer {8}\\\answer {4}\\\answer {2}\end{bmatrix}\]