Commutatore (matematica)

Per commutatore, in matematica, si intende una composizione di due elementi di una struttura algebrica, riferita a un'operazione binaria che fornisce un terzo elemento diverso dall'elemento neutro quando i due elementi dati non soddisfano la proprietà commutativa. I commutatori sono ampiamente usati nella teoria dei gruppi, nella teoria degli anelli, nelle algebre di Lie. Nella meccanica quantistica sono usati per formulare il principio di indeterminazione.

L'anticommutatore è un operatore usato specialmente in meccanica quantistica che prende in ingresso due operatori. L'anticommutatore tra e è definito come:

Teoria dei gruppi

modifica

Definizione

modifica

Sia   un gruppo la cui unità denotiamo con  . Il commutatore di due elementi   e   del gruppo è l'elemento

 

Proprietà

modifica

Si dice che due elementi   e   del gruppo   commutano quando  . Questo accade se e solo se il loro commutatore è l'unità:

 

Sottogruppo commutatore

modifica
  Lo stesso argomento in dettaglio: Sottogruppo derivato.

Il sottogruppo generato da tutti i commutatori di   è detto sottogruppo dei commutatori o sottogruppo derivato di  , e spesso si indica con   (o anche  ). Gli elementi di   sono prodotti di un numero finito di commutatori e loro inversi, ossia ogni elemento di   è della forma:

 

Un gruppo è abeliano se e solo se questo sottogruppo è triviale, ossia costituito dalla sola unità di  .

Il sottogruppo commutatore è caratteristico (dunque normale), quindi è sempre definibile il gruppo quoziente  . Informalmente si può dire che, nella costruzione di questo quoziente, si considerano trascurabili gli elementi che non commutano: risulta infatti che   è abeliano. Più precisamente,   è il più piccolo sottogruppo normale di   tale che il quoziente risulti essere abeliano. Questo quoziente viene chiamato l'abelianizzato di  .

Va segnalato che, in vari testi, il commutatore di due elementi è definito in modo lievemente differente:

 

Anche con questa definizione due elementi commutano se e solo se il commutatore è l'unità e si ottiene lo stesso sottogruppo derivato individuato in precedenza.

Teoria degli anelli

modifica

Definizione

modifica

Sia   un anello. Il commutatore di due suoi elementi   e   è l'elemento

 

Proprietà

modifica

Due elementi   e   commutano se  . Questo accade se e solo se il commutatore si annulla:

 

Il commutatore è una funzione bilineare sull'anello:

 
 

Il commutatore è anticommutativo, ossia è una funzione bivariata antisimmetrica:

 

Il commutatore è una composizione nilpotente:

 

Il commutatore soddisfa l'identità di Jacobi:

 

Il commutatore soddisfa una versione della regola di Leibniz:

 

Quest'ultima espressione è interpretabile come regola di Leibniz per la mappa

 
 

che per la suddetta formula si dice rivestire il ruolo di derivazione sull'anello.

Altre relazioni:

 
 
 

Algebra di Lie

modifica

Se   è un'algebra associativa, la bilinearità espressa sopra vale anche per la moltiplicazione di uno scalare:

 

Da tutte le proprietà elencate segue che, sostituendo il prodotto in   con l'operazione binaria

 

si ottiene una nuova struttura di algebra per  : più precisamente, si ottiene una struttura di algebra di Lie. I commutatori possono quindi essere utilizzati per trasformare una qualsiasi algebra associativa in un'algebra di Lie.

Spazi di matrici

modifica

Le matrici   su un campo fissato formano un'algebra associativa. Sostituendo l'usuale prodotto fra matrici con l'operazione di commutazione si ottiene quindi una struttura di algebra di Lie.

Operatori su spazi di Hilbert

modifica

Le matrici reali   agiscono sullo spazio euclideo  . Più in generale, si possono considerare varie algebre formate da operatori che agiscono su un determinato spazio di Hilbert  .

In meccanica quantistica, gli operatori descrivono gli osservabili e i loro commutatori misurano la precisione con cui due osservabili possono essere misurati simultaneamente. Generalmente   è un determinato spazio di funzioni.

Ad esempio, se   è uno spazio di funzioni di una variabile   a valori complessi, l'operatore posizione moltiplica ogni funzione per  :

 

mentre l'operatore di momento è una derivata:

 

I due operatori non commutano. Il loro commutatore è infatti

 

Per verificare che tale operatore è diverso da zero, lo si applica su una funzione   e si ottiene il seguente risultato:

 
 

Poiché la relazione vale per ogni funzione   di  , si conclude che il commutatore è l'operatore che moltiplica ogni funzione per la costante  :

 

La generalizzazione di questa relazione in tre dimensioni, con:

 

è la seguente:

 

dove   è la delta di Kronecker.

Altre relazioni di commutazione utili in meccanica quantistica sono le seguenti, dove   è un intero maggiore o uguale a zero e   e   due funzioni sviluppabili in serie di Taylor:

  •  
  •  
  •  
  •  

Dimostrazioni

modifica

Dimostriamo prima la relazione

  •  

La dimostrazione procede per induzione: la relazione è vera per  , supponiamo che sia vera per qualunque   e dimostriamo allora che vale anche per  

 

La dimostrazione di

  •  

è analoga alla precedente.

Dimostriamo ora la relazione

  •  

Utilizzando lo sviluppo di Taylor possiamo scrivere

 

da cui otteniamo

 

La dimostrazione di

  •  

è analoga alla precedente.

Voci correlate

modifica

Collegamenti esterni

modifica
Controllo di autoritàLCCN (ENsh88001145 · GND (DE4164826-2 · J9U (ENHE987007531893805171