23.07.2012 Views

Linear Algebra

Linear Algebra

Linear Algebra

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.

200 Chapter 3. Maps Between Spaces<br />

�v<br />

t θ<br />

↦−→<br />

tθ(�v)<br />

we start by fixing bases. Using E2 both as a domain basis and as a codomain<br />

basis is natural, Now, we find the image under the map of each vector in the<br />

domain’s basis.<br />

� �<br />

1 tθ<br />

↦−→<br />

0<br />

� cos θ<br />

sin θ<br />

� � 0<br />

1<br />

�<br />

tθ<br />

↦−→<br />

� �<br />

− sin θ<br />

cos θ<br />

Then we represent these images with respect to the codomain’s basis. Because<br />

this basis is E2, vectors are represented by themselves. Finally, adjoining the<br />

representations gives the matrix representing the map.<br />

� �<br />

cos θ − sin θ<br />

RepE2,E2 (tθ) =<br />

sin θ cos θ<br />

The advantage of this scheme is that just by knowing how to represent the image<br />

of the two basis vectors, we get a formula that tells us the image of any vector<br />

at all; here a vector rotated by θ = π/6.<br />

� �<br />

3 tπ/6<br />

↦−→<br />

−2<br />

�√<br />

3/2 −1/2<br />

1/2 √ �� �<br />

3<br />

3/2 −2<br />

≈<br />

� �<br />

3.598<br />

−0.232<br />

(Again, we are using the fact that, with respect to E2, vectors represent themselves.)<br />

We have already seen the addition and scalar multiplication operations of<br />

matrices and the dot product operation of vectors. Matrix-vector multiplication<br />

is a new operation in the arithmetic of vectors and matrices. Nothing in Definition<br />

1.5 requires us to view it in terms of representations. We can get some<br />

insight into this operation by turning away from what is being represented, and<br />

instead focusing on how the entries combine.<br />

1.9 Example In the definition the width of the matrix equals the height of<br />

the vector. Hence, the first product below is defined while the second is not.<br />

� �<br />

1 0 0<br />

4 3 1<br />

⎛<br />

⎝ 1<br />

⎞<br />

� � � �� �<br />

0⎠<br />

1 1 0 0 1<br />

=<br />

6 4 3 1 0<br />

2<br />

One reason that this product is not defined is purely formal: the definition requires<br />

that the sizes match, and these sizes don’t match. (Behind the formality,<br />

though, we have a reason why it is left undefined—the matrix represents a map<br />

with a three-dimensional domain while the vector represents a member of a<br />

two-dimensional space.)

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

Saved successfully!

Ooh no, something went wrong!