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 of Standard Matrix of a Linear Transformation from \(\RR ^n\) to \(\RR ^m\)). 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\) (Corollary cor:ndimisotorn of Isomorphic Vector Spaces). 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.

In Isomorphic Vector Spaces we introduced the transformation
\[\tau _2:\mathbb {M}_{2,2}\rightarrow \mathbb {P}^3\]
defined by
\[\tau _2\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 _2\) is linear. (See Practice Problem prob:taulinear.)

We will examine \(\tau _2\) in an effort to find a way to represent it with a matrix. (In the process, we will also end up proving that \(\tau _2\) is an isomorphism, which is what you were challenged to do in Isomorphic Vector Spaces.)

We will start by selecting a basis for each of \(\mathbb {M}_{2,2}\) and \(\mathbb {P}^3\). We can choose any basis for either space, but 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 or choice for \(\mathbb {M}_{2,2}\) and \(\mathbb {P}^3\), respectively.

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

[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 _2\circ R^{-1}\). Because \(T\) is a composition of linear transformations, \(T\) itself is linear (Theorem th:complinear of Composition and Inverses of Linear Transformations). 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 _2\) with respect to ordered bases \(\mathcal {B}\) and \(\mathcal {C}\).

As a side-note, observe that \(\tau _2=S^{-1}\circ T\circ R\). Observe also that \(T\) is invertible because \(A\) is invertible. So, \(T\) is an isomorphism. As a composition of isomorphisms, \(\tau _2\) is an isomorphism (Theorem th:isocompisiso of Isomorphic Vector Spaces). While we could have proved this result directly, as you were challenged to do in Isomorphic Vector Spaces, this approach is much less tedious.

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}\]

In Example ex:subtosub1 we defined \(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\). We chose
\[\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.

We also defined a linear 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\]

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}\]

[Picture]

Here is a diagram that summarizes this information. (Press the arrow on the right to expand.)

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. Recall that in Example ex:subtosub1 we found that the image of \(\vec {v}=2\vec {v}_1+\vec {v}_2\) is

\[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 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 vector 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 _2\) of Exploration is linear.

Problems -

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\]
Show that \(T\) is linear.
Is \(T\) an isomorphism? Yes, No
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\]

Problems -

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}\]
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\]
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}\]
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}\]
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}\]