23.07.2012 Views

Linear Algebra

Linear Algebra

Linear Algebra

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

162 Chapter 3. Maps Between Spaces<br />

This computation shows that f preserves addition.<br />

f � (a1 cos θ + a2 sin θ)+(b1cos θ + b2 sin θ) �<br />

= f � (a1 + b1)cosθ +(a2 + b2)sinθ �<br />

� �<br />

a1 + b1<br />

=<br />

a2 + b2<br />

� � � �<br />

a1 b1<br />

= +<br />

a2<br />

b2<br />

= f(a1 cos θ + a2 sin θ)+f(b1 cos θ + b2 sin θ)<br />

A similar computation shows that f preserves scalar multiplication.<br />

f � r · (a1 cos θ + a2 sin θ) � = f( ra1 cos θ + ra2 sin θ )<br />

� �<br />

ra1<br />

=<br />

ra2<br />

� �<br />

a1<br />

= r ·<br />

a2<br />

= r · f(a1 cos θ + a2 sin θ)<br />

With that, conditions (1) and (2) are verified, so we know that f is an<br />

isomorphism, and we can say that the spaces are isomorphic G ∼ = R 2 .<br />

1.5 Example Let V be the space {c1x + c2y + c3z � � c1,c2,c3 ∈ R} of linear<br />

combinations of three variables x, y, andz, under the natural addition and<br />

scalar multiplication operations. Then V is isomorphic to P2, the space of<br />

quadratic polynomials.<br />

To show this we will produce an isomorphism map. There is more than one<br />

possibility; for instance, here are four.<br />

c1x + c2y + c3z<br />

f1<br />

↦−→ c1 + c2x + c3x2 f2<br />

↦−→ c2 + c3x + c1x2 f3<br />

↦−→ −c1 − c2x − c3x2 f4<br />

↦−→ c1 +(c1 + c2)x +(c1 + c3)x2 Although the first map is the more natural correspondence, below we shall<br />

verify that the second one is an isomorphism, to underline that there are many<br />

isomorphisms other than the obvious one that just carries the coefficients over<br />

(showing that f1 is an isomorphism is Exercise 12).<br />

To show that f2 is one-to-one, we will prove that if f2(c1x + c2y + c3z) =<br />

f2(d1x + d2y + d3z) then c1x + c2y + c3z = d1x + d2y + d3z. The assumption<br />

that f2(c1x+c2y +c3z) =f2(d1x+d2y +d3z) gives, by the definition of f2, that<br />

c2 + c3x + c1x 2 = d2 + d3 + d1x 2 . Equal polynomials have equal coefficients, so<br />

c2 = d2, c3 = d3, andc1 = d1. Thusf2(c1x + c2y + c3z) =f2(d1x + d2y + d3z)<br />

implies that c1x + c2y + c3z = d1x + d2y + d3z and therefore f2 is one-to-one.

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

Saved successfully!

Ooh no, something went wrong!