⟨ | ∣ | ⟩ |
behå | ket | |
lampett | ket | |
snart | bka |
Bra och ket ( engelska bra-ket < bracket bracket ) är en algebraisk formalism (notationssystem) utformad för att beskriva kvanttillstånd . Kallas även Dirac- notation . Inom matrismekanik är denna notation allmänt accepterad. Denna notation är inget annat än annan textnotation för vektorer, kovektorer, bilinjära former och inre produkter, och är därför tillämpbar (men inte lika vanligt) i linjär algebra i allmänhet. När denna notation används i linjär algebra handlar det vanligtvis om oändligt dimensionella rum och/eller om linjär allegbra över komplexa tal.
Inom kvantmekaniken beskrivs tillståndet för ett system av en stråle i ett separerbart Hilbert-rum, eller, ekvivalent, av ett element i ett projektivt Hilbert-rum vars element kallas " tillståndsvektorer " ( "ket-vektorer" ) och betecknas med symbolen .
Varje ket-vektor tilldelas en bra-vektor från rymdkonjugatet till, det vill säga från
Bra-vektorn från rymden definieras av relationen:
, för vilken ket vektor som helst
Med vissa yttrandefriheter sägs det ibland att BH-vektorer "sammanfaller" med deras motsvarande komplexa konjugerade ket-vektorer. I detta fall identifieras vektorer och funktionaliteter över vektorer vanligtvis med kolumner eller rader av koordinater för deras expansion i motsvarande bas eller
Den skalära produkten av en BH-vektor med en ket-vektor (mer exakt, verkan av en BH-vektor på en ket-vektor) skrivs som två vertikala staplar "sammanfogar" och parenteserna utelämnas. Kvadraten på en vektor, enligt definitionen av ett Hilbert-rum, är icke-negativ: Närhelst det är möjligt, åläggs normaliseringsvillkoret på vektorerna som beskriver systemets tillstånd
Om är en linjär operator från till , då skrivs operatorns åtgärd på ket-vektorn som
För varje operatör och bra-vektor introduceras en funktionell från rymden , det vill säga en bra-vektor multiplicerad med operatorn , som definieras av likheten:
för vilken vektor som helstEftersom parentesernas placering inte spelar någon roll, utelämnas de vanligtvis och skrivs enkelt
Detta uttryck kallas en operatorfaltning med en bra-vektor och en ket-vektor. Värdet på detta uttryck är en skalär ( komplext tal ).
Speciellt skrivs matriselementet för en operator i en viss bas (i tensornotation - ) i Dirac-notation som och medelvärdet för den observerbara (bilinjär form) på tillståndet - som
Att multiplicera vektorer med en operator (ket-vektorer till vänster, bra-vektorer till höger) ger vektorer av samma typ och skrivs på samma sätt som i linjär algebra (det vill säga om bra- och ket-vektorerna är identifierade med vektorer - rader och kolumner och operatorer - med kvadratiska matriser):
Schrodinger-ekvationen (för ett stationärt tillstånd) kommer att ha formen:
var är Hamiltonian och är en skalär ( energinivå ).I matematik används beteckningen " Hermitian " skalär produkt i Hilbert-rymden, vilket har samma betydelse som att multiplicera behå med ket. Emellertid betraktar matematiker vanligtvis vinkelparenteser som ett tecken på en operation, och inte en del av en vektorbeteckning. Den traditionella matematiska notationen, till skillnad från Dirac, är inte symmetrisk - båda vektorerna antas vara värden av samma typ, och operationen är antilinjär i det första argumentet av de två.
Å andra sidan är produkten av bh och ket bilinjär , men i två argument av olika slag. Konjugatet till ket-vektorn kommer att vara BH-vektorn (där är den imaginära enheten ). Inom kvantmekaniken kan dock denna märklighet i notationen ignoreras, eftersom kvanttillståndet som representeras av en vektor inte beror på dess multiplikation med några komplexa tal modulo ett .
Dessutom gör användningen av bh och ket det möjligt att betona skillnaden mellan staten (skriven utan parentes och pinnar) och de specifika vektorer som representerar den.
Till skillnad från algebraisk notation, där element av basen betecknas som i bra-ket notation, kan bara indexet för grundelementet anges: I detta liknar de tensor notation , men till skillnad från den senare tillåter de att skriva produkter av operatorer med vektorer utan att använda ytterligare (nedsänkta eller upphöjda) bokstäver.
Bra och ket kan också användas i ren matematik för att beteckna element av linjära utrymmen som är konjugerade till varandra. Om till exempel då ket-vektorer betraktas som "kolumnvektorer", och bra-vektorer - "radvektorer".
Multipliceringen av bra- och ket-vektorer med varandra och med operatorer kan betraktas som ett specialfall av "rad-för-kolumn" -matrisformalismen . Det är nämligen nödvändigt att sätta ket-vektorer som matriser av storlek , bra-vektorer - av storlek , operatorer - av storlek , där är antalet tillstånd i kvantsystemet ( dimension av rymden ). 1 × 1 matriser har ett enda element och identifieras med skalärer. I fallet med ett oändligt dimensionellt tillståndsutrymme måste ytterligare konvergensvillkor införas på "matriserna" (faktiskt serier ).
Formeln för den konjugerade vektorn ser ut så här:
var |
Typposten betyder alltid en skalär. En bra-vektor har alltid en parentes till vänster ket-vektor - en parentes till höger En produkt i en "onaturlig" ordning introduceras också - (liknande matrismultiplikationen av en kolumnvektor med en radvektor), vilket ger den så kallade ket-bra-operatören . Operatören har rang 1 och är en tensorprodukt och sådana operatorer är ofta övervägda i operatorteori och kvantberäkning . Speciellt är operatören (när normaliserad ) en projektion på tillståndet , närmare bestämt, på motsvarande endimensionella linjära delrum i
Associativitet äger rum :
etc.