Zum Inhalt springen

Verkettung von Funktionen

Die Komposition g nach f, ihre Definition und zwei Beweise zu Injektivität und Surjektivität.

In einem Satz: Bei der Verkettung schaltet man zwei Funktionen hintereinander, sodass der Ausgang der ersten zum Eingang der zweiten wird.

Seien f,g:R→Rf, g: \mathbb{R} \to \mathbb{R} mit f(x)=2x−5f(x) = 2x - 5 und g(x)=x2g(x) = x^2. Dann ist

(g∘f)(x)=g(2x−5)=(2x−5)2,(f∘g)(x)=f(x2)=2x2−5.(g \circ f)(x) = g(2x - 5) = (2x - 5)^2, \qquad (f \circ g)(x) = f(x^2) = 2x^2 - 5 .

Für x=3x = 3 ergibt das (g∘f)(3)=12=1(g \circ f)(3) = 1^2 = 1, aber (f∘g)(3)=2⋅9−5=13(f \circ g)(3) = 2 \cdot 9 - 5 = 13.

Satz. Seien f:A→Bf: A \to B und g:B→Cg: B \to C Funktionen. Dann gilt:

  • a) Ist g∘fg \circ f surjektiv, dann ist gg surjektiv.
  • b) Ist g∘fg \circ f injektiv, dann ist ff injektiv.

Die Begriffe stehen im Artikel Injektivität und Surjektivität. Beide Beweise folgen demselben Muster: Man nimmt die Voraussetzung über g∘fg \circ f und liest daraus die Behauptung über einen Teil ab.

Beweis a). Zu zeigen: Zu jedem c∈Cc \in C gibt es ein b∈Bb \in B mit g(b)=cg(b) = c. Am Ende muss also ein Element b∈Bb \in B dastehen, das auf cc abgebildet wird.

Sei c∈Cc \in C beliebig. Da g∘fg \circ f surjektiv ist, gibt es ein a∈Aa \in A mit

(g∘f)(a)=c  ⇔  g(f(a))=c.(g \circ f)(a) = c \;\Leftrightarrow\; g\bigl(f(a)\bigr) = c .

Wir setzen b:=f(a)b := f(a). Dann ist b∈Bb \in B, denn ff bildet nach BB ab, und es gilt

g(b)=g(f(a))=c.g(b) = g\bigl(f(a)\bigr) = c .

Zu jedem c∈Cc \in C haben wir also ein b∈Bb \in B mit g(b)=cg(b) = c gefunden. Damit ist gg surjektiv. □\square

Beweis b). Zu zeigen: Aus f(a1)=f(a2)f(a_1) = f(a_2) folgt a1=a2a_1 = a_2 für alle a1,a2∈Aa_1, a_2 \in A. Am Ende muss also a1=a2a_1 = a_2 dastehen.

Seien a1,a2∈Aa_1, a_2 \in A beliebig mit f(a1)=f(a2)f(a_1) = f(a_2). Wir wenden gg auf beide Seiten an:

f(a1)=f(a2)∣  g anwendeng(f(a1))=g(f(a2))(g∘f)(a1)=(g∘f)(a2).\begin{aligned} f(a_1) &= f(a_2) && | \; g \text{ anwenden} \\ g\bigl(f(a_1)\bigr) &= g\bigl(f(a_2)\bigr) && \\ (g \circ f)(a_1) &= (g \circ f)(a_2) . && \end{aligned}

Da g∘fg \circ f injektiv ist, folgt daraus a1=a2a_1 = a_2. Damit ist ff injektiv. □\square