I have difficulties with this task: Prove, that every mapping can be written as a composition of surjective and injective mapping. So for example: $f \circ g = h$; $f$ is surjective; $g$ is injective; $h$ represents every mapping.
Additional task is whether changing the order of mappings ($g \circ f$) still became a mapping.
The thing i can prove and might be connected with the toppic is, that if $f\circ g =\text{identity}$, then $f$ is injective and $g$ is surjective.
Thank you very much!
You can always write a map $h:X\to Y$ as the concatenation of
Here $\mathrm{im}(h)=\{h(x)\mid x\in X\}\subseteq Y$ denotes the image of $h$. It is not hard to see why $\iota\circ h|_{\mathrm{im}(h)}=h$ holds.
The other way around is possible too. Let $h:X\to Y$ and define $M:=X\,\dot\cup\, Y$. Then define maps $g:X\to M$ and $f:M\to Y$ via
$$g(x)=x,\qquad f(x)=\begin{cases} h(x)&\text{for } x\in X\\ x&\text{for } x\in Y \end{cases}.$$
Then $h=f\circ g$ with injective $g$ and surjective $f$.