Commutatività: differenze tra le versioni
Nessun oggetto della modifica |
|||
(25 versioni intermedie di 17 utenti non mostrate) | |||
Riga 1: | Riga 1: | ||
{{F|matematica|febbraio 2012}} |
{{F|matematica|febbraio 2012}} |
||
[[File:Proprietà Commutativa-Esempio.webm|miniatura|300x300px|Video esempio della proprietà commutativa di una moltiplicazione, cambiando le posizioni di 34 e di 2 il risultato resta 68.]] |
|||
In [[matematica]], un'[[operazione binaria]] <math> * </math> definita su un [[insieme]] <math> S </math> è '''commutativa''' se |
In [[matematica]], un'[[operazione binaria]] <math> * </math> definita su un [[insieme]] <math> S </math> è '''commutativa''' se e solo se |
||
:<math> x * y = y * x \ |
:<math> x * y = y * x \quad \forall x,y\in S.</math> |
||
Se questa proprietà non è valida per ogni coppia di elementi, l'operazione <math> * </math> è quindi detta '''non commutativa'''. |
|||
In particolare, se è vera la proprietà |
|||
<math> x * y = - y * x \quad \forall x,y\in S.</math> |
|||
l'operazione <math> * </math> è detta '''anticommutativa'''. |
|||
Due elementi <math> x </math> e <math> y </math> '''commutano''' se <math> x * y = y *x </math>. Quindi l'operazione <math> * </math> è commutativa se e solo se due elementi di <math> S </math> commutano sempre. |
Due elementi <math> x </math> e <math> y </math> '''commutano''' se <math> x * y = y *x </math>. Quindi l'operazione <math> * </math> è commutativa se e solo se due elementi di <math> S </math> commutano sempre. |
||
Riga 8: | Riga 15: | ||
== Esempi == |
== Esempi == |
||
=== Operazioni commutative === |
=== Operazioni commutative === |
||
[[File:Commutative Addition.svg|miniatura|300x300px|Commutatività dell'[[addizione]] rappresentata mediante delle mele]] |
|||
[[File:Vector Addition.svg|miniatura|Esempio di addizione di vettori. L'operazione è commutativa perché <math>\vec a+\vec b=\vec b+ \vec a</math>]] |
|||
I più comuni esempi di operazioni binarie commutative sono l'[[addizione]] (<math> a+b </math>) e la [[moltiplicazione]] (<math> a \times b </math>), considerate sull'insieme di tutti i [[numero reale|numeri reali]], o solo sui [[numero positivo|numeri positivi]], [[numero naturale|naturali]] o [[numero razionale|razionali]], oppure estese ai [[numero complesso|numeri complessi]]; per esempio: |
I più comuni esempi di operazioni binarie commutative sono l'[[addizione]] (<math> a+b </math>) e la [[moltiplicazione]] (<math> a \times b </math>), considerate sull'insieme di tutti i [[numero reale|numeri reali]], o solo sui [[numero positivo|numeri positivi]], [[numero naturale|naturali]] o [[numero razionale|razionali]], oppure estese ai [[numero complesso|numeri complessi]]; per esempio: |
||
:<math> 4 + 5 = 5 + 4 </math> (poiché entrambe le [[espressione |
:<math> 4 + 5 = 5 + 4 </math> (poiché entrambe le [[espressione aritmetica|espressioni]] sono uguali a 9) |
||
:<math> 2 \times 3 = 3 \times 2 </math> (poiché entrambe le espressioni valgono 6) |
:<math> 2 \times 3 = 3 \times 2 </math> (poiché entrambe le espressioni valgono 6) |
||
Riga 17: | Riga 26: | ||
* minimo e massimo applicati a coppie di numeri reali o in generale a coppie di elementi di insiemi parzialmente ordinati; |
* minimo e massimo applicati a coppie di numeri reali o in generale a coppie di elementi di insiemi parzialmente ordinati; |
||
* addizione di [[vettore (matematica)|vettori]]; |
* addizione di [[vettore (matematica)|vettori]]; |
||
* [[intersezione (insiemistica)|intersezione]] e [[unione (insiemistica)|unione]] di [[insieme|insiemi]] |
* [[intersezione (insiemistica)|intersezione]] e [[unione (insiemistica)|unione]] di [[insieme|insiemi]]; |
||
* [[congiunzione logica]] e [[disgiunzione inclusiva]] |
* [[congiunzione logica]] e [[disgiunzione inclusiva]]; |
||
* [[funzione composta|composizioni]] di [[traslazione (geometria)|traslazioni]] nel piano, nello spazio tridimensionale o in un qualsiasi [[spazio vettoriale]]; |
* [[funzione composta|composizioni]] di [[traslazione (geometria)|traslazioni]] nel piano, nello spazio tridimensionale o in un qualsiasi [[spazio vettoriale]]; |
||
* composizioni di [[rotazione (matematica)|rotazioni]] intorno ad un dato punto nel piano. |
* composizioni di [[rotazione (matematica)|rotazioni]] intorno ad un dato punto nel piano. |
||
=== Operazioni non commutative === |
=== Operazioni non commutative === |
||
Tra le operazioni binarie non commutative tra numeri vi sono la [[sottrazione]] (<math> a-b </math>), la [[Divisione (matematica)|divisione]] (<math> a/b </math>) e l'[[ |
Tra le operazioni binarie non commutative tra numeri vi sono la [[sottrazione]] (<math> a-b </math>), la [[Divisione (matematica)|divisione]] (<math> a/b </math>) e l'[[elevamento a potenza]] (<math> a^b </math>), definite su insiemi opportuni di numeri reali. |
||
Anche la [[composizione di funzioni]] (<math> f(g(x)) </math>) in molti contesti non è commutativa: ad esempio le funzioni reali <math> f(x) = x+3 </math> e <math> g(y) = y^2 </math> non commutano, in quanto |
Anche la [[composizione di funzioni]] (<math> f(g(x)) </math>) in molti contesti non è commutativa: ad esempio le funzioni reali <math> f(x) = x+3 </math> e <math> g(y) = y^2 </math> non commutano, in quanto |
||
Riga 46: | Riga 55: | ||
0 & 1 \end{bmatrix} |
0 & 1 \end{bmatrix} |
||
</math> |
</math> |
||
Il [[prodotto vettoriale]], invece, rappresenta un esempio di operazione anticommutativa. Siano <math>\mathbf{a},\mathbf{b}\in\R^3</math>. Si ha: |
|||
<math>\mathbf{a}\times\mathbf{b}=-\mathbf{b}\times\mathbf{a}</math> |
|||
== Strutture algebriche con operazioni commutative == |
== Strutture algebriche con operazioni commutative == |
||
Riga 82: | Riga 94: | ||
* [[Associatività]] |
* [[Associatività]] |
||
* [[Distributività]] |
* [[Distributività]] |
||
* [[Commutatore]] |
* [[Commutatore (matematica)]] |
||
== Altri progetti == |
|||
{{interprogetto|preposizione=sulla|wikt=commutatività}} |
|||
== Collegamenti esterni == |
|||
* {{Collegamenti esterni}} |
|||
{{Portale|matematica}} |
{{Portale|matematica}} |
||
[[Categoria:Algebra elementare]] |
[[Categoria:Algebra elementare]] |
||
[[Categoria:Analisi funzionale]] |
|||
[[Categoria:Simmetria]] |
|||
[[Categoria:Strutture algebriche]] |
[[Categoria:Strutture algebriche]] |
||
{{categorie qualità}} |
Versione attuale delle 01:06, 8 feb 2024
In matematica, un'operazione binaria definita su un insieme è commutativa se e solo se
Se questa proprietà non è valida per ogni coppia di elementi, l'operazione è quindi detta non commutativa.
In particolare, se è vera la proprietà
l'operazione è detta anticommutativa.
Due elementi e commutano se . Quindi l'operazione è commutativa se e solo se due elementi di commutano sempre.
Esempi
[modifica | modifica wikitesto]Operazioni commutative
[modifica | modifica wikitesto]I più comuni esempi di operazioni binarie commutative sono l'addizione () e la moltiplicazione (), considerate sull'insieme di tutti i numeri reali, o solo sui numeri positivi, naturali o razionali, oppure estese ai numeri complessi; per esempio:
- (poiché entrambe le espressioni sono uguali a 9)
- (poiché entrambe le espressioni valgono 6)
Altre operazioni binarie commutative sono:
- minimo comune multiplo e massimo comun divisore applicati a coppie di interi positivi;
- minimo e massimo applicati a coppie di numeri reali o in generale a coppie di elementi di insiemi parzialmente ordinati;
- addizione di vettori;
- intersezione e unione di insiemi;
- congiunzione logica e disgiunzione inclusiva;
- composizioni di traslazioni nel piano, nello spazio tridimensionale o in un qualsiasi spazio vettoriale;
- composizioni di rotazioni intorno ad un dato punto nel piano.
Operazioni non commutative
[modifica | modifica wikitesto]Tra le operazioni binarie non commutative tra numeri vi sono la sottrazione (), la divisione () e l'elevamento a potenza (), definite su insiemi opportuni di numeri reali.
Anche la composizione di funzioni () in molti contesti non è commutativa: ad esempio le funzioni reali e non commutano, in quanto
Un'altra importante operazione non commutativa è la moltiplicazione fra matrici quadrate. Ad esempio,
Il prodotto vettoriale, invece, rappresenta un esempio di operazione anticommutativa. Siano . Si ha:
Strutture algebriche con operazioni commutative
[modifica | modifica wikitesto]Un gruppo è abeliano, o anche commutativo, se l'operazione che vi è definita è commutativa.
Un anello ha definite due operazioni, chiamate generalmente "somma" e "prodotto" in analogia con i numeri interi. L'operazione di "somma" è sempre commutativa, ma l'operazione "prodotto" no. Un anello è chiamato abeliano o commutativo se anche la moltiplicazione è commutativa.
Generalmente, le strutture algebriche abeliane sono molto più semplici delle analoghe non abeliane.
Tavola di composizione
[modifica | modifica wikitesto]Un'operazione è commutativa se e solo se la sua tavola di composizione è simmetrica. Per esempio le tavole di composizione delle operazioni minimo comune multiplo e massimo comun divisore per l'insieme dei numeri interi da 1 a 6 sono
e
Voci correlate
[modifica | modifica wikitesto]Altri progetti
[modifica | modifica wikitesto]- Wikizionario contiene il lemma di dizionario «commutatività»
- Wikimedia Commons contiene immagini o altri file sulla commutatività
Collegamenti esterni
[modifica | modifica wikitesto]- commutatività, su Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana.
- commutatività, su Vocabolario Treccani, Istituto dell'Enciclopedia Italiana.
- (EN) Eric W. Weisstein, Commutatività, su MathWorld, Wolfram Research.
- (EN) Commutatività, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.