TU Wien:Mathematik 1 UE (diverse)/Übungen WS06/Beispiel 109

Seien $f:A\to B$ und $g:B\to C$ surjektive Abbildungen. Man zeige, daß dann auch $h=g\circ f:A\to C$ surjektiv ist. ($(g\circ f)(x)=g(f(x))$)

Anmerkung: $\circ$ steht für eine Verkettung. --Mnemetz 16:55, 21. Nov 2005 (CET)

Eine Abbildung $f:A\to B$ ist surjektiv, wenn für alle $b\in B$ mindestens ein $a\in A$ existiert, sodaß $f(a)=b$.

Wir müssen daher nun zeigen, daß bei der Hintereinanderausführung $g\circ f:A\to C$für alle $c\in C$ mindestens ein $a\in A$ existiert, sodaß $f(a)=c$:

$(g\circ f)(a)=g(f(a))=c\mathrm{\exists }a\in A\mathrm{\forall }c\in C$

Da die Abbildung g surjektiv ist, gibt es ein $b\in B$ für alle $c\in C$, sodaß:

$g(\underset{=b}{\underbrace{f(a)}})=g(b)=c$

Da auch f surjektiv ist, gibt es auch tatsächlich ein $a\in A$ für alle $b\in B$ mit:

$f(a)=b$

Daraus folgt, daß es ein $a\in A$ für alle $c\in C$ gibt, für die

$g(f(a))=c$

gilt. Das bedeutet, daß die Hintereinanderausführung $g\circ f$ der surjektiven Abbildungen g und f selbst auch surjektiv sein muß.