În mecanica cuantică , sutien-ket notație, de asemenea , cunoscut sub numele de Dirac notație sau Diracformalismul, este o notație introdusă de fizicianul britanic și matematician Paul Dirac pentru a descrie o stare cuantică[1] . Este folosit în general în matematică pentru a desemna abstracte vectori într - un liniarspațiu funcțional , spațiul Hilbert .
În derivă numele din faptul că produsul scalar a două state {\ displaystyle \ phi} Și {\ displaystyle \ psi} este notat cu un suport {\ Displaystyle \ Langle \ phi | \ psi \ rangle} format din două părți: stânga {\ Displaystyle \ Langle \ phi |} numit sutien, iar pe partea dreapta {\ displaystyle | \ psi \ rangle} , Numit ket. Un stat TGE descrie complet o stare cuantică.
În mecanica cuantică și în reprezentarea Dirac, fiecare stare este asociată cu un vector de stat notat prin {\ Displaystyle | \ cdot \ rangle} în spațiul abstract Hilbert {\ displaystyle {\ mathcal {H}}} . Acest spațiu este în primul rând un spațiu vectorial , adică, în cazul în care {\ Displaystyle | \ alpha \ rangle, | \ beta \ rangle \ în {\ mathcal {H}}} :
{\ Displaystyle a | \ alpha \ rangle + b | \ beta \ rangle \ în {\ mathcal {H}}}
unde este {\ displaystyle a, b \ in \ mathbb {C}} , Această proprietate trebuie să fie valabil pentru principiul superpoziției . Proprietățile care decurg în mod direct din faptul că {\ displaystyle {\ mathcal {H}}} este un spațiu vectorial complex sunt:
În special, în cazul în care acestea există {\ Displaystyle | \ alpha _ {1} \ rangle, | \ alpha _ {2} \ rangle, ..., | \ alpha _ {n} \ rangle} vectori, ei sunt liniar independente dacă și numai dacă:
dacă, pe de altă parte, există coeficienți care nu sunt toți zero și dau un nul liniar combinație, atunci vectorii sunt dependente. Importanța de minciuni independență liniare în faptul că un set de vectori care generează spațiul vectorial, care este în fiecare {\ Displaystyle | \ alpha \ rangle \ în {\ mathcal {H}}} este inscriptibil ca:
unde este {\ Displaystyle | e_ {1} \ rangle, \ dots, | e_ {n} \ rangle} sunt vectori care generează spațiul {\ displaystyle {\ mathcal {H}}} . Dacă acești vectori sunt , de asemenea , liniar independente , atunci ele formează o bază în spațiu {\ displaystyle {\ mathcal {H}}} . Alegerea unei baze există o corespondență între:
unde este {\ displaystyle *} este operațiunea complexă de conjugare.
In plus, spatiul Hilbert este complet și separabilspațiu : aceste două proprietăți indică faptul că , în practică , există un set complet de vectori care formează o bază topologic numărabilă.
În mod similar cu cazul euclidian, putem alege o bază în complex spațiul Hilbert , spune o bază discretă:
starea ortonormalitate ( {\ displaystyle \ delta _ {ij}} este delta Kronecker ). Putem reprezenta întotdeauna orice vector de stat ca o combinație liniară de astfel de vectori ortonormate de bază, cu coeficienți complecși adecvați:
în cazul în care (*) reprezintă conjugarea complexă și coeficienții pot fi obținuți din {\ Displaystyle C_ {i} = \ Langle e_ {i} | \ alpha \ rangle} . Norma unui vector:
Aceste relații exprimă principiul superpoziției de stări cuantice: acest concept este pur cuantică și teoretice și dificil de interpretat: coeficienții {\ Displaystyle C_ {i} = \ Langle e_ {i} | \ alpha \ rangle} reprezintă amplitudinea probabilității , astfel încât modulul său pătrat reprezintă probabilitatea statului {\ displaystyle \ alpha} . În ceea ce privește dimensiunea probabilitate factorul {\ Displaystyle \ Langle e_ {i} | \ alpha \ rangle} are un anumit sens, dar în acest caz, baza aleasă trebuie să fie ortonormală, deoarece axioma de probabilitate trebuie să susțină că acesta trebuie să fie normalizat la unitate. În mod similar cu cazul geometrice putem defini produsul scalar al unui sutien {\ Displaystyle \ Langle \ psi |} și un TGE {\ displaystyle | \ varphi \ rangle} definite în ceea ce privește o bază ortonormală atribuit:
Dirac a propus să împartă termenul din partea stângă a expresiei în două părți, prima {\ Displaystyle \ left \ Langle \ psi \ dreapta |} numit sutien și al doilea {\ Displaystyle \ din stânga | \ varphi \ dreapta \ rangle} numit ket. Prin urmare, produsul scalar reprezintă într-un fel amplitudinea de probabilitate în cazul în care baza este reprezentativă ortonormală: în caz contrar modulul pătrat al amplitudinii de probabilitate nu are o semnificație imediată de probabilitate, dar este, în orice caz, proporțional cu probabilitatea.
Definim operatorul A o aplicație liniară , care reprezintă matematic orice obiect fizic care interacționează cu stările pe care le au în vedere, inclusiv echipamente experimentale, prin modificarea stării {\ displaystyle | \ psi \ rangle} și transformarea în stat {\ Displaystyle A | \ psi \ rangle} . Operatorul este complet definită dacă elementele sale sunt date cu privire la orice bază alegem {\ Displaystyle \ {| e_ {i} \ rangle \}} :
și așa mai departe, în cazul în care {\ A_ displaystyle {11} = \ Langle e_ {1} | A | e_ {1} \ rangle} . De fapt, operatorul este atribuit atunci când sunt cunoscute numerele:
de fapt, un operator care acționează asupra statului {\ displaystyle \ varphi} și îl transformă într-un alt stat {\ displaystyle \ psi} poate fi descrisă de:
Putem calcula apoi amplitudinea probabilității de trecere de la stat {\ Displaystyle A | \ psi \ rangle} La stat {\ displaystyle | \ varphi \ rangle} vom scrie {\ Displaystyle \ left \ Langle \ psi | A | \ varphi \ dreapta \ rangle} , De asemenea , numit matrice element A între ψ și φ. Prin descompunerea ψ și φ în stări de bază, putem calcula elementele de matrice {\ Displaystyle \ left \ Langle e_ {i} | A | e_ {j} \ dreapta \ rangle} putem calcula amplitudinile rezultate pe {\ displaystyle e_ {i}} din pasajul în A oricărui stat exprimat în {\ Displaystyle e_ {j}} .
Un caz particular al operatorului este operatorul de identitate , a cărei acțiune este de a părăsi vectorul de stat neschimbat:
a declarat relația completitudine: exprimă faptul că baza de vector trebuie să fie completă, adică, fiecare vector trebuie sa fie reprezentabile prin intermediul unui număr finit sau infinit de vectori de bază.
operatorii de produse
Operatorii care ne interesează sunt cele liniare, adică cei pentru care sunt valabile:
{\ Displaystyle A (| \ alpha \ rangle + | \ beta \ rangle) = A | \ alpha \ rangle + A | \ beta \ rangle}
{\ A displaystyle (a | \ alpha \ rangle) = aA | \ alpha \ rangle}
Acum, să presupunem că vom aplica, ulterior, doi operatori pe o stare inițială {\ displaystyle | \ varphi \ rangle} și final {\ Displaystyle \ Langle \ psi |} de obicei, definit într-o bază comună ortonormală:
{\ Displaystyle C = B \ cdot A}
apoi aplicarea ulterioară a celor doi operatori:
{\ Displaystyle \ Langle \ psi | C | \ varphi \ rangle = \ sum _ {i} \ Langle \ psi | B | e_ {i} \ rangle \ Langle e_ {i} | A | \ varphi \ rangle}
În acest caz, este întotdeauna posibil să se facă produsul a două matrici, deoarece numărul de rânduri de unul este întotdeauna egal cu numărul de coloane celuilalt, după cum sa văzut deja. Suntem capabili de a defini unele proprietăți indispensabile în mecanica cuantică pornind de la această matrice. Matricea obținută de la A prin schimbul de rânduri cu coloane se numește un operator transpus sau transpus matrice:
Putem spune că o matrice este real în cazul în care este egal cu conjugat său complex:
{\ displaystyle A = A ^ {*}} ,
noi spunem că este imaginar dacă are toate elementele imaginare, adică în cazul în care:
{\ Displaystyle A = -A ^ {*}} .
Un conjugat transpus sau o matrice conjugată hermitian este definită ca matricea obținută din A prin luarea elementelor transpuse A și luând complexele sale conjugate:
{\ Displaystyle (A \ cdot B) ^ {\ dagger} = B ^ {\ dagger} \ cdot A ^ {\ dagger}} .
Definim matricea inversă a A, matricea {\ displaystyle A ^ {- 1}} astfel încât:
{\ Displaystyle A \ cdot A ^ {- 1} = A ^ {- 1} \ cdot A = I}
Matricea inversă există numai dacă A este inversabilă : o condiție necesară și suficientă pentru A să fie inversabilă este ca determinant al matricei este diferit de zero. Apoi, matricea inversă este:
{\ Displaystyle A ^ {- 1} = {\ frac {| C |} {\ det A}}}
unde este {\ Displaystyle | C |} este matricea cofactori, obținută prin schimb fiecare element {\ Displaystyle A_ {ij}} cu determinantul submatricea obținut prin eliminarea i-lea rând și j-lea coloană. Se aplică la produsul:
{\ Displaystyle (A \ cdot B) ^ {- 1} = B ^ {- 1} \ cdot A ^ {- 1}}
Modificările de baze ortonormate sunt cele de interes în mecanica cuantică. Să presupunem că dorim să trecem de la baza ortonormală vechi {\ Displaystyle \ {| e_ {i} \ rangle \}} la noua bază ortonormală {\ Displaystyle \ {| f_ {i} \ rangle \}} . Apoi, trebuie să ne exprimăm elementele de bază vechi ca combinații liniare ale noii bază:
este numit produsul extern pentru a se distinge de produsul scalar, care este numit mai corect produsul intern. Produsul extern este un operator ale cărui elemente de matrice sunt reprezentate de:
Luați de exemplu , o particulă cu rotire 1/2, electron . Avem doar 2 stări de bază posibile: spin pe ( {\ Displaystyle | + \ rangle} ) Și spin în jos ( {\ Displaystyle | - \ rangle} ). Prin urmare, operatorul A ar fi
{\ Displaystyle \ din stânga \ Langle i | A | j \ dreapta \ rangle = \ stânga ({\ begin {matrix} {\ Langle + | A | + \ rangle}, {\ Langle + | A | - \ rangle} \ \ {\ Langle - | A | + \ rangle}, {\ Langle - | A | - \ rangle} \\\ end {matrix}} \ dreapta)}
Un operator special este acela al temporal evoluției. Dacă luăm în considerare electronul la momentul t 1 într - o anumită stare (+ sau -), va avea o anumită probabilitate de a fi, la un moment t2 ulterior primei, într - o anumită stare (+ sau -). Fiecare dintre cele patru posibilități vor fi reprezentate de notație matrice următoarea:
{\ Displaystyle \ din stânga \ Langle i | U (T_ {1}, T_ {2}) | j \ dreapta \ rangle = \ stânga ({\ begin {matrix} {\ Langle + | U (T_ {1}, T_ {2}) | + \ rangle}, {\ Langle + | U (T_ {1}, T_ {2}) | - \ rangle} \\ {\ Langle - | U (T_ {1}, T_ {2} ) | + \ rangle}, {\ Langle - | U (T_ {1}, T_ {2}) | - \ rangle} \\\ end {matrix}} \ dreapta)}
În fizică, mediul considerat atunci când se utilizează notația sutien-ket este un spațiu Hilbert .
Este {\ displaystyle {\ mathcal {H}}} un spațiu Hilbert e {\ displaystyle (\ cdot, \ cdot)} produsul său intern. Un vector {\ Displaystyle h \ în {\ mathcal {H}}} este notat ca ket {\ Displaystyle | h \ rangle \ în {\ mathcal {H}}} în fizică. Este {\ Displaystyle {\ mathcal {H}} ^ {*}}spațiul dublu de {\ displaystyle {\ mathcal {H}}} . De sine {\ displaystyle {\ mathcal {H}}} este spațiu finit-dimensional sau dublă {\ Displaystyle {\ mathcal {H}} ^ {*}} este de asemenea topologice, pentru reprezentarea teorema lui Riesz există un izomorfism {\ J displaystyle: {\ mathcal {H}} \ rightarrow {\ mathcal {H}} ^ {*}} , Adică, orice funcțională liniară {\displaystyle \phi \in {\mathcal {H}}^{*}} si può scrivere nella forma
mediante un unico {\displaystyle g\in {\mathcal {H}}} , e per tale motivo si può scrivere {\displaystyle \phi =\phi _{g}} . L'elemento duale {\displaystyle \phi _{h}\in {\mathcal {H}}^{*}} è denotato con bra {\displaystyle \langle h|\in {\mathcal {H}}^{*}} in fisica. Quindi la scrittura {\displaystyle \langle h|g\rangle } corrisponde alle notazioni matematiche {\displaystyle (\phi _{h},g)=\phi _{h}(g)=(h,g)} .