1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Composition of Maps

  1. Aug 26, 2009 #1
    1. The problem statement, all variables and given/known data
    Let A,B be sets and let [tex]f:A \rightarrow B[/tex] and [tex]g,h:B \rightarrow A[/tex] be functions.

    (1) Suppose [tex]h o f[/tex] is an injective map from [tex]A[/tex] to itself. Show that [tex]f[/tex] is injective.

    (2) Suppose now that [tex]f o g = 1_{B}[/tex] and [tex]hof = 1_{A}[/tex]. Show that [tex]f[/tex] is bijective and [tex]g=h[/tex].

    P.S. given that f is surjective.

    2. Relevant equations


    3. The attempt at a solution

    (1) [tex]h o f[/tex] is 1-1 [tex]\Leftrightarrow \forall a,a' \in A[/tex] such that [tex]a \neq a'[/tex], [tex]h o f(a) \neq h o f(a')[/tex]

    [tex]\Leftrightarrow h(f(a)) \neq h(f(a'))[/tex]

    [tex]\Leftrightarrow f(a) \neq f(a')[/tex]

    I'm fine with part (1)

    (2) I need some help to write a proper proof for this one.

    [tex]f[/tex] is an injective map from my previus work in part (1), I also think [tex]h \circ f = 1_A[/tex] but I don't know how to justify this. ([tex]1_A[/tex] & [tex]1_b[/tex] notation represents the identity).

    [tex]f[/tex] is surjective, if it is not, then [tex]f o g[/tex] also isn't surjective, but [tex]f \circ g = 1_B[/tex] is surjective.
    Further, we have [tex]g= 1_A \circ g=h \circ f \circ g=h \circ 1_B=h[/tex], since composition of functions is associative.

    Any help is appreciated! This is VERY urgent!
     
  2. jcsd
  3. Aug 26, 2009 #2

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    You say you are given that [tex]h \circ f= 1_A[/tex], you don't need to prove it!

    Again, you say you are given that f is surjective!

     
  4. Aug 26, 2009 #3
    But I still need to prove this:

    I don't know what to write down as the "proof"...
     
  5. Aug 26, 2009 #4
    f is bijective if it is injective and surjective (which I believe you showed). The proof of g = h you already did (owing to associativity of composition).

    In your proof of part (1), I'd be careful with your implication arrows. They all go to the right just fine, only some go to the left. There is no need to explore the leftward implications. You only need to show [itex]a \neq a' \Rightarrow f(a) \neq f(a')[/itex].

    --Elucidus
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook