Identieke afbeelding: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Label: bewerking met nieuwe wikitekstmodus |
|||
Regel 8:
== Algebraïsche eigenschappen ==
Voor een willekeurige afbeelding <math>f
:<math>f\circ I_V=f=I_W\circ f
Daarin staat <math>\circ</math> voor
De identieke afbeelding <math>I_V</math> is dus het [[Neutraal element|neutrale element]] van de [[monoïde]] van alle functies van <math>V</math> naar <math>W
Aangezien het identiteitselement van een monoïde uniek is, is het ook mogelijk de identiteitsfunctie op <math>V</math> te definiëren als dit neutrale element. Zo'n definitie generaliseert het concept van een [[Morfisme|identiteitsmorfisme]] in [[categorietheorie (wiskunde)|categorietheorie]] waarin de [[endomorfisme]]n van <math>V</math> niet functies hoeven zijn.
|