Vad är en sammansatt funktion?

En sammansatt funktion, även kallad funktionskomposition, är en ny funktion som skapas genom att tillämpa en funktion efter en annan. Formellt, om f är en funktion från X till Y och g är en funktion från Y till Z, så är den sammansatta funktionen g ∘ f en funktion från X till Z definierad av (g ∘ f)(x) = g(f(x)). Denna kedjeformel beskriver att man först beräknar f(x) och därefter applicerar g på resultatet. För en introduktion till grundläggande begrepp se definition och notation.

Notation och villkor

Symbolen ∘ används ofta för att beteckna komposition. Viktigt är att domänen för den andra funktionen matchar kodomänen för den första: f: X → Y och g: Y → Z ger g ∘ f: X → Z. Om denna kompatibilitet saknas är kompositionen inte väl definierad. Identitetsfunktioner id_X som lämnar varje element oförändrat spelar roll: id_Y ∘ f = f = f ∘ id_X för passande X och Y. För fler tekniska detaljer och notation, se notation och egenskaper.

Exempel

Antag f(x) = 2x och g(x) = x − 1. Då är

  • (g ∘ f)(x) = g(f(x)) = (2x) − 1 = 2x − 1. {\displaystyle f(x)=2x}
  • (f ∘ g)(x) = f(g(x)) = 2(x − 1) = 2x − 2. {\displaystyle g(x)=x-1}

Dessa två sammansättningar visar att komposition generellt inte är kommutativ: g ∘ f ≠ f ∘ g i detta fall. För fler algebraiska exempel och visualiseringar se exempel. {\displaystyle (g\circ f)(x)=2x-1}

Egenskaper och betydelse

Komposition har flera viktiga algebraiska egenskaper. Den är associativ: h ∘ (g ∘ f) = (h ∘ g) ∘ f när alla tre kompositioner är väl definierade. Detta gör det möjligt att skriva kedjor av funktioner utan ambiguitet beträffande parenteser. Kompositionen bildar tillsammans med identitetsfunktioner en enkel kategoristruktur, en idé som är central i modern algebra och kategoriteori. För relationen mellan komposition och andra strukturer, se relationer. {\displaystyle (f\circ g)(x)=2(x-1)}

Tillämpningar och vidareutveckling

I analys leder komposition till viktiga satser som kedjeregeln för derivator: derivatan av g ∘ f är (g' ∘ f)·f' under lämpliga villkor. Inom linjär algebra representeras linjära transformationer ofta av matriser vars sammansättning motsvaras av matrisprodukt. Inom datorvetenskap används funktionskomposition som byggsten i funktionell programmering och för att skapa pipelines av dataomvandlingar. Läs mer om praktiska användningsområden på tillämpningar och programmeringsparadigm. {\displaystyle \circ } {\displaystyle R\circ S}

Sammanfattning

Sammansatt funktion är ett grundläggande koncept i matematik som beskriver hur funktioner kan kedjas för att skapa nya beroenden och transformationer. Genom sina enkla men kraftfulla egenskaper—krav på kompatibla domäner, associativitet och koppling till identiteter—är komposition ett centralt verktyg i både teori och praktik inom många matematiska områden. För djupare studier, följ de angivna länkarna ovan.