Page 261 - Matrix Analysis & Applied Linear Algebra
P. 261

256              Chapter 4                                              Vector Spaces

                                        Equations (4.8.5) and (4.8.6) say that any two coordinate matrices of a
                                    given linear operator must be similar. But must any two similar matrices be
                                    coordinate matrices of the same linear operator? Yes, and here’s why. Suppose
                                    C = Q −1 BQ, and let A(v)= Bv be the linear operator defined by matrix–
                                    vector multiplication. If S is the standard basis, then it’s straightforward to see

                                    that [A] S = B (Exercise 4.7.9). If B = {Q ∗1 , Q ∗2 ,..., Q ∗n } is the basis con-
                                    sisting of the columns of Q, then (4.8.6) insures that [A] B   =[I] −1  [A] S [I] B   S ,
                                                                                             B   S
                                    where

                                                   [I] B   S =  [Q ∗1 ] S   [Q ∗2 ] S   ···   [Q ∗n ] S  = Q.



                                    Therefore, B =[A] S and C = Q   −1 BQ = Q −1 [A] S Q =[A] B  , so B and
                                    C are both coordinate matrix representations of A. In other words, similar
                                    matrices represent the same linear operator.
                                        As stated at the beginning of this section, the goal is to isolate and study
                                    coordinate-independent properties of linear operators. They are the ones de-
                                    termined by sorting out those properties of coordinate matrices that are ba-
                                    sis independent. But, as (4.8.5) and (4.8.6) show, all coordinate matrices for a
                                    given linear operator must be similar, so the coordinate-independent properties
                                    are exactly the ones that are similarity invariant (invariant under similarity
                                    transformations). Naturally, determining and studying similarity invariants is an
                                    important part of linear algebra and matrix theory.
                   Example 4.8.4
                                    Problem: The trace of a square matrix C was defined in Example 3.3.1 to be
                                    the sum of the diagonal entries

                                                              trace (C)=    c ii .
                                                                          i
                                    Show that trace is a similarity invariant, and explain why it makes sense to talk
                                    about the trace of a linear operator without regard to any particular basis. Then
                                                                             2
                                    determine the trace of the linear operator on   that is defined by
                                                           A(x, y)=(y, −2x +3y).                   (4.8.7)
                                    Solution: As demonstrated in Example 3.6.5, trace (BC)= trace (CB), when-
                                    ever the products are defined, so
                                                         −1                  −1
                                                  trace Q  CQ = trace CQQ        = trace (C),
                                    and thus trace is a similarity invariant. This allows us to talk about the trace of
                                    a linear operator A without regard to any particular basis because trace ([A] B )
                                    is the same number regardless of the choice of B. For example, two coordinate
                                    matrices of the operator A in (4.8.7) were computed in Example 4.8.2 to be

                                                            01                      10
                                                  [A] S =            and   [A] S   =      ,
                                                           −23                      02
                                    and it’s clear that trace ([A] S )= trace ([A] S  )=3. Since trace ([A] B )=3 for
                                    all B, we can legitimately define trace (A)=3.
   256   257   258   259   260   261   262   263   264   265   266