Composite of Surjections is Surjection

From ProofWiki
Jump to navigation Jump to search

Theorem

A composite of surjections is a surjection.


That is:

If $g$ and $f$ are surjections, then so is $g \circ f$.


Proof

Let $f: S_1 \to S_2$ and $g: S_2 \to S_3$ be surjections.

Then:

\(\ds \forall z \in S_3: \exists y \in S_2: \, \) \(\ds \map g y\) \(=\) \(\ds z\) Definition of Surjection
\(\ds \leadsto \ \ \) \(\ds \exists x \in S_1: \, \) \(\ds \map f x\) \(=\) \(\ds y\) Definition of Surjection

By definition of a composite mapping:

$\map {g \circ f} x = \map g {\map f x} = \map g y = z$

Hence $g \circ f$ is surjective.

$\blacksquare$


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Composite_of_Surjections_is_Surjection&oldid=540171"