Diracov zapis

(Preusmerjeno s strani Zapis bra–ket)

Diracov zapis je v fiziki in še posebej v kvantni mehaniki priročen zapis za označevanje kvantnomehanskih stanj, ki ga je leta 1939 uspešno uvedel angleški fizik Paul Adrien Maurice Dirac.[1][2][3] V njem se skalarni produkt dveh kvantnomehanskih stanj označuje z oznako . Leva stran »« se imenuje bra (okle), desna »« pa ket (paj), kar da skupaj bra(c)ket (angleško oklepaj). Zapis za konstrukcijo »brajev« in »ketov« rabi lomljena oklepaja, uklepaj »« in zaklepaj »«, ter navpičnico »«:

  • ket ima obliko »«. Matematično označuje vektor v abstraktnem (kompleksnem) vektorskem prostoru , fizično pa predstavlja poljubno kvantnomehansko stanje.
  • bra ima obliko »« in matematično predstavlja linearni funkcional , to je linearno preslikavo, ki preslika vsak vektor v v število na kompleksni ravnini .

Če linearni funkcional deluje na vektor , se to zapiše kot . Na je definiran skalarni produkt z antilinearnim prvim argumentom, zaradi česar je Hilbertov prostor.[a] S tem skalarnim produktom se lahko vsak vektor poistoveti z odgovarjajočim linearnim funkcionalom, tako da se ga postavi v antilinearno prvo mesto notranjega produkta: . Korespondenca med tema zapisoma je potem . Linearni funkcional je kovektor vektorja , množica vseh kovektorjev pa tvori dualni vektorski prostor k začetnemu vektorskemu prostoru . Smisel tega linearnega funkcionala se lahko sedaj razume s pomočjo tvorjenja projekcij na stanje , s čimer se lahko najde kako sta dve stanji linearno odvisni ipd. Za vektorski prostor lahko keti predstavljajo stolpične vektorje, braji pa vrstične vektorje. Kombinacije brajev, ketov in operatorjev se predstavi s pomočjo matričnega množenja. Če ima standardni hermitski notranji produkt , ima pri takšnem poistovetenju poistovetenje ketov in brajev, ter obratno z notranjim produktom, hermitsko konjugirano obliko . V splošnem Diracov zapis omogoča lažjo vizualno predstavitev bolj zapletenih izrazov – je skalar, je operator, je vektor iz obravnavanega prostora, pa vektor (linearni fukcional) iz njegovega dualnega prostora. Pri tem se ustrezni medseboj dualni objekti označujejo z enako črko.[5]

Velikokrat se vektor ali funkcional v Diracovem zapisu opuščata in se znotraj tipografije za braje in kete rabi le oznaka. Na primer operator spina na dvorazsežnem prostoru spinorjev ima lastne vrednosti ½ z lastnimi spinorji . V Diracovem zapisu se to tipično označi kot in . Kakor zgoraj se keti in braji z enako oznako obravnavajo kot keti in braji, ki odgovarjajo drug drugemu s pomočjo notranjega produkta. Še posebej kadar so poistoveteni z vrstičnimi in stolpičnimi vektorji, se keti in braji z enakimi oznakami poistovetijo s hermitsko transponiranimi (konjugiranimi) stolpičnimi in vrstičnimi vektorji.

Predhodnika Diracovega zapisa predstavlja zapis Hermanna Güntherja Grassmanna skoraj 100 let pred tem.[6][7]

Diracov zapis je zapis za linearno algebro in linearne operatorje na kompleksnih vektorskih prostorih skupaj z njihovim dualnim prostorom tako v končnorazsežnem kot v neskončnorazsežnem primeru. Oblikovan je posebej za lažje računanje, ki se pogosto pojavlja v kvantni mehaniki. Njegova raba v kvantni mehaniki je zelo razširjena. Mnogo pojavov, ki jih pojasnjuje kvantna mehanika, je opisanih z Diracovim zapisom.

Vektorski prostori

uredi

Vektorji proti ketom

uredi

Izraz »vektor« se v matematiki rabi za element poljubnega vektorskega prostora. V fiziki je izraz »vektor« veliko bolj določen – nanaša se skoraj izključno na količine, kot sta na primer premik ali hitrost, s komponentami, ki so neposredno povezane s tremi razsežnostmi prostora ali relativistično s štirimi prostor-časa. Takšni vektorji so tipično označeni z nadpisanimi puščicami ( ), krepko pokončno ( ) ali z indeksi ( ).

V kvantni mehaniki je kvantnomehansko stanje tipično predstavljeno kot element (kompleksnega) Hilbertovega prostora, na primer neskončno razsežnega vektorskega polja vseh možnih valovnih funkcij (kvadratnih integrabilnih funkcij, ki preslikajo vsako točno trirazsežnega prostora v kompleksno število), ali kakšnega bolj abstraktnega Hilbertovega prostora, konstruiranega bolj algebrsko. Ker se izraz »vektor« že rabi za nekaj drugega (glej predhodni razdelek), in ker se fiziki nagibajo k dogovorjenemu zapisu prostora, katerega element je nekaj, je običajno in priročno označiti element   abstraktnih kompleksnih vektorskih prostorov kot ket   z navpičnicami in lomljenimi oklepaji, ter se nanje sklicevati kot na »kete« namesto na vektorje in brati »ket- « ali »ket-A« za  . Simboli, črke, števila ali celo besede (vse kar je primerno za ustrezno oznako) se lahko rabi kot oznaka znotraj keta z zapisom  , kjer je jasno pokazano, da oznaka označuje vektor v vektorskem prostoru. Drugače povedano – simbol » « ima določen in splošen matematični pomen, zapis » « pa sam po sebi ne.   na primer ni nujno enako  . Ne glede na to zaradi pripravnosti po navadi obstaja kakšna logična shema za oznakami znotraj ketov, kot je na primer splošna praksa označevanja lastnih ketov v kvantni mehaniki prek seznama njihovih kvantnih števil.

Zapis brajev in ketov

uredi

Ker so keti le vektorji v hermitskem vektorskem prostoru, se lahko z njimi ravna prek običajnih pravil linearne algebre. Na primer:

 

V zadnjem zgledu zgoraj nastopa neskončno mnogo različnih ketov, za vsako realno število   eden.

Če je ket element vektorskega prostora, je bra   element njegovega dualnega prostora – bra je linearni funkcional, kar je linearna preslikava iz vektorskega prostora na kompleksna števila. Zato je praktično razmišljati o ketih in brajih kot elementih različnih vektorskih prostorov (vseeno glej spodaj), ki sta oba različna uporabna koncepta.

Bra   in ket   (to je funkcional in vektor), se lahko kombinirata v operator   z rangom ena z diadnim produktom:

 

Notranji produkt in poistovetenje brajev in ketov na Hilbertovem prostoru

uredi
Glavni članek: notranji produkt.

Diracov zapis je še posebej uporaben v Hilbertovih prostorih z notranjim produktom,[8] ki omogočajo hermitsko konjugacijo in poistovetenje vektorja z linearnim funkcionalom, to je ket z brajem in obratno (glej Rieszov reprezentacijski izrek). Notranji produkt na Hilbertovem prostoru   (s prvim argumentom antilinearnim, čemur fiziki dajejo prednost) je v celoti enakovreden (antilinearnemu) poistovetenju med prostorom ketov in prostorom brajev v Diracovem zapisu – za vektor ket   se funkcional (bra)   definira kot:

 

Braji in keti kot vrstični in stolpični vektorji

uredi

V preprostem primeru, kadar se obravnava vektorski prostor  , se lahko ket predstavi kot stolpični vektor, bra pa kot vrstični vektor. Če se naprej rabi standardni hermitski notranji produkt na  , bra, ki odgovarja ketu, še posebej bra   in ket   z enakimi oznakama sta konjugirano transponirana. Z dogovorom se doseže, da pisanje brajev, ketov in linearnih operatorjev drug poleg drugega preprosto pomeni matrično množenje.[9] Še posebej se diadni produkt   stolpičnega in vrstičnega vektorja ket in bra lahko opredeli z matričnim množenjem (produkt stolpičnega in vrstičnega vektorja je enak matriki).

Za končnorazsežni vektorski prostor s fiksno ortonormirano bazo se lahko notranji produkt zapiše kot matrično množenje vrstičnega vektorja s stolpičnim:

 

Na podlagi tega se lahko braji in keti definirajo kot:

 

pri čemer se razume, da bra ob ketu pomeni matrično množenje.

Konjugirano transponiranje (imenovano tudi hermitsko konjugiranje) braja je odgovarjajoči ket in obratno:

 

saj, če se najprej zapiše bra:

 

nato kompleksno konjugiranje in še transponiranje, sledi odgovarjajoči ket:

 

Zapisovanje elementov končnorazsežnega (ali s potrebnimi spremembami števno neskončnega) vektorskega prostora kot stolpčni vektor števil zahteva izbiro baze. Izbira baze ni vedno v pomoč, saj se računi v kvantni mehaniki pogostokrat izvajajo v različnih bazah (npr. v bazi lege, bazi gibalne količine, lastni bazi energije), tako da se lahko zapiše na primer » «, kar ne pripada nobeni posebni bazi. V primerih, ki vsebujejo dva različna pomembna bazna vektorja, se lahko v zapisu vzameta ekplicitno, kar bo pomenilo preprosto kot » « in » «.

Nenormalizabilna stanja in nehilbertovski prostori

uredi

Diracov zapis se lahko rabi tudi če vektorski prostor ni Hilbertov.

V kvantni mehaniki se keti velikokrat zapisujejo z neskončno normo, to je z normalizabilnimi valovnimi funkcijami. Med takšne zglede spadajo stanja, katerih valovne funkcije so porazdelitve delta, ali neskončno ravno valovanje. Ti objekti tehnično gledano sami ne pripadajo Hilbertovemu prostoru. Definicija »Hilbertovega prostora« pa se za prilagoditev teh stanj (glej Gelfand-Najmark-Segalova konstrukcija ali opremljeni Hilbertov prostor) lahko razširi. V tem širšem konceptu Diracov zapis na podoben način še vedno velja.

Banachovi prostori so drugačne posplošitve Hilbertovih prostorov. V Banachovem prostoru   se lahko vektorji označijo s keti in zvezni linearni funkcionali z braji. Prek poljubnega vektorskega prostora brez topologije se lahko označi vektorje s keti in linearni funkcionali z braji. V teh splošnejših kontekstih Diracov zapis nima pomena notranjega produkta saj Rieszov reprezentacijski izrek ne velja.

Raba v kvantni mehaniki

uredi

Matematična struktura kvantne mehanike v veliki meri temelji na linearni algebri:

  • valovna funkcija in druga kvantnomehanska stanja se lahko predstavijo kot vektorji v kompleksnem Hilbertovem prostoru. (Eksaktna struktura takšnega Hilbertova prostora je odvisna od razmer.) V Diracovem zapisu je elektron na primer lahko v »stanju«  . (Tehnično gledano so kvantnomehanska stanja (projektivni) žarki vektorjev v Hilbertovem prostoru, saj   odgovarja enakemu stanju poljubnega kompleksnega števila  .
  • kvantna superpozicija se lahko opiše kot vektorska vsota sestavnih stanj. Elektron v stanju   je na primer v kvantni superpoziciji stanj   in  .
  • meritve so povezane z linearnimi operatorji (imenovanimi opazljivke) v Hilbertovem prostoru kvantnomehanskih stanj.
  • dinamika je tudi opisana z linearnimi operatorji v Hilbertovem prostoru. V Schrödingerjevi sliki na primer obstaja linearni operator časovnega razvoja   s takšno značilnostjo, da če je elektron trenutno v stanju  , bo kasneje v stanju   – enak   za vsak možni  .
  • normalizacija valovne funkcije je takšno skaliranje valovne funkcije, da je njena norma enaka 1.

Ker dejansko vsako računanje v kvantni mehaniki zahteva vektorje in linearne operatorje, velikokrat zahteva tudi Diracov zapis. Nekaj zgledov sledi:

Brezspinska valovna funkcija koordinatnega prostora

uredi
Nezvezne komponente   kompleksnega vektorja  , ki pripada števno neskončnorazsežnemu Hilbertovemu prostoru – obstaja števno neskončno mnogo vrednosti   in baznih vektorjev  .
Zvezne komponente   kompleksnega vektorja  , ki pripada neštevno neskončnorazsežnemu Hilbertovemu prostoru obstaja števno neskončno mnogo vrednosti   in baznih vektorjev  .
Komponente kompleksnih vektorjev izrisanih za indeksni števili – nezvezni   in zvezni  . Dve posebni komponentni od neskončno mnogih sta poudarjeni.

Hilbertov prostor točkastega telesa s spinom 0 je zajet z »bazo lege«  , kjer oznaka   določa množico vseh točk v koordinatnem prostoru. Ta oznaka je lastna vrednost operatorja lege, ki deluje na takšno bazno stanje  . Ker v bazi obstaja neštevno neskončno mnogo vektorskih komponent, je to neštevno neskončnorazsežni Hilbertov prostor. Razsežnosti Hilbertovega prostora (po navadi neskončnega) in koordinatni prostor (po navadi 1, 2, ali 3) se ne smejo združiti.

Če se v tem Hilbertovem prostoru vzame poljubni  , se lahko definira kompleksna skalarna funkcija po  , znana kot valovna funkcija:

 

Na levi strani enačbe je   funkcija, ki preslikuje vsako točko prostora v kompleksno število, na desni strani pa je   ket kot sestava superpozicije ketov z relativnimi koeficienti, ki jih določa ta funkcija.

Običajno se potem definirajo linearni operatorji, ki delujejo na valovne funkcije z linearnimi operatorji delujočimi na kete, kot:

 

Operator gibalne količine   ima na primer naslednjo obliko:

 

Včasih se naleti na izraz, ko je na primer:

 

kar je včasih zloraba zapisa. Diferencialni operator je treba razumeti kot abstraktni operator, ki deluje na kete, kar ima vpliv na diferenciranje valovnih funkcij, ko je izraz projiciran na lego baze  , čeprav je v bazi gibalne količine ta operator le multiplikacijski operator (z  ). Oziroma:

 

ali:

 

Prekrivanje stanj

uredi

V kvantni mehaniki se izraz   tipično tolmači kot verjetnostna amplituda za stanje  , ko se ta zruši v stanje  . Matematično to pomeni koeficient za projekcijo   na  . Opiše se tudi kot projekcija stanja   na stanje  .

Glej tudi

uredi

Opombe

uredi
  1. Strogo matematično gledano je v skalarnem produktu tudi drugi argument antilinearen. Definicija skalarnega produkta z antilinearnostjo le v prvem argumentu je v kvantni mehaniki priročnejša saj omogoča vpeljavo Diracovega zapisa.[4]

Sklici

uredi
  1. Dirac (1939).
  2. Shankar (1994), § 1.
  3. McMahon (2006).
  4. Milošević (1997), str. 10.
  5. Milošević (1997), str. 81.
  6. Grassmann (1862).
  7. Susskind, Leonard (2. oktober 2006). »Lecture 2, Quantum Entanglements, Part 1« (v angleščini). Univerza Stanford. Pridobljeno 18. avgusta 2020. O kompleksnih številih, kompleksnem konjugiranju, braju in ketu.
  8. Susskind, Leonard (2. oktober 2006). »Lecture 2, Quantum Entanglements, Part 1« (v angleščini). Univerza Stanford. Pridobljeno 18. avgusta 2020. O notranjem produktu.
  9. Gidney, Craig (27. november 2016). »Bra–Ket Notation Trivializes Matrix Multiplication«. Algorithmic Assertions (v angleščini). Pridobljeno 18. avgusta 2020..