Idempotenza: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 7:
Un'operazione unaria idempotente entro un certo insieme <math>S</math> è una funzione del tipo:
:<math>T : S \rightarrow S
Ogni endofunzione idempotente entro un qualsiasi insieme è una [[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>.
Riga 13:
Un'operazione binaria idempotente entro un certo insieme <math>S</math> è una funzione del tipo:
:<math>~* : S \times S \rightarrow S
Esempi di operazioni binarie idempotenti sono l'unione e la intersezione di insiemi, le operazioni logiche di AND e OR, il [[massimo comun divisore]] e il [[minimo comune multiplo]] di interi positivi, le operazioni di giunzione o estremo superiore (sup) e di incontro o estremo inferiore (inf) di un [[Reticolo (matematica)|reticolo]] o di un [[semireticolo]].
| |||