Results 1 to 2 of 2

Thread: Composition of Maps

  1. #1
    Apr 2008

    Composition of Maps

    Let $\displaystyle A,B$ be sets and let $\displaystyle f:A \rightarrow B$ and $\displaystyle g,h:B \rightarrow A$ be functions.

    (1) Suppose $\displaystyle h o f$ is an injective map from $\displaystyle A$ to itself. Show that $\displaystyle f$ is injective.

    (2) Suppose now that $\displaystyle f o g = 1_{B}$ and $\displaystyle hof = 1_{A}$. Show that $\displaystyle f$ is bijective and $\displaystyle g=h$.

    My attempt:

    (1) $\displaystyle h o f$ is 1-1 $\displaystyle \Leftrightarrow \forall a,a' \in A$ such that $\displaystyle a \neq a'$, $\displaystyle h o f(a) \neq h o f(a') $

    $\displaystyle \Leftrightarrow h(f(a)) \neq h(f(a'))$

    $\displaystyle \Leftrightarrow f(a) \neq f(a')$

    It follows that $\displaystyle a \neq a'$. Is this proof correct? Do I need to add any more explanation?

    (2) I need some help with question two, so I can get started. Btw, the $\displaystyle 1_A$ and $\displaystyle 1_B$ notation represents the identity.

    Thanks in advance,
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Junior Member
    Aug 2009
    Proof of (1) is basically correct except for some typos:
    Quote Originally Posted by Roam View Post
    It follows that $\displaystyle a \neq a'$
    This is where you began, what you proved is that $\displaystyle f(a) \neq f(a')$. Also, $\displaystyle h(f(a)) \neq h(f(a'))$ is not equivalent to
    $\displaystyle f(a) \neq f(a')$, but the implication from left to right holds, and that is what you need.

    (2) $\displaystyle f$ is injective: apply (1) to $\displaystyle h \circ f = 1_A$ is injective.
    $\displaystyle f$ is surjective: if it is not, then $\displaystyle f \circ g$ also isn't surjective, but $\displaystyle f \circ g = 1_B$ is surjective.
    Further, we have $\displaystyle g= 1_A \circ g=h \circ f \circ g=h \circ 1_B=h$, because composition of functions is associative.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Poincare Maps
    Posted in the Differential Equations Forum
    Replies: 0
    Last Post: Mar 4th 2011, 11:11 AM
  2. Bilinear Maps
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: Sep 21st 2009, 06:32 PM
  3. Linear Maps
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Apr 1st 2009, 11:14 PM
  4. Replies: 1
    Last Post: Feb 11th 2009, 02:50 PM
  5. Maps
    Posted in the Geometry Forum
    Replies: 2
    Last Post: Nov 1st 2008, 07:29 PM

Search Tags

/mathhelpforum @mathhelpforum