I matematikken er funktionskomposition en måde at danne en ny funktion ud fra to (eller flere) funktioner ved at anvende den ene funktion på resultatet af den anden. Hvis f er en funktion fra X til Y og g er en funktion fra Y til Z, så kaldes funktionen g sammensat med f for g ∘ f, og den er en funktion fra X til Z. Dette skrives som g ∘ f(x) og defineres ved

(g ∘ f)(x) = g(f(x)).

Notation og rækkefølge

Bemærk, at rækkefølgen er vigtig og ofte modsat hvad man intuitivt forventer: g ∘ f betyder "først anvend f, så anvend g". Man læser altså kompositionen fra højre mod venstre i udtrykket (f først, g bagefter).

Eksempel

Lad f være funktionen, der fordobler et tal (multiplicerer det med 2), og lad g være funktionen, der trækker 1 fra et tal. Disse to funktioner kan skrives som:

{\displaystyle f(x)=2x}

{\displaystyle g(x)=x-1}

Her er g ∘ f den funktion, der først fordobler et tal og derefter trækker 1 fra:

{\displaystyle (g\circ f)(x)=2x-1}

Omvendt er f ∘ g den funktion, der først trækker 1 fra og derefter fordobler:

{\displaystyle (f\circ g)(x)=2(x-1)}

Eksempel med tal: for x = 3 giver dette

  • (g ∘ f)(3) = g(f(3)) = g(6) = 6 − 1 = 5,
  • (f ∘ g)(3) = f(g(3)) = f(2) = 2·2 = 4.

Dermed ses tydeligt, at g ∘ f ≠ f ∘ g i dette tilfælde — komposition er generelt ikke kommutativ.

Vigtige egenskaber

  • Associativitet: For funktioner f : X → Y, g : Y → Z og h : Z → W gælder (h ∘ g) ∘ f = h ∘ (g ∘ f). Det betyder, at rækkefølgen af sammensætningen er entydig, når man kæder flere funktioner sammen, så længe den anvendte rækkefølge (hvilken funktion, der anvendes først) bevares.
  • Ikke-kommutativ: I almindelighed er g ∘ f ≠ f ∘ g, som vist i eksemplet ovenfor.
  • Identitetsfunktion: For hvert sæt X findes identitetsfunktionen id_X sådan at id_X(x) = x for alle x i X. For enhver funktion f : X → Y gælder id_Y ∘ f = f = f ∘ id_X.
  • Invers funktion: Hvis f : X → Y er en bijektion med invers f⁻¹ : Y → X, så gælder f⁻¹ ∘ f = id_X og f ∘ f⁻¹ = id_Y.
  • Definitionsmængde og værdimængde: Kompositionen g ∘ f er kun veldefineret, hvis billedet (værdimængden) af f ligger i definitionsmængden (domænet) for g. Mere formelt skal f : X → Y og g : Y' → Z have Y' ⊇ f(X) eller oftere Y' = Y.

Generaliseringer og anvendelser

Sammensætning af funktioner er grundlæggende i mange områder af matematikken og dens anvendelser, fx i algebra, analyse og datalogi (funktioner som operationer), samt i opbygning af komplekse transformationer fra enklere trin.

Sammensætning kan også generaliseres til binære relationer, hvor man ofte bruger det samme ∘ {\displaystyle \circ }{\displaystyle \circ } symbol (fx R ∘ S). I dette tilfælde betyder R ∘ S, at man først følger relationen S og derefter R.

Kalkulus — kædereglen

I differentialregning spiller komposition en central rolle via kædereglen. Hvis f og g er differentiable funktioner, så er sammensætningen g ∘ f differentiabel, og dens afledte er

(g ∘ f)'(x) = g'(f(x)) · f'(x).

Dette er et kraftfuldt værktøj til at differentiere sammensatte funktioner og viser, hvordan egenskaber ved de enkelte funktioner kombineres.

Tips og almindelige fejl

  • Husk rækkefølgen: g ∘ f betyder først f, så g.
  • Tjek altid, at værdimængden for den indre funktion passer til definitionsmængden for den ydre funktion.
  • Undgå at antage kommutativitet — prøv et konkret tal i tvivlstilfælde.

Sammensætning af funktioner er altså et simpelt, men meget centralt begreb, der giver mulighed for at bygge komplekse funktioner op af enklere dele, og som har klare algebraiske og analytiske egenskaber (bl.a. associativitet og anvendelse i kædereglen).