4.3. Change of Basis#

4.3.1. Introduction#

As we have seen, we have freedom of choice with respect to a basis for \(\R^n\) or a subspace \(S\) of \(\R^n\). Depending on the context one basis may be much more convenient than another. As a simple example – we will come back to it later in this section (Example 4.3.7) – consider the reflection along a line through the origin in the plane.

For instance, consider the line \(\mathcal{L}\) described by the equation \(3x - 2y = 0\). We know that the reflection along this line is a linear transformation. The images of the unit vectors \(\vect{e}_1\) and \(\vect{e}_2\) are not immediately clear. So it takes some effort to find the standard matrix

\[ \begin{bmatrix} T(\vect{e}_1) & T(\vect{e}_2) \end{bmatrix}. \]

A basis that fits better here would be a basis \(\{\vect{b}_1, \vect{b}_2\}\) where \(\vect{b}_1\) is a direction vector for the line, and \(\vect{b}_2\) a non-zero vector perpendicular to the line. For instance, we can take

\[\begin{split} \vect{b}_1 = \begin{bmatrix} 2\\3 \end{bmatrix}, \quad \vect{b}_2 = \begin{bmatrix} 3\\-2 \end{bmatrix}. \end{split}\]

See Figure 4.3.1.

../_images/Fig-ChangeOfBasis-Reflection.svg

Fig. 4.3.1 Reflection along the line \(\mc{L}\).#

From the geometry involved it follows that

\[ T(\vect{b}_1) = \vect{b}_1 \quad \text{and} \quad T(\vect{b}_2) = -\vect{b}_2. \]

If we work with the basis \(\mathcal B\) the transformation takes on a very simple form. Any vector \(\vect{v}\) can be written as

\[ \vect{v} = c_1\vect{b}_1 + c_2\vect{b}_2, \]

and then

\[ T(\vect{v}) = T(c_1\vect{b}_1 + c_2\vect{b}_2) = c_1\vect{b}_1 - c_2\vect{b}_2. \]

In this section we will explain how such a change of basis works.

4.3.2. Coordinates with Respect to a Basis#

We start with a proposition.

Proposition 4.3.1

If \(\mc{B} = \{\vect{b}_1, \vect{b}_2,\ldots,\vect{b}_m\}\) is a basis for a subspace \(S\) in \(\R^n\), then any vector \(\vect{v}\) in \(S\) can written as a linear combination of \(\vect{b}_1, \vect{b}_2,\ldots,\vect{b}_m\) in a unique way, i.e.

\[ \vect{v} = c_1\vect{b}_1 + c_2\vect{b}_2 + \ldots + c_m\vect{b}_m, \]

for unique constants \(c_1,c_2,\ldots,c_m\) in \(\R\).

Proof of Proposition 4.3.1

From the definition of a basis it follows that

\[ S = \Span{\vect{b}_1, \ldots, \vect{b}_m} \quad \text{with} \quad \{\vect{b}_1, \ldots, \vect{b}_m\} \text{ linearly independent}. \]

Let \( \vect{v}\) be an arbitrary element of \(S\). As \(\vect{v} \in \Span{\vect{b}_1, \ldots, \vect{b}_m}\),

\[ \vect{v} = c_1\vect{b}_1 + c_2\vect{b}_2 + \ldots + c_m\vect{b}_m \]

for some constants \(c_1,c_2,\ldots,c_m\).

To prove that the linear combination is unique, suppose that also

\[ \vect{v} = d_1\vect{b}_1 + d_2\vect{b}_2 + \, \ldots \, + d_m\vect{b}_m \]

for constants \(d_1,d_2,\ldots,d_m\). Then we have to show that in fact

\[ c_1 = d_1, \quad c_2 = d_2, \quad \ldots , \quad c_m = d_m. \]

This can be done as follows: subtracting the two expressions for \(\vect{v}\) gives

\[ \vect{0} = \vect{v} - \vect{v} = (c_1-d_1)\vect{b}_1 + (c_2-d_2)\vect{b}_2 + \ldots + (c_m-d_m)\vect{b}_m. \]

So, we have a linear combination of the vectors \(\vect{b}_i\) equal to the zero vector \(\vect{0}\).

From the linear independence of the vectors \(\vect{b}_1, \vect{b}_2,\ldots,\vect{b}_m\) it then follows that all the coefficients \((c_i-d_i)\) must be 0. Thus we find

\[ (c_1-d_1) = 0, \quad \ldots\,, \quad (c_m-d_m) = 0, \]

from which we can conclude that

\[ c_1 = d_1, \quad c_2 = d_2, \quad \ldots\,, \quad c_m =d_m. \]

and we are done.

In this subsection we will be interested mainly in the case where the subspace \(S\) is the whole of \(\R^n\).

Proposition 4.3.1 shows that the following definition makes sense.

Definition 4.3.1

Let \(\mc{B} = \{\vect{b}_1, \vect{b}_2,\ldots,\vect{b}_m\}\) be a basis for a subspace \(S\) in \(\R^n\), and \(\vect{v}\) a vector in \(S\). Then the coefficients \(c_1,c_2, \ldots, c_m\) for which

\[ \vect{v} = c_1\vect{b}_1 + c_2\vect{b}_2 + \ldots + c_m\vect{b}_m \]

are called the coordinates of the vector \(\vect{v}\) with respect to the basis \(\mc{B}\),

and the vector

\[\begin{split} [\vect{v}]_{\mc B} = \begin{bmatrix} c_1 \\ c_2 \\ \vdots \\ c_m\end{bmatrix} \end{split}\]

is called the coordinate vector of \(\vect{v}\) with respect to the basis \(\mc{B}\).

Example 4.3.1

We find the coordinates of the vectors \(\vect{v}= \begin{bmatrix} 6 \\ -2\end{bmatrix}\) and \(\vect{w}=\begin{bmatrix} -2 \\ 4\end{bmatrix}\) with respect to the basis \(\mc{B} = \{\vect{b}_1, \vect{b}_2 \} = \left\{ \begin{bmatrix} 1 \\ 3\end{bmatrix}, \begin{bmatrix} 2 \\ 1\end{bmatrix} \right\}\) of \(\R^2\).

For \(\vect{v}\) we have to solve the vector equation

\[\begin{split} c_1\begin{bmatrix} 1 \\ 3\end{bmatrix} + c_2\begin{bmatrix} 2 \\ 1\end{bmatrix}\,\,=\,\,\begin{bmatrix}6 \\ -2\end{bmatrix}. \end{split}\]

The solution \(c_1 = -2,\,c_2 = 4\) gives the answer:

\[\begin{split} [\vect{v}]_{\mc B} = \begin{bmatrix} -2 \\ 4\end{bmatrix}. \end{split}\]

Likewise the vector \(\vect{w}\) has the coordinate vector \([\vect{w}]_{\mc B} = \begin{bmatrix} 2 \\ -2\end{bmatrix}\).

Namely,

\[\begin{split} \begin{bmatrix} -2 \\ 4\end{bmatrix} = 2\begin{bmatrix} 1 \\ 3\end{bmatrix} +(-2)\begin{bmatrix} 2 \\ 1\end{bmatrix}, \quad\text{i.e. }\, \vect{w} = 2\vect{b}_1 + (-2) \vect{b}_2. \end{split}\]

Figure 4.3.2 may help to see what is going on geometrically.

../_images/Fig-ChangeOfBasis-AlternativeBasis.svg

Fig. 4.3.2 The basis \(\{\vect{b}_1,\vect{b}_2\}\) of Example 4.3.1.#

Remark 4.3.1

A note of warning. Strictly speaking a basis is an ordered set of vectors. By this we mean that the set \(\mathcal{B} = \{\vect{b}_1,\vect{b}_2\}\) and the set \(\mathcal{B}' = \{\vect{b}_2,\vect{b}_1\}\) are the same. However, as bases we should consider them as different. This becomes important when we work with coordinates.
\([\vect{v}]_{\mathcal{B}} = \begin{bmatrix}c_1\\c_2 \end{bmatrix}\) means that \(\vect{v} = c_1\vect{b}_1+c_2\vect{b}_2\),
whereas \([\vect{v}]_{\mathcal{B}'} = \begin{bmatrix}c_1\\c_2 \end{bmatrix}\) should be interpreted \(\vect{v} = c_1\vect{b}_2+c_2\vect{b}_1\).
To avoid ambiguities like this the way out is to use the notation

\[ \mathcal{B} = \big(\vect{b}_1,\vect{b}_2, \ldots, \vect{b}_n\big), \]

when we talk about a basis. However, we won’t, as is quite customary. In case of a basis we will always tacitly assume that the vectors are ordered as they are written down.

Recall that the standard basis of \(\R^n\) is given by

\[\begin{split} \mathcal{E} = \{\vect{e_1}, \vect{e_2}, \ldots, \vect{e_n}\} = \left\{ \begin{bmatrix} 1 \\ 0 \\ 0\\ \vdots \\ 0 \end{bmatrix},\, \begin{bmatrix} 0 \\ 1 \\ 0\\ \vdots \\ 0 \end{bmatrix},\, \,\,\ldots\,,\,\, \begin{bmatrix} 0 \\ 0 \\ 0\\ \vdots \\ 1 \end{bmatrix} \right\}. \end{split}\]

With respect to the standard basis it is very easy to find coordinates.

Example 4.3.2

If \(\vect{v} = \begin{bmatrix} a_1 \\ a_2 \\a_3\end{bmatrix}\) is an arbitrary vector in \(\R^3\), then

\[\begin{split} \vect{v} = a_1 \begin{bmatrix} 1 \\ 0 \\ 0\end{bmatrix} + a_2 \begin{bmatrix} 0 \\ 1 \\ 0\end{bmatrix} + a_3 \begin{bmatrix} 0 \\ 0 \\ 1\end{bmatrix} = a_1 \vect{e}_1 + a_2 \vect{e}_2 + a_3 \vect{e}_3. \end{split}\]

This means that

\[\begin{split} [\vect{v}]_{\mc{E}} = \begin{bmatrix} a_1 \\ a_2 \\a_3\end{bmatrix} = \vect{v}. \end{split}\]

So with respect to the standard basis any vector in \(\R^3\) is at the same time its coordinate vector.

In fact, this last observation holds more general. That is the content of the following proposition.

Proposition 4.3.2

For each vector \(\vect{v}\) in \(\R^n\)

\[ [\vect{v}]_{\mc{E}} = \vect{v}, \]

where \(\mc{E}\) is the standard basis of \(\R^n\).

In Example 4.3.1 we have seen that finding the coordinates of a vector with respect to the basis \(\mc{B} = \{\vect{b}_1, \vect{b}_2 \} = \left\{ \begin{bmatrix} 1 \\ 3\end{bmatrix}, \begin{bmatrix} 2 \\ 1\end{bmatrix} \right\}\) amounts to solving a vector equation. The converse, finding \([\vect{w}]_{\mc{E}}\) when \([\vect{w}]_{\mc{B}}\) is given, requires less work. The following example illustrates this.

Example 4.3.3

Suppose that with respect to the basis \(\mc{B} = \left\{ \begin{bmatrix} 1 \\ 3\end{bmatrix}, \begin{bmatrix} 2 \\ 1\end{bmatrix} \right\}\) it is given that

\[\begin{split} [\vect{w}]_{\mc{B}} = \begin{bmatrix} f_1 \\ f_2\end{bmatrix}. \end{split}\]

Then it follows that

\[\begin{split} \vect{w} = f_1\begin{bmatrix} 1 \\ 3\end{bmatrix} + f_2 \begin{bmatrix} 2 \\ 1\end{bmatrix} = \begin{bmatrix} 1 & 2 \\ 3 & 1\end{bmatrix} \begin{bmatrix} f_1 \\ f_2\end{bmatrix}. \end{split}\]

The rule to go from basis \(\mc{B}\) to the standard basis can thus be written as

(4.3.1)#\[[\vect{w}]_{\mc E} = P[\vect{w}]_{\mc{B}}, \quad \text{where}\quad P = \left[\,\vect{b}_1 \,\,\vect{b}_2 \,\right].\]

The procedure of Example 4.3.3 can be generalized to bases in \(\R^n\). Before we state how, we first define another useful concept.

Definition 4.3.2

Let \({\mathcal B} = \{\vect{b}_1, \ldots, \vect{b}_n \}\) be a basis of \(\R^n\). The change-of-coordinates matrix from \({\mathcal B}\) to \({\mathcal E}\) is the matrix

\[ P_{\mc{B}} = \left[\,\vect{b}_1\,\,\vect{b}_1\,\, \ldots\,\, \vect{b}_n\, \right]. \]

Proposition 4.3.3

If \({\mathcal B} = \{\vect{b}_1, \,\vect{b}_2,\, \ldots,\, \vect{b}_n \}\) is a basis of \(\R^n\), then for any vector \(\vect{v}\) in \(\R^n\) it holds that

\[ \vect{v} = P_{\mc{B}} [\vect{v}]_{\mc B}. \]

Proof of Proposition 4.3.3

Suppose

\[\begin{split} [\vect{v}]_{\mc B} = \begin{bmatrix} p_1 \\ p_2 \\ \vdots \\ p_n \end{bmatrix}. \end{split}\]

This is shorthand for

\[ \vect{v} = p_1\vect{b}_1+ p_2\vect{b}_2+\ldots + p_n\vect{b}_n, \]

and this linear combination of \(n\) vectors in \(\R^n\) can be written as a matrix-vector product:

\[\begin{split} \vect{v} = \left[\begin{matrix} \vect{b}_1 \,\,\vect{b}_2 \,\,\ldots\,\, \vect{b}_n \end{matrix}\right]\begin{bmatrix} p_1 \\ p_2 \\ \vdots \\ p_n \end{bmatrix} = P_{\mc{B}} [\vect{v}]_{\mc B}. \end{split}\]

Exercise 4.3.1

Show that every change-of-coordinates matrix \(P_{\mc{B}}\) is invertible.

The following proposition is an immediate consequence of Proposition 4.3.3 and Exercise 4.3.1.

Proposition 4.3.4

Suppose \(\mc{B}\) is a basis for \(\R^n\), and \(P_{\mc{B}}\) is the change-of-coordinates matrix. Then the coordinates of any vector \(\vect{v}\) with respect to basis \(\mc{B}\) are given by

\[ [\vect{v}]_{\mc B} = P^{-1}_{\mc{B}} \vect{v}. \]

Example 4.3.4

Have another look at Example 4.3.1 where we found the coordinates of the vector \( \vect{v}= \begin{bmatrix} 6 \\ -2\end{bmatrix}\) with respect to the basis \(\mc{B} = \{\vect{b}_1, \vect{b}_2 \} = \left\{ \begin{bmatrix} 1 \\ 3\end{bmatrix}, \begin{bmatrix} 2 \\ 1\end{bmatrix} \right\}\).

The change-of-coordinates matrix from basis \(\mc{B}\) to the standard basis is given by

\[\begin{split} P_{\mc{B}} = \begin{bmatrix} \vect{b}_1 & \vect{b}_2 \end{bmatrix} = \begin{bmatrix} 1& 2 \\ 3&1\end{bmatrix}. \end{split}\]

The inverse matrix then becomes

\[\begin{split} P^{-1}_{\mc{B}} = \begin{bmatrix} 1& 2 \\ 3&1\end{bmatrix}^{-1} = -\frac15 \begin{bmatrix} 1& -2 \\ -3&1\end{bmatrix}. \end{split}\]

So the coordinates of the vector \(\vect{v}\) can now also be found as follows:

\[\begin{split} [\vect{v}]_{\mc{B}} = P^{-1}_{\mc{B}}[\vect{v}]_{\mc{E}} = -\frac15 \begin{bmatrix} 1& -2 \\ -3&1\end{bmatrix}\begin{bmatrix} 6 \\ -2\end{bmatrix} = -\frac15\begin{bmatrix} 10 \\ -20\end{bmatrix} = \begin{bmatrix} -2 \\ 4\end{bmatrix}. \end{split}\]

We conclude this subsection with an example from physics.

Example 4.3.5

Suppose \((x,y,z,t)\) and \((x',y',z',t')\) are the coordinates of an event in two frames with the origins coinciding at \(t = t'= 0\) where the primed frame is seen from the unprimed frame as moving with speed \(v\) along the \(x\)-axis.

The connection between two systems can be rewritten by a four-dimensional ‘space-time’ coordinate transformation

\[\begin{split} \begin{cases} x'= \gamma (x - vt) \\ y'= y \\ z'= z \\ t'= \gamma \left( t - \dfrac{c}{v^2} x \right) \end{cases} \end{split}\]

Here \(c\) is the speed of light, and \(\gamma = \left(\sqrt{1 - \dfrac{v^2}{c^2}}\right)^{-1}\) the so-called Lorentz factor.

Systems that move with a constant velocity with respect to each other are called inertial systems. In each reference frame, an observer can use a local coordinate system (usually Cartesian coordinates in this context) to measure lengths, and a clock to measure time intervals. An event is something that happens at a point in space at an instant of time, or more formally a point in space-time. The transformation connects the space and time coordinates of an event as measured by an observers in the different frames.

4.3.3. The Matrix of a Linear Transformation with Respect to a Basis#

In Section 3.1 we have seen that every linear transformation \(T:\R^n \to \R^m\) can be represented by its standard matrix

(4.3.2)#\[A = \begin{bmatrix} T(\vect{e}_1) & T(\vect{e}_2) & \ldots & T(\vect{e}_n) \end{bmatrix}.\]

This means that for each vector \(\vect{v}\) in \(\R^n\) it holds that

\[ T(\vect{v}) = A\,\vect{v}. \]

In this way we have expressed everything into coordinates with respect to the standard bases \(\mc{E}\) and \(\mc{E}'\) for \(\R^n\) and \(\R^m\) respectively.

We will see that formula (4.3.2) can be generalized almost automatically to arbitrary bases for \(\R^n\) and \(\R^m\).

Proposition 4.3.5

Suppose that \(T:\R^n \to \R^m\) is a linear transformation, that \(\mc{B} =\{\vect{b}_1, \ldots, \vect{b}_n\}\) is a basis for \(\R^n\) and \(\mc{C}\) a basis for \(\R^m\). Then for each vector \(\vect{v}\) in \(\R^n\):

\[ [T(\vect{v})]_{\mc{C}} = \left[[T(\vect{b}_1)]_{\mc{C}} \,\rule[-.5ex]{0ex}{3ex}\,[T(\vect{b}_2)]_{\mc{C}}\,\,\ldots\,\,[T(\vect{b}_n)]_{\mc{C}}\right] [\vect{v}]_{\mc{B}} \]

Proof of Proposition 4.3.5

We use the definition of the coordinate vector and the linearity of the transformation. In fact we can play copycat with the proof of Theorem 3.1.1 in the section of linear transformations.

Indeed, suppose that \(\vect{v}\) is a vector in \(\R^n\), and that

\[\begin{split} [\vect{v}]_{\mc{B}} = \begin{bmatrix} f_1 \\ \vdots \\ f_n \end{bmatrix}, \quad \text{so} \quad \vect{v} = f_1\vect{b}_1 + f_2\vect{b}_2 + \ldots + f_n\vect{b}_n. \end{split}\]

Because of the linearity of \(T\) we then have

(4.3.3)#\[T(\vect{v}) = f_1T(\vect{b}_1) + f_2T(\vect{b}_2) + \ldots + f_nT(\vect{b}_n).\]

Now we take the coordinate vectors with respect to basis \(\mc{C}\):

(4.3.4)#\[[T(\vect{v})]_{\mc{C}} = f_1[T(\vect{b}_1)]_{\mc{C}} + f_2[T(\vect{b}_2)]_{\mc{C}} + \ldots + f_n[T(\vect{b}_n)]_{\mc{C}}. \]

(See Exercise 4.3.2.)

Noting that the term on the right side of Equation (4.3.4) is a linear combination of \(m\)-vectors, we can write the identity as

\[\begin{split} \begin{array}{rcl} [T(\vect{v})]_{\mc{C}} &=& \left[ [\,T(\vect{b}_1)]_{\mc{C}}\,\,\,\rule[-1ex]{0ex}{4ex}\,\ldots\,\,[T(\vect{b}_n)]_{\mc{C}}\,\right] \begin{bmatrix} f_1 \\ \vdots \\ f_n \end{bmatrix} \\ &=& \left[\,[T(\vect{b}_1)]_{\mc{C}}\,\,\,\rule[-0.5ex]{0ex}{3ex}\,\ldots\,\,[T(\vect{b}_n)]_{\mc{C}}\,\right][\vect{v}]_{\mc{B}}. \end{array} \end{split}\]

Exercise 4.3.2

Prove the identity

\[ [c_1\vect{v}_1 +c_2\vect{v}_2+ \ldots + c_n\vect{v}_n ]_{\mc{B}} = c_1[\vect{v}_1 ]_{\mc{B}} + c_2[\vect{v}_2 ]_{\mc{B}} + \ldots + c_n[\vect{v}_n ]_{\mc{B}} \]

that is used to go from Equation (4.3.3) to Equation (4.3.4) in the proof of Proposition 4.3.5.

Hint: first show the correctness of the identities

\[ [\vect{v}_1 +\vect{v}_2 ]_{\mc{B}} = [\vect{v}_1 ]_{\mc{B}} + [\vect{v}_2 ]_{\mc{B}} \quad \text{and} \quad [c\vect{v} ]_{\mc{B}} = c[\vect{v}]_{\mc{B}}. \]

Proposition 4.3.5 is fairly general. We will mostly use it in the situation where the linear transformation goes from \(\R^n\) to itself, and where we use the same basis \(\mc{B}\) in the domain and the codomain. Before we do so, we introduce a new notation for the general case.

Definition 4.3.3

Let \(T:\R^n \to \R^m\) be a linear transformation, and let \(\mc{B} = \{\vect{b}_1,\ldots,\vect{b}_n\}\) be a basis for \(\R^n\), \(\mc{C}\) a basis for \(\R^m\). Then the matrix of \(T\) with respect to bases \(\mc{B}\) and \(\mc{C}\) is defined by

\[ [T]_{\mc{C}\leftarrow \mc{B}} = \big[\,[T(\vect{b}_1) ]_{\mc{C}}\,\, [T(\vect{b}_2 )]_{\mc{C}}\,\,\ldots \,\,[T(\vect{b}_n) ]_{\mc{C}}\,\big]. \]

In the case where \(n = m\) and \(\mc{B} = \mc{C}\) we will use the slightly simpler notation

\[ [T]_{\mc{B}} = [T]_{\mc{B}\leftarrow \mc{B}} =\, \big[\,\,[T(\vect{b}_1) ]_{\mc{B}}\,\,\, [T(\vect{b}_2) ]_{\mc{B}}\,\,\,\ldots \,\,\,[T(\vect{b}_n) ]_{\mc{B}}\,\,\big], \]

and call this simply the matrix of \(T\) with respect to basis \(\mathcal{B}\).

If we let \(\mc{B}\) be the standard basis \(\mc{E}\) of \(\R^n\) and \(\mc{C}\) is the standard basis \(\mc{E'}\) of \(\R^m\) we get the following:

\[ [T]_{\mc{E}'\leftarrow \mc{E}} \,=\,\, \left[\,[T(\vect{e}_1) ]_{\mc{E}'}\,\,\ldots \,\rule[-.5ex]{0ex}{2.5ex}\,[T(\vect{e}_n) ]_{\mc{E}'}\,\right] \,\,=\,\, \big[\,T(\vect{e}_1) \,\, \ldots \,\, T(\vect{e}_n) \,\big]. \]

This is the “good old” standard matrix as in Section 3.1.4.

Example 4.3.6

Let us have a second look at the transformation mentioned in the introduction, i.e., the reflection in the plane along the line \(3x-2y=0\). We found that the reflection behaves in a very simple way with respect to the basis

\[\begin{split} \mc{B} = \{\vect{b}_1, \vect{b}_2 \} = \left\{\begin{bmatrix} 2\\3 \end{bmatrix}, \,\begin{bmatrix} 3\\-2 \end{bmatrix} \right\}. \end{split}\]

Recall that this basis was chosen so that \(\vect{b}_1\) lies on \(\mathcal{L}\) and \( \vect{b}_2\) is perpendicular to \(\mathcal{L}\), from which we deduced that

\[ T(\vect{b}_1) = \vect{b}_1 \quad \text{and} \quad T(\vect{b}_2) = -\vect{b}_2. \]

From this we can immediately write down the matrix of \(T\) with respect to \(\mc{B}\):

\[\begin{split} [T]_{\mathcal{B}} = \begin{bmatrix} 1 & 0 \\ 0 & -1 \end{bmatrix}. \end{split}\]

Example 4.3.7

We will find the matrix of the linear transformation \({T:\R^2 \to\R^2}\) sending \(\vect{b}_1 = \begin{bmatrix} 1\\3\end{bmatrix}\) to \(\begin{bmatrix} 5 \\ 5\end{bmatrix}\) and \(\vect{b}_2 = \begin{bmatrix} 2\\1\end{bmatrix}\) to \(\begin{bmatrix} 1 \\ -2\end{bmatrix}\) with respect to the basis \(\mathcal{B} =\{ \vect{b}_1, \vect{b}_2\}\).

The only thing that remains to be done before we can write down

\[ [T]_{\mc{B}} = \big[\, [T(\vect{b}_1 )]_{\mc{B}}\,\,\,[T(\vect{b}_2 )]_{\mc{B}}\,\big] \]

is to find the coordinates of the given images with respect to the basis \(\mathcal{B}\). This can be done as in Example 4.3.1 or by using the change-of-coordinates matrix as in Example 4.3.4:

\[\begin{split} \left[T(\vect{b}_1 )\right]_{\mc{B}} = (P_{\mc{B}})^{-1} T(\vect{b}_1) = -\dfrac{1}{5} \begin{bmatrix}1 & -2 \\ -3 & 1 \end{bmatrix}\begin{bmatrix} 5 \\ 5\end{bmatrix} = \begin{bmatrix} 1 \\ 2\end{bmatrix}, \end{split}\]

and

\[\begin{split} \left[T(\vect{b}_2) \right]_{\mc{B}}= (P_{\mc{B}})^{-1} T(\vect{b}_2) = -\dfrac{1}{5} \begin{bmatrix}1 & -2 \\ -3 & 1 \end{bmatrix} \begin{bmatrix} 1 \\ -2\end{bmatrix} = \begin{bmatrix} -1 \\ 1\end{bmatrix}, \end{split}\]

so

\[\begin{split} [T]_{\mc{B}} = \left[\, [T(\vect{b}_1 )]_{\mc{B}}\,\,\,[T(\vect{b}_2 )]_{\mc{B}}\,\right] = \begin{bmatrix}1 & -1 \\ 2 & 1 \end{bmatrix}. \end{split}\]

Grasple Exercise 4.3.1

https://embed.grasple.com/exercises/d6aa929c-7614-4af2-b015-31e2e6fd7b80?id=104847

Finding \([T]_{\mathcal{B}}\) for a ‘nice’ linear transformation.

In the next example we will find the matrix of the rotation \(R\) about the origin through an angle \(\frac13\pi\). In Section 3.3 we have already seen the standard matrix of this linear transformation, involving sines and cosines. As the example shows a change of basis may lead to an interesting alternative.

Example 4.3.8

Let \(\mc{B}\) be the basis

\[\begin{split} \left\{\vect{b}_1, \vect{b}_2 \right\} = \left\{ \begin{bmatrix} 2 \\ 0 \end{bmatrix}, \begin{bmatrix} -1 \\ \sqrt{3} \end{bmatrix} \right\}. \end{split}\]

Note that \(\vect{b}_1\) and \( \vect{b}_2\) are two vectors of length 2 subtending an angle \(\frac23\pi\). See Figure 4.3.3. The vector \(\vect{b}_1+\vect{b}_2 = \begin{bmatrix} 1 \\ \sqrt{3} \end{bmatrix}\), is also indicated in the figure.

../_images/Fig-ChangeOfBasis-TriangularGrid.svg

Fig. 4.3.3 Rotation in disguise.#

Now let us find the matrix of the rotation \(R\) with respect to basis \(\mc{B}\). From the figure we read off

\[ R(\vect{b}_1) = \vect{b}_1+\vect{b}_2 \quad\text{and} \quad R(\vect{b}_2) = -\vect{b}_1. \]

From this we can immediately write down the matrix of \(R\) with respect to the \(\mc{B}\)-basis:

\[\begin{split} [R]_{\mc{B}} = \big[\, [R(\vect{b}_1)]_{\mc{B}} \,\, [R(\vect{b}_2)]_{\mc{B}} \,\big] = \begin{bmatrix} 1 & -1 \\ 1 & 0 \end{bmatrix}. \end{split}\]

In Example 4.3.6 and Example 4.3.8, the reflection and the rotation, we came up first with bases that fitted the geometric context. And then we found the (very simple) matrix with respect to these bases. However, usually we prefer to have the standard matrix. In the last section we will see how a change of basis affects the matrix of a linear transformation.

4.3.4. The relation between \([T]_{\mc{E}}\) and \([T]_{\mc{B}}\)#

We have seen how to convert vectors from one coordinate system (i.e., basis) to another, and also how to construct the matrix of a linear transformation with respect to an arbitrary basis. In this section we will present a ready-made formula that connects the matrices with respect to two different bases. In this subsection we will restrict ourselves to the common situation of a linear transformation from \(\R^n\) to itself, where one of the bases is the standard basis.

We start with an example that illustrates the underlying ideas.

Example 4.3.9

Consider the linear transformation \(T:\R^2\to\R^2\) with the standard matrix \(A = \begin{bmatrix} 1 & 4 \\ 2 & 1\end{bmatrix}\), i.e.

\[\begin{split} T(\vect{x}) = A\vect{x} = \begin{bmatrix} 1 & 4 \\ 2 & 1\end{bmatrix}\vect{x}. \end{split}\]

We want to find the matrix of \(T\) with respect to the basis

\[\begin{split} \mc{B} = \left\{\vect{b}_1,\vect{b}_2\right\} = \left\{\begin{bmatrix} 2\\ -1 \end{bmatrix},\, \begin{bmatrix} 1\\ 1 \end{bmatrix}\right\}. \end{split}\]

Let \(P_{\mc{B}}\) denote the change-of-coordinates matrix.

So we have, for each vector \(\vect{x}\):

\[\begin{split} \vect{x} = [\vect{x}]_{\mc{E}} = P [\vect{x}]_{\mc{B}},\quad\text{where }\, P = \PB = \begin{bmatrix} 2 & 1\\ -1 & 1\end{bmatrix}. \end{split}\]

To obtain the matrix \([T]_{\mc{B}}\) we need the coordinate vectors

\[ [T(\vect{b}_1)]_{\mc{B}} \quad \text{and} \quad [T(\vect{b}_2)]_{\mc{B}}. \]

Let us start with the vector \(\vect{b}_1\):

\[\begin{split} T(\vect{b}_1)= A\vect{b}_1 = \begin{bmatrix} 1 & 4 \\ 2 & 1\end{bmatrix} \begin{bmatrix} 2\\ -1 \end{bmatrix} = \begin{bmatrix} -2\\ 3 \end{bmatrix}, \,\text{ so }\, \left[T(\vect{b}_1)\right]_{\mc{B}} = P^{-1} \begin{bmatrix} -2\\ 3 \end{bmatrix} = \begin{bmatrix} -\nicefrac{5}{3}\\ \nicefrac{4}{3} \end{bmatrix}. \end{split}\]

For the second basis vector \(\vect{b}_2\) we could proceed likewise.

Alternatively, we can start from the coordinates of an arbitrary vector with respect to the basis \(\mc{B}\), and then step by step work our way to the matrix \([T]_{\mc{B}}\) such that:

\[ \left[T(\vect{x}) \right]_{\mc{B}} = [T]_{\mc{B}}\,\left[\vect{x} \right]_{\mc{B}}. \]
  1. First we find the coordinates of the vector \(\vect{x}\) with respect to the standard basis \(\mc{E}\):

    \[ \vect{x} = \left[\vect{x}\right]_{\mc{E}} = P\left[\vect{x}\right]_{\mc{B}}. \]
  2. Then we use the standard matrix of \(T\) to find the coordinate vector of \(T(\vect{x})\) with respect to the standard basis:

    \[ T(\vect{x}) = A \vect{x} = A\,P\left[\vect{x}\right]_{\mc{B}}. \]
  3. And lastly we convert back to coordinates with respect to the \(\mc{B}\)-basis:

    \[ \left[T(\vect{x})\right]_{\mc{B}} = P^{-1} T(\vect{x})= P^{-1}AP\left[\vect{x}\right]_{\mc{B}}. \]

We see that the matrix \(P^{-1}AP\) does the job:

(4.3.5)#\[[T]_{\mc{B}} \,=\, P^{-1}AP.\]

For the given transformation and basis we find

\[\begin{split} \begin{array}{rcl} [T]_{\mc{B}} &=& \begin{bmatrix} 2 & 1\\ -1 & 1\end{bmatrix}^{-1} \begin{bmatrix} 1 & 4 \\ 2 & 1\end{bmatrix} \begin{bmatrix} 2 & 1\\ -1 & 1\end{bmatrix}\\ &=& \dfrac{1}{3}\begin{bmatrix} 1 & -1\\ 1 & 2\end{bmatrix} \begin{bmatrix} 1 & 4 \\ 2 & 1\end{bmatrix} \begin{bmatrix} 2 & 1\\ -1 & 1\end{bmatrix} = \dfrac{1}{3}\begin{bmatrix} -5& 2\\ 4 & 11\end{bmatrix} \end{array} \end{split}\]

Verify that the first column indeed corresponds to the image of \(\vect{b}_1\) as we found earlier.

Warning

Note that the product \(PAP^{-1}\) in Equation (4.3.5) cannot be simplified to \(PP^{-1}A\), which would be equal to \(A\) itself!

Example 4.3.9 contains an informal proof, or rather, a “proof by example”, of the following proposition.

Proposition 4.3.6

Suppose \(\mc{B}\) is a basis of \(\R^n\), and \(P = P_{\mc{B}}\) is the change-of-coordinates matrix. If \(T:\R^n \to \R^n\) is a linear transformation with standard matrix \(A\), then the matrix of \(T\) with respect to the basis \(\mc{B}\) is given by

(4.3.6)#\[[T]_{\mc{B}} = P^{-1}AP.\]

The following diagram illustrates what is going on:

\[\begin{split} \begin{array}{ccc} \R^n & \underrightarrow {\rule{3em}{0ex} T \rule{3em}{0ex}} & \R^n \\[5ex] \vect{x} = P[\vect{x}]_{\mc{B}} & \underrightarrow {\rule{3em}{0ex} A\rule{3em}{0ex}} & \begin{array}[t]{l}A\vect{x} = T(\vect{x} ) \\ = AP[\vect{x}]_{\mc{B}} \end{array} \\[1ex] P_{\mc{B}}\left \uparrow \rule{0ex}{4em} \right. \rule{2em}{0ex} & & P^{-1}_{\mc{B}}\,\left \downarrow \rule{0ex}{4em} \right.\, \left \uparrow \rule{0ex}{4em} \right.P_{\mc{B}} \\ {[\vect{x}]}_{\mc{B}} & \underrightarrow {\rule{3em}{0ex} [T]_{\mc{B}} \rule{3em}{0ex}} & \quad \begin{array}{l}[T(\vect{x})]_{\mc{B}} \\ = P^{-1}AP[\vect{x}]_{\mc{B}}\end{array} \end{array} \end{split}\]

Note that Equation (4.3.6) is equivalent to

\[ A = P [T]_{\mc{B}}P^{-1}, \quad \text{or: }\, [T]_{\mc{E}} = P_{\mc{B}}[T]_{\mc{B}}\left(P_{\mc{B}}\right)^{-1}, \]

and as such gives a quick way to go from an alternative basis to the standard basis.

Exercise 4.3.3

Suppose \(P\) is an invertible matrix.

Show that for matrices \(A\) and \(B\)

\[ B = P^{-1}A\,P \,\, \iff \,\,A = P\,B\,P^{-1}. \]

Example 4.3.10

We want to find the matrix of the orthogonal projection \(T\) in \(\R^3\) onto the plane

\[ V: x - y - 2z = 0. \]

A suitable basis here is a basis \(\mc{B} = \{\vect{b}_1, \vect{b}_2,\vect{b}_3\}\) where the first two vectors lie in the plane, and the third vector is perpendicular to the plane. See Figure 4.3.4.

../_images/Fig-ChangeOfBasis-Projection.svg

Fig. 4.3.4 Projection with respect to a suitable basis.#

For instance, we can take

\[\begin{split} \vect{b}_1 = \begin{bmatrix}2\\0\\1 \end{bmatrix}, \quad \vect{b}_2 = \begin{bmatrix}1\\1\\0 \end{bmatrix}, \quad \vect{b}_3 = \begin{bmatrix}1\\-1\\-2 \end{bmatrix}. \end{split}\]

The orthogonal projection maps \(\vect{b}_3\) to the origin and leaves the other two basis vectors invariant:

\[ T(\vect{b}_1) = \vect{b}_1, \quad T(\vect{b}_2) = \vect{b}_2, \quad T(\vect{b}_3) = \vect{0}. \]

Hence

\[\begin{split} [T]_{\mc{B}} = \begin{bmatrix}1 & 0 & 0\\0& 1& 0\\0&0&0 \end{bmatrix}, \end{split}\]

and we can write down the standard matrix in one stroke:

(4.3.7)#\[\begin{split}[T]_{\mc{E}} = P_{\mc{B}}[T]_{\mc{B}}\left(P_{\mc{B}}\right)^{-1} = \begin{bmatrix}2 & 1 & 1\\0& 1& -1\\1&0&-2 \end{bmatrix} \begin{bmatrix}1 & 0 & 0\\0& 1& 0\\0&0&0 \end{bmatrix} \begin{bmatrix}2 & 1 & 1\\0& 1& -1\\1&0&-2 \end{bmatrix}^{-1}.\end{split}\]

This can be evaluated to yield

(4.3.8)#\[\begin{split} [T]_{\mc{E}} = \frac16 \begin{bmatrix}5 & 1 & 2\\1& 5& -2\\2&-2&2 \end{bmatrix}.\end{split}\]

Exercise 4.3.4

As was shown in Proposition 3.3.4 of Section 3.3.1 the matrix \(A\) of a projection has to satisfy the identity \(A^2=A\). Show that the matrix \([T]_{\mc{E}}\) of Example 4.3.10 indeed satisfies this identity.

(To verify this you don’t have to compute the matrix as given by Equation (4.3.8).)

In the last subsection we will generalize the formula to the more general situation of a linear transformation from \(\R^n\) to \(\R^m\) and arbitrary bases \(\mc{B},\mc{B}'\) for \(\R^n\), and bases \(\mc{C},\mc{C}'\) for \(\R^m\).

4.3.5. General Transformation Formula for Matrices of Linear Transformation#

In the previous subsections we studied the relations of the coordinates with respect to the standard basis and one other alternative basis \(\mc{B}\). In this section we go one step further and omit the restriction that one of the bases is the standard basis. We will see that the generalizations are pretty straightforward.

First of all we will extend the notion of a change-of-coordinates matrix.

Definition 4.3.4

Let \({\mathcal B} = \{\vect{b}_1, \ldots, \vect{b}_n \}\) and \({\mathcal C} = \{\vect{c}_1, \ldots, \vect{c}_n \}\) be two bases of \(\R^n\). The change-of-coordinates matrix from \({\mathcal B}\) to \({\mathcal C}\) is the matrix

\[ P_{\mc{C} \leftarrow \mc{B}} = \left[\,[\vect{b}_1]_{\mc{C}} \,\, [\vect{b}_2]_{\mc{C}} \,\, \rule[-1ex]{0ex}{3ex}\,\,\, \ldots \,\,\,[\vect{b}_n]_{\mc{C}}\right]. \]

Note that in the situation where \(\mc{C}\) is the standard basis, we have that

\[ P_{\mc{C} \leftarrow \mc{B}} = P_{\mc{E} \leftarrow \mc{B}} = P_{\mc{B}}. \]

Again, as the name suggests, the change-of-coordinates matrix can be used to switch from coordinates with respect to one basis to coordinates with respect to another basis.

Proposition 4.3.7

If \({\mathcal B} = \{\vect{b}_1, \ldots, \vect{b}_n \}\) and \({\mathcal C} = \{\vect{c}_1, \ldots, \vect{c}_n \}\) are two bases of \(\R^n\), then for any vector \(\vect{v}\) in \(\R^n\) it holds that

\[ [\vect{v}]_{\mc{C}} = \CoBmatrix{B}{C} [\vect{v}]_{\mc{B}}. \]

Proof of Proposition 4.3.7

Again we will make use of the identity

\[ [p_1\vect{v}_1+\ldots + p_k\vect{v_k}]_{\mc B} = p_1[\vect{v}_1]_{\mc B}+ \ldots +p_k[\vect{v}_k]_{\mc B}. \]

Thus, suppose that

\[\begin{split} [\vect{v}]_{\mc B} = \begin{bmatrix} p_1 \\ \vdots \\ p_n \end{bmatrix} \quad \text{i.e.} \quad \vect{v} = p_1\vect{b}_1+ \ldots + p_n\vect{b}_n. \end{split}\]

Then

\[ [\vect{v}]_{\mc C} = [p_1\vect{b}_1+ \ldots + p_n\vect{b}_n]_{\mc C} = p_1[\vect{b}_1]_{\mc C}+ \ldots + p_n[\vect{b}_n]_{\mc C}. \]

The last expression is a linear combination of \(n\) vectors in \(\R^n\) and consequently can be written as a matrix-vector product:

\[\begin{split} [\vect{v}]_{\mc C} = \big[ \,[\vect{b}_1]_{\mc C}\,\, \ldots \,\, [\vect{b}_n]_{\mc C} \,\big] \begin{bmatrix} p_1 \\ \vdots \\ p_n \end{bmatrix} = \CoBmatrix{B}{C}[\vect{v}]_{\mc B}, \end{split}\]

as this is exactly how \(\CoBmatrix{B}{C}[\vect{v}]\) was defined in Definition 4.3.2.

Exercise 4.3.5

Suppose \(\mc{B}\) and \(\mc{C}\) are two bases of \(\R^n\). Show that the change-of-coordinates matrix \(P_{\mc{C}\leftarrow\mc{B}}\) is invertible, and that

\[ P_{\mc{B}\leftarrow\mc{C}} = \left(P_{\mc{C}\leftarrow\mc{B}}\right)^{-1}. \]

Exercise 4.3.6

Suppose \(\mc{B}, \mc{C}\) and \(\mc{D}\) are three bases of \(\R^n\). What is the relation between the change-of-coordinates matrices \( P_{\mc{B}\leftarrow\mc{C}}, \quad P_{\mc{B}\leftarrow\mc{D}} \quad \text{and} \quad P_{\mc{C}\leftarrow\mc{D}}\)?

With the chosen notation for the change-of-coordinates matrix, the transformation formula for the matrices of a linear transformation with respect to different bases becomes very natural as well. As is stated in the next theorem.

Theorem 4.3.1

Suppose \(\mc{B}\) and \(\mc{B}'\) are two bases of \(\R^n\), and \(\mc{C}\) and \(\mc{C}'\) are two bases of \(\R^m\). If \(T:\R^n \to \R^m\) is a linear transformation, then the relation between the two matrices \(A = [T]_{\mc{C}\leftarrow \mc{B}}\) and \(A' = [T]_{\mc{C}'\leftarrow \mc{B}'}\) is as follows

(4.3.9)#\[[T]_{\mc{C}'\leftarrow \mc{B}'} = P_{\mc{C}'\leftarrow\mc{C}}[T]_{\mc{C}\leftarrow \mc{B}} P_{\mc{B}\leftarrow\mc{B}'} = \left(P_{\mc{C} \leftarrow\mc{C}'}\right)^{-1}[T]_{\mc{C}\leftarrow \mc{B}} P_{\mc{B}\leftarrow\mc{B}'}.\]

The following diagram, strikingly similar to the diagram in Proposition 4.3.6, illustrates what is going on.

\[\begin{split} \begin{array}{ccc} \R^n & \underrightarrow {\rule{3em}{0ex} T \rule{3em}{0ex}} & \R^m \\[2ex] \R^n_{\mc{B}} & \underrightarrow {\rule{3em}{0ex} A\rule{3em}{0ex}} & \R^m_{\mc{C}} \\[1ex] P_{\mc{B}\leftarrow\mc{B'}}\left \uparrow \rule{0ex}{4em} \right. \rule{2em}{0ex} & & \rule{2em}{0ex} \left \uparrow \rule{0ex}{4em} \right.P_{\mc{C}\leftarrow\mc{C'}} \\ \R^n_{\mc{B}' } & \underrightarrow {\rule{3em}{0ex} A' \rule{3em}{0ex}} & \R^m_{\mc{C}'} \\[1ex] [\vect{x}]_{\mc{B}'} & & [T(\vect{x})]_{\mc{C}'} \end{array} \end{split}\]

Proof of Theorem 4.3.1

To find \([T(\vect{x})]_{\mc{C}'}\) when \( [\vect{x}]_{\mc{B}'}\) is given one can either

  • Multiply by \(A'= [T]_{\mc{C}'\leftarrow \mc{B}'} \)

or else

  • Find the coordinates of \(\vect{x}\) with respect to basis \(\mc{B}\):

    \[ [\vect{x}]_{\mc{B}} = P_{\mc{B}\leftarrow\mc{B'}} [\vect{x}]_{\mc{B}'} \]
  • Multiply by \(A\) to find \( [T(\vect{x})]_{\mc{C}}\)

    \[ [T(\vect{x})]_{\mc{C}} = A[\vect{x}]_{\mc{B}} = AP_{\mc{B}\leftarrow\mc{B'}} [\vect{x}]_{\mc{B}'} \]
  • Convert to coordinates with respect to basis \(\mc{C}'\):

    \[ [T(\vect{x})]_{\mc{C}'} = P_{\mc{C}'\leftarrow\mc{C}} [T(\vect{x})]_{\mc{C}} = \left( P_{\mc{C}\leftarrow\mc{C}'}\right)^{-1}AP_{\mc{B}\leftarrow\mc{B'}} [\vect{x}]_{\mc{B}'} \]

Since we have that

\[ [T(\vect{x})]_{\mc{C}'} = [T]_{\mc{C}'\leftarrow \mc{B}'}[\vect{x}]_{\mc{B}'} = \left( P_{\mc{C}\leftarrow\mc{C}'}\right)^{-1}AP_{\mc{B}\leftarrow\mc{B'}} [\vect{x}]_{\mc{B}'} \]

for each coordinate vector \([\vect{x}]_{\mc{B}'} \), that is, for each vector in \(\R^n\), it follows that the two matrices

\[ [T]_{\mc{C}'\leftarrow \mc{B}'} \quad \text{and} \quad \left( P_{\mc{C}\leftarrow\mc{C}'}\right)^{-1}AP_{\mc{B}\leftarrow\mc{B'}} \]

must be equal.

4.3.6. Grasple Exercises#

Grasple Exercise 4.3.2

https://embed.grasple.com/exercises/b19d38ef-60cf-4581-a4b2-9aa2efcf6f30?id=90868

To find \([\vect{x}]_{\mathcal{B}}\) for some vector \(\vect{x}\) and basis \(\mathcal{B}\) in \(\R^2\).

Grasple Exercise 4.3.3

https://embed.grasple.com/exercises/3008a6aa-58ee-4182-8fd1-9d452ac3e9f0?id=90867

One more like the previous.

Grasple Exercise 4.3.4

https://embed.grasple.com/exercises/18d96cbf-6158-4800-9a10-3ec7f6e933f8?id=90885

To find \([\vect{v}_i]_{\mathcal{B}}\) for several vectors \(\vect{v}_i\) in \(\R^2\).

Grasple Exercise 4.3.5

https://embed.grasple.com/exercises/dfad4903-b2a8-4f67-979e-5651cf4072ec?id=90872

Finding \([\vect{x}]_{\mathcal{B}}\) using a figure.

Grasple Exercise 4.3.6

https://embed.grasple.com/exercises/d6e53d94-578e-48fe-96b6-aca26f4eca1c?id=90870

One more like the previous.

Grasple Exercise 4.3.7

https://embed.grasple.com/exercises/75c6d18b-8a54-4592-97f4-edd77169cc10?id=90876

Given \(\vect{x} \) and some basis \(\mathcal{B}\) for a subspace in \(\R^3\), to find \([\vect{x}]_{\mathcal{B}}\).

Grasple Exercise 4.3.8

https://embed.grasple.com/exercises/c45ea239-1e90-4d1f-ae08-323e595bd53a?id=104827

Expressing a vector \(\vect{v} \in \R^3\) in a basis \(\mathcal{B} = \{\vect{b}_1,\vect{b}_2,\vect{b}_3\}\) (and vice versa).

Grasple Exercise 4.3.9

https://embed.grasple.com/exercises/39e1af19-0a32-456b-a414-20056e6b7f16?id=85157

Expressing a vector \(\vect{v} \in \R^3\) in a basis \(\mathcal{B} = \{\vect{b}_1,\vect{b}_2,\vect{b}_3\}\).

Grasple Exercise 4.3.10

https://embed.grasple.com/exercises/b03d9983-3ef2-4d45-82b3-6c1762510561?id=90875

To explain the relation between \(\vect{x}\) and \([\vect{x}]_{\mathcal{B}}\).

Grasple Exercise 4.3.11

https://embed.grasple.com/exercises/784bba91-a0be-4076-9918-63b8ab2fbc49?id=90881

To find out how coordinates change when a basis is reordered.

Grasple Exercise 4.3.12

https://embed.grasple.com/exercises/d8894445-4426-4694-8500-229cd47a5288?id=85165

To commute between \([\vect{v}]_{\mathcal{B}}\) and \([\vect{v}]_{\mathcal{C}}\) in \(\R^2\).

The remaining exercises are about matrix representations of linear transformations.

Grasple Exercise 4.3.13

https://embed.grasple.com/exercises/2de2a3b5-1d3f-4e79-9421-393d59b9dc87?id=93047

To transform from \([T]_{\mathcal{E}}\) to \([T]_{\mathcal{B}}\) for \(T\) from \(\R^2\) to \(\R^2\).

Grasple Exercise 4.3.14

https://embed.grasple.com/exercises/01e5c371-0139-458c-8f0a-25f35bc03fcb?id=93053

To transform from \([T]_{\mathcal{E}}\) to \([T]_{\mathcal{B}_2\leftarrow\mathcal{B}_1}\) for \(T\) from \(\R^2\) to \(\R^3\).

Grasple Exercise 4.3.15

https://embed.grasple.com/exercises/dd1af96d-34d7-407e-9877-c1e8b6495e6f?id=85167

To compute \([T]_{\mathcal{C}\leftarrow\mathcal{B}}\) for \(T\) from \(\R^2\) to \(\R^2\) with respect to several bases.

Grasple Exercise 4.3.16

https://embed.grasple.com/exercises/933f3e07-36b6-4db5-a47d-91e276185269?id=85159

To compute \([T]_{\mathcal{C}\leftarrow\mathcal{B}}\), for \(T\) from \(\R^2\) to \(\R^2\). with respect to several bases.

Grasple Exercise 4.3.17

https://embed.grasple.com/exercises/7985ac3f-c432-4b48-9ef1-8ce0914b0f97?id=85162

Like the previous, for a linear transformation \(T\) from \(\R^3\) to \(\R^2\).