Endliche Mengen/Abbildungen/Hintereinanderschaltung/Darstellung/Aufgabe

Es seien ${}L,M,N$ endliche Mengen mit ${}\ell ,m$ bzw. ${}n$ Elementen. Wir betrachten die Abbildung

$\Psi \colon \operatorname {Abb} \,{\left(L,M\right)}\times \operatorname {Abb} \,{\left(M,N\right)}\longrightarrow \operatorname {Abb} \,{\left(L,N\right)},\,(f,g)\longmapsto g\circ f,$

die durch die Hintereinanderschaltung von Abbildungen gegeben ist. Zeige, dass ${}\Psi$ genau dann surjektiv ist, wenn

${}m\geq \operatorname {min} \left(\ell ,\,n\right)\,$

ist.

Zur Lösung, Alternative Lösung erstellen