If $g\circ f$ is one-to-one, is it true that $f$ is onto or $g$ is onto?

119 Views Asked by At

Let $S,T$ and $U$ be nonempty sets, and let $f:S\to T$ and $g:T\to U$ be functions such that the function $g\circ f: S\to U$ is one-to-one (injective). Is it true that $f$ is onto or $g$ is onto?

Can anyone please help. I can't solve this problem.

1

There are 1 best solutions below

0
On

In the following example $g\circ f$ is injective, but neither $f$ nor $g$ is surjective.

$$\{\bullet\}\xrightarrow{\;\;\;f\;\;\;}\begin{Bmatrix} \bullet\\ \star \end{Bmatrix}\xrightarrow{\;\;\;g\;\;\;}\begin{Bmatrix} \bullet\\ \star\\ \square \end{Bmatrix}$$