Results 1 to 2 of 2

Thread: let f:A ---> B and g:B ---> C (if both are bijective, prove g o f is bijective)

  1. #1
    Newbie
    Joined
    Apr 2009
    Posts
    9
    Awards
    1

    let f:A ---> B and g:B ---> C (if both are bijective, prove g o f is bijective)

    Let f: A ---> B and g: B ---> C, if both f, g are bijective, show (prove) that g o f : A ---> C is bijective.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Nov 2008
    From
    Paris
    Posts
    354
    Hi

    There are various ways to prove that assertion, which seems very natural.

    You want $\displaystyle g\circ f$ to be injective and surjective, assuming that $\displaystyle f$ and $\displaystyle g$ have such properties.

    Take two distinct elements $\displaystyle a_1$ and $\displaystyle a_2$ in $\displaystyle A.$ $\displaystyle f$ injective $\displaystyle \Rightarrow f(a_1)\neq f(a_2).$ Do you see how to the same idea to prove that $\displaystyle g\circ f$ is injective too.

    $\displaystyle f\ \text{surjective}\ \Leftrightarrow\ \text{Im}f = B$ . $\displaystyle g\ \text{surjective}\ \Leftrightarrow\ \text{Im}g=C.$ (just the definitions of $\displaystyle f$ and $\displaystyle g$ surjectivity). Given a $\displaystyle c\in C,$ why is there a $\displaystyle a\in A$ such that $\displaystyle g(f(a))=c$ ?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Is my work correct? Prove the following is bijective.
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: Nov 28th 2010, 07:48 PM
  2. Prove comnplement function on [n] is bijective
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: Jun 24th 2010, 08:54 AM
  3. How to prove this function is bijective
    Posted in the Discrete Math Forum
    Replies: 7
    Last Post: May 8th 2010, 07:30 AM
  4. Prove about no bijective fuction exist
    Posted in the Differential Geometry Forum
    Replies: 5
    Last Post: Nov 8th 2009, 06:31 AM
  5. Replies: 2
    Last Post: Apr 13th 2009, 12:19 PM

Search tags for this page

Click on a term to search for related topics.

Search Tags


/mathhelpforum @mathhelpforum