Exercise · ZW-SURJECTIVE-FUNCTION-009 · ★★★ Advanced

If \(f\colon A\to B\) and \(g\colon B\to C\) are surjective, is \(g\circ f\)?

Choose one option.

Show answer
  • A. Yes; the composition of surjective functions is surjective

Explanation

Given \(c\in C\), the surjectivity of \(g\) gives \(b\in B\) with \(g(b)=c\), and that of \(f\) gives \(a\in A\) with \(f(a)=b\). Then \((g\circ f)(a)=c\). None of the other conditions is needed.

Study Set theory in ZWMath →

Review the concept: Surjective function

Function \(f\colon A\to B\) whose image is the whole codomain \(B\).

\[\forall b\in B\,\exists a\in A\,(f(a)=b)\]

More practice problems: surjective function

← ZW-SURJECTIVE-FUNCTION-008 ZW-SURJECTIVE-FUNCTION-010 →