Verkettung von Funktionen und Komposition

Was ist eine Verkettung?

Die Verkettung (oder Komposition) zweier Funktionen $ f $ und $ g $ entsteht, wenn man das Ergebnis der einen Funktion als Eingabe der anderen verwendet. Die verkettete Funktion wird mit $ (f \circ g)(x) = f(g(x)) $ notiert und gelesen als „f nach g von x“ oder „f von g von x“.

Dabei wird zunächst $ g(x) $ berechnet (die innere Funktion), und das Ergebnis wird in $ f $ eingesetzt (die äußere Funktion). Die Reihenfolge ist entscheidend: Im Allgemeinen gilt $ f \circ g \neq g \circ f $!

Beispiel: Sei $ f(x) = x^2 $ und $ g(x) = x + 3 $. Dann:

$ (f \circ g)(x) = f(g(x)) = f(x+3) = (x+3)^2 $ — erst addieren, dann quadrieren
$ (g \circ f)(x) = g(f(x)) = g(x^2) = x^2 + 3 $ — erst quadrieren, dann addieren

Die Ergebnisse sind verschieden: $ (x+3)^2 = x^2 + 6x + 9 \neq x^2 + 3 $. Die Komposition ist also nicht kommutativ.

Definitionsbereich der Verkettung

Damit $ f(g(x)) $ definiert ist, muss $ x $ im Definitionsbereich von $ g $ liegen, und $ g(x) $ muss im Definitionsbereich von $ f $ liegen. Formal:

$$D_{f \circ g} = \{ x \in D_g \mid g(x) \in D_f \}$$

Beispiel: Für $ f(x) = \sqrt{x} $ mit $ D_f = [0, \infty) $ und $ g(x) = 1 – x^2 $ ist $ (f \circ g)(x) = \sqrt{1 – x^2} $. Der Definitionsbereich ergibt sich aus $ 1 – x^2 \geq 0 $, also $ |x| \leq 1 $, d. h. $ D_{f \circ g} = [-1, 1] $.

Zerlegung in innere und äußere Funktion

Eine wichtige Fähigkeit ist die umgekehrte Richtung: eine gegebene Funktion in eine Verkettung zerlegen. Dies ist besonders für die Kettenregel beim Differenzieren relevant.

Beispiele:

$ h(x) = e^{3x+1} $: äußere Funktion $ f(t) = e^t $, innere Funktion $ g(x) = 3x + 1 $
$ h(x) = \sin(x^2) $: äußere $ f(t) = \sin(t) $, innere $ g(x) = x^2 $
$ h(x) = \ln(\cos(x)) $: äußere $ f(t) = \ln(t) $, innere $ g(x) = \cos(x) $
$ h(x) = (2x^3 – 1)^5 $: äußere $ f(t) = t^5 $, innere $ g(x) = 2x^3 – 1 $

Bei mehrfacher Verkettung gibt es mehrere Schichten: $ h(x) = e^{\sin(x^2)} $ hat die Schichten $ t_1 = x^2 $, $ t_2 = \sin(t_1) $, $ h = e^{t_2} $.

Verkettung und Kettenregel

Die Kettenregel ist die Ableitungsregel für verkettete Funktionen:

$$\frac{d}{dx} f(g(x)) = f'(g(x)) \cdot g'(x)$$

Man leitet die äußere Funktion ab (ausgewertet an der inneren) und multipliziert mit der inneren Ableitung. Dieses Vorgehen setzt voraus, dass man die Verkettungsstruktur erkennt – deshalb ist die Fähigkeit zur Zerlegung in innere und äußere Funktion so wichtig.

Beispiel: Für $ h(x) = (3x^2 + 1)^4 $ mit äußerer Funktion $ t^4 $ und innerer $ 3x^2 + 1 $:

$$h'(x) = 4(3x^2 + 1)^3 \cdot 6x = 24x(3x^2 + 1)^3$$

Assoziativität der Verkettung

Obwohl die Verkettung nicht kommutativ ist, ist sie assoziativ: $ (f \circ g) \circ h = f \circ (g \circ h) $. Man kann also bei drei oder mehr Funktionen die Klammern weglassen und einfach $ f \circ g \circ h $ schreiben. Die Auswertung erfolgt von innen nach außen: erst $ h $, dann $ g $, dann $ f $.

Verkettung in Anwendungen

Verkettungen modellieren mehrstufige Abhängigkeiten. Wenn die Temperatur $ T $ vom Druck $ p $ abhängt und der Druck von der Höhe $ h $, dann ist die Temperatur als Funktion der Höhe eine Verkettung: $ T(h) = T(p(h)) $. Die Kettenregel liefert dann $ \frac{dT}{dh} = \frac{dT}{dp} \cdot \frac{dp}{dh} $ – die Änderungsrate der Temperatur bezüglich der Höhe ergibt sich als Produkt der Teilraten.

In der Informatik entspricht die Verkettung der Hintereinanderausführung von Operationen, einem fundamentalen Konzept der Programmierung.

Zusammenfassung

Die Verkettung $ f \circ g $ entsteht durch Einsetzen des Ergebnisses von $ g $ in $ f $. Die Reihenfolge ist wichtig, da die Komposition nicht kommutativ ist. Die Zerlegung einer Funktion in innere und äußere Funktion ist die Grundlage für die Anwendung der Kettenregel. Der Definitionsbereich der Verkettung ergibt sich aus dem Zusammenspiel beider Definitionsbereiche. Verkettungen modellieren mehrstufige Abhängigkeiten und sind ein zentrales Konzept in Analysis und Anwendungen.