06.09.2021 Views

Linear Algebra, 2020a

Linear Algebra, 2020a

Linear Algebra, 2020a

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

224 Chapter Three. Maps Between Spaces<br />

2.1 Example Consider this matrix.<br />

⎛ ⎞<br />

1 2<br />

⎜ ⎟<br />

H = ⎝3 4⎠<br />

5 6<br />

It is 3×2 so any map that it defines must carry a dimension 2 domain to a<br />

dimension 3 codomain. We can choose the domain and codomain to be R 2 and<br />

P 2 , with these bases.<br />

( ) (<br />

B = 〈 ,<br />

1<br />

1<br />

1<br />

−1<br />

)<br />

〉 D = 〈x 2 ,x 2 + x, x 2 + x + 1〉<br />

Then let h: R 2 → P 2 be the function defined by H. We will compute the image<br />

under h of this member of the domain.<br />

( )<br />

−3<br />

⃗v =<br />

2<br />

The computation is straightforward.<br />

⎛<br />

⎜<br />

1 2<br />

⎞<br />

⎛<br />

( )<br />

⎟ −1/2 ⎜<br />

−11/2<br />

⎞<br />

⎟<br />

Rep D (h(⃗v)) = H · Rep B (⃗v) = ⎝3 4⎠<br />

= ⎝−23/2⎠<br />

−5/2<br />

5 6<br />

−35/2<br />

From its representation, computation of h(⃗v) is routine (−11/2)(x 2 )−(23/2)(x 2 +<br />

x)−(35/2)(x 2 + x + 1) =(−69/2)x 2 −(58/2)x −(35/2).<br />

2.2 Theorem Any matrix represents a homomorphism between vector spaces of<br />

appropriate dimensions, with respect to any pair of bases.<br />

Proof We must check that for any matrix H and any domain and codomain<br />

bases B, D, the defined map h is linear. If ⃗v, ⃗u ∈ V are such that<br />

⎛ ⎞<br />

⎛ ⎞<br />

v 1<br />

u 1<br />

⎜ .<br />

Rep B (⃗v) = ⎝<br />

⎟<br />

⎜ .<br />

. ⎠ Rep B (⃗u) = ⎝<br />

⎟<br />

. ⎠<br />

v n u n<br />

and c, d ∈ R then the calculation<br />

h(c⃗v + d⃗u) = ( h 1,1 (cv 1 + du 1 )+···+ h 1,n (cv n + du n ) ) · ⃗δ 1 +<br />

···+ ( h m,1 (cv 1 + du 1 )+···+ h m,n (cv n + du n ) ) · ⃗δ m<br />

= c · h(⃗v)+d · h(⃗u)<br />

supplies that check.<br />

QED

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

Saved successfully!

Ooh no, something went wrong!