Notare Bra-ket

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare

În mecanica cuantică , notația bra-ket , cunoscută și sub denumirea de Dirac sau formalismul Dirac , este o notație introdusă de fizicianul și matematicianul britanic Paul Dirac pentru a descrie o stare cuantică [1] . Este folosit mai general în matematică pentru a desemna vectori abstracte într-un spațiu funcțional liniar , spațiul Hilbert .

Numele derivă din faptul că produsul punct al două stări Și este notat cu o paranteză format din două părți: stânga numit sutien și partea dreaptă , numit ket . O stare ket descrie complet o stare cuantică.

Spațiul Hilbert

Pictogramă lupă mgx2.svg Același subiect în detaliu: spațiul Hilbert .

În mecanica cuantică și în reprezentarea Dirac, fiecare stare este asociată cu un vector de stare notat cu în spațiul abstract Hilbert . Acest spațiu este în primul rând un spațiu vector , adică dacă :

unde este , această proprietate trebuie să fie valabilă pentru principiul suprapunerii . Proprietăți care derivă direct din faptul că este un spațiu vectorial complex sunt:

În special, dacă există vectori, sunt liniar independenți dacă și numai dacă:

dacă, pe de altă parte, există coeficienți care nu sunt toți zero și dau o combinație liniară nulă, atunci vectorii sunt dependenți. Importanța independenței liniare constă în faptul că un set de vectori care generează spațiul vectorial care este fiecare se poate scrie ca:

unde este sunt vectorii care generează spațiul . Dacă acești vectori sunt, de asemenea, liniari independenți, atunci formează o bază în spațiu . Alegerea unei baze există o corespondență între:

între vector și coeficienții săi din acea bază.

Spațiul Hilbert este, de asemenea, un spațiu euclidian pentru care în notația Dirac proprietățile tipice ale produsului interior dețin:

  • Și

unde ultima proprietate este definiția normei . Norma unui vector este reală și este indicată:

Aceste proprietăți indică pentru un spațiu complex că:

unde este este operația de conjugare complexă.

Mai mult, spațiul Hilbert este un spațiu complet și separabil : 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 spațiul Hilbert complex, să spunem o bază discretă:

cu:

starea ortonormalității ( este delta Kronecker ). Putem reprezenta oricând orice vector de stare ca o combinație liniară a unor astfel de vectori ortonormali de bază cu coeficienți complexi adecvați:

în mod similar pentru orice sutien:

unde (*) reprezintă conjugarea complexă și din care se pot obține coeficienții . Norma unui vector:

Observăm că orice set de bază poate fi plasat în formă ortonormală cu procedura Gram-Schmidt.

În mod formal, ket și sutien pot fi reprezentate prin matrici unicolonare de tipul:

Vedem că există o dublă corespondență între sutien și ket:

Aceste relații exprimă principiul suprapunerii stărilor cuantice: acest concept este pur cuantic și teoretic și dificil de interpretat: coeficienții reprezintă amplitudinea probabilității astfel încât modulul său pătrat să reprezinte probabilitatea stării . În ceea ce privește magnitudinea probabilității, factorul are un sens special, dar în acest caz baza aleasă trebuie să fie ortonormală, deoarece axioma probabilității trebuie să susțină că trebuie normalizată la unitate. În mod similar cu cazul geometric, putem defini produsul scalar al unui sutien și un ket definit cu privire la o bază ortonormală atribuită:

În mod formal, acesta poate fi exprimat și ca produs al vectorului de rând și al vectorului de coloană:

sau alternativ, folosind coeficienții:

Dirac a propus să împartă termenul din stânga expresiei în două părți, prima numit sutien și al doilea numit ket . Prin urmare, produsul scalar reprezintă într-un fel amplitudinea probabilității dacă baza reprezentativă este ortonormală: altfel modulul pătrat al amplitudinii probabilității nu are o semnificație imediată a probabilității, dar este în orice caz proporțională cu probabilitatea.

Operatori

Pictogramă lupă mgx2.svg Același subiect în detaliu: Observabil .

Definim operatorul A o aplicație liniară care reprezintă matematic orice obiect fizic care interacționează cu stările pe care le luăm în considerare, inclusiv echipamente experimentale, prin modificarea stării și transformându-l în stat . Operatorul A este complet definit dacă elementele sale sunt date în raport cu orice bază pe care o alegem :

și așa mai departe, unde . De fapt, operatorul este atribuit atunci când numerele sale sunt cunoscute:

de fapt un operator care acționează asupra statului și îl transformă într-o altă stare poate fi descris de:

Să vedem mai întâi cum acționează un operator pe un ket de stat care este, de asemenea, reprezentat în aceeași bază:

în același mod în care operatorul acționează asupra unui sutien:

Deci formal un operator este bine reprezentat de o matrice :

Putem calcula apoi amplitudinea probabilității de trecere din stare La stat vom scrie , numit și element matricial al lui A între ψ și φ . Prin descompunerea ψ și φ în stări de bază, putem calcula elementele matricei putem calcula amplitudinile rezultate pe din pasajul în A al oricărei stări exprimate în .

Un caz particular de operator este operatorul de identitate , a cărui acțiune este de a lăsa vectorul de stare neschimbat:

folosind operatorul de identitate vedem că putem exprima vectorii de bază:

relația de completitudine menționată: exprimă faptul că baza vectorială trebuie să fie completă, adică fiecare vector trebuie să fie reprezentabil prin intermediul unui număr finit sau infinit de vectori de bază.

Produsul operatorilor

Operatorii care ne interesează sunt cei liniari, adică cei pentru care sunt valabili:

Acum, să presupunem că vom aplica ulterior doi operatori pe o stare inițială și final definite de obicei într-o bază comună ortonormală:

apoi aplicarea ulterioară a celor doi operatori:

sau:

Elementele lui C pot fi scrise compact:

Rețineți că, în general, produsul a doi operatori nu este comutativ :

iar acest fapt impune o serie de consecințe notabile în mecanica cuantică.

Operatori și matrici

Un operator liniar poate fi reprezentat cu o matrice. Să luăm cazul unei matrice pătrate asa de:

În acest caz, este întotdeauna posibil să se producă produsul a două matrice, deoarece numărul de rânduri al unuia este întotdeauna egal cu numărul de coloane ale celuilalt, așa cum am văzut deja. Suntem capabili să definim câteva proprietăți indispensabile în mecanica cuantică pornind de la această matrice. Matricea obținută din A prin schimbul de rânduri cu coloane se numește operator transpus sau matrice transpusă :

Dacă o matrice este egală cu transpunerea sa, se spune că este simetrică :

,

dacă în schimb este egală cu matricea schimbată în semn se spune că este antisimetrică :

.

Se aplică produsului:

.

O matrice complexă conjugată este definită ca matricea obținută din A cu elemente complexe conjugate:

Putem spune că o matrice este reală dacă este egală cu conjugatul său complex:

,

spunem că este imaginar dacă are toate elementele imaginare, adică dacă:

.

O matrice conjugată transpusă sau o matrice conjugată hermitiană este definită ca matricea obținută din A luând elementele transpuse ale lui A și luând complexele sale conjugate:

Matricea Hermitiană (sau auto-adăugată ) este definită ca matricea care are:

și anti-hermitiană pentru care:

Pentru produsul a două matrice:

.

Definim matricea inversă a lui A, matricea astfel încât:

Matricea inversă există numai dacă A este inversabilă : o condiție necesară și suficientă pentru ca A să fie inversabilă este ca determinantul matricei să fie diferit de zero. Atunci matricea inversă este:

unde este este matricea cofactorilor, obținută prin schimbul fiecărui element cu determinantul submatricii obținut prin ștergerea rândului i și a coloanei j. Se aplică produsului:

O matrice unitară este definită ca matrice astfel încât:

Schimbarea bazelor ortonormale

Pictogramă lupă mgx2.svg Același subiect în detaliu: matrice de schimbare de bază .

Schimbările bazelor ortonormale sunt cele de interes în mecanica cuantică. Să presupunem că vrem să trecem de la vechea bază ortonormală la noua bază ortonormală . Atunci trebuie să exprimăm elementele bazei vechi ca combinații liniare ale noii baze:

pentru orice set de numere . Rețineți că sunt transpuse. Compact:

Produs extern

Vedem că, în general, este posibil un alt tip de produs, cel reprezentat de:

se numește produs extern pentru a-l distinge de produsul scalar care este mai corect denumit produs intern. Produsul extern este un operator ale cărui elemente matrice sunt reprezentate de:

Exemple

Luați de exemplu o particulă cu spin 1/2, electronul . Avem doar 2 stări de bază posibile: rotiți pe ( ) și rotiți în jos ( ). Prin urmare, operatorul A ar fi

Un operator particular este cel al evoluției temporale . 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 t 2 ulterior primului, într-o anumită stare ( + sau - ). Fiecare dintre cele patru posibilități va fi reprezentată de următoarea notație matricială:

Limita pentru t 1 → -∞ și t 2 → + ∞ este un caz special: în acest caz operatorul de evoluție a timpului se numește matrice S (din împrăștiere ) și introduce teoria propagatorilor .

Notarea în matematică

În fizică, mediul luat în considerare atunci când se utilizează notația bra-ket este un spațiu Hilbert .

Este un spațiu Hilbert e produsul său intern. Un vector este notat ca ket în fizică. Este spațiul dual al . De sine este spațiu finit-dimensional sau dual este și topologic, pentru teorema reprezentării Riesz există un izomorfism , adică orice funcțional liniar si può scrivere nella forma

mediante un unico , e per tale motivo si può scrivere . L'elemento duale è denotato con bra in fisica. Quindi la scrittura corrisponde alle notazioni matematiche .

Note

  1. ^ PAM Dirac, A new notation for quantum mechanics , in Proceedings of the Cambridge Philosophical Society , vol. 35, 1º gennaio 1939, p. 416, DOI : 10.1017/S0305004100021162 . URL consultato il 26 novembre 2016 .

Voci correlate

Simboli HTML

Nel linguaggio HTML , i simboli per il bra e il ket sono codificati da ⟨ e ⟩, e corrispondono ai codici #9001 e #9002

Altri progetti

Fisica Portale Fisica : accedi alle voci di Wikipedia che trattano di Fisica