06.09.2021 Views

A First Course in Linear Algebra, 2017a

A First Course in Linear Algebra, 2017a

A First Course in Linear Algebra, 2017a

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

5.6. Isomorphisms 295<br />

3. T is onto:<br />

Let a,b be scalars. We want to check if there is always a solution to<br />

([ ]) [ ] [ ]<br />

x x + y a<br />

T = =<br />

y x − y b<br />

This can be represented as the system of equations<br />

x + y = a<br />

x − y = b<br />

Sett<strong>in</strong>g up the augmented matrix and row reduc<strong>in</strong>g gives<br />

[ 1 1 a<br />

1 −1 b<br />

]<br />

→···→<br />

[ 1 0<br />

a+b<br />

2<br />

0 1 a−b<br />

2<br />

]<br />

This has a solution for all a,b and therefore T is onto.<br />

Therefore T is an isomorphism.<br />

♠<br />

An important property of isomorphisms is that its <strong>in</strong>verse is also an isomorphism.<br />

Proposition 5.40: Inverse of an Isomorphism<br />

Let T : V → W be an isomorphism and V ,W be subspaces of R n . Then T −1 : W → V is also an<br />

isomorphism.<br />

Proof. Let T be an isomorphism. S<strong>in</strong>ce T is onto, a typical vector <strong>in</strong> W is of the form T (⃗v) where ⃗v ∈ V.<br />

Consider then for a,b scalars,<br />

T −1 (aT(⃗v 1 )+bT(⃗v 2 ))<br />

where⃗v 1 ,⃗v 2 ∈ V . Is this equal to<br />

S<strong>in</strong>ce T is one to one, this will be so if<br />

aT −1 (T (⃗v 1 )) + bT −1 (T (⃗v 2 )) = a⃗v 1 + b⃗v 2 ?<br />

T (a⃗v 1 + b⃗v 2 )=T ( T −1 (aT(⃗v 1 )+bT(⃗v 2 )) ) = aT(⃗v 1 )+bT(⃗v 2 ).<br />

However, the above statement is just the condition that T is a l<strong>in</strong>ear map. Thus T −1 is <strong>in</strong>deed a l<strong>in</strong>ear map.<br />

If⃗v ∈ V is given, then⃗v = T −1 (T (⃗v)) and so T −1 is onto. If T −1 (⃗v)=0, then<br />

⃗v = T ( T −1 (⃗v) ) = T (⃗0)=⃗0<br />

and so T −1 is one to one.<br />

♠<br />

Another important result is that the composition of multiple isomorphisms is also an isomorphism.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!