Il formalismo della meccanica quantistica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Continuo lezione |
Inizio stesura nuovo paragrafo su notazione di Dirac |
||
Riga 3:
==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 <math>\psi (\mathbf{r} , t)</math>, e che il suo modulo al quadrato, <math>| \psi (\mathbf{r} , t) | ^{2}</math>, rappresenta la densità di probabilità di trovare la particella nell'elemento di volume <math>d^{3}r</math> al tempo <math>t</math>.
<math>\int | \psi (\mathbf{r} , t) | ^{2} d^3r = 1</math>
intendendo come dominio di integrazione tutto lo spazio. Tale sottospazio di <math>L^2</math> viene indicato con <math>\mathfrak{F}</math> e costituisce uno spazio vettoriale.
Date due funzioni d'onda <math>\psi_1 (\mathbf{r})</math> e <math>\psi_2 (\mathbf{r})</math> di <math>\mathfrak{F}</math> è definito il loro '''prodotto scalare''': <math>(\phi_1 , \phi_2 ) = \int {\phi_1^*}(\mathbf{r}) \phi_2(\mathbf{r}) d^3r</math>
Line 19 ⟶ 21:
Si può facilmente dimostrare che il prodotto scalare in <math>\mathfrak{F}</math> è una forma sesquilineare, ovvero lineare rispetto al primo argomento e antilineare rispetto al secondo argomento. Il prodotto scalare in <math>\mathfrak{F}</math> induce la norma:
<math> \sqrt{(\phi, \phi)} = \sqrt{\int |\
che è evidentemente un numero reale, non negativo.
Due vettori di <math>\mathfrak{F}</math> sono detti ortogonali se il loro prodotto scalare è nullo.
===Operatori===
===Basi ortonormali===
==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 <math>\mathcal{E}_r</math>.
Gli elementi di <math>\mathcal{E}</math>, detto '''spazio del sistema''', sono detti '''(vettori) ket''' e indicati con un simbolo distintivo racchiuso tra i seguenti segni grafici "<math>| \rangle</math>". Ad esempio, questo è un ket: <math>| \phi \rangle</math>.
Dunque quello che si fa è associare ad ogni ket una funzione d'onda al quadrato sommabile:
<math>| \phi \rangle \in \mathcal{E}_r \iff \phi(\mathbf{r}) \in \mathfrak{F}</math>
cosicché <math>\mathfrak{F}</math> e <math>\mathcal{E}_r</math> 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.
|