Let $$f : A \to B, \quad g: B \to C, $$ be two functions. Show the following:
1) If $f$ and $g$ are surjective then $g \circ f$ is surjective
2) If $f$ and $g$ are bijective then $g \circ f$ is bijective.
3) If $g\circ f$ is injective then $f$ is injective.
4) If $g \circ f$ is surjective then $g$ is surjective.
5) If $g \circ f$ is bijective then $f$ is injective and $g$ is surjective.
How can I prove the following statements ? I assume that I can say that 2) is bijective If I can prove 1) (I know $g\circ f$ is injective)
A little bit help would be awesome thank you...
The first and most important, you might keep some basic examples in mind.
Like the sets with different size. An easy way to consider these problems is taking some sets with different size for example.You can image this in the cases such as finite discrete set ($A = \{1,2,3,4,5\}$) or infinitely countable, you can see it as some vector spaces if you want.
Rough speaking, if $f : A \rightarrow B $ is surjective, you may think $B$ is "smaller" than $A$. On the other hand, if $f$ is injective, you may think $B$ is "bigger" than $A$. Of course, if $f$ is bijective, then these two guys will have the same size.
Your thought will be right because "Bijective" is stronger than "Surjective". Recall that bijection means both surjection and injection.
I hope these ideas will work for you.