Skip to content
Hub Nexus

No author yetClaim it

Version 1Updated 5 min read

Support

Definition and Examples

We've defined H and \overset{̂}{H} to be
matrix-equivalent if there are nonsingular matrices P and Q
such that \overset{̂}{H} = P H Q.
That definition is motivated by this diagram

showing that H and \overset{̂}{H} both represent h but with respect to different
pairs of bases.
We now specialize that setup to the case
where the codomain equals the domain, and
where the codomain's basis equals the domain's basis.

To move from the lower left to the lower right we can either go straight
over, or up, over, and then down.
In matrix terms,

{R e p}_{D , D} ( t ) = {R e p}_{B , D} ( \text{id} ) \ {R e p}_{B , B} ( t ) \ ( {R e p}_{B , D} ( \text{id} ) {)}^{− 1}

(recall that a representation of composition like this one reads right to
left).

Definition 1.1

The matrices T and S are similar if there is a nonsingular P such that T = P S {P}^{− 1}.

Since nonsingular matrices are square,
the similar matrices T and S must
be square and of the same size.

Example 1.2

With these two,

P = ( \begin{matrix}2 & 1 \\ 1 & 1\end{matrix} ) \ S = ( \begin{matrix}2 & − 3 \\ 1 & − 1\end{matrix} )

calculation gives that S is similar to
this matrix.

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

Example 1.3

The only matrix similar to the zero matrix is itself: P Z {P}^{− 1} = P Z = Z. The only matrix similar to the identity matrix is itself: P I {P}^{− 1} = P {P}^{− 1} = I.

Since matrix similarity is a special case of matrix equivalence,
if two matrices are similar then they are equivalent.
What about the converse: must matrix equivalent square matrices be similar?
The answer is no.
The prior example shows that the similarity classes are different
from the matrix equivalence classes, because the matrix equivalence class
of the identity consists of all nonsingular matrices of that size.
Thus, for instance, these two are
matrix equivalent but not similar.

T = ( \begin{matrix}1 & 0 \\ 0 & 1\end{matrix} ) \ S = ( \begin{matrix}1 & 2 \\ 0 & 3\end{matrix} )

So some matrix equivalence classes
split into two or more similarity classes— similarity gives a finer
partition than does equivalence.
This picture shows some matrix equivalence classes subdivided into
similarity classes.

To understand the similarity relation we shall study the similarity classes.
We approach this question in the same way that we've studied both the
row equivalence and matrix equivalence relations, by finding
a canonical form for
representatives[1]
of the similarity classes, called Jordan form.
With this canonical form, we can decide if two matrices are similar by checking
whether they reduce to the same representative.
We've also seen with both row equivalence and matrix equivalence that a
canonical form gives us insight into the ways in which members of
the same class are alike
(e.g., two identically-sized matrices are matrix equivalent
if and only if they have the same rank).

Exercises

Problem 1

For

S = ( \begin{matrix}1 & 3 \\ − 2 & − 6\end{matrix} ) \ T = ( \begin{matrix}0 & 0 \\ − 11 / 2 & − 5\end{matrix} ) \ P = ( \begin{matrix}4 & 2 \\ − 3 & 2\end{matrix} )

check that T = P S {P}^{− 1}.

This exercise is recommended for all readers.

Problem 2

Example 1.3 shows that the only matrix similar
to a zero matrix is itself and that
the only matrix similar to the identity
is itself.

  • Show that the {}1 \ × \ 1 matrix ( 2 ),
    also, is similar only to itself.
  • Is a matrix of the form c I for some scalar c

similar only to itself?

  • Is a diagonal matrix similar only to itself?

Problem 3

Show that these matrices are not similar.

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

Problem 4

Consider the transformation t : {𝒫}_{2} → {𝒫}_{2}
described by
{x}^{2} ↦ x + 1, x ↦ {x}^{2} − 1, and {}1 ↦ 3.

  • Find T = {R e p}_{B , B} ( t ) where B = ⟨ {x}^{2} , x , 1 ⟩.
  • Find S = {R e p}_{D , D} ( t ) where D = ⟨ 1 , 1 + x , 1 + x + {x}^{2} ⟩.
  • Find the matrix P such that T = P S {P}^{− 1}.

This exercise is recommended for all readers.

Problem 5

Exhibit an nontrivial similarity relationship in this way: let
t : {ℂ}^{2} → {ℂ}^{2} act by

( \begin{matrix}1 \\ 2\end{matrix} ) ↦ ( \begin{matrix}3 \\ 0\end{matrix} ) \ ( \begin{matrix}− 1 \\ 1\end{matrix} ) ↦ ( \begin{matrix}− 1 \\ 2\end{matrix} )

and pick two bases,
and represent t with respect to then
T = {R e p}_{B , B} ( t ) and S = {R e p}_{D , D} ( t ).
Then compute
the P and {P}^{− 1} to change bases from B to D and
back again.

Problem 6

Explain Example 1.3 in terms of maps.

This exercise is recommended for all readers.

Problem 7

Are there two matrices A and B that are
similar while {A}^{2} and {B}^{2} are not similar?
(Halmos 1958)

This exercise is recommended for all readers.

Problem 8

Prove that if two matrices are similar and one is invertible then
so is the other.

This exercise is recommended for all readers.

Problem 9

Show that similarity is an equivalence relation.

Problem 10

Consider a
matrix representing, with respect to some B , B,
reflection across the x-axis in {ℝ}^{2}.
Consider also
a matrix representing, with respect to some D , D,
reflection across the y-axis.
Must they be similar?

Problem 11

Prove that similarity preserves determinants and rank.
Does the converse hold?

Problem 12

Is there a matrix equivalence class with only one matrix similarity
class inside?
One with infinitely many similarity classes?

Problem 13

Can two different diagonal matrices be in the same similarity class?

This exercise is recommended for all readers.

Problem 14

Prove that if two matrices are similar then their k-th powers
are similar when k > 0.
What if k ≤ 0?

This exercise is recommended for all readers.

Problem 15

Let p ( x ) be the polynomial {c}_{n} {x}^{n} + ⋯ + {c}_{1} x + {c}_{0}.
Show that if T is similar to S then
p ( T ) = {c}_{n} {T}^{n} + ⋯ + {c}_{1} T + {c}_{0} I is similar to
p ( S ) = {c}_{n} {S}^{n} + ⋯ + {c}_{1} S + {c}_{0} I.

Problem 16

List all of the matrix equivalence classes of {}1 \ × \ 1 matrices.
Also list the similarity classes, and describe which similarity classes are
contained inside of each matrix equivalence class.

Problem 17

Does similarity preserve sums?

Problem 18

Show that if T − λ I and N are similar matrices then
T and N + λ I are also similar.

Solutions

References

  • Halmos, Paul P. (1958), Finite Dimensional Vector Spaces (Second ed.), Van Nostrand.
  • ↑ More information on 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
The prior subsection defines the relation of similarity and shows that, although similar matrices are necessarily matrix equivalent, the converse does not hold. Some matrix-equivalence classes break into two or more similarity classes (the nonsingular $n \ × \ n$ matrices, for instance). This means
CC BY-SA 4.0
In this subsection we will focus on the property of [Corollary 2.4]( Definition 3.1 A transformation $t : V → V$ has a scalar **eigenvalue** $λ$ if there is a nonzero **eigenvector** $\overset{→}{ζ} ∈ V$ such that $t ( \overset{→}{ζ} ) = λ ⋅ \overset{→}{ζ}$. ("Eigen" is German for "characteristic of
CC BY-SA 4.0
This subsection is optional, although it is necessary for later material in this section and in the next one. A linear transformations $t : V → V$, because it has the same domain and codomain, can be iterated.[1] That is, compositions of t with itself such as ${t}^{2} = t ∘ t$ and ${t}^{3} = t ∘ t ∘
CC BY-SA 4.0
This subsection is optional, and requires material from the optional Direct Sum subsection. The prior subsection shows that as j increases, the dimensions of the $ℛ ( {t}^{j} )$'s fall while the dimensions of the $𝒩 ( {t}^{j} )$'s rise, in such a way that this rank and nullity split the dimension o
CC BY-SA 4.0
This section uses material from three optional subsections: Direct Sum, Determinants Exist, and Other Formulas for the Determinant. The chapter on linear maps shows that every $h : V → W$ can be represented by a partial-identity matrix with respect to some bases $B ⊂ V$ and $D ⊂ W$. This chapter rev
CC BY-SA 4.0
Recall that the set of square matrices is a vector space under entry-by-entry addition and scalar multiplication and that this space ${ℳ}_{n \ × \ n}$ has dimension ${n}^{2}$. Thus, for any $n \ × \ n$ matrix T the ${n}^{2} + 1$-member set $\{ I , T , {T}^{2} , … , {T}^{{n}^{2}} \}$ is linearly depe