-4
$\begingroup$

How would you prove the following facts:

(a) If $f\colon A \to B$ and $g \colon B \to C$ are injective then $g \circ f$ is injective.
(b) If $f\colon A \to B$ and $g \colon B \to C$ are surjective then $g \circ f$ is surjective.
(c) If $f\colon A \to B$ and $g \colon B \to C$ are bijective then $g \circ f$ is bijective.

  • 0
    I don't know how to solve it so I'm more of asking for help doing it. From my researches I found f(x1)=f(x2), gof(x1)=g(f(x1))=g(f(x2))=gof(x2) => x1=x22012-11-15
  • 2
    I would begin by verifying that the definitions for injective, surjective and bijective holds.2012-11-15
  • 0
    I'll do the first one. If $g(f(x_1))=g(f(x_2))$ then $f(x_1)=f(x_2)$ since $g$ is injective, so $x_1=x_2$ since $f$ is injective. Now can you do the others?2012-11-15
  • 0
    I would still need more help. I know that surjection is that f(x)=y but how do I do it for composition?2012-11-15
  • 1
    @Max: Are you here to learn how to prove these claims, or are you here to get a ready-made answer for your homework sheet? Look at my answer, look at the comments. You should **understand** the definitions and from there it is *really not that hard*.2012-11-15
  • 0
    @Max: I don't get the impression that you really understand what "surjective" means. Can you tell me what the definition of "surjective" is?2012-11-15
  • 0
    A function x is surjective if there is only one element corresponding in y, hence f(x)=y. Right?2012-11-15
  • 1
    What you wrote in that last comment makes *no* sense. If you have a book, open the book. If you have notes, open the notes. Use the definitions you are given. Don't think you can immediately remember everything you were told. You can't. You have to use things before you can remember them, and it is obvious that you haven't really used the definitions of surjection, injection, and so on.2012-11-15
  • 0
    The second part was asked before [here](http://math.stackexchange.com/questions/75246/surjectivity-of-composition-of-surjective-functions) and [here](http://math.stackexchange.com/questions/22572/injective-and-surjective-functions).2013-10-03

2 Answers 2