We learnt how to represent a linear transformation by a matrix. Remember that we need to fix an ordered basis for and an ordered basis for in order to represent by a matrix. Quite reasonably the matrix representing depends on the choice of ordered bases and . Then you may wonder, “What are the relations between the matrix representations for different pairs of ordered bases?” If you have this question, that’s good and please come next lecture. We shall answer this question then.

There are many important results covered today:

- Thm 9.2.2 explains explicitly how to represent a linear transformation by a matrix. Its proof is not difficult. Remember the diagram helps a lot to read the result and to get ideas of the proof. Make sure you know how to read the diagram.
- Thm 9.2.3 is a natural and useful result, telling us how to find the matrix representation of the composite of two linear transformations.
- Thm 9.2.4 says that an isomorphism is characterized by the nonsingular property of its matrix representation. There are two interesting points underlying the result:
- No matter which pair of basis you choose, the matrix representation of an isomorphism must
**always**be invertible/nonsingular. - If we find a pair of basis with respect to which the matrix representation of a linear transformation is nonsingular, then so are all other matrix representations of . (Just from the definition, these two results are not obvious.)

- No matter which pair of basis you choose, the matrix representation of an isomorphism must

We do not follow entirely the textbook in the proof of Thm 9.2.4. Our argument is somewhat more lengthy but helps recap some important ideas. For reference, we repeat part of the argument below.

Let . Given that is invertible. Then exists, and induces a linear tranformation

, where .

Define by for any .

Our goal is to show that and .

By Thm 9.1.3, .

By our definition of , .

Claim: and .

Proof:Firstly, we have , .

Next, from the definition of (i.e. ), we get

Hence,

Thus , .

Write .

Set , then .

i.e. The 1st columns of and are identical.

Repeating the argument for , we get .

Thus (the identity matrix). Hence .

[To see why , you may argue as follows: For all ,

As is an isomorphism, implies , which holds for all .]

Repeat the above argument for the following diagram.

We get .

**Remarks:**

See Lect17.pdf for lecture slides.

After Class Exercises: Ex 9.1 Qn 1(b), 1(d), 2(b), 4(b), 4(d), 4(f), 5(b), 5(d), 7(b), 7(d). (See textbook’s solution.)

Ex 9.1 Qn 14, 15. (See L17-ace.pdf)

Revision: Ex 7.3 Qn 20, 21. (See L17-ace.pdf)

## Leave a Reply