Notation bra-ket
Le notation bra-ket es le notation standard pro describer statos quantic in le theoria del mechanica quantic. Illo etiam pote esser usate pro denotar vectores abstracte e functiones linear in mathematica pur. Illo es appellate assi a causa de que le producto interne de duo statos es denotate per un bracket, , consistente de un parte sinistre, , appellate le bra, e de un parte dextre, , appellate le ket. Le notation esseva inventate per Paul Dirac, e es etiam cognoscite como le notation de Dirac.

Bras e kets 

In mechanica quantic, le stato de un systema physic es identificate con un vector in un spatio de Hilbert complexe, H. Cata vector es appellate un "ket", e scribite como

ubi ψ denota un ket particular, legite como "psi ket."

Cata ket  ha un dual bra, scribite como

Isto es un function linear continue de H al numeros complexe , definite per:

 pro omne kets 

ubi ( , ) denota le producto interne definite in le spatio de Hilbert. Le bra es simplemente le conjugate transponite (etiam appellate le Hermitian conjugate) del ket e vice versa. Le notation es justificate per le theorema del representation de Riesz, que stabilite que un spatio de Hilbert e su spatio dual es isometricamente isomorphic. Assi, cata bra corresponde a exactemente un ket, e vice versa. Isto non es semper le caso nonobstante; in le pagina 111 de "Quantum Mechanics" per Cohen-Tannoudji et al. il es clarificate que il ha un tal relation inter bras e kets solmente si le functiones usate es integrabile quadraticamente. Ille considera un base continue e un function delta de Dirac o un unda sinus o cosinus como un function de unda. Tal functiones non es integrabile quadraticamente, e ergo il appare que le bras existe con non-correspondente ket. Le ration que isto non impedi le mechanica quantic es proque tote function de unda es in realitate integrabile quadraticamente.

Le notation bra-ket pote esser usate si le spatio vectorial non es un spatio de Hilbert. In qualcunque spatio de Banach B, le vectores pote esser notate per kets e le functiones linear continue per bras. Super qualcunque spatio vectorial sin topologia, on pote etiam notar le vectores per kets e le function linear per bras. In iste contextos plus general, le bracket non ha le signification de un producto interne, proque le theorema del representation de Riesz non es applicabile.

Applicante le bra  al ket  resulta in un numero complexe, appellate un "bra-ket" o "bracket", que es scribite como

.

In mechanica quantic, isto es le amplitude de probabilitate pro le stato ψ a collaber in le stato φ.

Proprietates 

Bras e kets pote esser manipulate in le sequente modos:

 Date qualcunque bra , kets  e , e numeros complexe c1 e c2, ergo, desde que le bras es functiones linear,

 Date qualcunque ket , bras  e , e numeros complexe c1 e c2, ergo, per le definition de addition e scalar multiplication de functiones linear,

 Date qualcunque kets  e , e numeros complexe c1 e c2, del proprietates del producto interne (con c* denotante le complexe conjugate de c),

 es dual al 

 Date qualcunque bra  e ket , e proprietate axiomatic del producto interne de

.

Operatores linear 

Si A : H → H es un operator linear, on pote applicar A al ket  pro obtener le ket . Le operatores linear es ubique in le theoria del mechanica quantic. Per exemplo, le operatores hermitian es usate pro representar quantitates physic observabile, tales como energia o momentum, durante que operatores unitari linear representa processos transformative como un rotation o le progression del tempore.

Le operatores pote esser vidite como agente super bras del latere dextre. Applicante le operator A al bra  resulta in le bra , definite como un function linear in H per le regula

.

Iste expression es communmente scribite como

Un modo conveniente de definir operatores linear in H es date per le producto externe: si  es un bra e  es un ket, le producto externe

denota le rank de un operator que mappa le ket  al ket  (ubi  es le multiplication scalar del vector ). Un del usos del producto externe es construer le operator de projection. Date un ket  de norma 1, le projection orthogonal super le subspatio linear generate per  es

Bras e kets componite 

Duo spatios de Hilbert V e W pote formar un tertie spatio  per un producto tensorial. In mechanica quantic, isto es usate pro describer systemas composite. Si un systema es componite de duo subsystemas describite per V e W respectivemente, "then" le spatio de Hilbert del systema integre es le producto tensorial del duo spatios. (Le exception a isto es si le subsystemas es realmente formate de particulas identic. In iste caso, le situation es un pauc plus complicate.)

Si  es un ket in V e  e un ket in W, le producto tensorial del duo kets es un ket in . Isto es scribite variemente como 

 o  o  o .

Representationes in termos de bras e kets 

In mechanica quantic, il es multe vices conveniente laborar con le projectiones del vectores de stato super un base particular, melior que con le vectores mesme. Le ration es que le prime es simplemente numeros complexe e pote esser formulate in terminos de equation differential partial (vide, per exemplo, le derivation del base de position equation de Schrödinger). Iste processo es multo similar al uso de coordinatas vectorial in algebra linear.

Per exemplo, le spatio de Hilbert de un particula punctual de spin zero (spin = gyro) es generate per un base de position , ubi le etiquetta  extende super le collection de vectores de position. Comenciante con qualcunque ket  in iste spatio de Hilbert, nos pote definir un function scalar complexe de , cognoscite como un function de unda:

.

Il es assi possibile definir operatores linear agente super functiones de unda in terminos de operatores linear agente super kets, per

.

Nonobstante le operator  al sinistra de iste equation es, per convention, etiquettate in le mesme modo que un operator al latere dextre. On debe haber presente in le mente que le duo es entitates conceptualmente differente: le prime age in le functiones de unda, e le secunde age super le kets. Per exemplo, le operator de momentum  ha le sequente forma:

.

On occasionalmente incontra un expression como

.

Isto es alicun abuso de notation, nonobstante un notation multo commun. Le operator differential debe esser comprendente esser un operator abstracte, agente super kets, que ha le effecto de functiones differentiante de unda depost que le expression es projectate super le position base:

.

Vide etiam 
 Mechanica quantic

Ligamines externe 

 Richard Fitzpatrick, "Quantum Mechanics: A graduate level course" , The University of Texas at Austin. 
 1. Ket space
 2. Bra space
 3. Operators
 4. The outer product
 5. Eigenvalues and eigenvectors

Physica
Mathematica