20.08.2013 Views

Meccanica Quantistica

Meccanica Quantistica

Meccanica Quantistica

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

4.7 Trasformazioni attive e passive<br />

Possiamo applicare a tutti i vettori di uno spazio vettoriale, V , una trasformazione<br />

unitaria<br />

|v〉 → U|v〉, ∀ |v〉 ∈ V, U † U = I (4.134)<br />

Come abbiamo visto il prodotto scalare tra due vettori rimane inalterato, mentre<br />

gli elementi di matrice di un determinato operatore A sono trasformati come segue<br />

〈v ′ |A|v〉 ⇒ 〈Uv ′ |A|Uv〉 = 〈v ′ |U † AU|v〉 (4.135)<br />

In questo caso si parla di una trasformazione attiva. Lo stesso risultato, in termini<br />

di elementi di matrice, si otterrebbe lasciando fissi i vettori e ruotando gli operatori<br />

con la trasformazione unitaria U:<br />

A → U † AU (4.136)<br />

In questo caso si parla di trasformazione passiva. La nomenclatura fa riferimento<br />

ai vettori consueti in cui le trasformazioni attive equivalgono a trasformare i vettori,<br />

mentre vengono lasciati inalterati in una trasformazione passiva. L’opposto accade<br />

per gli operatori. I due tipi di trasformazioni sono equivalenti sul piano della fisica,<br />

dato che non cambiano i valori dei prodotti scalari (questo sarà visto meglio nel<br />

seguito).<br />

Ci sono delle operazioni che si possono fare sugli operatori e che sono invarianti<br />

sotto trasformazioni unitarie. Per esempio la traccia (somma degli elementi<br />

diagonali):<br />

n<br />

Tr[A] =<br />

(4.137)<br />

L’invarianza deriva dalla proprietà fondamentale della traccia 4<br />

Infatti<br />

i=1<br />

Aii<br />

Tr[AB] = Tr[BA] (4.138)<br />

Tr[AB] = <br />

AijBji = <br />

BjiAij = Tr[BA] (4.139)<br />

Da questa segue la proprietà ciclica della traccia<br />

i,j<br />

Tr[ABC] = Tr[A(BC)] = Tr[(BC)A] = Tr[B(CA)] = Tr[CAB] (4.140)<br />

Usando quest’ultima si ha<br />

i<br />

Tr[U † AU] = Tr[UU † A] = Tr[A] (4.141)<br />

Anche il determinante è invariante sotto trasformazioni unitarie. Infatti<br />

det|U † AU| = det|U † | det|U| det|A| = det|U † U| det|A| = det|A| (4.142)<br />

4 Questa proprieta’ della traccia, detta proprieta’ ciclica, e’ sempre valida negli spazi vettoriali<br />

di dimensione finita. In dimensioni infinite ci sono operatori per i quali la traccia non e’ definita,<br />

in quanto risulta divergente. In questo caso non vale nemmeno la proprieta’ ciclica<br />

71

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!