Endomorfisme

In de wiskunde is een endomorfisme een morfisme, of een homomorfisme, van een wiskundig object op zichzelf, dat de wiskundige structuur van dat object behoudt. Een endomorfisme van een vectorruimte $V$ is bijvoorbeeld een lineaire afbeelding $f:V\to V$ en een endomorfisme van een groep $G$ is een groepshomomorfisme $f:G\to G$, enzovoort. Men kan in het algemeen spreken over endomorfismen in elke willekeurige categorie. Endomorfismen zijn in de categorie van verzamelingen zijn functies van een verzameling $S$ op zichzelf.

In elke willekeurige categorie is de samengestelde functie van twee willekeurige endomorfismen van $X$ opnieuw een endomorfisme van $X.$ Hieruit volgt dat de verzameling van alle endomorfismen van $X$ een monoïde vormen, die met $\mathrm {End} (X)$ wordt aangeduid, of met $\mathrm {End} _{\mathcal {C}}(X)$, dit om de categorie ${\mathcal {C}}$ te benadrukken.

Een inverteerbaar, bijectief endomorfisme van $X$, oftewel een endomorfisme dat tevens een isomorfisme is, wordt een automorfisme genoemd. De verzameling van alle automorfismen is een ondergroep van $\mathrm {End} (X)$, die de automorfismegroep van $X$ wordt genoemd en die met $\mathrm {Aut} (X)$wordt aangeduid. De pijlen geven in het onderstaande diagram de implicatie aan:

automorfisme	$\Rightarrow$	isomorfisme
$\Downarrow$		$\Downarrow$
endomorfisme	$\Rightarrow$	(homo)morfisme

Twee endomorfismen van een commutatieve groep $A$ kunnen bij elkaar worden opgeteld omdat $(f+g)(a)=f(a)+g(a)$. De endomorfismen van een commutatieve groep vormen dus een ring, de endomorfe ring. Zo is bijvoorbeeld de verzameling van de endomorfismen van $\mathbb {Z} ^{n}$ de ring van alle n×n - matrices met in de cellen gehele getallen. De endomorfismen van een vectorruimte, module, ring of algebra vormen ook een ring, net zoals de endomorfismen van enig object in een pre-additieve categorie. De endomorfismen van een groep die niet commutatief is, genereren een algebraïsche structuur die bekendstaat als een bijna-ring.

Het frobenius-endomorfisme is een endomorfisme van commutatieve ringen met een priemgetal $p$ als karakteristiek dat ieder element op zijn $p$-de macht afbeeldt.

Operatorentheorie

In enige concrete categorie, met name voor vectorruimten, zijn endomorfismen afbeeldingen van een verzameling op zichzelf, en kunnen zij als unaire operatoren op deze verzameling worden geïnterpreteerd, inwerkend op de elementen en het mogelijk makend om de notie van een banen van elementen te definiëren, enzovoort. Dat is operatorentheorie.

Afhankelijk van de additionele structuur, een topologie, metriek of dergelijke, die voor de relevante categorie is gedefinieerd kunnen zulke operatoren eigenschappen zoals continuïteit, begrensdheid, en zo verder hebben.