11.04.2014 Views

Linear Algebra Exercises-n-Answers.pdf

Linear Algebra Exercises-n-Answers.pdf

Linear Algebra Exercises-n-Answers.pdf

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

<strong>Answers</strong> to <strong>Exercises</strong> 81<br />

gives that cos φ = 1/ √ 1 + k 2 and sin φ = k/ √ 1 + k 2 . Now,<br />

cos(2φ − θ) = cos(2φ) cos θ + sin(2φ) sin θ<br />

= ( cos 2 φ − sin 2 φ ) cos θ + (2 sin φ cos φ) sin θ<br />

(<br />

) (<br />

)<br />

1<br />

k<br />

k 1<br />

= ( √<br />

1 + k<br />

2 )2 − ( √<br />

1 + k<br />

2 )2 cos θ + 2√ √ sin θ<br />

1 + k<br />

2 1 + k<br />

2<br />

( ) ( )<br />

1 − k<br />

2<br />

2k<br />

=<br />

1 + k 2 cos θ +<br />

1 + k 2 sin θ<br />

and thus the first component of the image vector is this.<br />

r · cos(2φ − θ) = 1 − k2<br />

1 + k 2 · x + 2k<br />

1 + k 2 · y<br />

A similar calculation shows that the second component of the image vector is this.<br />

r · sin(2φ − θ) =<br />

2k<br />

1 + k 2 · x − 1 − k2<br />

1 + k 2 · y<br />

With this algebraic description of the action of f<br />

( ( l<br />

)<br />

x f l (1 − k ↦−→<br />

y)<br />

2 /1 + k 2 ) · x + (2k/1 + k 2 ) · y<br />

(2k/1 + k 2 ) · x − (1 − k 2 /1 + k 2 ) · y<br />

checking that it preserves structure is routine.<br />

Three.I.1.30 First, the map p(x) ↦→ p(x + k) doesn’t count because it is a version of p(x) ↦→ p(x − k).<br />

Here is a correct answer (many others are also correct): a 0 +a 1 x+a 2 x 2 ↦→ a 2 +a 0 x+a 1 x 2 . Verification<br />

that this is an isomorphism is straightforward.<br />

Three.I.1.31 (a) For the ‘only if’ half, let f : R 1 → R 1 to be an isomorphism. Consider the basis<br />

〈1〉 ⊆ R 1 . Designate f(1) by k. Then for any x we have that f(x) = f(x · 1) = x · f(1) = xk, and<br />

so f’s action is multiplication by k. To finish this half, just note that k ≠ 0 or else f would not be<br />

one-to-one.<br />

For the ‘if’ half we only have to check that such a map is an isomorphism when k ≠ 0. To check<br />

that it is one-to-one, assume that f(x 1 ) = f(x 2 ) so that kx 1 = kx 2 and divide by the nonzero factor<br />

k to conclude that x 1 = x 2 . To check that it is onto, note that any y ∈ R 1 is the image of x = y/k<br />

(again, k ≠ 0). Finally, to check that such a map preserves combinations of two members of the<br />

domain, we have this.<br />

f(c 1 x 1 + c 2 x 2 ) = k(c 1 x 1 + c 2 x 2 ) = c 1 kx 1 + c 2 kx 2 = c 1 f(x 1 ) + c 2 f(x 2 )<br />

(b) By the prior item, f’s action is x ↦→ (7/3)x. Thus f(−2) = −14/3.<br />

(c) For the ‘only if’ half, assume that f : R 2 → R 2 is an automorphism. Consider the standard basis<br />

E 2 for R 2 . Let<br />

( ( a b<br />

f(⃗e 1 ) = and f(⃗e<br />

c)<br />

2 ) = .<br />

d)<br />

Then the action of f on any vector is determined by by its action on the two basis vectors.<br />

( ( ( ( )<br />

x a b ax + by<br />

f( ) = f(x · ⃗e<br />

y)<br />

1 + y · ⃗e 2 ) = x · f(⃗e 1 ) + y · f(⃗e 2 ) = x · + y · =<br />

c)<br />

d)<br />

cx + dy<br />

To finish this half, note that if ad − bc = 0, that is, if f(⃗e 2 ) is a multiple of f(⃗e 1 ), then f is not<br />

one-to-one.<br />

For ‘if’ we must check that the map is an isomorphism, under the condition that ad − bc ≠ 0.<br />

The structure-preservation check is easy; we will here show that f is a correspondence. For the<br />

argument that the map is one-to-one, assume this.<br />

f(<br />

(<br />

x1<br />

y 1<br />

)<br />

) = f(<br />

(<br />

x2<br />

y 2<br />

)<br />

) and so<br />

Then, because ad − bc ≠ 0, the resulting system<br />

a(x 1 − x 2 ) + b(y 1 − y 2 ) = 0<br />

c(x 1 − x 2 ) + d(y 1 − y 2 ) = 0<br />

( ) ( )<br />

ax1 + by 1 ax2 + by<br />

=<br />

2<br />

cx 1 + dy 1 cx 2 + dy 2<br />

has a unique solution, namely the trivial one x 1 − x 2 = 0 and y 1 − y 2 = 0 (this follows from the<br />

hint).<br />

The argument that this map is onto is closely related — this system<br />

ax 1 + by 1 = x<br />

cx 1 + dy 1 = y

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

Saved successfully!

Ooh no, something went wrong!