Hallo,
Beweis zu i):
Seien \( f: A \to B \) und \( g: B \to C \) beliebige Abbildungen, sodass \( g \circ f \) injektiv ist. Seien weiter \( h_1,h_2: C \to A \) beliebige Abbildungen mit
\( f \circ h_1 = f \circ h_2 \qquad (*)\)
Dann gilt:
\( \left(g \circ f\right)\circ h_1 = g \circ \left( f \circ h_1\right) \stackrel{(*)}{=} g \circ \left( f \circ h_2 \right)= \left(g \circ f\right) \circ h_2 \)
\( \stackrel{g \circ f injektiv}{\Longrightarrow} h_1 = h_2 \)
\( \Longrightarrow f \) injektiv
iii) kann man ähnlich zeigen