Section CB  Change of Basis

From A First Course in Linear Algebra
Version 2.00
© 2004.
Licensed under the GNU Free Documentation License.
http://linear.ups.edu/

We have seen in Section MR that a linear transformation can be represented by a matrix, once we pick bases for the domain and codomain. How does the matrix representation change if we choose different bases? Which bases lead to especially nice representations? From the infinite possibilities, what is the best possible representation? This section will begin to answer these questions. But first we need to define eigenvalues for linear transformations and the change-of-basis matrix.

Subsection EELT: Eigenvalues and Eigenvectors of Linear Transformations

We now define the notion of an eigenvalue and eigenvector of a linear transformation. It should not be too surprising, especially if you remind yourself of the close relationship between matrices and linear transformations.

Definition EELT
Eigenvalue and Eigenvector of a Linear Transformation
Suppose that T : V \mathrel{↦}V is a linear transformation. Then a nonzero vector v ∈ V is an eigenvector of T for the eigenvalue λ if T\left (v\right ) = λv.

We will see shortly the best method for computing the eigenvalues and eigenvectors of a linear transformation, but for now, here are some examples to verify that such things really do exist.

Example ELTBM
Eigenvectors of linear transformation between matrices
Consider the linear transformation T : {M}_{22}\mathrel{↦}{M}_{22} defined by

T\left (\left [\array{ a&b \cr c&d } \right ]\right ) = \left [\array{ −17a + 11b + 8c − 11d&−57a + 35b + 24c − 33d \cr −14a + 10b + 6c − 10d&−41a + 25b + 16c − 23d } \right ]

and the vectors

\eqalignno{ {x}_{1} & = \left [\array{ 0&1 \cr 0&1 } \right ] &{x}_{2} & = \left [\array{ 1&1 \cr 1&0 } \right ] &{x}_{3} & = \left [\array{ 1&3 \cr 2&3 } \right ] &{x}_{4} & = \left [\array{ 2&6 \cr 1&4 } \right ] & & & & & & & & }

Then compute

\eqalignno{ T\left ({x}_{1}\right ) & = T\left (\left [\array{ 0&1 \cr 0&1 } \right ]\right ) = \left [\array{ 0&2 \cr 0&2 } \right ] = 2{x}_{1} & & \cr T\left ({x}_{2}\right ) & = T\left (\left [\array{ 1&1 \cr 1&0 } \right ]\right ) = \left [\array{ 2&2 \cr 2&0 } \right ] = 2{x}_{2} & & \cr T\left ({x}_{3}\right ) & = T\left (\left [\array{ 1&3 \cr 2&3 } \right ]\right ) = \left [\array{ −1&−3 \cr −2&−3 } \right ] = (−1){x}_{3} & & \cr T\left ({x}_{4}\right ) & = T\left (\left [\array{ 2&6 \cr 1&4 } \right ]\right ) = \left [\array{ −4&−12 \cr −2& −8 } \right ] = (−2){x}_{4} & & \cr & & }

So {x}_{1}, {x}_{2}, {x}_{3}, {x}_{4} are eigenvectors of T with eigenvalues (respectively) {λ}_{1} = 2, {λ}_{2} = 2, {λ}_{3} = −1, {λ}_{4} = −2.

Here’s another.

Example ELTBP
Eigenvectors of linear transformation between polynomials
Consider the linear transformation R: {P}_{2}\mathrel{↦}{P}_{2} defined by

R\left (a + bx + c{x}^{2}\right ) = (15a + 8b − 4c) + (−12a − 6b + 3c)x + (24a + 14b − 7c){x}^{2}

and the vectors

\eqalignno{ {w}_{1} & = 1 − x + {x}^{2} &{w}_{ 2} & = x + 2{x}^{2} &{w}_{ 3} & = 1 + 4{x}^{2} & & & & & & & & & }

Then compute

\eqalignno{ R\left ({w}_{1}\right ) & = R\left (1 − x + {x}^{2}\right ) = 3 − 3x + 3{x}^{2} = 3{w}_{ 1} & & \cr R\left ({w}_{2}\right ) & = R\left (x + 2{x}^{2}\right ) = 0 + 0x + 0{x}^{2} = 0{w}_{ 2} & & \cr R\left ({w}_{3}\right ) & = R\left (1 + 4{x}^{2}\right ) = −1 − 4{x}^{2} = (−1){w}_{ 3} & & \cr & & }

So {w}_{1}, {w}_{2}, {w}_{3} are eigenvectors of R with eigenvalues (respectively) {λ}_{1} = 3, {λ}_{2} = 0, {λ}_{3} = −1. Notice how the eigenvalue {λ}_{2} = 0 indicates that the eigenvector {w}_{2} is a non-trivial element of the kernel of R, and therefore R is not injective (Exercise CB.T15).

Of course, these examples are meant only to illustrate the definition of eigenvectors and eigenvalues for linear transformations, and therefore beg the question, “How would I find eigenvectors?” We’ll have an answer before we finish this section. We need one more construction first.

Subsection CBM: Change-of-Basis Matrix

Given a vector space, we know we can usually find many different bases for the vector space, some nice, some nasty. If we choose a single vector from this vector space, we can build many different representations of the vector by constructing the representations relative to different bases. How are these different representations related to each other? A change-of-basis matrix answers this question.

Definition CBM
Change-of-Basis Matrix
Suppose that V is a vector space, and {I}_{V }: V \mathrel{↦}V is the identity linear transformation on V . Let B = \left \{{v}_{1},\kern 1.95872pt {v}_{2},\kern 1.95872pt {v}_{3},\kern 1.95872pt \mathop{\mathop{…}},\kern 1.95872pt {v}_{n}\right \} and C be two bases of V . Then the change-of-basis matrix from B to C is the matrix representation of {I}_{V } relative to B and C,

\eqalignno{ {C}_{B,C} & = {M}_{B,C}^{{I}_{V } } & & \cr & = \left [\left .{ρ}_{C}\left ({I}_{V }\left ({v}_{1}\right )\right )\right |\left .{ρ}_{C}\left ({I}_{V }\left ({v}_{2}\right )\right )\right |\left .{ρ}_{C}\left ({I}_{V }\left ({v}_{3}\right )\right )\right |\mathop{\mathop{…}}\left |{ρ}_{C}\left ({I}_{V }\left ({v}_{n}\right )\right )\right .\right ] & & \cr & = \left [\left .{ρ}_{C}\left ({v}_{1}\right )\right |\left .{ρ}_{C}\left ({v}_{2}\right )\right |\left .{ρ}_{C}\left ({v}_{3}\right )\right |\mathop{\mathop{…}}\left |{ρ}_{C}\left ({v}_{n}\right )\right .\right ] & & }

Notice that this definition is primarily about a single vector space (V ) and two bases of V (B, C). The linear transformation ({I}_{V }) is necessary but not critical. As you might expect, this matrix has something to do with changing bases. Here is the theorem that gives the matrix its name (not the other way around).

Theorem CB
Change-of-Basis
Suppose that v is a vector in the vector space V and B and C are bases of V . Then

{ρ}_{C}\left (v\right ) = {C}_{B,C}{ρ}_{B}\left (v\right )

Proof  

\eqalignno{ {ρ}_{C}\left (v\right ) & = {ρ}_{C}\left ({I}_{V }\left (v\right )\right ) & &\text{@(a href="fcla-jsmath-2.00li54.html#definition.IDLT")Definition IDLT@(/a)} & & & & \cr & = {M}_{B,C}^{{I}_{V } }{ρ}_{B}\left (v\right ) & &\text{@(a href="fcla-jsmath-2.00li57.html#theorem.FTMR")Theorem FTMR@(/a)} & & & & \cr & = {C}_{B,C}{ρ}_{B}\left (v\right ) & &\text{@(a href="#definition.CBM")Definition CBM@(/a)} & & & & }

So the change-of-basis matrix can be used with matrix multiplication to convert a vector representation of a vector (v) relative to one basis ({ρ}_{B}\left (v\right )) to a representation of the same vector relative to a second basis ({ρ}_{C}\left (v\right )).

Theorem ICBM
Inverse of Change-of-Basis Matrix
Suppose that V is a vector space, and B and C are bases of V . Then the change-of-basis matrix {C}_{B,C} is nonsingular and

{C}_{B,C}^{−1} = {C}_{ C,B}

Proof   The linear transformation {I}_{V }: V \mathrel{↦}V is invertible, and its inverse is itself, {I}_{V } (check this!). So by Theorem IMR, the matrix {M}_{B,C}^{{I}_{V }} = {C}_{ B,C} is invertible. Theorem NI says an invertible matrix is nonsingular.

Then

\eqalignno{ {C}_{B,C}^{−1} & ={ \left ({M}_{ B,C}^{{I}_{V } }\right )}^{−1} & &\text{@(a href="#definition.CBM")Definition CBM@(/a)} & & & & \cr & = {M}_{C,B}^{{I}_{V }^{−1} } & &\text{@(a href="fcla-jsmath-2.00li57.html#theorem.IMR")Theorem IMR@(/a)} & & & & \cr & = {M}_{C,B}^{{I}_{V } } & &\text{@(a href="fcla-jsmath-2.00li54.html#definition.IDLT")Definition IDLT@(/a)} & & & & \cr & = {C}_{C,B} & &\text{@(a href="#definition.CBM")Definition CBM@(/a)} & & & & \cr & & & & }

Example CBP
Change of basis with polynomials
The vector space {P}_{4} (Example VSP) has two nice bases (Example BP),

\eqalignno{ B& = \left \{1,x,{x}^{2},{x}^{3},{x}^{4}\right \}&C& = \left \{1, 1 + x, 1 + x + {x}^{2}, 1 + x + {x}^{2} + {x}^{3}, 1 + x + {x}^{2} + {x}^{3} + {x}^{4}\right \}&&&& }

To build the change-of-basis matrix between B and C, we must first build a vector representation of each vector in B relative to C,

\eqalignno{ {ρ}_{C}\left (1\right ) & = {ρ}_{C}\left ((1)\left (1\right )\right ) = \left [\array{ 1 \cr 0 \cr 0 \cr 0 \cr 0 } \right ] & & \cr {ρ}_{C}\left (x\right ) & = {ρ}_{C}\left ((−1)\left (1\right ) + (1)\left (1 + x\right )\right ) = \left [\array{ −1 \cr 1 \cr 0 \cr 0 \cr 0 } \right ] & & \cr {ρ}_{C}\left ({x}^{2}\right ) & = {ρ}_{ C}\left ((−1)\left (1 + x\right ) + (1)\left (1 + x + {x}^{2}\right )\right ) = \left [\array{ 0 \cr −1 \cr 1 \cr 0 \cr 0 } \right ] & & \cr {ρ}_{C}\left ({x}^{3}\right ) & = {ρ}_{ C}\left ((−1)\left (1 + x + {x}^{2}\right ) + (1)\left (1 + x + {x}^{2} + {x}^{3}\right )\right ) = \left [\array{ 0 \cr 0 \cr −1 \cr 1 \cr 0 } \right ] & & \cr {ρ}_{C}\left ({x}^{4}\right ) & = {ρ}_{ C}\left ((−1)\left (1 + x + {x}^{2} + {x}^{3}\right ) + (1)\left (1 + x + {x}^{2} + {x}^{3} + {x}^{4}\right )\right ) = \left [\array{ 0 \cr 0 \cr 0 \cr −1 \cr 1 } \right ] & & }

Then we package up these vectors as the columns of a matrix,

{ C}_{B,C} = \left [\array{ 1&−1& 0 & 0 & 0 \cr 0& 1 &−1& 0 & 0 \cr 0& 0 & 1 &−1& 0 \cr 0& 0 & 0 & 1 &−1 \cr 0& 0 & 0 & 0 & 1 \cr } \right ]

Now, to illustrate Theorem CB, consider the vector u = 5 − 3x + 2{x}^{2} + 8{x}^{3} − 3{x}^{4}. We can build the representation of u relative to B easily,

{ ρ}_{B}\left (u\right ) = {ρ}_{B}\left (5 − 3x + 2{x}^{2} + 8{x}^{3} − 3{x}^{4}\right ) = \left [\array{ 5 \cr −3 \cr 2 \cr 8 \cr −3 } \right ]

Applying Theorem CB, we obtain a second representation of u, but now relative to C,

\eqalignno{ {ρ}_{C}\left (u\right ) & = {C}_{B,C}{ρ}_{B}\left (u\right ) & &\text{@(a href="#theorem.CB")Theorem CB@(/a)} & & & & \cr & = \left [\array{ 1&−1& 0 & 0 & 0 \cr 0& 1 &−1& 0 & 0 \cr 0& 0 & 1 &−1& 0 \cr 0& 0 & 0 & 1 &−1 \cr 0& 0 & 0 & 0 & 1 \cr } \right ]\left [\array{ 5 \cr −3 \cr 2 \cr 8 \cr −3 } \right ] & & & & \cr & = \left [\array{ 8 \cr −5 \cr −6 \cr 11 \cr −3 } \right ] & &\text{@(a href="fcla-jsmath-2.00li31.html#definition.MVP")Definition MVP@(/a)} & & & & }

We can check our work by unraveling this second representation,

\eqalignno{ u& = {ρ}_{C}^{−1}\left ({ρ}_{ C}\left (u\right )\right ) &&\text{@(a href="fcla-jsmath-2.00li54.html#definition.IVLT")Definition IVLT@(/a)}&&&& \cr & = {ρ}_{C}^{−1}\left (\left [\array{ 8 \cr −5 \cr −6 \cr 11 \cr −3 } \right ]\right )&& && \cr & = 8(1) + (−5)(1 + x) + (−6)(1 + x + {x}^{2}) && && \cr &\quad \quad + (11)(1 + x + {x}^{2} + {x}^{3}) + (−3)(1 + x + {x}^{2} + {x}^{3} + {x}^{4}) &&\text{@(a href="fcla-jsmath-2.00li56.html#definition.VR")Definition VR@(/a)} &&&& \cr & = 5 − 3x + 2{x}^{2} + 8{x}^{3} − 3{x}^{4} && && }

The change-of-basis matrix from C to B is actually easier to build. Grab each vector in the basis C and form its representation relative to B

\eqalignno{ {ρ}_{B}\left (1\right ) = {ρ}_{B}\left ((1)1\right ) & = \left [\array{ 1 \cr 0 \cr 0 \cr 0 \cr 0 } \right ] & & \cr {ρ}_{B}\left (1 + x\right ) = {ρ}_{B}\left ((1)1 + (1)x\right ) & = \left [\array{ 1 \cr 1 \cr 0 \cr 0 \cr 0 } \right ] & & \cr {ρ}_{B}\left (1 + x + {x}^{2}\right ) = {ρ}_{ B}\left ((1)1 + (1)x + (1){x}^{2}\right ) & = \left [\array{ 1 \cr 1 \cr 1 \cr 0 \cr 0 } \right ] & & \cr {ρ}_{B}\left (1 + x + {x}^{2} + {x}^{3}\right ) = {ρ}_{ B}\left ((1)1 + (1)x + (1){x}^{2} + (1){x}^{3}\right ) & = \left [\array{ 1 \cr 1 \cr 1 \cr 1 \cr 0 } \right ] & & \cr {ρ}_{B}\left (1 + x + {x}^{2} + {x}^{3} + {x}^{4}\right ) = {ρ}_{ B}\left ((1)1 + (1)x + (1){x}^{2} + (1){x}^{3} + (1){x}^{4}\right ) & = \left [\array{ 1 \cr 1 \cr 1 \cr 1 \cr 1 } \right ] & & \cr & & }

Then we package up these vectors as the columns of a matrix,

{ C}_{C,B} = \left [\array{ 1&1&1&1&1 \cr 0&1&1&1&1 \cr 0&0&1&1&1 \cr 0&0&0&1&1 \cr 0&0&0&0&1 \cr } \right ]

We formed two representations of the vector u above, so we can again provide a check on our computations by converting from the representation of u relative to C to the representation of u relative to B,

\eqalignno{ {ρ}_{B}\left (u\right ) & = {C}_{C,B}{ρ}_{C}\left (u\right ) & &\text{@(a href="#theorem.CB")Theorem CB@(/a)} & & & & \cr & = \left [\array{ 1&1&1&1&1 \cr 0&1&1&1&1 \cr 0&0&1&1&1 \cr 0&0&0&1&1 \cr 0&0&0&0&1 \cr } \right ]\left [\array{ 8 \cr −5 \cr −6 \cr 11 \cr −3 } \right ] & & & & \cr & = \left [\array{ 5 \cr −3 \cr 2 \cr 8 \cr −3 } \right ] & &\text{@(a href="fcla-jsmath-2.00li31.html#definition.MVP")Definition MVP@(/a)} & & & & \cr & & & & }

One more computation that is either a check on our work, or an illustration of a theorem. The two change-of-basis matrices, {C}_{B,C} and {C}_{C,B}, should be inverses of each other, according to Theorem ICBM. Here we go,

{ C}_{B,C}{C}_{C,B} = \left [\array{ 1&−1& 0 & 0 & 0 \cr 0& 1 &−1& 0 & 0 \cr 0& 0 & 1 &−1& 0 \cr 0& 0 & 0 & 1 &−1 \cr 0& 0 & 0 & 0 & 1 \cr } \right ]\left [\array{ 1&1&1&1&1 \cr 0&1&1&1&1 \cr 0&0&1&1&1 \cr 0&0&0&1&1 \cr 0&0&0&0&1 \cr } \right ] = \left [\array{ 1&0&0&0&0 \cr 0&1&0&0&0 \cr 0&0&1&0&0 \cr 0&0&0&1&0 \cr 0&0&0&0&1 \cr } \right ]

The computations of the previous example are not meant to present any labor-saving devices, but instead are meant to illustrate the utility of the change-of-basis matrix. However, you might have noticed that {C}_{C,B} was easier to compute than {C}_{B,C}. If you needed {C}_{B,C}, then you could first compute {C}_{C,B} and then compute its inverse, which by Theorem ICBM, would equal {C}_{B,C}.

Here’s another illustrative example. We have been concentrating on working with abstract vector spaces, but all of our theorems and techniques apply just as well to {ℂ}^{m}, the vector space of column vectors. We only need to use more complicated bases than the standard unit vectors (Theorem SUVB) to make things interesting.

Example CBCV
Change of basis with column vectors
For the vector space {ℂ}^{4} we have the two bases,

\eqalignno{ B & = \left \{\left [\array{ 1 \cr −2 \cr 1 \cr −2 } \right ],\kern 1.95872pt \left [\array{ −1 \cr 3 \cr 1 \cr 1 } \right ],\kern 1.95872pt \left [\array{ 2 \cr −3 \cr 3 \cr −4 } \right ],\kern 1.95872pt \left [\array{ −1 \cr 3 \cr 3 \cr 0 } \right ]\right \} &C & = \left \{\left [\array{ 1 \cr −6 \cr −4 \cr −1 } \right ],\kern 1.95872pt \left [\array{ −4 \cr 8 \cr −5 \cr 8 } \right ],\kern 1.95872pt \left [\array{ −5 \cr 13 \cr −2 \cr 9 } \right ],\kern 1.95872pt \left [\array{ 3 \cr −7 \cr 3 \cr −6 } \right ]\right \} & & & & }

The change-of-basis matrix from B to C requires writing each vector of B as a linear combination the vectors in C,

\eqalignno{ {ρ}_{C}\left (\left [\array{ 1 \cr −2 \cr 1 \cr −2 } \right ]\right ) & = {ρ}_{C}\left ((1)\left [\array{ 1 \cr −6 \cr −4 \cr −1 } \right ] + (−2)\left [\array{ −4 \cr 8 \cr −5 \cr 8 } \right ] + (1)\left [\array{ −5 \cr 13 \cr −2 \cr 9 } \right ] + (−1)\left [\array{ 3 \cr −7 \cr 3 \cr −6 } \right ]\right ) = \left [\array{ 1 \cr −2 \cr 1 \cr −1 } \right ] & & \cr {ρ}_{C}\left (\left [\array{ −1 \cr 3 \cr 1 \cr 1 } \right ]\right ) & = {ρ}_{C}\left ((2)\left [\array{ 1 \cr −6 \cr −4 \cr −1 } \right ] + (−3)\left [\array{ −4 \cr 8 \cr −5 \cr 8 } \right ] + (3)\left [\array{ −5 \cr 13 \cr −2 \cr 9 } \right ] + (0)\left [\array{ 3 \cr −7 \cr 3 \cr −6 } \right ]\right ) = \left [\array{ 2 \cr −3 \cr 3 \cr 0 } \right ] & & \cr {ρ}_{C}\left (\left [\array{ 2 \cr −3 \cr 3 \cr −4 } \right ]\right ) & = {ρ}_{C}\left ((1)\left [\array{ 1 \cr −6 \cr −4 \cr −1 } \right ] + (−3)\left [\array{ −4 \cr 8 \cr −5 \cr 8 } \right ] + (1)\left [\array{ −5 \cr 13 \cr −2 \cr 9 } \right ] + (−2)\left [\array{ 3 \cr −7 \cr 3 \cr −6 } \right ]\right ) = \left [\array{ 1 \cr −3 \cr 1 \cr −2 } \right ] & & \cr {ρ}_{C}\left (\left [\array{ −1 \cr 3 \cr 3 \cr 0 } \right ]\right ) & = {ρ}_{C}\left ((2)\left [\array{ 1 \cr −6 \cr −4 \cr −1 } \right ] + (−2)\left [\array{ −4 \cr 8 \cr −5 \cr 8 } \right ] + (4)\left [\array{ −5 \cr 13 \cr −2 \cr 9 } \right ] + (3)\left [\array{ 3 \cr −7 \cr 3 \cr −6 } \right ]\right ) = \left [\array{ 2 \cr −2 \cr 4 \cr 3 } \right ] & & \cr & & }

Then we package these vectors up as the change-of-basis matrix,

{ C}_{B,C} = \left [\array{ 1 & 2 & 1 & 2 \cr −2&−3&−3&−2 \cr 1 & 3 & 1 & 4 \cr −1& 0 &−2& 3 } \right ]

Now consider a single (arbitrary) vector y = \left [\array{ 2 \cr 6 \cr −3 \cr 4 } \right ]. First,build the vector representation of y relative to B. This will require writing y as a linear combination of the vectors in B,

\eqalignno{ {ρ}_{B}\left (y\right ) & = {ρ}_{B}\left (\left [\array{ 2 \cr 6 \cr −3 \cr 4 } \right ]\right ) & & & & \cr & = {ρ}_{B}\left ((−21)\left [\array{ 1 \cr −2 \cr 1 \cr −2 } \right ] + (6)\left [\array{ −1 \cr 3 \cr 1 \cr 1 } \right ] + (11)\left [\array{ 2 \cr −3 \cr 3 \cr −4 } \right ] + (−7)\left [\array{ −1 \cr 3 \cr 3 \cr 0 } \right ]\right ) & = \left [\array{ −21 \cr 6 \cr 11 \cr −7 } \right ] & & & & }

Now, applying Theorem CB we can convert the representation of y relative to B into a representation relative to C,

\eqalignno{ {ρ}_{C}\left (y\right ) & = {C}_{B,C}{ρ}_{B}\left (y\right ) & &\text{@(a href="#theorem.CB")Theorem CB@(/a)} & & & & \cr & = \left [\array{ 1 & 2 & 1 & 2 \cr −2&−3&−3&−2 \cr 1 & 3 & 1 & 4 \cr −1& 0 &−2& 3 } \right ]\left [\array{ −21 \cr 6 \cr 11 \cr −7 } \right ] & & & & \cr & = \left [\array{ −12 \cr 5 \cr −20 \cr −22 } \right ] & &\text{@(a href="fcla-jsmath-2.00li31.html#definition.MVP")Definition MVP@(/a)} & & & & }

We could continue further with this example, perhaps by computing the representation of y relative to the basis C directly as a check on our work (Exercise CB.C20). Or we could choose another vector to play the role of y and compute two different representations of this vector relative to the two bases B and C.

Subsection MRS: Matrix Representations and Similarity

Here is the main theorem of this section. It looks a bit involved at first glance, but the proof should make you realize it is not all that complicated. In any event, we are more interested in a special case.

Theorem MRCB
Matrix Representation and Change of Basis
Suppose that T : U\mathrel{↦}V is a linear transformation, B and C are bases for U, and D and E are bases for V . Then

{M}_{B,D}^{T } = {C}_{ E,D}{M}_{C,E}^{T }{C}_{ B,C}

Proof  

\eqalignno{ {C}_{E,D}{M}_{C,E}^{T }{C}_{ B,C} & = {M}_{E,D}^{{I}_{V } }{M}_{C,E}^{T }{M}_{ B,C}^{{I}_{U} } & &\text{@(a href="#definition.CBM")Definition CBM@(/a)} & & & & \cr & = {M}_{E,D}^{{I}_{V } }{M}_{B,E}^{T∘{I}_{U} } & &\text{@(a href="fcla-jsmath-2.00li57.html#theorem.MRCLT")Theorem MRCLT@(/a)} & & & & \cr & = {M}_{E,D}^{{I}_{V } }{M}_{B,E}^{T } & &\text{@(a href="fcla-jsmath-2.00li54.html#definition.IDLT")Definition IDLT@(/a)} & & & & \cr & = {M}_{B,D}^{{I}_{V } ∘T } & &\text{@(a href="fcla-jsmath-2.00li57.html#theorem.MRCLT")Theorem MRCLT@(/a)} & & & & \cr & = {M}_{B,D}^{T } & &\text{@(a href="fcla-jsmath-2.00li54.html#definition.IDLT")Definition IDLT@(/a)} & & & & }

We will be most interested in a special case of this theorem (Theorem SCB), but here’s an example that illustrates the full generality of Theorem MRCB.

Example MRCM
Matrix representations and change-of-basis matrices
Begin with two vector spaces, {S}_{2}, the subspace of {M}_{22} containing all 2 × 2 symmetric matrices, and {P}_{3} (Example VSP), the vector space of all polynomials of degree 3 or less. Then define the linear transformation Q: {S}_{2}\mathrel{↦}{P}_{3} by

Q\left (\left [\array{ a&b \cr b&c } \right ]\right ) = (5a−2b+6c)+(3a−b+2c)x+(a+3b−c){x}^{2}+(−4a+2b+c){x}^{3}

Here are two bases for each vector space, one nice, one nasty. First for {S}_{2},

\eqalignno{ B & = \left \{\left [\array{ 5 &−3 \cr −3&−2 } \right ],\kern 1.95872pt \left [\array{ 2 &−3 \cr −3& 0 } \right ],\kern 1.95872pt \left [\array{ 1&2 \cr 2&4 } \right ]\right \} &C & = \left \{\left [\array{ 1&0 \cr 0&0 } \right ],\kern 1.95872pt \left [\array{ 0&1 \cr 1&0 } \right ],\kern 1.95872pt \left [\array{ 0&0 \cr 0&1 } \right ]\right \} & & & & }

and then for {P}_{3},

\eqalignno{ D& = \left \{2 + x − 2{x}^{2} + 3{x}^{3},\kern 1.95872pt − 1 − 2{x}^{2} + 3{x}^{3},\kern 1.95872pt − 3 − x + {x}^{3},\kern 1.95872pt − {x}^{2} + {x}^{3}\right \}&E& = \left \{1,\kern 1.95872pt x,\kern 1.95872pt {x}^{2},\kern 1.95872pt {x}^{3}\right \}&&&& }

We’ll begin with a matrix representation of Q relative to C and E. We first find vector representations of the elements of C relative to E,

\eqalignno{ {ρ}_{E}\left (Q\left (\left [\array{ 1&0 \cr 0&0 } \right ]\right )\right ) & = {ρ}_{E}\left (5 + 3x + {x}^{2} − 4{x}^{3}\right ) = \left [\array{ 5 \cr 3 \cr 1 \cr −4 } \right ] & & \cr {ρ}_{E}\left (Q\left (\left [\array{ 0&1 \cr 1&0 } \right ]\right )\right ) & = {ρ}_{E}\left (−2 − x + 3{x}^{2} + 2{x}^{3}\right ) = \left [\array{ −2 \cr −1 \cr 3 \cr 2 } \right ] & & \cr {ρ}_{E}\left (Q\left (\left [\array{ 0&0 \cr 0&1 } \right ]\right )\right ) & = {ρ}_{E}\left (6 + 2x − {x}^{2} + {x}^{3}\right ) = \left [\array{ 6 \cr 2 \cr −1 \cr 1 } \right ] & & \cr & & }

So

\eqalignno{ {M}_{C,E}^{Q} = \left [\array{ 5 &−2& 6 \cr 3 &−1& 2 \cr 1 & 3 &−1 \cr −4& 2 & 1 } \right ] & & }

Now we construct two change-of-basis matrices. First, {C}_{B,C} requires vector representations of the elements of B, relative to C. Since C is a nice basis, this is straightforward,

\eqalignno{ {ρ}_{C}\left (\left [\array{ 5 &−3 \cr −3&−2 } \right ]\right ) & = {ρ}_{C}\left ((5)\left [\array{ 1&0 \cr 0&0 } \right ] + (−3)\left [\array{ 0&1 \cr 1&0 } \right ] + (−2)\left [\array{ 0&0 \cr 0&1 } \right ]\right ) = \left [\array{ 5 \cr −3 \cr −2 } \right ] & & \cr {ρ}_{C}\left (\left [\array{ 2 &−3 \cr −3& 0 } \right ]\right ) & = {ρ}_{C}\left ((2)\left [\array{ 1&0 \cr 0&0 } \right ] + (−3)\left [\array{ 0&1 \cr 1&0 } \right ] + (0)\left [\array{ 0&0 \cr 0&1 } \right ]\right ) = \left [\array{ 2 \cr −3 \cr 0 } \right ] & & \cr {ρ}_{C}\left (\left [\array{ 1&2 \cr 2&4 } \right ]\right ) & = {ρ}_{C}\left ((1)\left [\array{ 1&0 \cr 0&0 } \right ] + (2)\left [\array{ 0&1 \cr 1&0 } \right ] + (4)\left [\array{ 0&0 \cr 0&1 } \right ]\right ) = \left [\array{ 1 \cr 2 \cr 4 } \right ] & & }

So

\eqalignno{ {C}_{B,C} & = \left [\array{ 5 & 2 &1 \cr −3&−3&2 \cr −2& 0 &4 } \right ] & & }

The other change-of-basis matrix we’ll compute is {C}_{E,D}. However, since E is a nice basis (and D is not) we’ll turn it around and instead compute {C}_{D,E} and apply Theorem ICBM to use an inverse to compute {C}_{E,D}.

\eqalignno{ {ρ}_{E}\left (2 + x − 2{x}^{2} + 3{x}^{3}\right ) & = {ρ}_{ E}\left ((2)1 + (1)x + (−2){x}^{2} + (3){x}^{3}\right ) = \left [\array{ 2 \cr 1 \cr −2 \cr 3 } \right ] & & \cr {ρ}_{E}\left (−1 − 2{x}^{2} + 3{x}^{3}\right ) & = {ρ}_{ E}\left ((−1)1 + (0)x + (−2){x}^{2} + (3){x}^{3}\right ) = \left [\array{ −1 \cr 0 \cr −2 \cr 3 } \right ] & & \cr {ρ}_{E}\left (−3 − x + {x}^{3}\right ) & = {ρ}_{ E}\left ((−3)1 + (−1)x + (0){x}^{2} + (1){x}^{3}\right ) = \left [\array{ −3 \cr −1 \cr 0 \cr 1 } \right ] & & \cr {ρ}_{E}\left (−{x}^{2} + {x}^{3}\right ) & = {ρ}_{ E}\left ((0)1 + (0)x + (−1){x}^{2} + (1){x}^{3}\right ) = \left [\array{ 0 \cr 0 \cr −1 \cr 1 } \right ] & & }

So, we can package these column vectors up as a matrix to obtain {C}_{D,E} and then,

\eqalignno{ {C}_{E,D} & ={ \left ({C}_{D,E}\right )}^{−1} & &\text{@(a href="#theorem.ICBM")Theorem ICBM@(/a)} & & & & \cr & ={ \left [\array{ 2 &−1&−3& 0 \cr 1 & 0 &−1& 0 \cr −2&−2& 0 &−1 \cr 3 & 3 & 1 & 1 } \right ]}^{−1} & & & & \cr & = \left [\array{ 1 &−2& 1 & 1 \cr −2& 5 &−1&−1 \cr 1 &−3& 1 & 1 \cr 2 &−6&−1& 0 } \right ] & & & & }

We are now in a position to apply Theorem MRCB. The matrix representation of Q relative to B and D can be obtained as follows,

\eqalignno{ {M}_{B,D}^{Q} & = {C}_{ E,D}{M}_{C,E}^{Q}{C}_{ B,C} & &\text{@(a href="#theorem.MRCB")Theorem MRCB@(/a)} & & & & \cr & = \left [\array{ 1 &−2& 1 & 1 \cr −2& 5 &−1&−1 \cr 1 &−3& 1 & 1 \cr 2 &−6&−1& 0 } \right ]\left [\array{ 5 &−2& 6 \cr 3 &−1& 2 \cr 1 & 3 &−1 \cr −4& 2 & 1 } \right ]\left [\array{ 5 & 2 &1 \cr −3&−3&2 \cr −2& 0 &4 } \right ] & & & & \cr & = \left [\array{ 1 &−2& 1 & 1 \cr −2& 5 &−1&−1 \cr 1 &−3& 1 & 1 \cr 2 &−6&−1& 0 } \right ]\left [\array{ 19 & 16 &25 \cr 14 & 9 & 9 \cr −2 & −7 & 3 \cr −28&−14& 4 } \right ] & & & & \cr & = \left [\array{ −39&−23& 14 \cr 62 & 34 &−12 \cr −53&−32& 5 \cr −44&−15& −7 } \right ] & & & & }

Now check our work by computing {M}_{B,D}^{Q} directly (Exercise CB.C21).

Here is a special case of the previous theorem, where we choose U and V to be the same vector space, so the matrix representations and the change-of-basis matrices are all square of the same size.

Theorem SCB
Similarity and Change of Basis
Suppose that T : V \mathrel{↦}V is a linear transformation and B and C are bases of V . Then

{M}_{B,B}^{T } = {C}_{ B,C}^{−1}{M}_{ C,C}^{T }{C}_{ B,C}

Proof   In the conclusion of Theorem MRCB, replace D by B, and replace E by C,

\eqalignno{ {M}_{B,B}^{T } & = {C}_{ C,B}{M}_{C,C}^{T }{C}_{ B,C} & &\text{@(a href="#theorem.MRCB")Theorem MRCB@(/a)} & & & & \cr & = {C}_{B,C}^{−1}{M}_{ C,C}^{T }{C}_{ B,C} & &\text{@(a href="#theorem.ICBM")Theorem ICBM@(/a)} & & & & }

This is the third surprise of this chapter. Theorem SCB considers the special case where a linear transformation has the same vector space for the domain and codomain (V ). We build a matrix representation of T using the basis B simultaneously for both the domain and codomain ({M}_{B,B}^{T }), and then we build a second matrix representation of T, now using the basis C for both the domain and codomain ({M}_{C,C}^{T }). Then these two representations are related via a similarity transformation (Definition SIM) using a change-of-basis matrix ({C}_{B,C})!

Example MRBE
Matrix representation with basis of eigenvectors
We return to the linear transfomation T : {M}_{22}\mathrel{↦}{M}_{22} of Example ELTBM defined by

T\left (\left [\array{ a&b \cr c&d } \right ]\right ) = \left [\array{ −17a + 11b + 8c − 11d&−57a + 35b + 24c − 33d \cr −14a + 10b + 6c − 10d&−41a + 25b + 16c − 23d } \right ]

In Example ELTBM we showcased four eigenvectors of T. We will now put these four vectors in a set,

B = \left \{{x}_{1},\kern 1.95872pt {x}_{2},\kern 1.95872pt {x}_{3},\kern 1.95872pt {x}_{4}\right \} = \left \{\left [\array{ 0&1 \cr 0&1 } \right ],\kern 1.95872pt \left [\array{ 1&1 \cr 1&0 } \right ],\kern 1.95872pt \left [\array{ 1&3 \cr 2&3 } \right ],\kern 1.95872pt \left [\array{ 2&6 \cr 1&4 } \right ]\right \}

Check that B is a basis of {M}_{22} by first establishing the linear independence of B and then employing Theorem G to get the spanning property easily. Here is a second set of 2 × 2 matrices, which also forms a basis of {M}_{22} (Example BM),

C = \left \{{y}_{1},\kern 1.95872pt {y}_{2},\kern 1.95872pt {y}_{3},\kern 1.95872pt {y}_{4}\right \} = \left \{\left [\array{ 1&0 \cr 0&0 } \right ],\kern 1.95872pt \left [\array{ 0&1 \cr 0&0 } \right ],\kern 1.95872pt \left [\array{ 0&0 \cr 1&0 } \right ],\kern 1.95872pt \left [\array{ 0&0 \cr 0&1 } \right ]\right \}

We can build two matrix representations of T, one relative to B and one relative to C. Each is easy, but for wildly different reasons. In our computation of the matrix representation relative to B we borrow some of our work in Example ELTBM. Here are the representations, then the explanation.

\eqalignno{ {ρ}_{B}\left (T\left ({x}_{1}\right )\right ) & = {ρ}_{B}\left (2{x}_{1}\right ) = {ρ}_{B}\left (2{x}_{1} + 0{x}_{2} + 0{x}_{3} + 0{x}_{4}\right ) = \left [\array{ 2 \cr 0 \cr 0 \cr 0 } \right ] & & \cr {ρ}_{B}\left (T\left ({x}_{2}\right )\right ) & = {ρ}_{B}\left (2{x}_{2}\right ) = {ρ}_{B}\left (0{x}_{1} + 2{x}_{2} + 0{x}_{3} + 0{x}_{4}\right ) = \left [\array{ 0 \cr 2 \cr 0 \cr 0 } \right ] & & \cr {ρ}_{B}\left (T\left ({x}_{3}\right )\right ) & = {ρ}_{B}\left ((−1){x}_{3}\right ) = {ρ}_{B}\left (0{x}_{1} + 0{x}_{2} + (−1){x}_{3} + 0{x}_{4}\right ) = \left [\array{ 0 \cr 0 \cr −1 \cr 0 } \right ] & & \cr {ρ}_{B}\left (T\left ({x}_{4}\right )\right ) & = {ρ}_{B}\left ((−2){x}_{4}\right ) = {ρ}_{B}\left (0{x}_{1} + 0{x}_{2} + 0{x}_{3} + (−2){x}_{4}\right ) = \left [\array{ 0 \cr 0 \cr 0 \cr −2 } \right ] & & }

So the resulting representation is

\eqalignno{ {M}_{B,B}^{T } = \left [\array{ 2&0& 0 & 0 \cr 0&2& 0 & 0 \cr 0&0&−1& 0 \cr 0&0& 0 &−2 \cr } \right ] & & }

Very pretty. Now for the matrix representation relative to C first compute,

\eqalignno{ {ρ}_{C}\left (T\left ({y}_{1}\right )\right )& = {ρ}_{C}\left (\left [\array{ −17&−57 \cr −14&−41 } \right ]\right ) && \cr & = {ρ}_{C}\left ((−17)\left [\array{ 1&0 \cr 0&0 } \right ] + (−57)\left [\array{ 0&1 \cr 0&0 } \right ] + (−14)\left [\array{ 0&0 \cr 1&0 } \right ] + (−41)\left [\array{ 0&0 \cr 0&1 } \right ]\right ) = \left [\array{ −17 \cr −57 \cr −14 \cr −41 } \right ]&& \cr {ρ}_{C}\left (T\left ({y}_{2}\right )\right )& = {ρ}_{C}\left (\left [\array{ 11&35 \cr 10&25 } \right ]\right ) && \cr & = {ρ}_{C}\left (11\left [\array{ 1&0 \cr 0&0 } \right ] + 35\left [\array{ 0&1 \cr 0&0 } \right ] + 10\left [\array{ 0&0 \cr 1&0 } \right ] + 25\left [\array{ 0&0 \cr 0&1 } \right ]\right ) = \left [\array{ 11 \cr 35 \cr 10 \cr 25 } \right ] && \cr {ρ}_{C}\left (T\left ({y}_{3}\right )\right )& = {ρ}_{C}\left (\left [\array{ 8&24 \cr 6&16} \right ]\right ) && \cr & = {ρ}_{C}\left (8\left [\array{ 1&0 \cr 0&0 } \right ] + 24\left [\array{ 0&1 \cr 0&0 } \right ] + 6\left [\array{ 0&0 \cr 1&0 } \right ] + 16\left [\array{ 0&0 \cr 0&1 } \right ]\right ) = \left [\array{ 8 \cr 24 \cr 6 \cr 16 } \right ] && \cr {ρ}_{C}\left (T\left ({y}_{4}\right )\right )& = {ρ}_{C}\left (\left [\array{ −11&−33 \cr −10&−23 } \right ]\right ) && \cr & = {ρ}_{C}\left ((−11)\left [\array{ 1&0 \cr 0&0 } \right ] + (−33)\left [\array{ 0&1 \cr 0&0 } \right ] + (−10)\left [\array{ 0&0 \cr 1&0 } \right ] + (−23)\left [\array{ 0&0 \cr 0&1 } \right ]\right ) = \left [\array{ −11 \cr −33 \cr −10 \cr −23 } \right ]&& \cr & & }

So the resulting representation is

\eqalignno{ {M}_{C,C}^{T } = \left [\array{ −17&11& 8 &−11 \cr −57&35&24&−33 \cr −14&10& 6 &−10 \cr −41&25&16&−23 } \right ] & & }

Not quite as pretty. The purpose of this example is to illustrate Theorem SCB. This theorem says that the two matrix representations, {M}_{B,B}^{T } and {M}_{C,C}^{T }, of the one linear transformation, T, are related by a similarity transformation using the change-of-basis matrix {C}_{B,C}. Lets compute this change-of-basis matrix. Notice that since C is such a nice basis, this is fairly straightforward,

\eqalignno{ {ρ}_{C}\left ({x}_{1}\right ) & = {ρ}_{C}\left (\left [\array{ 0&1 \cr 0&1 } \right ]\right ) = {ρ}_{C}\left (0\left [\array{ 1&0 \cr 0&0 } \right ] + 1\left [\array{ 0&1 \cr 0&0 } \right ] + 0\left [\array{ 0&0 \cr 1&0 } \right ] + 1\left [\array{ 0&0 \cr 0&1 } \right ]\right ) = \left [\array{ 0 \cr 1 \cr 0 \cr 1 } \right ] & & \cr {ρ}_{C}\left ({x}_{2}\right ) & = {ρ}_{C}\left (\left [\array{ 1&1 \cr 1&0 } \right ]\right ) = {ρ}_{C}\left (1\left [\array{ 1&0 \cr 0&0 } \right ] + 1\left [\array{ 0&1 \cr 0&0 } \right ] + 1\left [\array{ 0&0 \cr 1&0 } \right ] + 0\left [\array{ 0&0 \cr 0&1 } \right ]\right ) = \left [\array{ 1 \cr 1 \cr 1 \cr 0 } \right ] & & \cr {ρ}_{C}\left ({x}_{3}\right ) & = {ρ}_{C}\left (\left [\array{ 1&3 \cr 2&3 } \right ]\right ) = {ρ}_{C}\left (1\left [\array{ 1&0 \cr 0&0 } \right ] + 3\left [\array{ 0&1 \cr 0&0 } \right ] + 2\left [\array{ 0&0 \cr 1&0 } \right ] + 3\left [\array{ 0&0 \cr 0&1 } \right ]\right ) = \left [\array{ 1 \cr 3 \cr 2 \cr 3 } \right ] & & \cr {ρ}_{C}\left ({x}_{4}\right ) & = {ρ}_{C}\left (\left [\array{ 2&6 \cr 1&4 } \right ]\right ) = {ρ}_{C}\left (2\left [\array{ 1&0 \cr 0&0 } \right ] + 6\left [\array{ 0&1 \cr 0&0 } \right ] + 1\left [\array{ 0&0 \cr 1&0 } \right ] + 4\left [\array{ 0&0 \cr 0&1 } \right ]\right ) = \left [\array{ 2 \cr 6 \cr 1 \cr 4 } \right ] & & }

So we have,

{ C}_{B,C} = \left [\array{ 0&1&1&2 \cr 1&1&3&6 \cr 0&1&2&1 \cr 1&0&3&4 } \right ]

Now, according to Theorem SCB we can write,

\eqalignno{ {M}_{B,B}^{T } & = {C}_{ B,C}^{−1}{M}_{ C,C}^{T }{C}_{ B,C} & & \cr \left [\array{ 2&0& 0 & 0 \cr 0&2& 0 & 0 \cr 0&0&−1& 0 \cr 0&0& 0 &−2 \cr } \right ] & ={ \left [\array{ 0&1&1&2 \cr 1&1&3&6 \cr 0&1&2&1 \cr 1&0&3&4 } \right ]}^{−1}\left [\array{ −17&11& 8 &−11 \cr −57&35&24&−33 \cr −14&10& 6 &−10 \cr −41&25&16&−23 } \right ]\left [\array{ 0&1&1&2 \cr 1&1&3&6 \cr 0&1&2&1 \cr 1&0&3&4 } \right ] & & }

This should look and feel exactly like the process for diagonalizing a matrix, as was described in Section SD. And it is.

We can now return to the question of computing an eigenvalue or eigenvector of a linear transformation. For a linear transformation of the form T : V \mathrel{↦}V , we know that representations relative to different bases are similar matrices. We also know that similar matrices have equal characteristic polynomials by Theorem SMEE. We will now show that eigenvalues of a linear transformation T are precisely the eigenvalues of any matrix representation of T. Since the choice of a different matrix representation leads to a similar matrix, there will be no “new” eigenvalues obtained from this second representation. Similarly, the change-of-basis matrix can be used to show that eigenvectors obtained from one matrix representation will be precisely those obtained from any other representation. So we can determine the eigenvalues and eigenvectors of a linear transformation by forming one matrix representation, using any basis we please, and analyzing the matrix in the manner of Chapter E.

Theorem EER
Eigenvalues, Eigenvectors, Representations
Suppose that T : V \mathrel{↦}V is a linear transformation and B is a basis of V . Then v ∈ V is an eigenvector of T for the eigenvalue λ if and only if {ρ}_{B}\left (v\right ) is an eigenvector of {M}_{B,B}^{T } for the eigenvalue λ.

Proof   () Assume that v ∈ V is an eigenvector of T for the eigenvalue λ. Then

\eqalignno{ {M}_{B,B}^{T }{ρ}_{ B}\left (v\right ) & = {ρ}_{B}\left (T\left (v\right )\right ) & &\text{@(a href="fcla-jsmath-2.00li57.html#theorem.FTMR")Theorem FTMR@(/a)} & & & & \cr & = {ρ}_{B}\left (λv\right ) & &\text{@(a href="#definition.EELT")Definition EELT@(/a)} & & & & \cr & = λ{ρ}_{B}\left (v\right ) & &\text{@(a href="fcla-jsmath-2.00li56.html#theorem.VRLT")Theorem VRLT@(/a)} & & & & }

which by Definition EEM says that {ρ}_{B}\left (v\right ) is an eigenvector of the matrix {M}_{B,B}^{T } for the eigenvalue λ.

() Assume that {ρ}_{B}\left (v\right ) is an eigenvector of {M}_{B,B}^{T } for the eigenvalue λ. Then

\eqalignno{ T\left (v\right ) & = {ρ}_{B}^{−1}\left ({ρ}_{ B}\left (T\left (v\right )\right )\right ) & &\text{@(a href="fcla-jsmath-2.00li54.html#definition.IVLT")Definition IVLT@(/a)} & & & & \cr & = {ρ}_{B}^{−1}\left ({M}_{ B,B}^{T }{ρ}_{ B}\left (v\right )\right ) & &\text{@(a href="fcla-jsmath-2.00li57.html#theorem.FTMR")Theorem FTMR@(/a)} & & & & \cr & = {ρ}_{B}^{−1}\left (λ{ρ}_{ B}\left (v\right )\right ) & &\text{@(a href="fcla-jsmath-2.00li47.html#definition.EEM")Definition EEM@(/a)} & & & & \cr & = λ{ρ}_{B}^{−1}\left ({ρ}_{ B}\left (v\right )\right ) & &\text{@(a href="fcla-jsmath-2.00li54.html#theorem.ILTLT")Theorem ILTLT@(/a)} & & & & \cr & = λv & &\text{@(a href="fcla-jsmath-2.00li54.html#definition.IVLT")Definition IVLT@(/a)} & & & & }

which by Definition EELT says v is an eigenvector of T for the eigenvalue λ.

Subsection CELT: Computing Eigenvectors of Linear Transformations

Knowing that the eigenvalues of a linear transformation are the eigenvalues of any representation, no matter what the choice of the basis B might be, we could now unambigously define items such as the characteristic polynomial of a linear transformation, rather than a matrix. We’ll say that again — eigenvalues, eigenvectors, and characteristic polynomials are intrinsic properties of a linear transformation, independent of the choice of a basis used to construct a matrix representation.

As a practical matter, how does one compute the eigenvalues and eigenvectors of a linear transformation of the form T : V \mathrel{↦}V ? Choose a nice basis B for V , one where the vector representations of the values of the linear transformations necessary for the matrix representation are easy to compute. Construct the matrix representation relative to this basis, and find the eigenvalues and eigenvectors of this matrix using the techniques of Chapter E. The resulting eigenvalues of the matrix are precisely the eigenvalues of the linear transformation. The eigenvectors of the matrix are column vectors that need to be converted to vectors in V through application of {ρ}_{B}^{−1}.

Now consider the case where the matrix representation of a linear transformation is diagonalizable. The n linearly independent eigenvectors that must exist for the matrix (Theorem DC) can be converted (via {ρ}_{B}^{−1}) into eigenvectors of the linear transformation. A matrix representation of the linear transformation relative to a basis of eigenvectors will be a diagonal matrix — an especially nice representation! Though we did not know it at the time, the diagonalizations of Section SD were really finding especially pleasing matrix representations of linear transformations.

Here are some examples.

Example ELTT
Eigenvectors of a linear transformation, twice
Consider the linear transformation S : {M}_{22}\mathrel{↦}{M}_{22} defined by

S\left (\left [\array{ a&b \cr c&d } \right ]\right ) = \left [\array{ −b − c − 3d &−14a − 15b − 13c + d \cr 18a + 21b + 19c + 3d& −6a − 7b − 7c − 3d } \right ]

To find the eigenvalues and eigenvectors of S we will build a matrix representation and analyze the matrix. Since Theorem EER places no restriction on the choice of the basis B, we may as well use a basis that is easy to work with. So set

B = \left \{{x}_{1},\kern 1.95872pt {x}_{2},\kern 1.95872pt {x}_{3},\kern 1.95872pt {x}_{4}\right \} = \left \{\left [\array{ 1&0 \cr 0&0 } \right ],\kern 1.95872pt \left [\array{ 0&1 \cr 0&0 } \right ],\kern 1.95872pt \left [\array{ 0&0 \cr 1&0 } \right ],\kern 1.95872pt \left [\array{ 0&0 \cr 0&1 } \right ]\right \}

Then to build the matrix representation of S relative to B compute,

\eqalignno{ {ρ}_{B}\left (S\left ({x}_{1}\right )\right )& = {ρ}_{B}\left (\left [\array{ 0 &−14 \cr 18& −6 } \right ]\right ) = {ρ}_{B}\left (0{x}_{1} + (−14){x}_{2} + 18{x}_{3} + (−6){x}_{4}\right ) = \left [\array{ 0 \cr −14 \cr 18 \cr −6 } \right ] && \cr {ρ}_{B}\left (S\left ({x}_{2}\right )\right )& = {ρ}_{B}\left (\left [\array{ −1&−15 \cr 21& −7 } \right ]\right ) = {ρ}_{B}\left ((−1){x}_{1} + (−15){x}_{2} + 21{x}_{3} + (−7){x}_{4}\right ) = \left [\array{ −1 \cr −15 \cr 21 \cr −7 } \right ]&& \cr {ρ}_{B}\left (S\left ({x}_{3}\right )\right )& = {ρ}_{B}\left (\left [\array{ −1&−13 \cr 19& −7 } \right ]\right ) = {ρ}_{B}\left ((−1){x}_{1} + (−13){x}_{2} + 19{x}_{3} + (−7){x}_{4}\right ) = \left [\array{ −1 \cr −13 \cr 19 \cr −7 } \right ]&& \cr {ρ}_{B}\left (S\left ({x}_{4}\right )\right )& = {ρ}_{B}\left (\left [\array{ −3& 1 \cr 3 &−3 } \right ]\right ) = {ρ}_{B}\left ((−3){x}_{1} + 1{x}_{2} + 3{x}_{3} + (−3){x}_{4}\right ) = \left [\array{ −3 \cr 1 \cr 3 \cr −3 } \right ] && }

So by Definition MR we have

M = {M}_{B,B}^{S} = \left [\array{ 0 & −1 & −1 &−3 \cr −14&−15&−13& 1 \cr 18 & 21 & 19 & 3 \cr −6 & −7 & −7 &−3 } \right ]

Now compute eigenvalues and eigenvectors of the matrix representation of M with the techniques of Section EE. First the characteristic polynomial,

{ p}_{M}\left (x\right ) =\mathop{ det} \left (M − x{I}_{4}\right ) = {x}^{4} − {x}^{3} − 10{x}^{2} + 4x + 24 = (x − 3)(x − 2){(x + 2)}^{2}

We could now make statements about the eigenvalues of M, but in light of Theorem EER we can refer to the eigenvalues of S and mildly abuse (or extend) our notation for multiplicities to write

\eqalignno{ {α}_{S}\left (3\right ) & = 1 &{α}_{S}\left (2\right ) & = 1 &{α}_{S}\left (−2\right ) & = 2 & & & & & & }

Now compute the eigenvectors of M,

\eqalignno{ λ & = 3 &M − 3{I}_{4} & = \left [\array{ −3 & −1 & −1 &−3 \cr −14&−18&−13& 1 \cr 18 & 21 & 16 & 3 \cr −6 & −7 & −7 &−6 } \right ]\mathop{\longrightarrow}\limits_{}^{\text{RREF}}\left [\array{ \text{1}&0&0& 1 \cr 0&\text{1}&0&−3 \cr 0&0&\text{1}& 3 \cr 0&0&0& 0 } \right ] & & & & \cr & &{ℰ}_{M}\left (3\right ) & = N\kern -1.95872pt \left (M − 3{I}_{4}\right ) = \left \langle \left \{\left [\array{ −1 \cr 3 \cr −3 \cr 1 } \right ]\right \}\right \rangle & & & & }

\eqalignno{ λ & = 2 &M − 2{I}_{4} & = \left [\array{ −2 & −1 & −1 &−3 \cr −14&−17&−13& 1 \cr 18 & 21 & 17 & 3 \cr −6 & −7 & −7 &−5 } \right ]\mathop{\longrightarrow}\limits_{}^{\text{RREF}}\left [\array{ \text{1}&0&0& 2 \cr 0&\text{1}&0&−4 \cr 0&0&\text{1}& 3 \cr 0&0&0& 0 } \right ] & & & & \cr & &{ℰ}_{M}\left (2\right ) & = N\kern -1.95872pt \left (M − 2{I}_{4}\right ) = \left \langle \left \{\left [\array{ −2 \cr 4 \cr −3 \cr 1 } \right ]\right \}\right \rangle & & & & }
\eqalignno{ λ & = −2 &M − (−2){I}_{4} & = \left [\array{ 2 & −1 & −1 &−3 \cr −14&−13&−13& 1 \cr 18 & 21 & 21 & 3 \cr −6 & −7 & −7 &−1 } \right ]\mathop{\longrightarrow}\limits_{}^{\text{RREF}}\left [\array{ \text{1}&0&0&−1 \cr 0&\text{1}&1& 1 \cr 0&0&0& 0 \cr 0&0&0& 0 } \right ] & & & & \cr & &{ℰ}_{M}\left (−2\right ) & = N\kern -1.95872pt \left (M − (−2){I}_{4}\right ) = \left \langle \left \{\left [\array{ 0 \cr −1 \cr 1 \cr 0 } \right ],\kern 1.95872pt \left [\array{ 1 \cr −1 \cr 0 \cr 1 } \right ]\right \}\right \rangle & & & & }

According to Theorem EER the eigenvectors just listed as basis vectors for the eigenspaces of M are vector representations (relative to B) of eigenvectors for S. So the application if the inverse function {ρ}_{B}^{−1} will convert these column vectors into elements of the vector space {M}_{22} (2 × 2 matrices) that are eigenvectors of S. Since {ρ}_{B} is an isomorphism (Theorem VRILT), so is {ρ}_{B}^{−1}. Applying the inverse function will then preserve linear independence and spanning properties, so with a sweeping application of the Coordinatization Principle and some extensions of our previous notation for eigenspaces and geometric multiplicities, we can write,

\eqalignno{ {ρ}_{B}^{−1}\left (\left [\array{ −1 \cr 3 \cr −3 \cr 1 } \right ]\right ) & = (−1){x}_{1} + 3{x}_{2} + (−3){x}_{3} + 1{x}_{4} = \left [\array{ −1&3 \cr −3&1 } \right ] & & \cr {ρ}_{B}^{−1}\left (\left [\array{ −2 \cr 4 \cr −3 \cr 1 } \right ]\right ) & = (−2){x}_{1} + 4{x}_{2} + (−3){x}_{3} + 1{x}_{4} = \left [\array{ −2&4 \cr −3&1 } \right ] & & \cr {ρ}_{B}^{−1}\left (\left [\array{ 0 \cr −1 \cr 1 \cr 0 } \right ]\right ) & = 0{x}_{1} + (−1){x}_{2} + 1{x}_{3} + 0{x}_{4} = \left [\array{ 0&−1 \cr 1& 0} \right ] & & \cr {ρ}_{B}^{−1}\left (\left [\array{ 1 \cr −1 \cr 0 \cr 1 } \right ]\right ) & = 1{x}_{1} + (−1){x}_{2} + 0{x}_{3} + 1{x}_{4} = \left [\array{ 1&−1 \cr 0& 1} \right ] & & \cr & & }

So

\eqalignno{ {ℰ}_{S}\left (3\right ) & = \left \langle \left \{\left [\array{ −1&3 \cr −3&1 } \right ]\right \}\right \rangle & & \cr {ℰ}_{S}\left (2\right ) & = \left \langle \left \{\left [\array{ −2&4 \cr −3&1 } \right ]\right \}\right \rangle & & \cr {ℰ}_{S}\left (−2\right ) & = \left \langle \left \{\left [\array{ 0&−1 \cr 1& 0} \right ],\kern 1.95872pt \left [\array{ 1&−1 \cr 0& 1} \right ]\right \}\right \rangle & & }

with geometric multiplicities given by

\eqalignno{ {γ}_{S}\left (3\right ) & = 1 &{γ}_{S}\left (2\right ) & = 1 &{γ}_{S}\left (−2\right ) & = 2 & & & & & & }

Suppose we now decided to build another matrix representation of S, only now relative to a linearly independent set of eigenvectors of S, such as

C = \left \{\left [\array{ −1&3 \cr −3&1 } \right ],\kern 1.95872pt \left [\array{ −2&4 \cr −3&1 } \right ],\kern 1.95872pt \left [\array{ 0&−1 \cr 1& 0} \right ],\kern 1.95872pt \left [\array{ 1&−1 \cr 0& 1} \right ]\right \}

At this point you should have computed enough matrix representations to predict that the result of representing S relative to C will be a diagonal matrix. Computing this representation is an example of how Theorem SCB generalizes the diagonalizations from Section SD. For the record, here is the diagonal representation,

{ M}_{C,C}^{S} = \left [\array{ 3&0& 0 & 0 \cr 0&2& 0 & 0 \cr 0&0&−2& 0 \cr 0&0& 0 &−2 } \right ]

Our interest in this example is not necessarily building nice representations, but instead we want to demonstrate how eigenvalues and eigenvectors are an intrinsic property of a linear transformation, independent of any particular representation. To this end, we will repeat the foregoing, but replace B by another basis. We will make this basis different, but not extremely so,

D = \left \{{y}_{1},\kern 1.95872pt {y}_{2},\kern 1.95872pt {y}_{3},\kern 1.95872pt {y}_{4}\right \} = \left \{\left [\array{ 1&0 \cr 0&0 } \right ],\kern 1.95872pt \left [\array{ 1&1 \cr 0&0 } \right ],\kern 1.95872pt \left [\array{ 1&1 \cr 1&0 } \right ],\kern 1.95872pt \left [\array{ 1&1 \cr 1&1 } \right ]\right \}

Then to build the matrix representation of S relative to D compute,

\eqalignno{ {ρ}_{D}\left (S\left ({y}_{1}\right )\right )& = {ρ}_{D}\left (\left [\array{ 0 &−14 \cr 18& −6 } \right ]\right ) = {ρ}_{D}\left (14{y}_{1} + (−32){y}_{2} + 24{y}_{3} + (−6){y}_{4}\right ) = \left [\array{ 14 \cr −32 \cr 24 \cr −6 } \right ] && \cr {ρ}_{D}\left (S\left ({y}_{2}\right )\right )& = {ρ}_{D}\left (\left [\array{ −1&−29 \cr 39&−13 } \right ]\right ) = {ρ}_{D}\left (28{y}_{1} + (−68){y}_{2} + 52{y}_{3} + (−13){y}_{4}\right ) = \left [\array{ 28 \cr −68 \cr 52 \cr −13 } \right ] && \cr {ρ}_{D}\left (S\left ({y}_{3}\right )\right )& = {ρ}_{D}\left (\left [\array{ −2&−42 \cr 58&−20 } \right ]\right ) = {ρ}_{D}\left (40{y}_{1} + (−100){y}_{2} + 78{y}_{3} + (−20){y}_{4}\right ) = \left [\array{ 40 \cr −100 \cr 78 \cr −20 } \right ]&& \cr {ρ}_{D}\left (S\left ({y}_{4}\right )\right )& = {ρ}_{D}\left (\left [\array{ −5&−41 \cr 61&−23 } \right ]\right ) = {ρ}_{D}\left (36{y}_{1} + (−102){y}_{2} + 84{y}_{3} + (−23){y}_{4}\right ) = \left [\array{ 36 \cr −102 \cr 84 \cr −23 } \right ]&& \cr & & }

So by Definition MR we have

N = {M}_{D,D}^{S} = \left [\array{ 14 & 28 & 40 & 36 \cr −32&−68&−100&−102 \cr 24 & 52 & 78 & 84 \cr −6 &−13& −20 & −23 } \right ]

Now compute eigenvalues and eigenvectors of the matrix representation of N with the techniques of Section EE. First the characteristic polynomial,

{p}_{N}\left (x\right ) =\mathop{ det} \left (N − x{I}_{4}\right ) = {x}^{4} − {x}^{3} − 10{x}^{2} + 4x + 24 = (x − 3)(x − 2){(x + 2)}^{2}

Of course this is not news. We now know that M = {M}_{B,B}^{S} and N = {M}_{D,D}^{S} are similar matrices (Theorem SCB). But Theorem SMEE told us long ago that similar matrices have identical characteristic polynomials. Now compute eigenvectors for the matrix representation, which will be different than what we found for M,

\eqalignno{ λ & = 3 &N − 3{I}_{4} & = \left [\array{ 11 & 28 & 40 & 36 \cr −32&−71&−100&−102 \cr 24 & 52 & 75 & 84 \cr −6 &−13& −20 & −26 } \right ]\mathop{\longrightarrow}\limits_{}^{\text{RREF}}\left [\array{ 1&0&0& 4 \cr 0&1&0&−6 \cr 0&0&1& 4 \cr 0&0&0& 0 } \right ] & & & & \cr & &{ℰ}_{N}\left (3\right ) & = N\kern -1.95872pt \left (N − 3{I}_{4}\right ) = \left \langle \left \{\left [\array{ −4 \cr 6 \cr −4 \cr 1 } \right ]\right \}\right \rangle & & & & }

\eqalignno{ λ & = 2 &N − 2{I}_{4} & = \left [\array{ 12 & 28 & 40 & 36 \cr −32&−70&−100&−102 \cr 24 & 52 & 76 & 84 \cr −6 &−13& −20 & −25 } \right ]\mathop{\longrightarrow}\limits_{}^{\text{RREF}}\left [\array{ 1&0&0& 6 \cr 0&1&0&−7 \cr 0&0&1& 4 \cr 0&0&0& 0 } \right ] & & & & \cr & &{ℰ}_{N}\left (2\right ) & = N\kern -1.95872pt \left (N − 2{I}_{4}\right ) = \left \langle \left \{\left [\array{ −6 \cr 7 \cr −4 \cr 1 } \right ]\right \}\right \rangle & & & & }
\eqalignno{ λ & = −2 &N − (−2){I}_{4} & = \left [\array{ 16 & 28 & 40 & 36 \cr −32&−66&−100&−102 \cr 24 & 52 & 80 & 84 \cr −6 &−13& −20 & −21 } \right ]\mathop{\longrightarrow}\limits_{}^{\text{RREF}}\left [\array{ 1&0&−1&−3 \cr 0&1& 2 & 3 \cr 0&0& 0 & 0 \cr 0&0& 0 & 0 } \right ] & & & & \cr & &{ℰ}_{N}\left (−2\right ) & = N\kern -1.95872pt \left (N − (−2){I}_{4}\right ) = \left \langle \left \{\left [\array{ 1 \cr −2 \cr 1 \cr 0 } \right ],\kern 1.95872pt \left [\array{ 3 \cr −3 \cr 0 \cr 1 } \right ]\right \}\right \rangle & & & & }

Employing Theorem EER we can apply {ρ}_{D}^{−1} to each of the basis vectors of the eigenspaces of N to obtain eigenvectors for S that also form bases for eigenspaces of S,

\eqalignno{ {ρ}_{D}^{−1}\left (\left [\array{ −4 \cr 6 \cr −4 \cr 1 } \right ]\right ) & = (−4){y}_{1} + 6{y}_{2} + (−4){y}_{3} + 1{y}_{4} = \left [\array{ −1&3 \cr −3&1 } \right ] & & \cr {ρ}_{D}^{−1}\left (\left [\array{ −6 \cr 7 \cr −4 \cr 1 } \right ]\right ) & = (−6){y}_{1} + 7{y}_{2} + (−4){y}_{3} + 1{y}_{4} = \left [\array{ −2&4 \cr −3&1 } \right ] & & \cr {ρ}_{D}^{−1}\left (\left [\array{ 1 \cr −2 \cr 1 \cr 0 } \right ]\right ) & = 1{y}_{1} + (−2){y}_{2} + 1{y}_{3} + 0{y}_{4} = \left [\array{ 0&−1 \cr 1& 0} \right ] & & \cr {ρ}_{D}^{−1}\left (\left [\array{ 3 \cr −3 \cr 0 \cr 1 } \right ]\right ) & = 3{y}_{1} + (−3){y}_{2} + 0{y}_{3} + 1{y}_{4} = \left [\array{ 1&−2 \cr 1& 1} \right ] & & \cr & & }

The eigenspaces for the eigenvalues of algebraic multiplicity 1 are exactly as before,

\eqalignno{ {ℰ}_{S}\left (3\right ) & = \left \langle \left \{\left [\array{ −1&3 \cr −3&1 } \right ]\right \}\right \rangle & & \cr {ℰ}_{S}\left (2\right ) & = \left \langle \left \{\left [\array{ −2&4 \cr −3&1 } \right ]\right \}\right \rangle & & }

However, the eigenspace for λ = −2 would at first glance appear to be different. Here are the two eigenspaces for λ = −2, first the eigenspace obtained from M = {M}_{B,B}^{S}, then followed by the eigenspace obtained from M = {M}_{D,D}^{S}.

\eqalignno{ {ℰ}_{S}\left (−2\right ) & = \left \langle \left \{\left [\array{ 0&−1 \cr 1& 0} \right ],\kern 1.95872pt \left [\array{ 1&−1 \cr 0& 1} \right ]\right \}\right \rangle &{ℰ}_{S}\left (−2\right ) & = \left \langle \left \{\left [\array{ 0&−1 \cr 1& 0} \right ],\kern 1.95872pt \left [\array{ 1&−2 \cr 1& 1} \right ]\right \}\right \rangle & & & & }

Subspaces generally have many bases, and that is the situation here. With a careful proof of set equality, you can show that these two eigenspaces are equal sets. The key observation to make such a proof go is that

\left [\array{ 1&−2 \cr 1& 1} \right ] = \left [\array{ 0&−1 \cr 1& 0} \right ]+\left [\array{ 1&−1 \cr 0& 1} \right ]

which will establish that the second set is a subset of the first. With equal dimensions, Theorem EDYES will finish the task. So the eigenvalues of a linear transformation are independent of the matrix representation employed to compute them!

Another example, this time a bit larger and with complex eigenvalues.

Example CELT
Complex eigenvectors of a linear transformation
Consider the linear transformation Q: {P}_{4}\mathrel{↦}{P}_{4} defined by

\eqalignno{ &Q\left (a + bx + c{x}^{2} + d{x}^{3} + e{x}^{4}\right ) & & \cr & = (−46a − 22b + 13c + 5d + e) + (117a + 57b − 32c − 15d − 4e)x+ & & \cr &\quad \quad (−69a − 29b + 21c − 7e){x}^{2} + (159a + 73b − 44c − 13d + 2e){x}^{3}+ & & \cr &\quad \quad (−195a − 87b + 55c + 10d − 13e){x}^{4} & & }

Choose a simple basis to compute with, say

B = \left \{1,\kern 1.95872pt x,\kern 1.95872pt {x}^{2},\kern 1.95872pt {x}^{3},\kern 1.95872pt {x}^{4}\right \}

Then it should be apparent that the matrix representation of Q relative to B is

M = {M}_{B,B}^{Q} = \left [\array{ −46 &−22& 13 & 5 & 1 \cr 117 & 57 &−32&−15& −4 \cr −69 &−29& 21 & 0 & −7 \cr 159 & 73 &−44&−13& 2 \cr −195&−87& 55 & 10 &−13 } \right ]

Compute the characteristic polynomial, eigenvalues and eigenvectors according to the techniques of Section EE,

\eqalignno{ {p}_{Q}\left (x\right ) & = −{x}^{5} + 6{x}^{4} − {x}^{3} − 88{x}^{2} + 252x − 208 & & \cr & = −{(x − 2)}^{2}(x + 4)\left ({x}^{2} − 6x + 13\right ) & & \cr & = −{(x − 2)}^{2}(x + 4)\left (x − (3 + 2i)\right )\left (x − (3 − 2i)\right ) & & \cr & & }

\eqalignno{ {α}_{Q}\left (2\right ) & = 2 &{α}_{Q}\left (−4\right ) & = 1 &{α}_{Q}\left (3 + 2i\right ) & = 1 &{α}_{Q}\left (3 − 2i\right ) & = 1 & & & & & & & & }
\eqalignno{ λ & = 2 & & \cr M − (2){I}_{5} & = \left [\array{ −48 &−22& 13 & 5 & 1 \cr 117 & 55 &−32&−15& −4 \cr −69 &−29& 19 & 0 & −7 \cr 159 & 73 &−44&−15& 2 \cr −195&−87& 55 & 10 &−15 } \right ]\mathop{\longrightarrow}\limits_{}^{\text{RREF}}\left [\array{ 1&0&0& {1\over 2} &−{1\over 2} \cr 0&1&0&−{5\over 2}&−{5\over 2} \cr 0&0&1&−2&−6 \cr 0&0&0& 0 & 0 \cr 0&0&0& 0 & 0 } \right ] & & \cr {ℰ}_{M}\left (2\right ) & = N\kern -1.95872pt \left (M − (2){I}_{5}\right ) = \left \langle \left \{\left [\array{ −{1\over 2} \cr {5\over 2} \cr 2 \cr 1 \cr 0 } \right ],\kern 1.95872pt \left [\array{ {1\over 2} \cr {5\over 2} \cr 6 \cr 0 \cr 1 } \right ]\right \}\right \rangle = \left \langle \left \{\left [\array{ −1 \cr 5 \cr 4 \cr 2 \cr 0 } \right ],\kern 1.95872pt \left [\array{ 1 \cr 5 \cr 12 \cr 0 \cr 2 } \right ]\right \}\right \rangle & & }

\eqalignno{ λ & = −4 & & \cr M − (−4){I}_{5} & = \left [\array{ −42 &−22& 13 & 5 & 1 \cr 117 & 61 &−32&−15&−4 \cr −69 &−29& 25 & 0 &−7 \cr 159 & 73 &−44& −9 & 2 \cr −195&−87& 55 & 10 &−9 } \right ]\mathop{\longrightarrow}\limits_{}^{\text{RREF}}\left [\array{ 1&0&0&0& 1 \cr 0&1&0&0&−3 \cr 0&0&1&0&−1 \cr 0&0&0&1&−2 \cr 0&0&0&0& 0 } \right ] & & \cr {ℰ}_{M}\left (−4\right ) & = N\kern -1.95872pt \left (M − (−4){I}_{5}\right ) = \left \langle \left \{\left [\array{ −1 \cr 3 \cr 1 \cr 2 \cr 1 } \right ]\right \}\right \rangle & & }
\eqalignno{ λ & = 3 + 2i && \cr M − (3 + 2i){I}_{5}& = \left [\array{ −49 − 2i& −22 & 13 & 5 & 1 \cr 117 &54 − 2i& −32 & −15 & −4 \cr −69 & −29 &18 − 2i& 0 & −7 \cr 159 & 73 & −44 &−16 − 2i& 2 \cr −195 & −87 & 55 & 10 &−16 − 2i } \right ]\mathop{\longrightarrow}\limits_{}^{\text{RREF}}\left [\array{ 1&0&0&0&−{3\over 4} + {i\over 4} \cr 0&1&0&0& {7\over 4} −{i\over 4} \cr 0&0&1&0&−{1\over 2} + {i\over 2} \cr 0&0&0&1& {7\over 4} −{i\over 4} \cr 0&0&0&0& 0 } \right ] && \cr {ℰ}_{M}\left (3 + 2i\right ) & = N\kern -1.95872pt \left (M − (3 + 2i){I}_{5}\right ) = \left \langle \left \{\left [\array{ {3\over 4} −{i\over 4} \cr −{7\over 4} + {i\over 4} \cr {1\over 2} −{i\over 2} \cr −{7\over 4} + {i\over 4} \cr 1 } \right ]\right \}\right \rangle = \left \langle \left \{\left [\array{ 3 − i \cr −7 + i \cr 2 − 2i \cr −7 + i \cr 4 } \right ]\right \}\right \rangle && }

\eqalignno{ λ & = 3 − 2i && \cr M − (3 − 2i){I}_{5}& = \left [\array{ −49 + 2i& −22 & 13 & 5 & 1 \cr 117 &54 + 2i& −32 & −15 & −4 \cr −69 & −29 &18 + 2i& 0 & −7 \cr 159 & 73 & −44 &−16 + 2i& 2 \cr −195 & −87 & 55 & 10 &−16 + 2i } \right ]\mathop{\longrightarrow}\limits_{}^{\text{RREF}}\left [\array{ 1&0&0&0&−{3\over 4} −{i\over 4} \cr 0&1&0&0& {7\over 4} + {i\over 4} \cr 0&0&1&0&−{1\over 2} −{i\over 2} \cr 0&0&0&1& {7\over 4} + {i\over 4} \cr 0&0&0&0& 0 } \right ] && \cr {ℰ}_{M}\left (3 − 2i\right ) & = N\kern -1.95872pt \left (M − (3 − 2i){I}_{5}\right ) = \left \langle \left \{\left [\array{ {3\over 4} + {i\over 4} \cr −{7\over 4} −{i\over 4} \cr {1\over 2} + {i\over 2} \cr −{7\over 4} −{i\over 4} \cr 1 } \right ]\right \}\right \rangle = \left \langle \left \{\left [\array{ 3 + i \cr −7 − i \cr 2 + 2i \cr −7 − i \cr 4 } \right ]\right \}\right \rangle && }
It is straightforward to convert each of these basis vectors for eigenspaces of M back to elements of {P}_{4} by applying the isomorphism {ρ}_{B}^{−1},
\eqalignno{ {ρ}_{B}^{−1}\left (\left [\array{ −1 \cr 5 \cr 4 \cr 2 \cr 0 } \right ]\right ) & = −1 + 5x + 4{x}^{2} + 2{x}^{3} & & \cr {ρ}_{B}^{−1}\left (\left [\array{ 1 \cr 5 \cr 12 \cr 0 \cr 2 } \right ]\right ) & = 1 + 5x + 12{x}^{2} + 2{x}^{4} & & \cr {ρ}_{B}^{−1}\left (\left [\array{ −1 \cr 3 \cr 1 \cr 2 \cr 1 } \right ]\right ) & = −1 + 3x + {x}^{2} + 2{x}^{3} + {x}^{4} & & \cr {ρ}_{B}^{−1}\left (\left [\array{ 3 − i \cr −7 + i \cr 2 − 2i \cr −7 + i \cr 4 } \right ]\right ) & = (3 − i) + (−7 + i)x + (2 − 2i){x}^{2} + (−7 + i){x}^{3} + 4{x}^{4} & & \cr {ρ}_{B}^{−1}\left (\left [\array{ 3 + i \cr −7 − i \cr 2 + 2i \cr −7 − i \cr 4 } \right ]\right ) & = (3 + i) + (−7 − i)x + (2 + 2i){x}^{2} + (−7 − i){x}^{3} + 4{x}^{4} & & \cr & & }

So we apply Theorem EER and the Coordinatization Principle to get the eigenspaces for Q,

\eqalignno{ {ℰ}_{Q}\left (2\right ) & = \left \langle \left \{−1 + 5x + 4{x}^{2} + 2{x}^{3},\kern 1.95872pt 1 + 5x + 12{x}^{2} + 2{x}^{4}\right \}\right \rangle & & \cr {ℰ}_{Q}\left (−4\right ) & = \left \langle \left \{−1 + 3x + {x}^{2} + 2{x}^{3} + {x}^{4}\right \}\right \rangle & & \cr {ℰ}_{Q}\left (3 + 2i\right ) & = \left \langle \left \{(3 − i) + (−7 + i)x + (2 − 2i){x}^{2} + (−7 + i){x}^{3} + 4{x}^{4}\right \}\right \rangle & & \cr {ℰ}_{Q}\left (3 − 2i\right ) & = \left \langle \left \{(3 + i) + (−7 − i)x + (2 + 2i){x}^{2} + (−7 − i){x}^{3} + 4{x}^{4}\right \}\right \rangle & & }

with geometric multiplicities

\eqalignno{ {γ}_{Q}\left (2\right ) & = 2 &{γ}_{Q}\left (−4\right ) & = 1 &{γ}_{Q}\left (3 + 2i\right ) & = 1 &{γ}_{Q}\left (3 − 2i\right ) & = 1 & & & & & & & & }

Subsection READ: Reading Questions

  1. The change-of-basis matrix is a matrix representation of which linear transformation?
  2. Find the change-of-basis matrix, {C}_{B,C}, for the two bases of {ℂ}^{2}
    \eqalignno{ B & = \left \{\left [\array{ 2 \cr 3 } \right ],\kern 1.95872pt \left [\array{ −1 \cr 2 } \right ]\right \} &C & = \left \{\left [\array{ 1 \cr 0 } \right ],\kern 1.95872pt \left [\array{ 1 \cr 1 } \right ]\right \} & & & & }
  3. What is the third “surprise,” and why is it surprising?

Subsection EXC: Exercises

C20 In Example CBCV we computed the vector representation of y relative to C, {ρ}_{C}\left (y\right ), as an example of Theorem CB. Compute this same representation directly. In other words, apply Definition VR rather than Theorem CB.  
Contributed by Robert Beezer

C21 Perform a check on Example MRCM by computing {M}_{B,D}^{Q} directly. In other words, apply Definition MR rather than Theorem MRCB.  
Contributed by Robert Beezer Solution [1756]

C30 Find a basis for the vector space {P}_{3} composed of eigenvectors of the linear transformation T. Then find a matrix representation of T relative to this basis.

T : {P}_{3}\mathrel{↦}{P}_{3},\quad T\left (a + bx + c{x}^{2} + d{x}^{3}\right ) = (a+c+d)+(b+c+d)x+(a+b+c){x}^{2}+(a+b+d){x}^{3}

 
Contributed by Robert Beezer Solution [1757]

C40 Let {S}_{22} be the vector space of 2 × 2 symmetric matrices. Find a basis B for {S}_{22} that yields a diagonal matrix representation of the linear transformation R. (15 points)

\eqalignno{ R: {S}_{22}\mathrel{↦}{S}_{22},\quad R\left (\left [\array{ a&b \cr b&c } \right ]\right ) = \left [\array{ −5a + 2b − 3c &−12a + 5b − 6c \cr −12a + 5b − 6c& 6a − 2b + 4c } \right ] & & }

 
Contributed by Robert Beezer Solution [1759]

C41 Let {S}_{22} be the vector space of 2 × 2 symmetric matrices. Find a basis for {S}_{22} composed of eigenvectors of the linear transformation Q: {S}_{22}\mathrel{↦}{S}_{22}. (15 points)

Q\left (\left [\array{ a&b \cr b&c } \right ]\right ) = \left [\array{ 25a + 18b + 30c &−16a − 11b − 20c \cr −16a − 11b − 20c& −11a − 9b − 12c } \right ]

 
Contributed by Robert Beezer Solution [1762]

T10 Suppose that T : V \mathrel{↦}V is an invertible linear transformation with a nonzero eigenvalue λ. Prove that {1\over λ} is an eigenvalue of {T}^{−1}.  
Contributed by Robert Beezer Solution [1764]

T15 Suppose that V is a vector space and T : V \mathrel{↦}V is a linear transformation. Prove that T is injective if and only if λ = 0 is not an eigenvalue of T.  
Contributed by Robert Beezer

Subsection SOL: Solutions

C21 Contributed by Robert Beezer Statement [1753]
Apply Definition MR,

\eqalignno{ &{ρ}_{D}\left (Q\left (\left [\array{ 5 &−3 \cr −3&−2 } \right ]\right )\right ) = {ρ}_{D}\left (19 + 14x − 2{x}^{2} − 28{x}^{3}\right )&& \cr & = {ρ}_{D}\left ((−39)(2 + x − 2{x}^{2} + 3{x}^{3}) + 62(−1 − 2{x}^{2} + 3{x}^{3}) + (−53)(−3 − x + {x}^{3}) + (−44)(−{x}^{2} + {x}^{3})\right ) && \cr & = \left [\array{ −39 \cr 62 \cr −53 \cr −44 } \right ] && \cr &{ρ}_{D}\left (Q\left (\left [\array{ 2 &−3 \cr −3& 0 } \right ]\right )\right ) = {ρ}_{D}\left (16 + 9x − 7{x}^{2} − 14{x}^{3}\right ) && \cr & = {ρ}_{D}\left ((−23)(2 + x − 2{x}^{2} + 3{x}^{3}) + (34)(−1 − 2{x}^{2} + 3{x}^{3}) + (−32)(−3 − x + {x}^{3}) + (−15)(−{x}^{2} + {x}^{3})\right ) && \cr & = \left [\array{ −23 \cr 34 \cr −32 \cr −15 } \right ] && \cr &{ρ}_{D}\left (Q\left (\left [\array{ 1&2 \cr 2&4 } \right ]\right )\right ) = {ρ}_{D}\left (25 + 9x + 3{x}^{2} + 4{x}^{3}\right ) && \cr & = {ρ}_{D}\left ((14)(2 + x − 2{x}^{2} + 3{x}^{3}) + (−12)(−1 − 2{x}^{2} + 3{x}^{3}) + 5(−3 − x + {x}^{3}) + (−7)(−{x}^{2} + {x}^{3})\right ) && \cr & = \left [\array{ 14 \cr −12 \cr 5 \cr −7 } \right ] && \cr & & }

These three vectors are the columns of the matrix representation,

{ M}_{B,D}^{Q} = \left [\array{ −39&−23& 14 \cr 62 & 34 &−12 \cr −53&−32& 5 \cr −44&−15& −7 } \right ]

which coincides with the result obtained in Example MRCM.

C30 Contributed by Robert Beezer Statement [1753]
With the domain and codomain being identical, we will build a matrix representation using the same basis for both the domain and codomain. The eigenvalues of the matrix representation will be the eigenvalues of the linear transformation, and we can obtain the eigenvectors of the linear transformation by un-coordinatizing (Theorem EER). Since the method does not depend on which basis we choose, we can choose a natural basis for ease of computation, say,

B = \left \{1,\kern 1.95872pt x,\kern 1.95872pt {x}^{2},{x}^{3}\right \}

The matrix representation is then,

{ M}_{B,B}^{T } = \left [\array{ 1&0&1&1 \cr 0&1&1&1 \cr 1&1&1&0 \cr 1&1&0&1 } \right ]

The eigenvalues and eigenvectors of this matrix were computed in Example ESMS4. A basis for {ℂ}^{4}, composed of eigenvectors of the matrix representation is,

C = \left \{\left [\array{ 1 \cr 1 \cr 1 \cr 1 } \right ],\kern 1.95872pt \left [\array{ −1 \cr 1 \cr 0 \cr 0 } \right ],\kern 1.95872pt \left [\array{ 0 \cr 0 \cr −1 \cr 1 } \right ],\kern 1.95872pt \left [\array{ −1 \cr −1 \cr 1 \cr 1 } \right ]\right \}

Applying {ρ}_{B}^{−1} to each vector of this set, yields a basis of {P}_{3} composed of eigenvectors of T,

D = \left \{1 + x + {x}^{2} + {x}^{3},−1 + x,\kern 1.95872pt − {x}^{2} + {x}^{3},\kern 1.95872pt − 1 − x + {x}^{2} + {x}^{3}\right \}

The matrix representation of T relative to the basis D will be a diagonal matrix with the corresponding eigenvalues along the diagonal, so in this case we get

{ M}_{D,D}^{T } = \left [\array{ 3&0&0& 0 \cr 0&1&0& 0 \cr 0&0&1& 0 \cr 0&0&0&−1 } \right ]

C40 Contributed by Robert Beezer Statement [1753]
Begin with a matrix representation of R, any matrix representation, but use the same basis for both instances of {S}_{22}. We’ll choose a basis that makes it easy to compute vector representations in {S}_{22}.

B = \left \{\left [\array{ 1&0 \cr 0&0 } \right ],\kern 1.95872pt \left [\array{ 0&1 \cr 1&0 } \right ],\kern 1.95872pt \left [\array{ 0&0 \cr 0&1 } \right ]\right \}

Then the resulting matrix representation of R (Definition MR) is

{ M}_{B,B}^{R} = \left [\array{ −5 & 2 &−3 \cr −12& 5 &−6 \cr 6 &−2& 4 } \right ]

Now, compute the eigenvalues and eigenvectors of this matrix, with the goal of diagonalizing the matrix (Theorem DC),

\eqalignno{ λ & = 2 &{ℰ}_{{M}_{B,B}^{R}}\left (2\right ) & = \left \langle \left \{\left [\array{ −1 \cr −2 \cr 1 } \right ]\right \}\right \rangle & & & & \cr λ & = 1 &{ℰ}_{{M}_{B,B}^{R}}\left (1\right ) & = \left \langle \left \{\left [\array{ −1 \cr 0 \cr 2 } \right ],\kern 1.95872pt \left [\array{ 1 \cr 3 \cr 0 } \right ]\right \}\right \rangle & & & & \cr & & & & }

The three vectors that occur as basis elements for these eigenspaces will together form a linearly independent set (check this!). So these column vectors may be employed in a matrix that will diagonalize the matrix representation. If we “un-coordinatize” these three column vectors relative to the basis B, we will find three linearly independent elements of {S}_{22} that are eigenvectors of the linear transformation R (Theorem EER). A matrix representation relative to this basis of eigenvectors will be diagonal, with the eigenvalues (λ = 2,\kern 1.95872pt 1) as the diagonal elements. Here we go,

\eqalignno{ {ρ}_{B}^{−1}\left (\left [\array{ −1 \cr −2 \cr 1 } \right ]\right ) & = (−1)\left [\array{ 1&0 \cr 0&0 } \right ] + (−2)\left [\array{ 0&1 \cr 1&0 } \right ] + 1\left [\array{ 0&0 \cr 0&1 } \right ] = \left [\array{ −1&−2 \cr −2& 1 } \right ] & & \cr {ρ}_{B}^{−1}\left (\left [\array{ −1 \cr 0 \cr 2 } \right ]\right ) & = (−1)\left [\array{ 1&0 \cr 0&0 } \right ] + 0\left [\array{ 0&1 \cr 1&0 } \right ] + 2\left [\array{ 0&0 \cr 0&1 } \right ] = \left [\array{ −1&0 \cr 0 &2 } \right ] & & \cr {ρ}_{B}^{−1}\left (\left [\array{ 1 \cr 3 \cr 0 } \right ]\right ) & = 1\left [\array{ 1&0 \cr 0&0 } \right ] + 3\left [\array{ 0&1 \cr 1&0 } \right ] + 0\left [\array{ 0&0 \cr 0&1 } \right ] = \left [\array{ 1&3 \cr 3&0 } \right ] & & \cr & & }

So the requested basis of {S}_{22}, yielding a diagonal matrix representation of R, is

\left \{\left [\array{ −1&−2 \cr −2& 1 } \right ]\kern 1.95872pt \ \left [\array{ −1&0 \cr 0 &2 } \right ],\kern 1.95872pt \left [\array{ 1&3 \cr 3&0 } \right ]\right \}

C41 Contributed by Robert Beezer Statement [1754]
Use a single basis for both the domain and codomain, since they are equal.

B = \left \{\left [\array{ 1&0 \cr 0&0 } \right ],\kern 1.95872pt \left [\array{ 0&1 \cr 1&0 } \right ],\kern 1.95872pt \left [\array{ 0&0 \cr 0&1 } \right ]\right \}

The matrix representation of Q relative to B is

M = {M}_{B,B}^{Q} = \left [\array{ 25 & 18 & 30 \cr −16&−11&−20 \cr −11& −9 &−12 } \right ]

We can analyze this matrix with the techniques of Section EE and then apply Theorem EER. The eigenvalues of this matrix are λ = −2,\kern 1.95872pt 1,\kern 1.95872pt 3 with eigenspaces

\eqalignno{ {ℰ}_{M}\left (−2\right ) & = \left \langle \left \{\left [\array{ −6 \cr 4 \cr 3 } \right ]\right \}\right \rangle &{ℰ}_{M}\left (1\right ) & = \left \langle \left \{\left [\array{ −2 \cr 1 \cr 1 } \right ]\right \}\right \rangle &{ℰ}_{M}\left (3\right ) & = \left \langle \left \{\left [\array{ −3 \cr 2 \cr 1 } \right ]\right \}\right \rangle & & & & & & }

Because the three eigenvalues are distinct, the three basis vectors from the three eigenspaces for a linearly independent set (Theorem EDELI). Theorem EER says we can uncoordinatize these eigenvectors to obtain eigenvectors of Q. By Theorem ILTLI the resulting set will remain linearly independent. Set

C = \left \{{ρ}_{B}^{−1}\left (\left [\array{ −6 \cr 4 \cr 3 } \right ]\right ),\kern 1.95872pt {ρ}_{B}^{−1}\left (\left [\array{ −2 \cr 1 \cr 1 } \right ]\right ),\kern 1.95872pt {ρ}_{B}^{−1}\left (\left [\array{ −3 \cr 2 \cr 1 } \right ]\right )\right \} = \left \{\left [\array{ −6&4 \cr 4 &3 } \right ],\kern 1.95872pt \left [\array{ −2&1 \cr 1 &1 } \right ],\kern 1.95872pt \left [\array{ −3&2 \cr 2 &1 } \right ]\right \}

Then C is a linearly independent set of size 3 in the vector space {M}_{22}, which has dimension 3 as well. By Theorem G, C is a basis of {M}_{22}.

T10 Contributed by Robert Beezer Statement [1755]
Let v be an eigenvector of T for the eigenvalue λ. Then,

\eqalignno{ {T}^{−1}\left (v\right ) & = {1\over λ}λ{T}^{−1}\left (v\right ) & &\text{$λ\mathrel{≠}0$} & & & & \cr & = {1\over λ}{T}^{−1}\left (λv\right ) & &\text{@(a href="fcla-jsmath-2.00li54.html#theorem.ILTLT")Theorem ILTLT@(/a)} & & & & \cr & = {1\over λ}{T}^{−1}\left (T\left (v\right )\right ) & &\text{$v$ eigenvector of $T$} & & & & \cr & = {1\over λ}{I}_{V }\left (v\right ) & &\text{@(a href="fcla-jsmath-2.00li54.html#definition.IVLT")Definition IVLT@(/a)} & & & & \cr & = {1\over λ}v & &\text{@(a href="fcla-jsmath-2.00li54.html#definition.IDLT")Definition IDLT@(/a)} & & & & }

which says that {1\over λ} is an eigenvalue of {T}^{−1} with eigenvector v. Note that it is possible to prove that any eigenvalue of an invertible linear transformation is never zero. So the hypothesis that λ be nonzero is just a convenience for this problem.