elementary set theory - Injective and Surjective Functions

Let $f$ and $g$ be functions such that $f\colon A\to B$ and $g\colon B\to C$. Prove or disprove the following

a) If $g\circ f$ is injective, then $g$ is injective

Here's my proof that this is true.
Let $A = \{4,5\}$, $B = \{3,9\}$, $C = \{1,2\}$
$f(4) = 3$; $f(5) = 9$
$g\circ f(4) = 1$ and $g\circ f(5) = 2$
Since no 2 elements map to the same element in the range $g\circ f$ and $g$ are both injective.

b) If $f$ and $g$ are surjective, then $g\circ f$ is surjective.

Here's my proof that this is true.
Let $A = \{1,2\}$, $B = \{4\}$, $C = \{5\}$,
$f(1) = 4$; $f(2) = 4$
$g\circ f(1) = 5$ and $g\circ f(2) = 5$.
Since no elements are left unmapped then $g\circ f$ and $f$ and $g$ are surjective

Are these proofs valid?

**Edit:

Ok so I revised my proof for a. I will disprove it using a counterexample.
Let A = {4}, B = {3,9}, C={1}.
g∘f(4) = 1 and g(3) = 1 and g(9) = 1
g∘f is injective but g is not injective because 3 and 9 both map to 1.
Is that a valid disproof?

Now I'm just having some trouble disproving or proving b. If anyone could lend some tips.
Also this is not homework. Just reviewing for an exam.

Answer

The idea of a mathematical proof is that without dependence of a specific input, if certain properties are true, then the conclusion is also true.

In this case, if the composition is injective then it has to be that the "outer" function is injective, and that if the functions are surjective then their composition is as such.

Showing a specific case is a valid method for disproving a claim, as it shows that at a certain time the properties hold but the conclusion is false.

For example, consider $A=\{0\}$ and $B=\{1,2\}$ and $C=\{0\}$ and $f(0)=1$ and $g(1)=0, g(2)=0$.

The composition $g\circ f$ is a function from $A$ to $C$, since $A$ is a singleton every function is injective. However $g$ is clearly not injective.

This is a counterexample to the claim, thus disproving it.

The proof for the second one, if both functions are surjective then so is their composition, let us check this.

Let $A,B,C$ any sets, and $f,g$ functions as required. To show that $g\circ f$ is surjective we want to show that every element of $C$ is in the range of $g\circ f$. Assume $c\in C$ then there is some element $b\in B$ such that $g(b)=c$. Since $f$ is surjective we have some $a\in A$ such that $f(a)=b$. It follows that $g\circ f (a) = c$ and therefore the composition of surjective functions is surjective.

Now, consider this proof. There was nothing to limit ourself. I did not require anything from $A,B,C$ other than them being sets, and I did not require anything from $f,g$ other than them being functions from/onto the required set in the premise of the claim. Furthermore, I did not check the surjective-ness of the composition by choosing a certain element. I picked and arbitrary element, from a set which was also arbitrary. Using this sort of argument assures us that the property is not dependent on any of the characteristics of the set (for example, some things are only true on finite, or infinite, or other certain sets). This allows us to have a very general theorem. Whenever we have three sets, and two functions which are surjective between them, then the composition is also surjective!