A notao de Dirac

http://efisica.if.usp.br/moderna/mq/bra_ket/
Neste nosso tratamento elementar de mecnica quntica, consideraremos o simbolismo introduzido por
Dirac, que tem um significado matemtico no-trivial, como uma notao. Para fazer total justia ao
mtodo, o leitor faria bem em consultar a obra original de Dirac [1] . Para uma apresentao mais
adaptada linguagem matemtica contempornea, veja [2].

Um vetor do espao dos estados descrito por um smbolo

dual desse espao denotado por
e

Seja

denotado por

, e denominado

, que se pronuncia ket . Um elemento do

. O produto escalar dos estados

, e se trata de um bra(c)ket , justificando os nomes.

um operador. Denotaremos por

seus autoestados, de modo que

onde os nmeros
so os autovalores .
Os autoestados do operador de posio

so denotados por
coordenadas:

. O smbolo

descreve o estado

na representao das

Alguns exemplos:

O hamiltoniano
relao

tem seus autoestados,

, e autovalores ,

A condio de ortonormalidade desses autoestados escrita

, ligados pela

Os autoestados comuns a
equaes so satisfeitas:

so denotados por

Seja uma base do espao dos estados formada pelos kets

operador. Ento, os elementos de matriz de

, e as seguintes

, etc. e seja

um

nessa base sero os nmeros complexos

Note-se que:

Muito importante na notao de Dirac uma classe de operadores que se escrevem assim:

e so definidos pela sua ao sobre um kets arbitrrio

Sejam

autoestados de um operador hermiteano. Ento, a relao de completude se escreve

Quando o espectro contnuo, por exemplo, no caso do operador de posio, a soma substituda por
uma integral:

O principal uso dessas representaes do operador

Ento,

e, como

o seguinte: seja

um produto escalar.

mostrando que efetivamente se trata do produto escalar anteriormente introduzido. Considere os

operadores
e
e o seu produto,
produto nessa base so

. Seja

uma base. Os elementos de matriz do operador

que exibe a expresso correta para o produto clssico de matrizes.

Seja

Sejam

um estado qualquer. Sua funo de onda na representao das coordenadas , como vimos,

os autoestados do momento , e

sua relao de completude. Ento, a funo de onda de

na representao do momento

que pode ser escrita

Daqui, por comparao com um resultado anterior pode-se inferir que

(382)

Uma deduo direta deste resultado a seguinte:

Igualando os dois segundos membros, temos

ou

de onde segue que

Para determinar

, note-se que

e, integrando em

Mas

Logo,

Logo,

que a verso unidimensional da Eq.(383).

Henrique Fleming 2003