Semigruppo: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
clean up using AWB |
m Bot: Fix tag <math> |
||
Riga 17:
(2) L'insieme dei numeri interi naturali munito della moltiplicazione (anche questa operazione è notoriamente associativa).
(3) L'insieme <math>\,\{1,2,3,4\}
:<math>\max(\max(m,n),p) \,=\, \max(m,n,p) \,=\, \max(m,\max(n,p))</math>
(4) L'insieme di tutte le [[endofunzione|endofunzioni]] definite entro un insieme ''S'', ad es. entro <math>\,\{1,2,3,4\}
munito della composizione di funzioni. La [[composizione di funzioni]] è infatti associativa.
Riga 35:
:<math>\mbox{piano}\cdot\mbox{forte} \neq \mbox{forte}\cdot\mbox{piano}</math> .
Non è commutativo neppure il semigruppo delle endofunzioni di un qualsiasi insieme ambiente ''S'' formato da 2 o più elementi. Per questo basta considerare il controesempio di due endofunzioni che non commutano: se a e b sono due elementi diversi dell'ambiente ''S'', introduciamo le due funzioni a valore costante <math>\,a^{cstnt}
che conviene considerare come trasformazioni postfisse, da scrivere a destra dell'argomento e quindi definire mediante
|