Abbildung/Hintereinanderschaltung/Surjektiv/Fakt

Es seien ${}L,\,M$ und ${}N$ Mengen und

$F\colon L\longrightarrow M,\,x\longmapsto F(x),$

und

$G\colon M\longrightarrow N,\,y\longmapsto G(y),$

Abbildungen mit der Hintereinanderschaltung

$G\circ F\colon L\longrightarrow N.$

Dann gilt folgende Eigenschaft.

Wenn ${}F$ und ${}G$ surjektiv sind, so ist auch ${}G\circ F$ surjektiv.

Zum Beweis, Alternativen Beweis erstellen