Identieke afbeelding

In de wiskunde is een identieke afbeelding of identieke functie, ook identiteit of identiteitsfunctie genoemd, een afbeelding, meestal door $I$ voorgesteld, van een verzameling naar zichzelf die ieder element op zichzelf afbeeldt. De identieke functie geeft altijd dezelfde waarde terug die als argument is gebruikt, dus heeft eigenlijk geen effect.

De eenheidsmatrix is onder de matrixvermenigvuldiging het neutrale element en bepaalt onder de matrixvermenigvuldiging de identieke afbeelding.

Definitie

De identieke afbeelding $I$ op de verzameling $V$ is de functie $I:V\to V$ gedefinieerd voor elke $x\in V$ door:

I(x)=x

Om verwarring met de identieke afbeelding op een andere verzameling te voorkomen noteert men ook $I_{V}$ of anders $\mathrm {Id}$ of $\mathrm {Id} _{V}$

Eigenschappen

Voor een willekeurige afbeelding $f\colon V\to W$ , geldt:

f\circ I_{V}=f=I_{W}\circ f

Daarin staat $\circ$ voor functiecompositie.

De identieke afbeelding $I_{V}$ is dus het neutrale element van de monoïde van alle functies van $V$ naar $W$ . Aangezien het identiteitselement van een monoïde uniek is, is het ook mogelijk de identiteitsfunctie op $V$ te definiëren als dit neutrale element. Zo'n definitie generaliseert het concept van een identiteitsmorfisme in categorietheorie waarin de endomorfismen van $V$ geen functies hoeven te zijn.