Bra-ket-tähistus

Bra-ket tähistus, tuntud ka kui Diraci bra-ket tähistus, on lineaaralgebra ja lineaaroperaatorite tähistus komplekssetes vektorruumides. See on loodud spetsiaalselt kvantmehaanika arvutuste lihtsustamiseks ja leiab sellel alal laialdast kasutust. Tähistus võimaldab esitada kvantolekuid ja operaatoreid.

Bra-ket tähistuse pakkus välja Paul Dirac oma 1939. aasta artiklis „A New Notation for Quantum Mechanics“, mis seadis eesmärgiks kvantmehaanika väljendamise lihtsustamise. Dirac pidas vajalikuks luua esitusviis, mis laseb lihtsasti kirja panna õigeid asju ja raskeks muuta valede üles märkimise, lisaks sellele oli uues süsteemis vaid üks viis suuruse kirja panemiseks mitme võrdväärse asemel. Tähistus sai oma nime sõnast „bracket“ (ing. k. „sulg“), sest sümbolkeel kasutab laialdaselt erinevaid sulge.Dirac PAM. A new notation for quantum mechanics. Mathematical Proceedings of the Cambridge Philosophical Society. 1939;35(3):416-418. doi:10.1017/S0305004100021162

 Tähistus 
Kvantmehaanikas vastab igale kvantolekule olekuvektor Hilberti ruumis. Selleks, et eristada seda sorti vektoreid muudest füüsikalistest vektorsuurustest kasutatakse vektorite asemel kete.

Kvantmehaanikas ja kvantarvutuses kasutatakse bra-ket tähistust kõikjal kvantolekute märkimiseks. See tähistus kasutab noolsulge 〈 ja 〉 ning püstkriipsu  , et koostada „brasid“ ja „kete“.

Ket esitatakse kujul , mis matemaatiliselt tähistab vektorit  kompleksses vektorruumis  ja füüsikaliselt olekut mingis kvantsüsteemis.

Bra esitatakse kujul , mis matemaatiliselt tähistab lineaarkujutust  ehk vektorruumi  iga vektori kujutust komplekstasandile . Lõplike mõõtmetega vektorruumis võib ket-vektorit vaadelda veeruvektorina ja sellele vastavat bra-vektorit hermeetiliselt konjugeeritud kujul reavektorina.

 Skalaarkorrutis 
Bra- ja ket-vektorite abil saab kvantmehaanika komplekssetes vektorruumides moodustada skalaarkorrutise

,

kus esimene vektor on hermiitiliselt konjugeeritud ja seega tulemus kompleksarv. Maatriksi hermiitiliselt konjugeeritud kaasmaatriks on transponeeritud maatriks, mille elemendid on kompleksselt konjugeeritud st esialgse maatriksi kaaskompleksid . Skalaarkorrutis võimaldab kvantmehaanikas esitada tõenäosust ja võrrelda kahte olekut. Skalaarkorrutist üles märkides ei pea kirjutama kahte püstkriipsu.

 Väliskorrutis 
Vastupidises järjekorras korrutades, saame väliskorrutise

,

mille tulemus on maatriks. Väliskorrutis moodustab projektsioonioperaatori, mis esindab füüsikalise suuruse mõõtmise elementaarseid sündmusi.

 Norm 
Vektori norm ehk pikkus on mittenegatiivne reaalarv 

 Rakendused 
Kuna pea iga kvantmehaanika arvutus kasutab vektoreid ja lineaarseid operaatoreid, on bra-ket tähistus selle ala põhiliseks töövahendiks.

Lainefunktsioone ja teisi kvantolekuid saab esitada vektoritena Hilberti ruumis. Bra-ket tähistuses võib üles-spinniga elektroni olekut märkida näiteks .

Kvantolekute superpositsiooni saab esitada erinevate olekute vektorite summana. Näiteks kvantarvutuses saab olekute  ja  superpositsioonis olevat kvantbitti esitada võrdusega , kus  ja  on kompleksarvulised tõenäosusamplituudid. Kogutõenäosus .

 Viited 

Kategooria:Matemaatika