Proving Isomorphisms of Vector Spaces

  • Thread starter Thread starter proxyIP
  • Start date Start date
  • Tags Tags
    Homework
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 2K views
proxyIP
Messages
4
Reaction score
0

Homework Statement



http://i25.tinypic.com/j8i4278.jpg

Homework Equations

&

The Attempt at a Solution



isomoprism is bijective

i have no clue whatsoever..im going to research a little bit now
ill appreciate any help
 
Last edited:
Physics news on Phys.org
You are given that F is an isomorphism from X to Y and G is an isomorphism from Y->Z. You are asked to show that G[itex]\circ[/itex]F is an isomorphism from X to Z. I can guess that X, Y, and Z are vector spaces since another part of the problem talks about a "spanning set" but you should have said that! Proving an isomorphism of groups, rings, fields, etc. is quite different. An isomorphis is, as you say, bijective: you must prove this is surjective: that if z is any member of Z, then there exist x in X such that G[itex]\circ[/itex]F(x)= z. Since G is an isomorphism from Y to Z it is surjective: what does that tell you? Once you have that, you know that F is surjective from X to Y. Use that.

An isomorphism must be injective also. If x1 and x2 are such that G[itex]\circ[/itex]F(x1)= G[itex]\circ[/itex](x2) then you must prove that x1= x2. Use can use the fact that F and G are each injective to prove that. Of course, a isomorphism must also "preserve" the operations. You need to show that G[itex]\circ[/itex]F(au+ bv)= aG[itex]\circ[/itex]F(u)+ bG[itex]\circ[/itex]F(v).

As for b) using the definition of "span" together with that last statement: G[itex]\circ[/itex]F(au+ bv)= aG[itex]\circ[/itex]F(u)+ bG[itex]\circ[/itex]F(v) should be enough.