Diracov zapis
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]
Uvod
urediDiracov 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
urediVektorji proti ketom
urediIzraz »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
urediKer 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
urediDiracov 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
urediV 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
urediDiracov 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
urediMatematič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
urediHilbertov 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
urediV 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
urediOpombe
urediSklici
uredi- ↑ Dirac (1939).
- ↑ Shankar (1994), § 1.
- ↑ McMahon (2006).
- ↑ Milošević (1997), str. 10.
- ↑ Milošević (1997), str. 81.
- ↑ Grassmann (1862).
- ↑ 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.
- ↑ Susskind, Leonard (2. oktober 2006). »Lecture 2, Quantum Entanglements, Part 1« (v angleščini). Univerza Stanford. Pridobljeno 18. avgusta 2020. O notranjem produktu.
- ↑ Gidney, Craig (27. november 2016). »Bra–Ket Notation Trivializes Matrix Multiplication«. Algorithmic Assertions (v angleščini). Pridobljeno 18. avgusta 2020..
Viri
uredi- Cajori, Florian (1929), A History Of Mathematical Notations Volume II, Open Court Publishing, str. 134, ISBN 978-0-486-67766-8
- Dirac, Paul Adrien Maurice (1939), »A new notation for quantum mechanics«, Mathematical Proceedings of the Cambridge Philosophical Society, 35 (3): 416–418, Bibcode:1939PCPS...35..416D, doi:10.1017/S0305004100021162. Glej tudi njegovo standardno besedilo The Principles of Quantum Mechanics (4. izd.), Clarendon Press, 1958, ISBN 978-0198520115
- Feynman, Richard Phillips; Leighton, Robert Benjamin; Sands, Matthew (1965), The Feynman Lectures on Physics, zv. III, Reading, MA: Addison-Wesley, ISBN 0-201-02118-8
- Grassmann, Hermann (1862), Extension Theory, History of Mathematics Sources, 2000, prevod Lloyd C. Kannenberg, Ameriško matematično društvo, Londonsko matematično društvo
- Littlejohn, Robert (2019), The Mathematical Formalism of Quantum mechanics (PDF), Berkeley: Univerza Kalifornije, Berkeley, arhivirano iz prvotnega spletišča (PDF) dne 17. junija 2012, pridobljeno 18. avgusta 2020
- McMahon, D. (2006), Quantum Mechanics Demystified, McGraw-Hill, ISBN 0-07-145546-9
- Milošević, Ivanka (1997), Vektorski prostori i elementi vektorske analize (PDF), Beograd: Fakulteta za fiziko, Univerza v Beogradu, pridobljeno 18. avgusta 2020
- Shankar, Ramamurti (1994), Principles of Quantum Mechanics (2. izd.), ISBN 0-306-44790-8