In einem Satz: Bei der Verkettung schaltet man zwei Funktionen hintereinander, sodass der Ausgang der ersten zum Eingang der zweiten wird.
Definition
Seien f : A → B f: A \to B f : A → B und g : B → C g: B \to C g : B → C Funktionen. Der Zielbereich von f f f ist also der Definitionsbereich von g g g . Die Verkettung (auch Komposition ) von g g g nach f f f ist die Funktion
g ∘ f : A → C , ( g ∘ f ) ( x ) = g ( f ( x ) ) . g \circ f: A \to C, \qquad (g \circ f)(x) = g\bigl(f(x)\bigr) . g ∘ f : A → C , ( g ∘ f ) ( x ) = g ( f ( x ) ) . Man liest ”g g g nach f f f ” oder ”g g g verkettet mit f f f ”.
In einfachen Worten
Erst wendest du f f f auf x x x an, dann wendest du g g g auf das Ergebnis an. Man schreibt g ∘ f g \circ f g ∘ f in dieser Reihenfolge, weil die Schreibweise g ( f ( x ) ) g(f(x)) g ( f ( x )) von innen nach außen gelesen wird: Zuerst kommt f f f , ganz links steht g g g .
Seien f , g : R → R f, g: \mathbb{R} \to \mathbb{R} f , g : R → R mit f ( x ) = 2 x − 5 f(x) = 2x - 5 f ( x ) = 2 x − 5 und g ( x ) = x 2 g(x) = x^2 g ( x ) = x 2 . Dann ist
( g ∘ f ) ( x ) = g ( 2 x − 5 ) = ( 2 x − 5 ) 2 , ( f ∘ g ) ( x ) = f ( x 2 ) = 2 x 2 − 5. (g \circ f)(x) = g(2x - 5) = (2x - 5)^2, \qquad
(f \circ g)(x) = f(x^2) = 2x^2 - 5 . ( g ∘ f ) ( x ) = g ( 2 x − 5 ) = ( 2 x − 5 ) 2 , ( f ∘ g ) ( x ) = f ( x 2 ) = 2 x 2 − 5.
Für x = 3 x = 3 x = 3 ergibt das ( g ∘ f ) ( 3 ) = 1 2 = 1 (g \circ f)(3) = 1^2 = 1 ( g ∘ f ) ( 3 ) = 1 2 = 1 , aber ( f ∘ g ) ( 3 ) = 2 ⋅ 9 − 5 = 13 (f \circ g)(3) = 2 \cdot 9 - 5 = 13 ( f ∘ g ) ( 3 ) = 2 ⋅ 9 − 5 = 13 .
Stolperstelle
Die Verkettung ist nicht vertauschbar . Im Beispiel ist g ∘ f ≠ f ∘ g g \circ f \neq f \circ g g ∘ f = f ∘ g . Die Reihenfolge bestimmt, welche Funktion zuerst wirkt. Außerdem muss das Ergebnis von f f f im Definitionsbereich von g g g liegen, sonst kann man g ∘ f g \circ f g ∘ f nicht bilden.
Satz. Seien f : A → B f: A \to B f : A → B und g : B → C g: B \to C g : B → C Funktionen. Dann gilt:
a) Ist g ∘ f g \circ f g ∘ f surjektiv, dann ist g g g surjektiv.
b) Ist g ∘ f g \circ f g ∘ f injektiv, dann ist f f f injektiv.
Die Begriffe stehen im Artikel Injektivität und Surjektivität . Beide Beweise folgen demselben Muster: Man nimmt die Voraussetzung über g ∘ f g \circ f g ∘ f und liest daraus die Behauptung über einen Teil ab.
Beweis a). Zu zeigen: Zu jedem c ∈ C c \in C c ∈ C gibt es ein b ∈ B b \in B b ∈ B mit g ( b ) = c g(b) = c g ( b ) = c . Am Ende muss also ein Element b ∈ B b \in B b ∈ B dastehen, das auf c c c abgebildet wird.
Sei c ∈ C c \in C c ∈ C beliebig. Da g ∘ f g \circ f g ∘ f surjektiv ist, gibt es ein a ∈ A a \in A a ∈ A mit
( g ∘ f ) ( a ) = c ⇔ g ( f ( a ) ) = c . (g \circ f)(a) = c \;\Leftrightarrow\; g\bigl(f(a)\bigr) = c . ( g ∘ f ) ( a ) = c ⇔ g ( f ( a ) ) = c .
Wir setzen b : = f ( a ) b := f(a) b := f ( a ) . Dann ist b ∈ B b \in B b ∈ B , denn f f f bildet nach B B B ab, und es gilt
g ( b ) = g ( f ( a ) ) = c . g(b) = g\bigl(f(a)\bigr) = c . g ( b ) = g ( f ( a ) ) = c .
Zu jedem c ∈ C c \in C c ∈ C haben wir also ein b ∈ B b \in B b ∈ B mit g ( b ) = c g(b) = c g ( b ) = c gefunden. Damit ist g g g surjektiv . □ \square □
Beweis b). Zu zeigen: Aus f ( a 1 ) = f ( a 2 ) f(a_1) = f(a_2) f ( a 1 ) = f ( a 2 ) folgt a 1 = a 2 a_1 = a_2 a 1 = a 2 für alle a 1 , a 2 ∈ A a_1, a_2 \in A a 1 , a 2 ∈ A . Am Ende muss also a 1 = a 2 a_1 = a_2 a 1 = a 2 dastehen.
Seien a 1 , a 2 ∈ A a_1, a_2 \in A a 1 , a 2 ∈ A beliebig mit f ( a 1 ) = f ( a 2 ) f(a_1) = f(a_2) f ( a 1 ) = f ( a 2 ) . Wir wenden g g g auf beide Seiten an:
f ( a 1 ) = f ( a 2 ) ∣ g anwenden g ( f ( a 1 ) ) = g ( f ( a 2 ) ) ( g ∘ f ) ( a 1 ) = ( g ∘ f ) ( a 2 ) . \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} f ( a 1 ) g ( f ( a 1 ) ) ( g ∘ f ) ( a 1 ) = f ( a 2 ) = g ( f ( a 2 ) ) = ( g ∘ f ) ( a 2 ) . ∣ g anwenden
Da g ∘ f g \circ f g ∘ f injektiv ist, folgt daraus a 1 = a 2 a_1 = a_2 a 1 = a 2 . Damit ist f f f injektiv . □ \square □
In einfachen Worten
Zu a): Wenn die ganze Kette jedes Ziel trifft, muss schon der letzte Schritt g g g jedes Ziel treffen können, denn dahinter kommt nichts mehr. Zu b): Wenn die ganze Kette keine zwei Eingaben zusammenfallen lässt, darf schon der erste Schritt f f f das nicht tun, denn was f f f zusammenwirft, kann g g g nicht mehr trennen.
Stolperstelle
Die Umkehrungen gelten nicht. Aus ”g ∘ f g \circ f g ∘ f surjektiv” folgt nicht, dass auch f f f surjektiv ist. Aus ”g ∘ f g \circ f g ∘ f injektiv” folgt nicht, dass auch g g g injektiv ist.
Gegenbeispiel für beide. Sei A = { 1 } A = \{1\} A = { 1 } , B = { a , b } B = \{a, b\} B = { a , b } und C = { c } C = \{c\} C = { c } mit f ( 1 ) = a f(1) = a f ( 1 ) = a sowie g ( a ) = c g(a) = c g ( a ) = c und g ( b ) = c g(b) = c g ( b ) = c . Dann ist g ∘ f : { 1 } → { c } g \circ f: \{1\} \to \{c\} g ∘ f : { 1 } → { c } mit ( g ∘ f ) ( 1 ) = c (g \circ f)(1) = c ( g ∘ f ) ( 1 ) = c . Sie ist surjektiv und injektiv. Aber f f f ist nicht surjektiv, denn b b b wird nicht getroffen, und g g g ist nicht injektiv, denn g ( a ) = g ( b ) g(a) = g(b) g ( a ) = g ( b ) bei a ≠ b a \neq b a = b .