11/3 IRRIDUCIBILITÀ NELLO SPAZIO DI HILBERT 10/11 1 IRRIDUCIBILITÀ Sistemi irriducibili di operatori in uno spazio di Hilbert Un insieme o sistema di operatori {A, B, . . .} in uno spazio di Hilbert H si dice irriducibile se non esiste alcun sottospazio proprio di H invariante per tutti gli operatori del sistema. Richiami sui sottospazi invarianti I sottospazi generati da un qualunque sottoinsieme degli autovettori propri e impropri di un operatore A, cioè gli autospazi, i loro sottospazi e le somme dirette di quelli e di questi, sono invarianti per A. Se due operatori A e B commutano, ogni autospazio (ma non ogni sottospazio invariante) di uno è invariante per l’altro (e ovviamente anche le somme dirette di autospazi di uno sono invarianti per l’altro). Se H è un sottospazio invariante di un operatore A autoaggiunto anche il suo complemento ortogonale H = H H è invariante per A. I sottospazi generati da un qualunque sottoinsieme degli autovettori di un operatore autoaggiunto A sono tutti i sottospazi invarianti di A. Nota L’applicazione dell’aggettivo irriducibile al sistema di operatori è di uso corrente. Forse l’espressione "H è irriducibile rispetto al sistema di operatori" traduce meglio il concetto. Nota Il concetto di sistema irriducibile di operatori e quello di sistema esauriente di operatori autoaggiunti commutanti sono del tutto distinti. Anzi, un sistema di operatori autoaggiunti commutanti (esauriente o no) non è mai irriducibile, poiché tutti gli autospazi comuni e la loro somme dirette (facendo riferimento per semplicità al caso di operatori con solo spettro discreto) sono invarianti. 11/3 IRRIDUCIBILITÀ NELLO SPAZIO DI HILBERT 10/11 2 Lemma di Schur In uno spazio finitodimensionale Sia A, B, . . . un sistema irriducibile di operatori; sia Z un operatore commutante con tutti gli elementi del sistema irriducibile. Allora Z è multiplo dell’identità. Infatti Z ha almeno un autovalore e un corrispondente autospazio. Per la commutatività di Z con A, B, C, . . ., tale autospazio è invariante per tutti gli operatori del sistema. Esso coincide necessariamente con l’intero spazio, cioè Z è multiplo dell’identità. In uno spazio infinitodimensionale (formulazione e dimostrazione disinvolte) Sia A, B, C, . . . un sistema irriducibile di operatori; sia Z un operatore, che supponiamo autoaggiunto, commutante con tutti gli elementi del sistema irriducibile. Allora Z è multiplo dell’identità. Supponiamo che Z abbia solo o anche spettro continuo, Z |ul (k)i = z(k)|ul (k)i. Per la commutatività di Z con A, B, C, . . ., Z A |ul (k)i = A Z |ul (k)i = z(k) A |ul (k)i) e quindi X A |ul (k)i = m l am (k) |um (k)i. Consideriamo il sottospazio generato dagli autovettori impropri appartenenti all’intervallo (k1 , k2 ), cioè il sottospazio composto dai vettori propri del tipo X Z l k2 dk αl (k) |ul (k)i. k1 Allora A X Z l k2 dk αl (k) |ul (k)i = k1 = X Z l k2 dk αl (k)A |ul (k)i = k1 X Z m X Z m k2 dk k1 X l k2 dk βm (k) |um (k)i, k1 e quindi il sottospazio considerato è invariante per A e analogamente per B, C, . . . . Pertanto Z non può avere spettro continuo. Allora Z ha certamente almeno un autovalore proprio e un corrispondente autospazio e si può ripetere l’argomento usato nel caso finitodimensionale. l am (k) αl (k) |um (k)i 11/3 IRRIDUCIBILITÀ NELLO SPAZIO DI HILBERT 10/11 Irriducibiltà del sistema {x̂, k̂} in L 2 (R) Sia, al solito, k̂f (x) = −i x̂f (x) = xf (x), d f (x). dx I sottospazi di L 2 (R) invarianti rispetto a x̂ sono gli insiemi E (E) degli elementi di L 2 (R) il cui supporto è contenuto in un dato sottoinsieme chiuso E di R. D’altra parte ∞ X exp ia(−id/dx) f (x) = 0 n 1 n dn a f (x) = f (x + a) n! dxn Poiché un sottospazio invariante per un operatore è invariante anche per qualsiasi sua funzione, ne segue che E (E) è invariante per k̂ se e solo se E = R oppure E = insieme vuoto, cioè E (E) = L 2 (R) o rispettivamente E (E) = [0]. Il sistema {x̂, k̂} è pertanto irriducibile in L 2 (R). Ovviamente la stessa affermazione vale per il sistema {x̂, p̂}. Irriducibilità del sistema {ŝx , ŝy , ŝz } in `2s+1 Siano ŝx , ŝy , ŝz i soliti operatori di spin in `2s+1 . I sottospazi invarianti rispetto a ŝz L(e) sono i sottospazi E (e) = m Em , dove Em sono gli autospazi (unidimensionali) di ŝz e e è un sottoinsieme di {s, s − 1, . . . , −s}. Ovviamente, E (e) è invariante per ŝ+ e ŝ− (e a loro volta per ŝx e ŝy ) se e solo se e = {s, s − 1, . . . , −s} oppure e = insieme vuoto, cioè E (e) = `2s+1 o rispettivamente E (e) = [0]. Il sistema {ŝx , ŝy , ŝz } è pertanto irriducibile in `2s+1 . 3 11/3 IRRIDUCIBILITÀ NELLO SPAZIO DI HILBERT Teorema sull’irriducibilità in uno spazio prodotto Sia {A(1) } un sistema irriducibile di operatori nello spazio di Hilbert H (1) e {A(2) } un sistema irriducibile di operatori nello spazio di Hilbert H (2) . Allora, considerato lo spazio di Hilbert H = H (1) ⊗ H (2) , il sistema di operatori in H {{A(1) } ⊗ I (2) , I (1) ⊗ {A(2) }} è irriducibile. La dimostrazione del teorema è data nell’appendice. Implicazioni del teorema Dal teorema e dai risultati precedenti segue che il complesso degli operatori fondamentali dei costituenti elementari di un sistema composto costituisce un sistema irriducibile. Poiché gli operatori fondamentali di ciascun costituente elementare sono anche grandezze fisiche del costituente elementare, se tutte le grandezze fisiche dei costituenti elementari sono anche grandezze fisiche del sistema composto, gli operatori che a queste corrispondono costituiscono un sistema irriducibile. 10/11 4 11/3 IRRIDUCIBILITÀ NELLO SPAZIO DI HILBERT 10/11 Teorema di Stone e von Neumann Se {x̂, k̂} e {x̂0 , k̂ 0 } sono due sistemi di operatori che agiscono rispettivamente negli spazi di Hilbert H e H 0 , che soddisfano rispettivamente alle regole di commutazione 0 0 x̂, k̂ = i e x̂ , k̂ = i , che sono ciascuno irriducibile nel rispettivo spazio di Hilbert, −−−T− −→ allora esiste un isomorfismo H ←− −− H 0 tale che T −1 x̂0 = T x̂ T −1 , k̂ 0 = T k̂ T −1 . T è determinato a meno di un fattore numerico di modulo 1. La dimostrazione del teorema è data nell’appendice. Un teorema analogo vale ovviamente se k̂ e k̂ 0 sono sostituiti da p̂ e p̂0 . Osservazione L’esistenza in uno spazio di Hilbert H di due operatori x̂ e k̂ con la regola di commutazione x̂, k̂ = i implica che H è infinitodimensionale. Teorema analogo per gli operatori di spin Se {ŝx , ŝy , ŝz } e {ŝ0x , ŝ0y , ŝ0z } sono due sistemi di operatori che agiscono rispettivamente negli spazi di Hilbert H e H 0 di uguali dimensioni, che soddisfano rispettivamente alle regole di commutazione ŝx , ŝy = i ŝz , ŝy , ŝz = i ŝx , ŝz , ŝx = i ŝy e ŝ0x , ŝ0y = i ŝ0z , ŝ0y , ŝ0z = i ŝ0x , ŝ0z , ŝ0x = i ŝ0y , che sono ciascuno irriducibile nel rispettivo spazio di Hilbert, −−−T− −→ allora esiste un isomorfismo H ←− −− H 0 tale che −1 T ŝ0x = T ŝx T −1 , ŝ0y = T ŝy T −1 , ŝ0z = T ŝz T −1 . T è determinato a meno di un fattore numerico di modulo 1. La dimostrazione del teorema è data nell’appendice. Un teorema analogo vale evidentemente se {ŝx , ŝy , ŝz } e {ŝ0x , ŝ0y , ŝ0z } sono sostituiti da {ŝ-x , ŝ-y , ŝ-z } e {ŝ-0x , ŝ-0y , ŝ-0z }. Terminologia Gli operatori {x̂, p̂} o {ŝ-x , ŝ-y , ŝ-z } in H e gli operatori {x̂0 , p̂0 } o {ŝ-0x , ŝ-0y , ŝ-0z } costituiscono realizzazioni distinte degli operatori fondamentali in spazi di Hilbert distinti. 5 11/3 IRRIDUCIBILITÀ NELLO SPAZIO DI HILBERT 10/11 Sistemi composti Sia S un sistema composto dai sistemi componenti elementari A e B. Consideriamo per ciascuno dei sistemi componenti distinte realizzazioni {fˆA,i }, {fˆB,j } e {fˆA,i0 }, {fˆB,j 0 } degli operatori fondamentali in distinti spazi di Hilbert HA , HB e HA0 , HB0 . Allora gli isomorfismi TA e TB tra gli spazi di Hilbert relativi a ciascun sistema componente generano un isomorfismo TS = TA ⊗ TB tra gli spazi di Hilbert HS = HA ⊗ HB e HS0 = HA0 ⊗ HB0 con la proprietà fˆA,i0 ⊗ IB0 = TS fˆA,i ⊗ IB TS−1 , IA0 ⊗ fˆB,j 0 = TS IA ⊗ fˆB,j TS−1 . Quanto affermato sopra si verifica facilmente e si estende ai sistemi composti da più di due componenti elementari, compresa la particella nello spazio tridimensionale come composta dai tre movimenti lungo x, y e z. 6 11/3 IRRIDUCIBILITÀ NELLO SPAZIO DI HILBERT 10/11 DESCRIZIONI EQUIVALENTI DI UN SISTEMA FISICO Per un sistema fisico arbitrario, 0 consideriamo due realizzazioni distinte {x̂α , p̂α , ŝ-α } e {x̂α , p̂0α , ŝ-α0 } degli operatori fondamentali negli spazi di Hilbert H e H 0 rispettivamente. Consideriamo la corrispondenza tra H e H 0 |ψi0 = T |ψi, |ψi = T −1 |ψi0 istituita dall’isomorfismo T . Considerata una qualsiasi grandezza fisica G({x, p, s}) , facciamo corrispondere ad essa l’operatore Ĝ = G({x̂, p̂, ŝ}) in H e l’operatore Ĝ0 = G({x̂0 , p̂0 , ŝ0 }) in H 0 . Si ha Ĝ0 = G({T x̂T −1 , T p̂T −1 , T ŝT −1 }) = T G({x̂, p̂, ŝ}) T −1 = T Ĝ T −1 e, poiché a ogni effetto si può scrivere 0hϕ| = hϕ|T −1 , 0 hϕ|Ĝ0 |ψi0 = hϕ|Ĝ|ψi. Inoltre, posto i U (t) = exp − Ĥt , } i U 0(t) = exp − Ĥ 0 t , } si ha U 0(t) = T U (t) T −1 e pertanto U 0(t)|ψi0 = T U (t)|ψi . È allora ovvio che le descrizioni del sistema considerato in H e in H 0 sono del tutto equivalenti. 7 11/3 IRRIDUCIBILITÀ NELLO SPAZIO DI HILBERT 10/11 FORMA ALTERNATIVA DEL PRINCIPIO E Le considerazioni che precedono mostrano che il principio E, che definisce lo spazio di Hilbert e gli operatori fondamentali dei sistemi elementari, può essere posto nella forma seguente. Principio E: sistemi elementari a) A una particella senza struttura interna è associato uno spazio di Hilbert H infinitodimensionale nel quale sono definiti sei operatori x̂, ŷ, ẑ, p̂x , p̂y , p̂z che soddisfano alle regole di commutazione x̂i , x̂j = 0, p̂i , p̂j = 0, x̂i , p̂j = i}δij e che costituiscono un sistema irriducibile in H . Alle coordinate cartesiane x, y, z della particella corrispondono gli operatori x̂, ŷ, ẑ. Alle componenti del momento lineare px , py , pz della particella corrispondono gli operatori p̂x , p̂y , p̂z . Gli operatori corrispondenti alle altre grandezze fisiche della particella sono funzioni (autoaggiunte) di x̂, ŷ, ẑ, p̂x , p̂y , p̂z . b) A uno spin di valore s è associato uno spazio di Hilbert H (2s + 1)–dimensionale nel quale sono definiti tre operatori ŝx , ŝy , ŝz che soddisfano alle regole di commutazione ŝx , ŝy = i} ŝz , ŝy , ŝz = i} ŝx , ŝz , ŝx = i} ŝy e che costituiscono un sistema irriducibile in H . Alle componenti sx , sy , sz dello spin corrispondono gli operatori ŝx , ŝy , ŝz . Gli operatori corrispondenti alle altre grandezze fisiche del sistema di spin sono funzioni (autoaggiunte) di ŝx , ŝy , ŝz . Nota Il principio C relativo ai sistemi composti rimane inalterato. 8 11/3 IRRIDUCIBILITÀ NELLO SPAZIO DI HILBERT 10/11 APPENDICE Teorema sull’irriducibilità in uno spazio prodotto Sia {A(1) } un set irriducibile di operatori nello spazio di Hilbert H (1) e {A(2) } un set irriducibile di operatori nello spazio di Hilbert H (2) . Allora, considerato lo spazio di Hilbert H = H (1) ⊗ H (2) , il set di operatori in H {{A(1) ⊗ I (2) }, {I (1) ⊗ A(2) }} è irriducibile. Ovvero, nell’ipotesi che non esistano in H (1) sottospazi propri invarianti per tutti gli A(1) e non esistano in H (2) sottospazi propri invarianti per tutti gli A(2) , non esistono in H sottospazi propri invarianti per tutti gli A(1) ⊗ I (2) e I (1) ⊗ A(2) . Sottospazi (1) (2) Siano {|ei i} e {|ej i} basi ortonormali in H (1) e H (2) rispettivamente. Considerato un sottospazio Hs di H , i suoi elementi si scrivono (1) X ij (2) sij |ei i|ej i, dove combinazioni lineari di matrici sij sono ancora matrici sij . X (1) (1) Per ogni j i vettori sij |ei i costituiscono un sottospazio Hj di H (1) , i X (2) (2) per ogni i i vettori sij |ej i costituiscono un sottospazio Hi di H (2) . j Lemma Se Hs è un sottospazio proprio di H , (1) almeno uno dei sottospazi Hj , Hi (2) è un sottospazio proprio del rispettivo spazio. 9 11/3 IRRIDUCIBILITÀ NELLO SPAZIO DI HILBERT 10/11 Dimostrazione del lemma (1) Supponiamo per assurdo che tutti i sottospazi Hj , Hi (2) siano non propri, (1) = H (1) oppure H 0 Hi (2) = H (2) oppure H 0 . Supponiamo che per qualche i sia Hi (2) =H0 ; allora, per quegli i sij = 0 per ogni j, ovvero, per ogni j sij = 0 per quegli i, quindi, per ogni j, Hj quindi, per ogni j, Hj quindi, per ogni j, sij = 0 per ogni i, cioè Hs = H0 , contrariamente all’ipotesi del lemma. cioè, per ogni j, Hj e, per ogni i, (1) (2) (2) (1) 6= H (1) , (1) =H0 , (1) Allora, per l’ipotesi assurda, deve essere, Hi per ogni i, (2) = H (2) ; ne segue che per ogni vettore di H possiamo scrivere (1) X ij (2) cij |ei i|ej i = X i X X (1) X X (1) (2) (2) (1) (2) |ei i cij |ej i = |ei i sij |ej i = sij |ei i|ej i, j i j ij Hs = H , contrariamente all’ipotesi del lemma. cioè Dimostrazione del teorema Supponiamo per assurdo che esista un sottospazio proprio Hs di H invariante per l’azione di tutti gli operatori A(1) ⊗ I (2) , I (1) ⊗ A(2) . Sia Hs costituito dai vettori X ij (1) (2) sij |ei i|ej i. Poiché Hs è invariante per I (1) ⊗ A(2) , si ha X (1) (2) s0ij |ei i|ej i ij X (1) (2) I (1) ⊗ A(2) sij |ei i|ej i = e d’altra parte ij X (1) (2) sij |ei i A(2) |ej i, ij da cui per ogni i X (2) s0ij |ej i j X (2) sij A(2) |ej i = e d’altra parte j X (2) A(2) sij |ej i, j e quindi ogni sottospazio Hi (2) è invariante per tutti gli A(2) . (1) Analogamente, ogni sottospazio Hj è invariante per tutti gli A(1) . Per il lemma, (1) uno dei sottospazi Hj , Hi (2) è sicuramente proprio, contrariamente all’ipotesi del teorema. 10 11/3 IRRIDUCIBILITÀ NELLO SPAZIO DI HILBERT 10/11 Teorema di Stone e von Neumann Se {x̂, k̂} e {x̂0 , k̂ 0 } sono due sistemi di operatori che agiscono rispettivamente negli spazi di Hilbert H e H 0 , che soddisfano rispettivamente alle regole di commutazione 0 0 x̂, k̂ = i e x̂ , k̂ = i , che sono ciascuno irriducibile nel rispettivo spazio di Hilbert, −−−T− −→ allora esiste un isomorfismo H ←− −− H 0 tale che T −1 x̂0 = T x̂ T −1 , k̂ 0 = T k̂ T −1 . T è determinato a meno di un fattore numerico di modulo 1. Dimostrazione (disinvolta) Nello spazio H consideriamo gli operatori a = √1 (α x̂ + αi k̂), 2 a+ = √1 (α x̂ − αi k̂), 2 per i quali si ha + a,a = 1, a+a,a+ = a+ , + a a,a = −a. Gli autovettori e autovalori di a+ a costituiscono catene del tipo autovettori |u0 i, |u1 i, autovalori 0, 1, a |u0 i = 0, a+ |un i = . . . , |un i, ... ..., ... n, definite da √ n + 1 |un+1 i, da cui segue anche √ a |un i = n |un−1 i, e tutti gli autovettori di una catena sono normalizzati supponendo |u0 i normalizzato. Poiché √ 1 √1 √n + 1 |u x̂ |un i = α n |un−1 i , n+1 i + 2 √ √ k̂ |un i = iα √1 n + 1 |un+1 i − n |un−1 i , 2 il sottospazio generato da una catena di autovettori è invariante per x̂, p̂. Per l’assunta irriducibilità del set x̂, k̂, esiste quindi una sola catena. Per il carattere autoaggiunto dell’operatore a+a gli autovettori {|un i} dell’unica catena costituiscono un set ortonormale completo. 11 11/3 IRRIDUCIBILITÀ NELLO SPAZIO DI HILBERT 10/11 Nello spazio H 0 costruiamo analogamente (usando lo stesso α) un set ortonormale completo {|un i0 } per il quale √ 1 √1 √n + 1 |u 0 x̂0 |un i0 = α n |un−1 i0 , n+1 i + 2 √ √ k̂ 0 |un i0 = iα √1 n + 1 |un+1 i0 − n |un−1 i0 , 2 −−−T− −→ La corrispondenza lineare biunivoca H ←− −− H 0 definita da T −1 |un i0 = T |un i è ovviamente un isomorfismo per il quale x̂0 = T x̂ T −1 , k̂ 0 = T k̂ T −1 . T è determinato a meno di una fase arbitraria conseguenza delle fasi arbitrarie in |u0 i e |u00 i. Nota Si dimostra facilmente che, se S è un isomorfismo altrimenti costruito per il quale x̂0 = S x̂ S −1 , k̂ 0 = S k̂ S −1 , S differisce da T al più per un fattore di fase. Infatti, posto |vn i0 = S|un i, si ha a0 |v0 i0 = SaS −1 S|u0 i = Sa|u0 i = 0, e quindi |v0 i0 = exp(ic) |u0 i0 ; inoltre a0+ |vn i0 = Sa+ S −1 S|un i = Sa+ |un i = Pertanto |vn i0 = exp(ic) |un i0 e quindi S = exp(ic) T. √ n + 1 S|un+1 i = √ n + 1 |vn+1 i0 . 12 11/3 IRRIDUCIBILITÀ NELLO SPAZIO DI HILBERT 10/11 Teorema analogo per gli operatori di spin Se {ŝx , ŝy , ŝz } e {ŝx0 , ŝy0 , ŝz0 } sono due sistemi di operatori che agiscono rispettivamente negli spazi di Hilbert H e H 0 di uguali dimensioni, che soddisfano rispettivamente alle regole di commutazione ŝx , ŝy = iŝz , ŝy , ŝz = iŝx , ŝz , ŝx = iŝy e 0 0 ŝx , ŝy = iŝz0 , 0 0 ŝy , ŝz = iŝx0 , 0 0 ŝz , ŝx = iŝy0 , che sono ciascuno irriducibile nel rispettivo spazio di Hilbert, −−−T− −→ allora esiste un isomorfismo H ←− −− H 0 tale che T −1 ŝx0 = T ŝx T −1 , ŝy0 = T ŝy T −1 , ŝz0 = T ŝz T −1 . T è determinato a meno di un fattore numerico di modulo 1. La dimostrazione è analoga a quella data per il teorema di Stone e von Neumann. I due spazi di Hilbert H e H 0 hanno necessariamente dimensioni finite. 13