Il formalismo della meccanica quantistica

Spazio delle funzioni d'onda

Nelle lezioni precedenti si è puntualizzato il fatto che lo stato di una particella in meccanica quantistica è descritto da una funzione d'onda $\psi (𝐫,t)$, e che il suo modulo al quadrato, $|\psi (𝐫,t){|}^2$, rappresenta la densità di probabilità di trovare la particella nell'elemento di volume $d^{3}r$ al tempo $t$. Da tale interpretazione probabilistica segue necessariamente che lo spazio delle funzioni d'onda dev'essere un sottoinsieme di $L^2$. Infatti, la probabilità di trovare la particella nello spazio dev'essere uguale a 1 e dunque deve risultare:

$\int |\psi (𝐫,t){|}^2{d}^{3}r=1$

intendendo come dominio di integrazione tutto lo spazio. Tale sottospazio di $L^2$ viene indicato con $𝔉$ e costituisce uno spazio vettoriale.

Date due funzioni d'onda ${\psi }_1(𝐫)$ e ${\psi }_2(𝐫)$ di $𝔉$ è definito il loro prodotto scalare:

$({\varphi }_1,{\varphi }_2)=\int {\varphi }_1^{*}(𝐫){\varphi }_2(𝐫)d^{3}r$

dove con ${\varphi }_1^{*}$ si intende il complesso coniugato di ${\varphi }_1$.

Tale prodotto scalare gode di alcune semplici proprietà. Innanzitutto:

$({\varphi }_1,{\varphi }_2)=({\varphi }_2,{\varphi }_1{)}^{*}$

Si può facilmente dimostrare che il prodotto scalare in $𝔉$ è una forma sesquilineare, ovvero lineare rispetto al primo argomento e antilineare rispetto al secondo argomento. Il prodotto scalare in $𝔉$ induce la norma:

$\sqrt{(\varphi ,\varphi )}=\sqrt{\int |{\psi }^2(𝐫)|d^{3}r}$

che è evidentemente un numero reale, non negativo.

Due vettori di $𝔉$ sono detti ortogonali se il loro prodotto scalare è nullo.

Notazione di Dirac e spazio di stato

Per semplificare la scrittura e generalizzare l'utilizzo dei vettori, si introduce la notazione di Dirac. Per tale motivo ad ogni particella viene associato un vettore di stato, il quale appartiene ad uno spazio astratto detto spazio di stato della particella e indicato con ${ℰ}_r$.

Gli elementi di $ℰ$, detto spazio del sistema, sono detti (vettori) ket e indicati con un simbolo distintivo racchiuso tra i seguenti segni grafici "$|⟩$". Ad esempio, questo è un ket: $|\varphi ⟩$.

Dunque quello che si fa è associare ad ogni ket una funzione d'onda al quadrato sommabile:

$|\varphi ⟩\in {ℰ}_r⟺\varphi (𝐫)\in 𝔉$

cosicché $𝔉$ e ${ℰ}_r$ risultano essere due spazi isomorfi. Da questo consegue che il prodotto scalare tra due ket coincide esattamente col prodotto scalare delle rispettive funzioni d'onda associate.