Notazione bra-ket
Da Wikipedia, l'enciclopedia libera.
La comprensione ottimale dell'argomento trattato in questa voce presuppone la conoscenza dei seguenti concetti: |
La notazione bra-ket è una notazione usata in meccanica quantistica per descrivere uno stato quantistico. Essa può essere usata anche più in generale in matematica per denotare vettori astratti in uno spazio funzionale lineare: lo spazio di Hilbert. Il nome deriva dal fatto che il prodotto scalare di due stati è denotato con una bracket, , consistente in due parti, la sinistra chiamata bra, e la parte destra , chiamata ket. La notazione fu introdotta da Paul Dirac, ed è anche conosciuta come notazione di Dirac. Un ket di stato descrive completamente uno stato quantistico, quindi esso contiene tutte le informazioni circa lo stato di un sistema quantistico.
Indice |
[modifica] Spazio di Hilbert
In meccanica quantistica e nella rappresentazione di Dirac ad ogni stato è associato un vettore di stato indicato con nello spazio di Hilbert astratto . Questo spazio è innanzitutto uno spazio vettoriale, cioè se :
dove , questa proprietà deve essere valida per il principio di sovrapposizione. Proprietà che derivano direttamente dal fatto che è uno spazio vettoriale complesso sono:
In particolare se esistono vettori essi sono linearmente indipendenti se e solo se:
implica che:
- c1 = c2 = ... = cn = 0
Lo spazio di Hilbert è anche uno spazio euclideo per cui nella notazione di Dirac valgono le proprietà:
dove nell'ultima proprietà l'uguaglianza vale solo se , è la definizione di norma. Queste implicano anche che:
dove * è l'operazione di coniugazione complessa.
Inoltre lo spazio di Hilbert è uno spazio completo e separabile: queste due proprietà indicano che in pratica esiste un insieme completo di vettori che formano una base numerabile.
Analogamente al caso euclideo, possiamo scegliere una base nello spazio di Hilbert complesso, diciamo una base discreta:
con:
condizione di ortormalità (δij è il simbolo di Kronecker). Possiamo rappresentare un qualsiasi vettore di stato come combinazione lineare di tali vettori di base con opportuni coefficienti complessi:
analogamente per un bra qualsiasi:
dove (*) rappresenta la coniugazione complessa. Formalmente i ket e i bra si possono rappresentare mediante matrici unicolonnari del tipo:
Vediamo che esiste una corrispondenza duale tra bra e ket:
Queste relazioni esprimono il principio di sovrapposizione degli stati quantistici: questo concetto è puramente quantistico e teorico e di difficile interpretazione: i coefficienti rappresentano l'ampiezza di probabilità in modo che il suo modulo quadro rappresenti la probabilità dello stato α. In termini di ampiezza di probabilità il fattore ha un significato particolare, ma in tal caso la base scelta deve essere ortonormale poiché deve valere l'assioma della probabilità che essa deve essere normalizzata all'unità. Analogamente al caso geometrico si può definire il prodotto scalare tra un bra e un ket definito rispetto ad una base ortonormale assegnata:
Formalmente esso si può anche esprimere come prodotto tra vettore riga e vettore colonna:
o in alternativa, usando i coefficienti:
Dirac propose di scindere il termine a sinistra dell'espressione in due parti, la prima detta bra e e la seconda detta ket. Il prodotto scalare quindi rappresenta in qualche modo l'ampiezza di probabilità se la base rappresentativa è ortonormale: in caso contrario il modulo quadro dell'ampiezza di probabilità non ha un significato immediato di probabilità, ma è comunque proporzionale alla probabilità.
[modifica] Operatori
Definiamo l'operatore A un'applicazione lineare che rappresenta matematicamente un qualsiasi oggetto fisico che interagisca con gli stati che stiamo considerando, comprese le apparecchiature sperimentali, modificando lo stato e trasformandolo nello stato . L'operatore A è completamente definito se sono dati i suoi elementi rispetto ad una base qualsiasi. Scegliamo tale base come allora l'operatore è assegnato quando se ne conoscono i numeri:
infatti un operatore che agisce sullo stato e lo trasforma in un altro stato ψ è descrivibile da:
Vediamo innanzitutto come agisce un operatore su un ket di stato anch'esso rappresentato nella stessa base:
allo stesso modo l'operatore agisce su un bra:
Per cui formalmente un operatore è ben rappresentato da una matrice :
Possiamo quindi calcolare l'ampiezza di probabilità di passare dallo stato allo stato scriveremo , detto anche elemento di matrice di A fra ψ e φ. Scomponendo ψ e φ in stati base, possiamo calcolare gli elementi di matrice possiamo calcolare le ampiezze risultanti su i dal passaggio in A di qualunque stato espresso in j.
Un caso particolare di operatore è l'operatore identità, la cui azione è quella di lasciare invariato il vettore di stato:
usando l'operatore identità vediamo che possiamo esprimere i vettori di base:
detta relazione di completezza: essa esprime il fatto che la base di vettori deve essere completa cioè ogni vettore deve essere rappresentabile mediante un numero finito o infinito di vettori di base.
[modifica] Prodotto di operatori
Supponiamo di applicare successivamente due operatori su uno stato iniziale e finale al solito definiti in una base comune ortonormale:
allora la successiva applicazione dei due operatori:
oppure:
Per approfondire, vedi la voce Commutatore. |
Da notare che in generale il prodotto di due operatori non è commutativo:
e questo fatto impone una serie di notevoli conseguenze in meccanica quantistica.
[modifica] Prodotto esterno
Vediamo che in generale è possibile un altro tipo di prodotto, quello rappresentato da:
esso è chiamato prodotto esterno per distinguerlo dal prodotto scalare che più propriamente è detto prodotto interno. Il prodotto esterno è un operatore i cui elementio di matrice sono rappresentati da:
[modifica] Esempi
Prendiamo ad esempio una particella con spin 1/2, l'elettrone. Abbiamo solo 2 possibili stati base: spin su () e spin giù (). L'operatore A sarebbe dunque
Un operatore particolare è quello di evoluzione temporale. Se consideriamo l'elettrone al tempo t1 in un determinato stato (+ o -), esso avrà una certa probabilità di trovarsi, in un tempo t2 successivo al primo, in un certo stato (+ o -). Ciascuna delle quattro possibilità verrà rappresentata dalla seguente notazione matriciale:
Il limite per t1 → -∞ e t2 → +∞ è un caso particolare: in questo caso l'operatore di evoluzione temporale viene detto matrice S (da scattering) ed introduce alla teoria dei propagatori.
[modifica] Voci correlate
[modifica] Simboli HTML
Nel linguaggio HTML, i simboli per il bra e il ket sono codificati da 〈 e 〉, e corrispondono ai codici #9001 e #9002 〈 e 〉
- Portale Fisica: accedi alle voci di Wikipedia che parlano di Fisica