Hallo:-)
Du musst im Prinzip die jeweiligen Definitionen der gegebenen Funktionen nachrechnen.
Zu a). Du sollst hier die Definition zur Surjektivität für die Abbildung
\(g\circ f:\space X\to Z\)
nachrechnen. Es ist hier bekannt, dass \(f\) und \(g\) surjektiv sind. Das muss man ausnutzen.
Beweis. Zeige, dass es für alle \(z\in Z\) ein \(x\in X\) gibt, sodass \(g(f(x))=z\) gilt. Da \(g:\space Y\to Z\) nach Voraussetzung surjektiv ist, gibt es für alle \(z'\in Z\) ein \(y\in Y\), sodass \(g(y)=z'\) erfüllt ist. Da weiter auch \(f:\space X\to Y\) nach Voraussetzung surjektiv ist, gibt es auch hier für alle \(\overline{y}\in Y\) ein \(\overline{x}\in X\), sodass \(f(\overline{x})=\overline{y}\) gilt. Wegen Surjektivität von \(g\) ist damit auch \(g(\overline{y})=g(f(\overline{x}))=z\) stets erfüllt und mit \(x:=\overline{x}\) folgt die Behauptung.
Merke: Wenn du beim Beweisen einer Behauptung nicht alle gegebenen Voraussetzungen verwenden musstest/ verwendet hast, dann ist entweder zu viel vorausgesetzt worden oder du hast bei deinen Überlegungen vergessen, diese Voraussetzungen mit einzubeziehen, sodass dein Beweis falsch ist.
