# Functiecompositie

In de wiskunde is functiecompositie, of samenstelling, de constructie van een nieuwe functie uit twee of meer functies, door het na elkaar uitvoeren daarvan. Een tweede of volgende functie wordt toegepast op het resultaat, op het beeld van de voorgaande functie. Het resultaat van de samenstelling van de functies $f$ en $g$ noemt men een samengestelde functie, genoteerd als $g\circ f$, dus:
    $(g\circ f)(x)=g(f(x))$
Dit is in de figuur in beeld gebracht. Daarin is te zien dat de functie $f$ bijvoorbeeld aan het origineel 3 het beeld $f(3)=1$ toevoegt. $g$ beeldt 1 af op 2. Dat geeft samen dat 2 het beeld van 3 onder de samenstelling $g\circ f$ is:
    $(g\circ f)(2)=g(f(2))=g(1)=3$

## Definitie

De samenstelling van de twee functies $f:X\to Y$ en $g:Y\to Z$, genoteerd als $g\circ f:X\to Z$, is voor $x\in X$ gedefinieerd door:
    $(g\circ f)(x)=g(f(x))$.
De notatie $g\circ f$ laat zich lezen als $f$ gevolgd door $g$, maar ook als $g$ na $f$. De uitspraak volgt dus niet altijd de schrijfwijze maar verteld de volgorde waarin de bewerkingen worden gedaan. De Engelse uitspraak "$g$ circle $f$" ("$g$ om $f$") geeft de schrijfwijze en bewerkingsvolgorde beter weer. Merk op dat men soms $g\circ f(x)$ schrijft voor $(g\circ f)(x)$.

## Eigenschappen
### Associativiteit

De functiecompositie is associatief, dat wil zeggen dat voor de functies $f,g$ en $h$ geldt dat:
    $(h\circ g)\circ f=h\circ (g\circ f)$,
aangezien
    $((h\circ g)\circ f)(x)=(h\circ g)(f(x))=h(g(f(x)))$
en
    $(h\circ (g\circ f))(x)=h((g\circ f)(x))=h(g(f(x)))$

### Commutativiteit

De volgorde van de functies is uiteraard van belang, zodat functiecompositie in het algemeen niet commutatief is. Voor de functies $f:\mathbb {R} \to \mathbb {R}$ en $g:\mathbb {R} \to \mathbb {R}$ met
    $f(x)=x^{2}$ en $g(x)=x+1$
geldt bijvoorbeeld:
    $(f\circ g)(x)=f(x+1)=(x+1)^{2}=x^{2}+2x+1$
en
    $(g\circ f)(x)=g(x^{2})=x^{2}+1$

### Identieke afbeeldingen

De identieke afbeelding gedraagt zich bij functiecompositie neutraal, voor een functie $f:A\to B$ geldt dat
    $f\circ I_{A}=f=I_{B}\circ f$,
waar $I_{A}$ en $I_{B}$ de identieke afbeeldingen zijn op de verzamelingen $A$ en $B$.

### Relaties

De functiecompositie definieert een samengestelde relatie. Belangrijke kenmerken die een functie $f$ bezitten kan, zijn
* injectiviteit – $f$ beeldt niet meer dan een element uit $A$ op een bepaald element uit $B$ af.
* surjectiviteit – $f$ beeldt ten minste een element uit $A$ op een bepaald element uit $B$ af.
* bijectiviteit – $f$ beeldt precies een element van $A$ op een bepaald element uit $B$ af.
Ieder van deze eigenschappen is ook van toepassing op de samengestelde functie, daarom is:
* de functiecompositie van injectieve functies weer injectief,
* de functiecompositie van surjectieve functies weer surjectief en
* de functiecompositie van bijectieve functies is weer bijectief.
Omgekeerd geldt: als een functiecompositie $g\circ f$
* injectief is, dan is $f$ injectief.
* surjectief is, dan is $g$ surjectief,
* bijectief is, dan is $f$ injectief en $g$ surjectief.

## Voorbeelden

* Het is duidelijk hoe de samenstelling $h\circ g$ van twee polynomen $g$ en $h$ moet worden uitgerekend, maar het is ingewikkelder gegeven een polynoom $f$ te berekenen dat $f$ als de samenstelling van andere polynomen kan worden geschreven.
       $f(x)=h(g(x))\ \ \Leftrightarrow \ \ f(x)-f(y)\ \ {\text{mod}}\ \ g(x)-g(y)\ =\ 0$

### voetnoten

* ↑ Engelstalige Wikipedia. Polynomial decomposition.

### websites

* MathWorld. Composition.