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.

504 Vector Spaces<br />

This clearly only occurs when a = b = c = d = 0 which means that<br />

[ ] [ ]<br />

a b 0 0<br />

A = = = 0<br />

c d 0 0<br />

Hence T is one-to-one.<br />

T is onto: Let<br />

and def<strong>in</strong>e matrix A ∈ M 22 as follows:<br />

⃗x =<br />

A =<br />

⎡<br />

⎢<br />

⎣<br />

⎤<br />

x 1<br />

x 2<br />

x 3<br />

x 4<br />

⎥<br />

⎦ ∈ R4 ,<br />

[ ]<br />

x1 x 2<br />

.<br />

x 3 x 4<br />

Then T (A)=⃗x, and therefore T is onto.<br />

S<strong>in</strong>ce T is a l<strong>in</strong>ear transformation which is one-to-one and onto, T is an isomorphism. Hence M 22 and<br />

R 4 are isomorphic.<br />

♠<br />

An important property of isomorphisms is that the <strong>in</strong>verse of an isomorphism is itself an isomorphism<br />

and the composition of isomorphisms is an isomorphism. We first recall the def<strong>in</strong>ition of composition.<br />

Def<strong>in</strong>ition 9.72: Composition of Transformations<br />

Let V,W ,Z be vector spaces and suppose T : V ↦→ W and S : W ↦→ Z are l<strong>in</strong>ear transformations.<br />

Then the composite of S and T is<br />

S ◦ T : V ↦→ Z<br />

andisdef<strong>in</strong>edby<br />

(S ◦ T)(⃗v)=S(T(⃗v)) for all⃗v ∈ V<br />

Consider now the follow<strong>in</strong>g proposition.<br />

Proposition 9.73: Composite and Inverse Isomorphism<br />

Let T : V → W be an isomorphism. Then T −1 : W → V is also an isomorphism. Also if T : V → W<br />

is an isomorphism and if S : W → Z is an isomorphism for the vector spaces V ,W,Z, then S ◦ T<br />

def<strong>in</strong>ed by (S ◦ T )(v)=S(T (v)) is also an isomorphism.<br />

Proof. Consider the first claim. 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 . Consider if this is equal to<br />

aT −1 (T (⃗v 1 )) + bT −1 (T (⃗v 2 )) = a⃗v 1 + b⃗v 2 ?

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

Saved successfully!

Ooh no, something went wrong!