Skip to content
Hub Nexus

No author yetClaim it

Version 1Updated 12 min read

Support

The first subsection shows how to convert the representation
of a vector with respect to one basis to the representation of that
same vector with respect to another basis.
Here we will see how to
convert the representation of a map with
respect to one pair of bases to the representation of that
map with respect to a different pair.
That is, we want the relationship between the
matrices in this arrow diagram.

To move from the lower-left of this diagram
to the lower-right we can either go straight over, or
else up to {V}_{B} then over to {W}_{D} and then down.
Restated in terms of the matrices,
we can calculate \overset{̂}{H} = {R e p}_{\overset{̂}{B} , \overset{̂}{D}} ( h )
either by simply using \overset{̂}{B} and \overset{̂}{D},
or else by first changing bases with {R e p}_{\overset{̂}{B} , B} ( \text{id} )
then multiplying by H = {R e p}_{B , D} ( h )
and then changing bases with {R e p}_{D , \overset{̂}{D}} ( \text{id} ).
This equation summarizes.

\overset{̂}{H} = {R e p}_{D , \overset{̂}{D}} ( \text{id} ) ⋅ H ⋅ {R e p}_{\overset{̂}{B} , B} ( \text{id} ) \ \ ( ∗ )

(To compare this equation with the sentence before it, remember that the
equation is read from right to left because
function composition is read right to left and matrix multiplication
represent the composition.)

Example 2.1

The matrix

T = ( \begin{matrix}cos ⁡ ( π / 6 ) & − sin ⁡ ( π / 6 ) \\ sin ⁡ ( π / 6 ) & cos ⁡ ( π / 6 )\end{matrix} ) = ( \begin{matrix}\sqrt{3} / 2 & − 1 / 2 \\ 1 / 2 & \sqrt{3} / 2\end{matrix} )

represents, with respect to {ℰ}_{2} , {ℰ}_{2},
the transformation t : {ℝ}^{2} → {ℝ}^{2} that rotates vectors
π / 6 radians counterclockwise.

We can translate that representation with respect to {ℰ}_{2} , {ℰ}_{2}
to one with respect to

\overset{̂}{B} = ⟨ ( \begin{matrix}1 \\ 1\end{matrix} ) ( \begin{matrix}0 \\ 2\end{matrix} ) ⟩ \ \overset{̂}{D} = ⟨ ( \begin{matrix}− 1 \\ 0\end{matrix} ) ( \begin{matrix}2 \\ 3\end{matrix} ) ⟩

by using the arrow diagram and formula (∗) above.

From this, we can use the formula:

\overset{̂}{T} = {R e p}_{{ℰ}_{2} , \overset{̂}{D}} ( \text{id} ) ⋅ T ⋅ {R e p}_{\overset{̂}{B} , {ℰ}_{2}} ( \text{id} )

Note that {R e p}_{{ℰ}_{2} , \overset{̂}{D}} ( \text{id} ) can be calculated as
the matrix inverse of {R e p}_{\overset{̂}{D} , {ℰ}_{2}} ( \text{id} ).

\begin{matrix}{R e p}_{\overset{̂}{B} , \overset{̂}{D}} ( t ) & = {( \begin{matrix}− 1 & 2 \\ 0 & 3\end{matrix} )}^{− 1} ( \begin{matrix}\sqrt{3} / 2 & − 1 / 2 \\ 1 / 2 & \sqrt{3} / 2\end{matrix} ) ( \begin{matrix}1 & 0 \\ 1 & 2\end{matrix} ) \\ & = ( \begin{matrix}( 5 − \sqrt{3} ) / 6 & ( 3 + 2 \sqrt{3} ) / 3 \\ ( 1 + \sqrt{3} ) / 6 & \sqrt{3} / 3\end{matrix} )\end{matrix}

Although the new matrix is messier-appearing,
the map that it represents is the same.
For instance, to replicate the effect of t in the picture,
start with \overset{̂}{B},

{R e p}_{\overset{̂}{B}} ( ( \begin{matrix}1 \\ 3\end{matrix} ) ) = {( \begin{matrix}1 \\ 1\end{matrix} )}_{\overset{̂}{B}}

apply \overset{̂}{T},

{( \begin{matrix}( 5 − \sqrt{3} ) / 6 & ( 3 + 2 \sqrt{3} ) / 3 \\ ( 1 + \sqrt{3} ) / 6 & \sqrt{3} / 3\end{matrix} )}_{\overset{̂}{B} , \overset{̂}{D}} {( \begin{matrix}1 \\ 1\end{matrix} )}_{\overset{̂}{B}} = {( \begin{matrix}( 11 + 3 \sqrt{3} ) / 6 \\ ( 1 + 3 \sqrt{3} ) / 6\end{matrix} )}_{\overset{̂}{D}}

and check it against \overset{̂}{D}

\frac{11 + 3 \sqrt{3}}{6} ⋅ ( \begin{matrix}− 1 \\ 0\end{matrix} ) + \frac{1 + 3 \sqrt{3}}{6} ⋅ ( \begin{matrix}2 \\ 3\end{matrix} ) = ( \begin{matrix}( − 3 + \sqrt{3} ) / 2 \\ ( 1 + 3 \sqrt{3} ) / 2\end{matrix} )

to see that it is the same result as above.

Example 2.2

On {ℝ}^{3} the map

( \begin{matrix}x \\ y \\ z\end{matrix} ) \overset{t}{⟼} ( \begin{matrix}y + z \\ x + z \\ x + y\end{matrix} )

that is represented with respect to the standard basis in this way

{R e p}_{{ℰ}_{3} , {ℰ}_{3}} ( t ) = ( \begin{matrix}0 & 1 & 1 \\ 1 & 0 & 1 \\ 1 & 1 & 0\end{matrix} )

can also be represented with respect to another basis

if
B = ⟨ ( \begin{matrix}1 \\ − 1 \\ 0\end{matrix} ) , ( \begin{matrix}1 \\ 1 \\ − 2\end{matrix} ) , ( \begin{matrix}1 \\ 1 \\ 1\end{matrix} ) ⟩
then
{R e p}_{B , B} ( t ) = ( \begin{matrix}− 1 & 0 & 0 \\ 0 & − 1 & 0 \\ 0 & 0 & 2\end{matrix} )

in a way that is simpler, in that the action of a diagonal matrix is easy to understand.

Naturally, we usually prefer basis changes that make the
representation easier to understand.
When the representation with respect to equal starting
and ending bases is a diagonal matrix we say the map or matrix
has been diagonalized.
In Chaper Five we shall see which maps and matrices are diagonalizable,
and where one is not, we shall see how to get a representation that is nearly
diagonal.

We finish this subsection by considering the easier case
where representations are with respect to possibly different starting and
ending bases.
Recall that the prior subsection
shows that a matrix changes bases if and only if it is nonsingular.
That gives us another version of the above arrow diagram
and equation (∗).

Definition 2.3

Same-sized matrices H and \overset{̂}{H} are
matrix equivalent if there are nonsingular matrices P
and Q such that \overset{̂}{H} = P H Q.

Corollary 2.4

Matrix equivalent matrices represent the same map, with respect to appropriate pairs of bases.

Problem 10 checks that
matrix equivalence is an equivalence relation.
Thus it partitions the set of matrices into matrix equivalence classes.

We can get some insight into the classes by comparing matrix equivalence
with row equivalence
(recall that matrices are row equivalent when they can be reduced to each
other by row operations).
In \overset{̂}{H} = P H Q, the matrices P and Q are nonsingular and
thus each can be written as a product of elementary reduction matrices
(see Lemma 4.8 in the previous subsection).
Left-multiplication by the reduction matrices making up P
has the effect of performing row operations.
Right-multiplication by the reduction matrices making up Q
performs column operations.
Therefore, matrix equivalence is a generalization of row equivalence— two
matrices are row equivalent if one can be converted to the other by
a sequence of row reduction steps, while
two matrices are matrix equivalent if one can be converted to the other by a
sequence of row reduction steps followed by a sequence of column reduction
steps.

Thus, if matrices are row equivalent then they are also
matrix equivalent (since we can take Q to be the identity matrix and so
perform no column operations).
The converse, however, does not hold.

Example 2.5

These two

( \begin{matrix}1 & 0 \\ 0 & 0\end{matrix} ) \ ( \begin{matrix}1 & 1 \\ 0 & 0\end{matrix} )

are matrix equivalent because the second can be reduced to the first by the column operation of taking − 1 times the first column and adding to the second. They are not row equivalent because they have different reduced echelon forms (in fact, both are already in reduced form).

We will close this section by finding a set
of representatives for the matrix equivalence classes.[1]

Theorem 2.6

Any m \ × \ n matrix of rank k is matrix equivalent to
the m \ × \ n matrix that is all zeros except that
the first k diagonal entries are ones.

( \begin{matrix}1 & 0 & … & 0 & 0 & … & 0 \\ 0 & 1 & … & 0 & 0 & … & 0 \\ & ⋮ \\ 0 & 0 & … & 1 & 0 & … & 0 \\ 0 & 0 & … & 0 & 0 & … & 0 \\ & ⋮ \\ 0 & 0 & … & 0 & 0 & … & 0\end{matrix} )

Sometimes this is described as a block partial-identity form.

( \begin{matrix}I & Z \\ Z & Z\end{matrix} )

Proof

As discussed above, Gauss-Jordan reduce the given matrix and combine all the reduction matrices used there to make P. Then use the leading entries to do column reduction and finish by swapping columns to put the leading ones on the diagonal. Combine the reduction matrices used for those column operations into Q.

Example 2.7

We illustrate the proof by finding the P and Q for this matrix.

( \begin{matrix}1 & 2 & 1 & − 1 \\ 0 & 0 & 1 & − 1 \\ 2 & 4 & 2 & − 2\end{matrix} )

First Gauss-Jordan row-reduce.

( \begin{matrix}1 & − 1 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1\end{matrix} ) ( \begin{matrix}1 & 0 & 0 \\ 0 & 1 & 0 \\ − 2 & 0 & 1\end{matrix} ) ( \begin{matrix}1 & 2 & 1 & − 1 \\ 0 & 0 & 1 & − 1 \\ 2 & 4 & 2 & − 2\end{matrix} ) = ( \begin{matrix}1 & 2 & 0 & 0 \\ 0 & 0 & 1 & − 1 \\ 0 & 0 & 0 & 0\end{matrix} )

Then column-reduce, which involves right-multiplication.

( \begin{matrix}1 & 2 & 0 & 0 \\ 0 & 0 & 1 & − 1 \\ 0 & 0 & 0 & 0\end{matrix} ) ( \begin{matrix}1 & − 2 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1\end{matrix} ) ( \begin{matrix}1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 1 \\ 0 & 0 & 0 & 1\end{matrix} ) = ( \begin{matrix}1 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0\end{matrix} )

Finish by swapping columns.

( \begin{matrix}1 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0\end{matrix} ) ( \begin{matrix}1 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 1\end{matrix} ) = ( \begin{matrix}1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0\end{matrix} )

Finally, combine the left-multipliers together as P and the
right-multipliers together as Q to get the P H Q equation.

( \begin{matrix}1 & − 1 & 0 \\ 0 & 1 & 0 \\ − 2 & 0 & 1\end{matrix} ) ( \begin{matrix}1 & 2 & 1 & − 1 \\ 0 & 0 & 1 & − 1 \\ 2 & 4 & 2 & − 2\end{matrix} ) ( \begin{matrix}1 & 0 & − 2 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 1 & 0 & 1 \\ 0 & 0 & 0 & 1\end{matrix} ) = ( \begin{matrix}1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0\end{matrix} )

Corollary 2.8

Two same-sized matrices are matrix equivalent if and only if they have
the same rank. That is, the matrix equivalence classes are
characterized by rank.

Proof

Two same-sized matrices with the same rank are equivalent to the same block partial-identity matrix.

Example 2.9

The {}2 \ × \ 2 matrices have
only three possible ranks: zero, one, or two.
Thus there are three
matrix-equivalence classes.

All {}2 \ × \ 2 matrices:

Three equivalence
classes

Each class consists of all of the {}2 \ × \ 2 matrices with the same rank. There is only one rank zero matrix, so that class has only one member, but the other two classes each have infinitely many members.

In this subsection
we have seen how to change the representation of a map with
respect to a first pair of bases to one with respect to a second pair.
That led to a definition describing when matrices are equivalent in
this way.
Finally we noted that,
with the proper choice of (possibly different) starting and ending bases, any
map can be represented in block partial-identity form.

One of the nice things about this representation is that,
in some sense, we can completely understand the map when it is
expressed in this way:
if the bases are
B = ⟨ {\overset{→}{β}}_{1} , … , {\overset{→}{β}}_{n} ⟩
and
D = ⟨ {\overset{→}{δ}}_{1} , … , {\overset{→}{δ}}_{m} ⟩
then the map sends

{c}_{1} {\overset{→}{β}}_{1} + … + {c}_{k} {\overset{→}{β}}_{k} + {c}_{k + 1} {\overset{→}{β}}_{k + 1} + … + {c}_{n} {\overset{→}{β}}_{n} \ ⟼ \ {c}_{1} {\overset{→}{δ}}_{1} + … + {c}_{k} {\overset{→}{δ}}_{k} + \overset{→}{0} + … + \overset{→}{0}

where k is the map's rank.
Thus, we can understand any linear map as a kind of projection.

{( \begin{matrix}{c}_{1} \\ ⋮ \\ {c}_{k} \\ {c}_{k + 1} \\ ⋮ \\ {c}_{n}\end{matrix} )}_{B} \ ↦ \ {( \begin{matrix}{c}_{1} \\ ⋮ \\ {c}_{k} \\ 0 \\ ⋮ \\ 0\end{matrix} )}_{D}

Of course, "understanding" a map expressed in this way
requires that we understand the relationship between B and D.
However, despite that difficulty,
this is a good classification of linear maps.
}}

Exercises

This exercise is recommended for all readers.

Problem 1

Decide if these matrices are matrix equivalent.

  • ( \begin{matrix}1 & 3 & 0 \\ 2 & 3 & 0\end{matrix} ),
    ( \begin{matrix}2 & 2 & 1 \\ 0 & 5 & − 1\end{matrix} )
  • ( \begin{matrix}0 & 3 \\ 1 & 1\end{matrix} ),

( \begin{matrix}4 & 0 \\ 0 & 5\end{matrix} )

  • ( \begin{matrix}1 & 3 \\ 2 & 6\end{matrix} ),
    ( \begin{matrix}1 & 3 \\ 2 & − 6\end{matrix} )

This exercise is recommended for all readers.

Problem 2

Find the canonical representative of the matrix-equivalence class of
each matrix.

  • ( \begin{matrix}2 & 1 & 0 \\ 4 & 2 & 0\end{matrix} )
  • ( \begin{matrix}0 & 1 & 0 & 2 \\ 1 & 1 & 0 & 4 \\ 3 & 3 & 3 & − 1\end{matrix} )

Problem 3

Suppose that, with respect to

B = {ℰ}_{2} \ D = ⟨ ( \begin{matrix}1 \\ 1\end{matrix} ) , ( \begin{matrix}1 \\ − 1\end{matrix} ) ⟩

the transformation t : {ℝ}^{2} → {ℝ}^{2} is represented by
this matrix.

( \begin{matrix}1 & 2 \\ 3 & 4\end{matrix} )

Use change of basis matrices to represent t with respect
to each pair.

  • \overset{̂}{B} = ⟨ ( \begin{matrix}0 \\ 1\end{matrix} ) , ( \begin{matrix}1 \\ 1\end{matrix} ) ⟩,
    \overset{̂}{D} = ⟨ ( \begin{matrix}− 1 \\ 0\end{matrix} ) , ( \begin{matrix}2 \\ 1\end{matrix} ) ⟩
  • \overset{̂}{B} = ⟨ ( \begin{matrix}1 \\ 2\end{matrix} ) , ( \begin{matrix}1 \\ 0\end{matrix} ) ⟩,

\overset{̂}{D} = ⟨ ( \begin{matrix}1 \\ 2\end{matrix} ) , ( \begin{matrix}2 \\ 1\end{matrix} ) ⟩

This exercise is recommended for all readers.

Problem 4

What sizes are P and Q in the equation \overset{̂}{H} = P H Q?

This exercise is recommended for all readers.

Problem 5

Use Theorem 2.6 to show that a square matrix is nonsingular if and only if it is equivalent to an identity matrix.

This exercise is recommended for all readers.

Problem 6

Show that, where A is a nonsingular square matrix, if
P and Q are nonsingular square matrices such that P A Q = I
then Q P = {A}^{− 1}.

This exercise is recommended for all readers.

Problem 7

Why does Theorem 2.6 not show that every matrix
is diagonalizable (see Example 2.2)?

Problem 8

Must matrix equivalent matrices have matrix equivalent transposes?

Problem 9

What happens in Theorem 2.6 if k = 0?

This exercise is recommended for all readers.

Problem 10

Show that matrix-equivalence is an equivalence relation.

This exercise is recommended for all readers.

Problem 11

Show that a zero matrix is alone in its matrix equivalence
class.
Are there other matrices like that?

Problem 12

What are the matrix equivalence classes of matrices of
transformations on {ℝ}^{1}?
{ℝ}^{3}?

Problem 13

How many matrix equivalence classes are there?

Problem 14

Are matrix equivalence classes closed under scalar
multiplication?
Addition?

Problem 15

Let t : {ℝ}^{n} → {ℝ}^{n} represented by
T with respect to {ℰ}_{n} , {ℰ}_{n}.

  • Find {R e p}_{B , B} ( t ) in this specific case.

T = ( \begin{matrix}1 & 1 \\ 3 & − 1\end{matrix} ) \ B = ⟨ ( \begin{matrix}1 \\ 2\end{matrix} ) , ( \begin{matrix}− 1 \\ − 1\end{matrix} ) ⟩

  • Describe {R e p}_{B , B} ( t ) in the general case where
    B = ⟨ {\overset{→}{β}}_{1} , … , {\overset{→}{β}}_{n} ⟩.

Problem 16

  • Let V have bases {B}_{1} and {B}_{2} and
    suppose that W has the basis D.
    Where h : V → W, find the formula that computes
    {R e p}_{{B}_{2} , D} ( h ) from {R e p}_{{B}_{1} , D} ( h ).
  • Repeat the prior question with one basis

for V and two bases for W.

Problem 17

  • If two matrices are matrix-equivalent and invertible,
    must their
    inverses be matrix-equivalent?
  • If two matrices have matrix-equivalent inverses, must the two

be matrix-equivalent?

  • If two matrices are square and matrix-equivalent, must their
    squares be matrix-equivalent?
  • If two matrices are square and have matrix-equivalent squares,

must they be matrix-equivalent?

This exercise is recommended for all readers.

Problem 18

Square matrices are similar if they represent the same
transformation, but each with respect to the same ending as starting
basis.
That is, {R e p}_{{B}_{1} , {B}_{1}} ( t ) is similar to {R e p}_{{B}_{2} , {B}_{2}} ( t ).

  • Give a definition of matrix similarity like that of
    Definition 2.3.
  • Prove that similar matrices are matrix equivalent.
  • Show that similarity is an equivalence relation.
  • Show that if T is similar to \overset{̂}{T} then

{T}^{2} is similar to {\overset{̂}{T}}^{2}, the cubes are similar, etc.
Contrast with the prior exercise.

  • Prove that there are matrix equivalent matrices
    that are not similar.

Solutions

Footnotes

  • ↑ More
    information on class representatives is in the appendix.

Where this page came from

This page was imported from Wikibooks. From “Linear Algebra” on Wikibooks, by its contributors, under CC BY-SA 4.0. Changed here: set as a page; navigation and edit links left out; each image under its own licence, credited in its caption.

Nobody has written it yet — it is the source material at a new address, which is why search engines are asked to skip it and why no one earns from it. It is up for grabs: take it on, and it is yours to rewrite and to earn from.

Comments

Spinner Logo

Next in Linear Algebra

CC BY-SA 4.0
We first consider orthogonal projection onto a line. To orthogonally project a vector $\overset{→}{v}$ onto a line $ℓ$, mark the point on the line at which someone standing on that point could see $\overset{→}{v}$ by looking straight up or down (from that person's point of view). The picture shows s
CC BY-SA 4.0
This subsection is optional. It requires material from the prior, also optional, subsection. The work done here will only be needed in the final two sections of Chapter Five. The prior subsection suggests that projecting onto the line spanned by $\overset{→}{s}$ decomposes a vector $\overset{→}{v}$
CC BY-SA 4.0
This subsection, like the others in this section, is optional. It also requires material from the optional earlier subsection on Combining Subspaces. The prior subsections project a vector onto a line by decomposing it into two parts: the part in the line ${\text{proj}}_{[ \overset{→}{s} \ ]} ( \ove
CC BY-SA 4.0
Scientists are often presented with a system that has no solution and they must find an answer anyway. That is, they must find a value that is as close as possible to being an answer. For instance, suppose that we have a coin to use in flipping. This coin has some proportion m of heads to total flip
CC BY-SA 4.0
The pictures below contrast ${f}_{1} ( x ) = {e}^{x}$ and ${f}_{2} ( x ) = {x}^{2}$, which are nonlinear, with ${h}_{1} ( x ) = 2 x$ and ${h}_{2} ( x ) = − x$, which are linear. Each of the four pictures shows the domain ${ℝ}^{1}$ on the left mapped to the codomain ${ℝ}^{1}$ on the right. Arrows tra
CC BY-SA 4.0
Here is a simple game: a player bets on coin tosses, a dollar each time, and the game ends either when the player has no money left or is up to five dollars. If the player starts with three dollars, what is the chance that the game takes at least five flips? Twenty-five flips? At any point, this pla