# Afbeelding (wiskunde)

In de wiskunde is het begrip afbeelding de verzamelingtheoretische interpretatie van het begrip functie. Omdat afbeeldingen gedefinieerd kunnen worden voor willekeurige verzamelingen, kan het begrip afbeelding ook gezien worden als een generalisatie van het begrip functie, dat gewoonlijk zo gedefinieerd is dat een functie altijd getallen als resultaat heeft.
Informeel gesproken is een afbeelding een voorschrift dat aan ieder element van een verzameling een element uit een (andere) verzameling toevoegt. Zo'n toevoeging laat zien hoe sommige elementen uit een verzameling afhankelijk zijn van de elementen uit een andere (of dezelfde) verzameling. Omdat de wiskunde onder andere zulke afhankelijkheden onderzoekt, is een afbeelding een belangrijk basisbegrip.

## Definitie

Een afbeelding $f$ is een tweeplaatsige relatie $(G,A,B)$ tussen twee verzamelingen $A$ en $B$ met de eigenschap dat aan ieder element $a\in A$ precies één element $b\in B$, het beeld van $a$, wordt gekoppeld. Men noteert de afbeelding als
    $f\colon A\to B$
of ook als
    $A\ {\stackrel {f}{\longrightarrow }}\ B$
en het unieke element $b\in B$ dat door $f$ aan het element $a\in A$ wordt toegevoegd als $f(a)$. De verzameling $A$ heet het domein (of definitiegebied) van $f$; de verzameling $B$ wordt wel het codomein genoemd. Met het bereik $f(A)=\{f(a)\mid a\in A\}$ van $f$ wordt de deelverzameling van $B$ aangeduid die bestaat uit de beelden van de elementen van $A$.
Een afbeelding is dus hetzelfde als een functie. De keuze van de term wordt soms bepaald door het soort afbeelding, zie onder. Zie ook onder bij "Volledige afbeelding".

### Ruimere definitie

Soms wordt een afbeelding gedefinieerd als een partiële functie. Dat wil zeggen dat een afbeelding een tweeplaatsige relatie $f=(G,A,B)$ is waarvan $A$ en $B$ willekeurige verzamelingen zijn en $G$ een deelverzameling is van het cartesisch product $A\times B$, met de eigenschap dat voor alle $a\in A$ en $b_{1},b_{2}\in B$ geldt:
    als $f(a)=b_{1}$ en ook $f(a)=b_{2}$ dan is $b_{1}=b_{2}$.
Aan alle elementen uit $A$ wordt ten hoogste één element uit $B$ gekoppeld.
Het drietal in de definitie wordt ook wel in een andere volgorde genoemd, namelijk als het drietal $(A,B,G)$ in plaats van $(G,A,B)$.

## Terminologie

Als $f=(G,A,B)$ een afbeelding is, wordt $G$ de grafiek van $f$ genoemd. De verzameling $A$ heet het definitiegebied of het domein van $f$ en $B$ het codomein van $f$. Men zegt ook dat $f$ een afbeelding van $A$ naar $B$ is. Van $(a,b)\in G$ zegt men dat het toepassen van $f$ op $a$ als resultaat $b$ heeft, of dat $a$ door $f$ op $b$ afgebeeld wordt. Het element $b=f(a)\in B$ heet het beeld van $a$ onder $f$.
Het beeld van een deelverzameling van het domein, in plaats van elementen uit het domein, is ook gedefinieerd. Als $X\subseteq A$, dan is het beeld van $X$ onder $f$ de deelverzameling $f(X)$ van $B$ die bestaat uit de beelden van de elementen uit $X$
    $f(X)=\{f(x)\mid x\in X\}$
Men zegt dat$f$ de verzameling $X$ afbeeldt op de verzameling $Y$, als $Y=f(X)$.
De deelverzameling $f(A)\subseteq B$ van het codomein wordt het bereik of ook eenvoudigweg het beeld van $f$ genoemd.
Een element $a\in A$ in het domein dat afgebeeld wordt op het element $b\in B$, dus waarvoor geldt:
    $f(a)=b$
wordt een origineel van $b$ genoemd. De verzameling originelen van $b$ wordt genoteerd als:
    $f^{-1}(b)=\{a\in A\mid f(a)=b\}$
Ook voor een deelverzameling $Y\subseteq B$ wordt de verzameling originelen van de elementen in $Y$ genoteerd als:
    $f^{-1}(Y)=\{a\in A\mid f(a)\in Y\}$
en het origineel van $Y$ genoemd.
De elementen van het domein $A$ heten de originelen of argumenten van $f$.

### Notatie

Voor iedere afbeelding $\alpha \colon A\to B$ geldt het volgende:
* Het domein $A$ van $\alpha$ wordt genoteerd als $A=\mathrm {dom} \ \alpha$.
* Het codomein $B$ van $\alpha$ wordt genoteerd als $B=\mathrm {codom} \ \alpha$.
* Als $x$ een argument van $\alpha$ is, wordt het beeld van $x$ onder $\alpha$ genoteerd als $\alpha (x)$ of $\alpha x$.
* Als $X\subseteq A$, wordt het beeld van $X$ onder $\alpha$ genoteerd als $\alpha (X)$ of $\alpha X$ .
* Als $y\in B$, wordt het origineel van $y$ onder $\alpha$ genoteerd als $\alpha ^{-1}(y)$.
* Als $Y\subseteq B$, wordt het origineel van $Y$ onder $\alpha$ genoteerd als $\alpha ^{-1}(Y)$ of $\alpha ^{-1}Y$.
* In plaats van $\alpha (x)=y$, schrijft men ook $\alpha \colon x\mapsto y$.

## Meerplaatsige afbeeldingen

Een meerplaatsige afbeelding is, informeel gesproken, een afbeelding die meer dan één argument nodig heeft om zijn resultaat te bepalen. Een tweeplaatsige afbeelding neemt twee argumenten, een drieplaatsige afbeelding neemt er drie, enzovoort. Een nulplaatsige afbeelding is een constante. De afbeelding $\alpha :A\times B\times C\to D$ is bijvoorbeeld drieplaatsig.
Er is geen wezenlijk verschil tussen een eenplaatsige en een meerplaatsige afbeelding, want meerdere argumenten kunnen als tupel worden samengevoegd tot één argument. Wat dan overblijft is een onderscheid in notatie: met twee argumenten, zoals $\alpha (a,b)$, of met één argument, $\alpha (c)$ met $c=(a,b)$, of $\alpha ((a,b))$. De notaties $\alpha (c)$ en $\alpha (a,b)$ kunnen, zolang dit geen verwarring geeft, ook door elkaar gebruikt worden, zodat de langere notatie $\alpha ((a,b))$ niet nodig is.
Als het domein een cartesisch product $A\times B$ is, dan worden $A$ en $B$ ook wel de domeinen van $\alpha$ genoemd. De overige terminologie past zich hierop aan. Men kan bijvoorbeeld zeggen dat $\alpha$ een tweeplaatsige afbeelding over $A$ en $B$ is.

## Eigenschappen van afbeeldingen

Zij $f\colon A\to B$ een afbeelding.
* $f$ heet surjectief als alle elementen uit het codomein een beeld zijn van een element in het domein, dus als er voor iedere $b\in B$ een $a\in A$ is met $f(a)=b$
    Het bereik van een surjectieve afbeelding is gelijk aan zijn codomein: $f(A)=B$.
* $f$ heet injectief als twee verschillende elementen uit het domein ook verschillende beelden hebben, dus als voor alle $a_{1},a_{2}\in A,$ geldt:
       $f(a_{1})=f(a_{2})\quad \Longrightarrow \quad a_{1}=a_{2}$
* $f$ heet bijectief als $f$ zowel surjectief als injectief is.
    Een bijectieve afbeelding wordt wel een een-op-een-correspondentie genoemd.
Als er op zowel $A$ als $B$ een topologie gedefinieerd is, dan is ook de volgende eigenschap gedefinieerd.
* $f$ heet continu als het origineel van elke open deelverzameling van het codomein een open deelverzameling van het domein is, dus als voor elke $Y\subseteq B$ geldt: als $Y$ open is in $B$, is $f^{-1}(Y)$ open in $A$.
Deze eigenschappen zijn ook op meerplaatsige afbeeldingen gedefinieerd, waarbij met domein het volledige cartesische product bedoeld wordt.

## Operaties op afbeeldingen
### Restrictie en extensie

Voor een afbeelding $f\colon A\to B$ en een deelverzameling $X\subseteq A$ van het domein heet de afbeelding
    $f|_{X}\colon X\to B$
    $f|_{X}\colon x\mapsto f(x)$
de restrictie van $f$ tot $X$. Informeel gesproken is de restrictie van een afbeelding het resultaat van het inperken van zijn domein.
Als $f|_{X}$ een restrictie van $f$ is, heet $f$ een extensie van $f|_{X}$.

### Compositie of samenstelling

Van de afbeeldingen $f\colon A\to B$ en $g\,\colon B\to C$ is de afbeelding $g\circ f\colon A\to C$ bepaald door
    $(g\circ f)(a)=g(f(a))$
de compositie of samenstelling van $f$ en $g$. Informeel betekent $c=(g\circ f)(a)$ dat $c$ het beeld is van $a$ nadat eerst $f$ daarop is toegepast en op het beeld $f(a)$ daarvan $g$ wordt toegepast.
Compositie van afbeeldingen is associatief: Voor alle afbeeldingen $f\colon A\to B$, $g\,\colon B\to C$ en $h\colon C\to D$ geldt:
    $(h\circ g)\circ f=h\circ (g\circ f)$.
Daarom wordt voor deze samenstelling meestal simpelweg $h\circ g\circ f$ geschreven.

### Inverse

Voor een bijectieve afbeelding $f\colon A\to B$ heet de afbeelding $f^{-1}\colon B\to A)$ gedefinieerd door:
    $f^{-1}(f(a))=a$
de inverse van $f$.
De inverse van $f$ beeldt ieder element uit de beeldverzameling van $f$ af op het origineel daarvan.
De inverse $f^{-1}$ is ook bijectief en er geldt
    $(f^{-1})^{-1}=f$

## Identieke afbeelding

Op iedere verzameling is een afbeelding te definiëren die elk element op zichzelf afbeeldt. Deze afbeelding heet de identieke afbeelding van die verzameling. De formele definitie luidt:
Voor een verzameling $A$ heet de afbeelding $\mathrm {id} _{A}\colon A\to A$ gedefinieerd door
    $\mathrm {id} _{A}(a)=a$
de identieke afbeelding van $A$.
Elke identieke afbeelding is bijectief.
Voor iedere bijectieve afbeelding $f\colon A\to B$ geldt:
    $f\circ f^{-1}=\mathrm {id} _{B}$

## Operatie

Een afbeelding is als een operatie te zien en omgekeerd. Meestal betekent het gebruik van het woord 'operatie' dat het domein en het codomein dezelfde verzamelingen zijn of, in het geval van $n$-plaatsige operaties, dat het domein een $n$-dimensionaal cartesisch product van het codomein is.
Het symbool waarmee een operatie aangeduid wordt, heet de 'operator' en de argumenten van een operatie worden 'operanden' genoemd. Dit heet infixnotatie. Bij tweeplaatsige operaties heeft het 'operatie' ook een algebraïsche connotatie. Men spreekt bijvoorbeeld van associatieve en commutatieve operaties of definieert op algebraïsche wijze equivalentie tussen uitdrukkingen met bepaalde operaties erin.
Er bestaan ook operaties op afbeeldingen. Zo is compositie een tweeplaatsige operatie op afbeeldingen, met ∘ als operator. Het bepalen van de inverse van een afbeelding is een eenplaatsige operatie op afbeeldingen en het symbool $^{-1}$ kan opgevat worden als een operator die in suffixnotatie geschreven wordt.

## Afbeelding versus functie

Gewoonlijk onderscheidt de afbeelding zich van de functie doordat de afbeelding een fundamenteler (en jonger) begrip is. Functies zijn in deze lezing een speciaal soort afbeeldingen, namelijk afbeeldingen die getallen opleveren of, preciezer geformuleerd, afbeeldingen waarvan het codomein een Lichaam (Ned) / Veld (Be) is, maar vaak zijn functie en afbeelding synoniemen en worden dan min of meer gelijk op dezelfde manier gedefinieerd als in dit artikel.
Het komt ook voor dat functie en afbeelding niet synoniem zijn, maar dat de functie gedefinieerd wordt zoals de afbeelding in dit artikel en dat met afbeelding een specifiek soort functie bedoeld wordt. In deze lezing kan met afbeelding onder andere volledige functie, volledige en injectieve functie, lineaire functie of continue functie bedoeld worden. Dit gebruik van de woorden functie en afbeelding is vooral in de Angelsaksische literatuur gebruikelijk.

## Literatuur

* (en) Bourbaki, Nicolas (1994). Elements of the History of Mathematics. Springer.
* (en) Hazewinkel, Michiel, Encyclopaedia of Mathematics. Springer-Verlag. Gearchiveerd op 23 januari 2009.