Wir wollen zeigen, dass \(g\) surjektiv ist. Also müssen wir zu jedem \(y\in Y\) ein \(z\in Z\) (ich nehme mal an, dass du statt W Z schreiben wolltest, sonst ist die Verknüpfung nicht wohldefiniert) finden mit \(g(z)=y\). Sei also \(y\in Y\) beliebig. Weil \(g\circ f\) surjektiv ist, gibt es ein \(x\in X\) mit \(y=(g\circ f)(x)=g(f(x))\). Wähle \(z=f(x)\in Z\). Dann gilt \(y=g(z)\) und wir sind fertig.
Punkte: 11.27K