Idempotenza: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Etichette: Modifica da mobile Modifica da web per mobile
Elisione obbligatoria
Riga 2:
In [[informatica]], in [[matematica]], e in particolare in [[algebra]], l''''idempotenza''' è una proprietà delle funzioni per la quale applicando molteplici volte una funzione data, il risultato ottenuto è uguale a quello derivante dall'applicazione della funzione un'unica volta.
 
In particolare può caratterizzare [[Endofunzione|endofunzioni]], ovvero [[Operazione unaria|operazioni unarie]], [[Operazione binaria|operazioni binarie]] ed elementi di [[Struttura algebrica|strutture algebriche]] dotate di una un'operazione binaria, cioè elementi di [[Magma (matematica)|magmi]] e di loro arricchimenti (in particolare di [[Anello (algebra)|anelli]] e di [[Algebra su campo|algebre]]).
 
==Definizione==
Riga 9:
:<math>T : S \rightarrow S|\forall x\in S ~:~ T(T(x))=T(x) \quad\mathrm{ovvero}\quad T\circ T = T </math>
 
Ogni endofunzione idempotente entro un qualsiasi insieme è una un'[[unione funzionale]] di [[Funzione costante|collassi]]. In particolare trasformazioni lineari idempotenti di uno [[spazio vettoriale]] <math>V</math> sono i [[Proiettore (matematica)|proiettori]] sopra i [[Sottospazio vettoriale|sottospazi]] di <math>V</math>.
 
Un'operazione binaria idempotente entro un certo insieme <math>S</math> è una funzione del tipo: