Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

LA - Identity Maps and Injectivity

  1. Jul 17, 2011 #1
    1. The problem statement, all variables and given/known data
    Suppose that [itex]W[/itex] is finite dimensional and [itex]T:V\rightarrow W[/itex]. Prove that [itex]T[/itex] is injective if and only if there exists [itex]S:W\rightarrow V[/itex] such that [itex]ST[/itex] is the identity map on [itex]V[/itex].

    2. Relevant equations

    3. The attempt at a solution

    First, suppose that [itex]T[/itex] is injective and let [itex]Tu=Tv[/itex] for [itex]u,v\in V[/itex]. Clearly, [itex]Tu-Tv=0[/itex] and thus [itex]S(Tu-Tv)=0[/itex]. From this, we can see that [itex]STu=STv[/itex]. However, since [itex]T[/itex] is injective, then [itex]u=v[/itex]. Therefore, there exists an [itex]S[/itex] such that [itex]ST[/itex] is the identity map on [itex]V[/itex]. In the other direction, suppose [itex]ST[/itex] is the identity map on [itex]V[/itex], and let [itex]Tu=Tv[/itex]. From the previous argument, we can see that [itex]STu=STv[/itex], and thus [itex]u=v[/itex], so [itex]T[/itex] is injective.

    I think the second part of my proof is right, going from identity map to injectivity, but I'm just not sure about my argument for the first half.

    Thanks for your help!
  2. jcsd
  3. Jul 18, 2011 #2
    I can't see how you concluded that. The only thing you can conclude is that STu=STu. The thing you must show is that STu=u!!
    In fact, you haven't even defined a suitable S!! You must first define a candidate S, and only then can you show that ST is the identity. So, how would you define such an S?

    This is ok.
  4. Jul 22, 2011 #3
    Thanks for your help micromass. I thought about your advice and came up with a different proof:

    Suppose T is injective and let [itex](v_1,...,v_n)[/itex] be a basis of V. Because this basis is linearly independent and T is injective, then [itex](Tv_1,...,Tv_n)[/itex] is also linearly independent (this was a result from a previous problem). Because T is injective, then dim V = dim rangeT [itex]\leq[/itex] dimW. Extend the previous list to a basis [itex](Tv_1,...,Tv_n,w_1,...,w_m)[/itex] of W. Now, define [itex]S: W\rightarrow V[/itex] such that [itex]STv_i=v_i[/itex] for all i=1,...,n, and [itex]Sw_j=0[/itex] for all j=1,...,m. Thus, if u is an arbitrary element of V, written as [itex]u=a_1v_1+...+a_nv_n[/itex] then [itex]STu=ST(a_1v_1+...+a_nv_n)=a_1v_1+...+a_nv_n[/itex] so ST must be the identity map on V.
  5. Jul 22, 2011 #4


    User Avatar
    Science Advisor
    Homework Helper

    Now that looks good to me.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook