4

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.

Zev Chonoles
  • 132,937
RFZ
  • 17,648
  • 11
  • 51
  • 144

1 Answers1

12

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}$$

Zev Chonoles
  • 132,937