Sakurai Cap1 fnt12

Captulo 1
Conceitos Fundamentais
Modern Quantum Mechanics - J.J. Sakurai (Revised Edition)
0.1 Experincias com partculas
Metralhadora, barreira com duas fendas, 1 e 2
e um anteparo com um detector (lata com areia).
Dispara-se durante 1 minuto e contam-se as balas
que atingem a lata. Esvasia-se a lata. Move-se a lata
para outra posio e repete-se o processo. A
metralhadora dispara em todas as direes.
Inicialmente fechamos a fenda 2 e medimos a
distribuio de balas que chegam ao anteparo
atravs da fenda 1. A distribuio que se obtm
parecida com a mostrada na figura ao lado.
Agora fechamos a fenda 1
e medimos a distribuio de
balas que chegam ao anteparo
pela fenda 2. A forma, mostrada
na curva da direita, a mesma
que a anterior, porm deslocada
para baixo.
Captulo 1 Conceitos Fundamentais 1
Finalmente, abrimos as duas
fendas e medimos a distribuio
de balas que chegam ao anteparo
por ambas as fendas. O resultado
a curva mostrada na figura da
direita (linha slida). Tambm
mostramos os resultados obtidos
anteriormente (linhas tracejadas).
0.2 Experincias com ondas
Fonte, barreira com 2 fendas e detector (cortia).
Conta-se os sobe e desce da cortia e determina-se
a energia que chega naquela posio do anteparo.
Move-se a cortia (detector) para outras posies e
determina-se a distribuio de energia no anteparo.
Inicialmente, fecha-se a fenda 2 e
mede-se a distribuio de energia que
chega ao anteparo atravs da fenda 1.
A forma mostrada na curva da direita.
Note que muito parecida com a
distribuio de balas que passa
por uma nica fenda.
Agora fecha-se a fenda 1 e mede-se a distribuio
de energia da onda que chega atravs da fenda 2,
como mostrada na figura da direita.
Prof. Abraham Moyss Cohen Mecnica Quntica A 2
Finalmente, abrem-se as duas fendas e mede-se a
distribuio. As linhas tracejadas mostram a
distribuio com as fendas individuais abertas,
enquanto que a slida o resultado para ambas as
fendas abertas. Este resultado chamado
de padro de interferncia.
Observaes
1) Na experincia com duas fendas, uma partcula no apresenta padro de interferncia: a probabilidade
de atingir uma determinada posio no anteparo a soma das probabilidades individuais.
2) Levando em conta a conservao da energia, o padro de interferncia para ondas pode parecer
dissonante. Porm, no existe nenhum problema: a energia total no padro de interferncia igual energia
que chega pela fenda 1 mais a que chega pela fenda 2. O padro de interferncia apenas rearranja esta
energia, conservando sua quantidade total.
0.3 Experincias com eltrons
Como sabemos os eltrons so partculas que tm massa definida, carga eltrica etc. Algumas das
propriedades do eltron so mostrados na tabela abaixo.
Eltrons
Propriedade Valor
Massa 9. 11 10
31
kg
Carga 1. 60 10
19
C
Spin 5. 28 10
35
J-s
Interferncia de ondas de eltrons
detector
padro de
interferncia
Determinando por onde os eltrons passam
detector
sem padro de
interferncia
Resumo dessas experincias com eltrons
A probabilidade de um evento numa experincia ideal, dada pelo quadrado do valor absoluto de um nmero
complexo que se chama de amplitude de probabilidade
P = ||
2
Quando um evento pode acontecer de vrias maneiras, a amplitude de probailidade a soma das amplitudes de
probabilidade de cada maneira considerada independentemente. Existe padro de interferncia
=
1
+
2
P = |
1
+
2 |
2
.
Numa experincia onde se determina como as coisas efetivamente acontecem, a probabilidade do evento a soma
das probabilidades de cada alternativa. No existe padro de interferncia.
P = P
1
+ P
2
.
1.1 A Experincia de Stern-Gerlach
Resultado Clssico
Resultado Experimental
Com campo
Sem
campo
As duas
orientaes do spin
Campo magntico
inomogneo
Forno
Placa
fotogrfica
Feixe de
tomos
de prata
Plo
magtic
o
Do que consiste o experimento?
Forno para produzir feixe de tomos neutros.
Regio de campo magntico inomognio.
Detector de tomos.
Resultados da experincia
Stern e Gerlach usaram tomos de prata (Ag) e observaram que o feixe original dividia-se em dois feixes ao
atravessar o campo magntico: um defletido para cima e o outro para baixo (em relao direo do gradiente do
campo magntico).
Anlise clssica dos resultados
Os resultados da experincia sugerem uma interao entre uma partcula neutra e um campo magntico. Esta
interao s existe se a partcula neutra tiver momento magntico, .
Neste caso, a energia da interao dada por
U
B
= - B
que resulta na fora
F = U
B
= ( - B)
Na experincia de Stern-Gerlach, o campo magntico atua basicamente na direo z, e a fora ser
F
z
=

z
( - B) j
z
B
z
z
na direo do gradiente do campo magntico, perpendicular ao movimento do feixe atmico.
Origem do momento magntico na fsica clssica
Os tomos so constitudos de partculas carregadas.
O movimento destas partculas produz um lao de corrente, que d origem aos momentos magnticos. Para um lao
de rea A e uma corrente I, o momento magntico (CGS) dado por
j =
IA
c
Se o lao de corrente origina-se do movimento circular uniforme de uma de uma partcula de carga e (para o eltron
e < 0), ento
I =
e
T
=
e
2m
v
=
ev
2m
Como A = mr
2
, ento
j =
ev
2m
mr
2
c
=
evr
2c
=
e
2mc
mvr =
e
2mc
L
onde L = mvr o momento angular orbital da partcula.
Da mesma forma que a Terra se movimenta em torno do Sol e do seu prprio eixo, podemos tambm imaginar que
uma partcula carregada num tomo tenha tanto momento angular orbital, L, como momento angular intrnseco, S.
Admitindo que o lao de corrente criado pelo movimento intrnseco produza uma relao similar entre o momento
magntico e o momento angular intrnseco, ento,
= g
e
2mc
S
e
mc
S
onde usamos o valor correto g = 2 para o movimento rotacional intrnseco do eltron.
Momento magntico do tomo de prata
O momento magntico depende do inverso da massa da partcula. Portanto, os prtons e neutros (massas 2. 000
m
e
) tm pouco efeito sobre o momento magntico do tomo, comparados com os eltrons, podendo ser
desprezados.
A configurao eletrnica da Ag (47 eltrons) :
1s
2
2s
2
2p
6
3s
2
3p
6
3d
10
4s
2
4p
6
4d
10
-
5s
1
Nmero de eltrons : 46 + 1 = 47
Momento angular: J = 0 S
As camadas eletrnicas cheias so representadas por orbitais esfericamente simtricos e o momento angular orbital
e momento angular intrnseco dos eltrons nessas camadas so nulos.
Resta o momento angular do eltron na ltima camada 5s. Mas, um eltron na camada s tem momento angular
orbital nulo.
Logo, o momento angular total do tomo de prata devido apenas ao momento angular intrnseco do eltron, que
chamamos de spin.
Assim, o momento magntico do eltron, e, portanto, do tomo de prata neutro,
=
e
mc
S
onde e < 0.
A fora clssica sobre o tomo pode ser escrita como
F
z

e
mc
S
z
B
z
z
S
N
feixe S
z
+
feixe S
z
-
A deflexo do feixe na experincia de Stern-Gerlach ento uma medida da componente S
z
, ou da projeo do spin
ao longo do eixo z, que a direo do gradiente do campo magntico.
O que se esperaria classicamente?
Vamos supor que todos os eltrons tenham a mesma magnitude do momento angular intrnseco, |S|, tal que a
projeo S
z
pode ser escrita como
S
z
= |S| cos 0
onde 0 o ngulo entre a direo do spin e o eixo z.
Dentro do forno aquecido, esperamos uma distribuio aleatria das direes do spin e, ento, todos os possveis
ngulos 0. Assim, S
z
tem uma distribuio contnua de valores no intervalo
S
z
= |S|, , +|S|
Ao atravessar o campo magntico, um feixe de tomos de prata com todos os possveis valores de S
z
no intervalo
entre |S| e +|S| deveria apresentar um contnuo na deflexo do feixe (ver figura abaixo).
Mas o que se observa?
Experimentalmente, observa-se apenas duas deflexes, indicando que existem apenas dois valores da projeo S
z
do spin do eltron.
As magnitudes dessas deflexes so compatveis com os dois valores de S
z
dados por
S
z
=
h
2
Consequncia do resultado do experimento: O spin do eltron tem valores discretos ao longo de um eixo
(quantizao da projeo do spin).
Concluso: Esta quantizao est em desacordo com a expectativa clssica para esta medida.
Observao: Aqui consideramos o eixo z para medir a projeo do spin, mas poderamos escolher
qualquer outro eixo que os resultados seriam os mesmos.
Experincias de Stern-Gerlach sequenciais
Forno SG z SG z
S
z
+
Forno SG z SG x
S
x
+
S
x
-
S
z
+
S
z
-
Forno SG z SG x
S
z
+
S
z
-
S
z
+
S
z
-
SG z
S
x
+
S
x
-
S
z
+
S
z
-
Experincia de Stern-Gerlach seqencial
Primeira experincia SGz SGz ?
o feixe passa inicialmente por um dispositivo SGz (campo inomogneo na direo z).
bloquea-se a passagem dos tomos com componentes S
z

o restante dos tomos com S
z
+ fica sujeito a um segundo dispositivo SGz.
verifica-se que apenas uma componenente do feixe (com S
z
+) emerge do segundo aparelho. (Aqui no h
nenhuma surpresa).
Segunda experincia SGz SGx ?
o feixe passa inicialmente por um dispositivo SGz (campo inomogneo na direo z)
bloquea-se a passagem dos tomos com S
z

z
+ fica sujeito a um segundo dispositivo SGx, de onde emergem em dois feixes, de
igual intensidade, um com S
x
+ e outro, S
x
.
Questo: Ser que o feixe S
z
+ contm 50% de tomos com S
x
+ e 50% com S
x
? Veremos que esta idia se
depara com algumas dificuldades e portanto no pode ser verdadeira!
Terceira experincia SGz SGx SGz ?
o feixe passa inicialmente por um dispositivo SGz (campo inomogneo na direo z.
z

z
+ fica sujeito a um segundo dispositivo SGx, de onde emergem em dois feixes, de
igual intensidade, um com S
x
+ e outro, S
x
.
x
.
o feixe restante passa pelo terceiro dispositivo do tipo SGz
verifica-se experimentalmente que deste terceiro dispositivo emergem dois feixes de tomos de igual intensidade (e
no um) com componentes S
z
+ e S
z
.
Questo: Mas a componente S
z
j no havia sido completamente bloqueada na sada do primeiro dispositivo?
Como possvel reaparecer a componente S
z
que pensvamos ter eliminado anteriormente?
Consequncias das experincias SG sequenciais
O momento angular de spin no pode ser descrito por um espao vetorial 3-D.
O momento magntico (ou spin) do tomo uma quantidade discreta ou quantizada.
No podemos determinar simultaneamente S
z
e S
x
(princpio da incerteza de Heisenberg). Mais precisamente,
podemos dizer que a seleo do feixe S
x
+ pelo segundo dispositivo (SGx) destri completamente
qualquer informao prvia sobre S
z
.
Postulados da Mecnica Quntica
Postulado 1 (estado de um sistema) Em cada instante t, o estado de um sistema fsico representado
por um ket normalizado, |+(t)), no espao vetorial dos estados, que contm toda a informao que podemos conhecer
sobre o sistema.
Postulado 2 (quantidades fsicas) Qualquer quantidade fsica A mensurvel descrita matematicamente
por um operador A que atua sobre os kets. Este operador um observvel.
Postulado 3 (medidas de quantidades fsicas) O nico resultado possvel de uma medida de uma
quantidade fsica A um dos autovalores a
n
do correspondente operador A.
Postulado 4 (decomposio espectral) A probabilidade de obter o autovalor a
n
(no degenerado)
numa medida de um observvel A sobre o sistema no estado normalizado |+)
P (a
n
) = |a
n |+)|
2
onde |a
n
) o autovetor normalizado de A correspondente ao autovalor a
n
.
Postulado 5 (reduo do pacote de onda) Imediatamente aps uma medida de A, sobre o sistema no
estado |+), que d o valor a
n
, o sistema se encontra num novo estado |+
), que a projeo normalizada do ket original

no subespao correspondente aos resultados da medida:
|+
) =
P
n|+)
+|P
n|+)
Postulado 6 (evoluo temporal) A evoluo temporal de um sistema quntico determinada pelo
operador Hamiltoniano ou energia total, H(t), atravs da equao de Schrdinger
ih
d
dt
|+) = H(t) |+)
1.2 Kets, Bras e Operadores
As experincias de SG mostraram que os spins no podem ser representados num espao vetorial 3-D. Isso
levou a considerar espaos vetoriais complexos.
Formulao bsica dos espaos vetoriais usados em MQ
Espaos vetoriais complexos: Ket e Bra
Notao de Dirac
Espao KET
Dimensionalidade. Depende da natureza do sistema em anlise. Pode ser:
Finita
Infinita (espao de Hilbert)
Estado fsico. Em MQ, representado por um vetor de estado no espao vetorial complexo.
Vetor de estado. Chamado de ket na notao de Dirac e denotado por |o).
Significado do ket. Contm todas as informaes (possveis) sobre o estado fsico do sistema.
Propridades dos kets
A soma de dois kets resulta um novo ket
|o) + |[) = |,) (1)
O produto de um ket por um nmero complexo c resulta um novo ket
c|o) = |o)c (2)
no importa a ordem de c em relao a |o).
Se c = 0 o ket resultante chamado de ket nulo.
Postulado Os kets |o) e c|o) com c 0 representam o mesmo estado fsico.
Significado do postulado Somente a direo do ket no espao vetorial tem importncia na representao
de um estado fsico.
Observveis. So representados por operadores no espao vetorial. (Exemplos de observveis: momento,
componentes de spin etc.)
Ao dos operadores. De uma maneira geral, um operador atua sobre um ket pelo lado esquerdo, isto
A - (|o)) = A|o)
O resultado desta operao nem sempre uma constante vezes o ket |o).
Autokets. Quando a ao de um operador A sobre um conjunto particular de kets resultar no produto de uma
constante pelos correspondentes kets, estes so chamados de autokets do operador A. Ento, sejam os
auto-kets do operador A
|a
), |a
), |a
), (3)
logo, verifica-se a propriedade
A|a
) = a
|a
), A|a
) = a
|a
), (4)
onde a
, a
, so nmeros.
Autovalores do operador A. O conjunto dos nmeros a
, a
, a
, ) ou a
) chamado de autovalores do
operador A.
Autoestados do operador A. O estado fsico correspondente a um autoket chamado de autoestado.
Exemplo Sistema de spin
S
z|S
z
; +) =
h
2
|S
z
; +), S
z|S
z
; ) =
h
2
|S
z
; ) (6)
Observao De acordo a notao |a
), onde um autoket classificado por seu autovalor, o autoket de S

z
na Eq. (6)
deveria ser escrito como |h/2). Mas aqui a notao |S
z
; +) mais conveniente, uma vez que consideramos tambm os
autokets de S
x
:
S
x|S
x
; ) =
h
2
|S
x
; ) (7)
Observao Dimensionalidade do espao vetorial nmero de alternativas num experimento do tipo Stern-Gerlach.
Mais formalmente espao vetorial N-dimensional descrito pelos N autokets do observvel A. Qualquer ket arbitrrio |o)
pode ser escrito como
|o) =

a
c
a
|a
) (8)
Espao BRA e Produtos Internos
Espao vetorial BRA o espao dual do espao vetorial KET.
Postulado A cada ket |o) existe um vetor bra denotado por o|.
Isto significa que existe uma correspondncia um-a-um entre o espao ket e o espao bra:
|o)
CD
o|
|a
), |a
),
CD
a
|, a
|,
|o) + |[)
CD
o| + [|
(9)
(CD = correspondncia dual).
Dual de c|o) = c
o|. Forma geral

c
o|o) + c
[|[)
CD
c
o
o| + c
[
[| (10)
Produto interno entre bra e ket Forma geral
o|[) = (o|) - (|[)) (11)
Este produto , em geral, um nmero complexo.
Propriedades Fundamentais (postulados)
Propriedade (1):
[|o) = o|[)
(12)
so conjugados complexos um do outro.
Analogia com o produto escalar Embora o produto interno seja anlogo ao familiar produto escalar, a b, devemos
fazer distino entre [|o) e o|[): isto no necessrio no espao vetorial real porque a b b a.
Consequncia de (12):
o|o) = nmero real
Prova: Fazendo-se [| = o| em (12), encontra-se
o|o) = o|o)
que um nmero real.

Propriedade (2):
o|o) 0 (13)
onde a igualdade s vale se |o) for um ket nulo.
Isto conhecido como postulado da mtrica positiva definida: essencial para a interpretao probabilstica da
MQ.
Vetores ortogonais Dois kets |o) e |[) so ditos ortogonais, se
o|[) = 0 (14)
De (12), implica que
[|o) = 0 (15)
Kets normalizados Exceto para o ket nulo, um ket |o) pode sempre ser colocado na forma normalizada
|o ) =
1
o|o)
|o) (16)
que tem a propriedade
o |o ) = 1 (17)
Norma de |o) A relao o|o) conhecida como norma de |o), em analogia com o mdulo de um vetor
a a = |a| definida no espao euclidiano.
Observao Uma vez que |o) e c|o) representam o mesmo estado fsico, podemos tambm exigir que os kets que
usamos para estados fsicos sejam normalizados na forma da Eq. (17).
Operadores
Sejam os operadores
A, B, C, classe restritiva (observveis)
X, Y, Z, classe geral
Operao sobre Kets
Os operadores sempre atuam nos kets pelo lado esquerdo
X - (|o)) = X|o) (resulta outro ket)
Operadores iguais: X = Y se
X|o) = Y|o) (20)
X um operador nulo se
X|o) = 0 (21)
para um ket arbitrrio.
Adio de operadores: comutativa e associativa
X + Y = Y + X (21a)
X + (Y + Z) = (X + Y) + Z (21b)
Operadores lineares:
X(c
o|o) + c
[|[)) = c
o
X|o) + c
[
X| [) (22)
Operao sobre Bras
Os operadores sempre atuam sobre os bras pelo lado direito.
(o| - X) = o| X (resulta outro bra)
Correspondncia dual
X|o)
CD
o| X
(24)
onde X
chamado de adjunto Hermitiano ou adjunto de X.

Operador Hermitiano: dito ser Hermitiano, o operador que satisfaz
X = X
(25)
Multiplicao de Operadores
no comutativa
XY YX (26)
associativa
X(YZ) = (XY)Z = XYZ (27)
X(Y|o)) = (XY)|o) = XY|o), ([| X)Y = [| (XY) = [| XY (28)
correspondncia dual
XY|o)
CD
o|(XY)
mas,
XY|o) = X(Y|o))
CD
(o|Y
)X
= o|Y
de onde se conclui que

(XY)
= Y
(29)
Resumo. At agora vimos produtos do tipo
[|o), X|o), o| X e XY
Quais outros tipos de produtos so permitidos?
Produto externo. O produto de |[) e o|, nesta ordem, ou seja,
(|[)) - (o|) = |[)o| (31)
conhecido como produto externo de |[) e o|. O produto |[)o| deve ser considerado um operador, ao invs
de um nmero como o caso do produto escalar [|o).
Produtos ilegais. Os produtos da forma
|o)X, Xo|, |o)|[) e o|[|
no tm nenhum sentido (quando o e [ so vetores kets ou bras que pertencem ao mesmo espao bra ou ket).
Eles simplesmente no significam nada (no so operadores, kets ou bras).
Axioma Associativo da Multiplicao
A multiplicao entre operadores associativa esta propriedade deve valer para todos os produtos legais
entre operadores, kets e bras (axioma associativo).
Ilustrao com o produto externo
(|[)o|) - |,) (32)
Devido ao axioma associativo, podemos reescrever:
|[) - (o|,)) (33)
onde o|,) um nmero. Como so iguais, podemos omitir o ponto e os parnteses:
|[)o|,)
possuindo dois significados equivalentes
|[)o|,) operador |[)o| atuando sobre o ket |,).
|[)o|,) nmero o|,) multiplicando |[).
Por outro lado, se (33) fosse escrita como
(o|,)) - |[)
no poderamos omitir o ponto e o parntese, pois a expresso resultante seria ilegal. Ou seja,
o|
ilegal
,)|[)
Observao Note que o operador |[)o| gira |,) na direo de |[). fcil mostrar que, se
X = |[)o|, (34)
ento
X
= (|[)o|)
= |o)[|. (35)
Outra ilustrao importante do axioma Seja
bra
([|) -
ket
(X|o)) =
bra
([| X) -
ket
(|o)) (36)
Como os dois lados so iguais, podemos representar numa forma mais compacta
[| X|o) (37)
Observao Como o| X
o bra que dual a X|o), ento

[| X|o) = [| - (X|o))
Por outro lado, da Eq. (12) [|o) = (o|[))
, ento
[| - (X|o)) = (o|X
) - |[))
= o|X
|[)
Ou seja
[| X|o) = o|X
|[)
(38)
Para um operador Hermitiano, X
= X, tem-se
[| X|o) = o| X|[)
(39)
1.3 Kets de Base e Representaes Matriciais
Autokets de um observvel
Vamos considerar os autovalores e autokets de um operador Hermitiano A.
Teorema Os autovalores de um operador Hermitiano A so reais; os autokets de A correspondentes a diferentes
autovalores so ortogonais.
Prova: Seja
A|a
) = a
|a
) (3.1)
Como A Hermitiano, A
= A, ento
a
| A
= a
| A = a
| (3.2)
Ento
a
| A|a
) = a
|a
)
a
| A|a
) = a
|a
)
e, subtraindo ambos os membros, encontramos
(a
)a
|a
) = 0 (3.3)
Admitindo que os vetores no sejam nulos, temos dois casos:
(1) Fazendo a
= a
Neste caso, deduzimos a condio de que os autovalores de um operador

Hermitiano so reais, ou seja,
a
= a
(3.4)
(a primeira metade do teorema).
(2) Fazendo a
A diferena, a
= a
(autovalores reais), no pode se anular, por

hiptese. Logo, o produto interno a
|a
) deve ser nulo, ou seja

a
|a
) = 0, (a
)
o que prova a propriedade da ortogonalidade (segunda metade do teorema).
Observveis autovalores reais operadores Hermitianos.
Normalizao Na forma ortonormal
a
|a
) = o
a
a
. (3.6)
Completeza Por construo do nosso espao ket, os autokets de A formam um conjunto completo.
Autokets como Kets de Base
Todos os autokets normalizados de A formam um conjunto ortonormal completo. O nmero de autokets igual
dimensionalidade do espao vetorial complexo.
Um ket arbitrrio no espao ket pode ser expandido em termos dos autokets de A. Seja a expanso de um ket
arbitrrio |o) no espao ket descrito pelos autokets de A:
|o) =

a
c
a
|a
) (3.7)
Multiplicando por a
| e usando a relao de ortonormalidade, encontram-se os coeficientes da expanso:

a
|o) =
a
c
a
a
|a
) =
a
c
a
o
a
a
= c
a
Ou seja,
c
a
= a
|o) (3.8)
E a expanso fica
|o) =
a
|a
)a
|o) (3.9)
Analogia com a expanso de um vetor V (real) no espao euclidiano:
V =
i
i
(
i
- V) (3.10
Em termos de base, os autokets de A so comparveis ao conjunto de vetores unitrios mutuamente ortogonais do
espao euclidiano.
Relao de Completeza
Do axioma associativo da multiplicao e sendo |o) um vetor arbitrrio, obtm-se
|o) =
a
|a
)a
|o) =
a
|a
)a
| |o)
a
|a
)a
| = 1 (3.11
que conhecida como relao de completeza. O 1 do lado direito deve ser entendido como o operador
identidade.
Uso do operador identidade. Seja o|o). Podemos escrever
o|o) = o|1|o) = o|
a
|a
)a
| |o)
=
a
o|a
)a
|o)
=
a
|o)
|o)
=
a
|a
|o)|
2
Para kets normalizados, o|o) = 1. Logo,
|a
|o)|
2
= 1
e, como c
a
= a
|o), encontramos a relao
|c
a
|
2
= 1, (3.13
que deve ser satisfeita pelos coeficientes da expanso (3.7).
Operador projeo
Seja o operador |a
)a
| que aparece em (3.11). Aplicando sobre o ket |o)

(|a
)a
|) - |o) = |a
)a
|o) = c
a
|a
) (3.14
O que isto significa?
Significa que operando sobre o ket |o), o operador |a
)a
| seleciona a parcela de |o) que paralela a |a
). Em
outras palavras, o operador |a
)a
| operando sobre |o) projeta este ket ao longo do ket de base |a
). Por isto
|a
)a
| conhecido como operador projeo ou projetor. Denotando-o por A

a
, ou seja,
A
a
= |a
)a
| (3.15
a relao de completeza (3.11) pode ser escrita como
A
a
= 1 (3.16
Representao Matricial
Conhecendo-se os kets de base, num espao N dimensional, como representar um operador X por uma
matriz quadrada?
Considere a identidade
X =
=1
|a
)a
| X
=1
|a
)a
| ,
que pode ser reescrita como
X =
a
|a
)
nmeros
a
| X |a
) a
|. (3.17
Quantos nmeros da forma a
| X |a
) existem? Sabendo-se que o conjunto a
) = a
(1)
, a
(2)
, a
(3)
, , a
(N)
)
existem N
2
nmeros dessa forma.
Forma matricial. Podemos coloc-los na forma matricial, fazendo as seguintes identificaes
linha
a
| X
coluna
|a
) (3.18
Ou seja,
X
a
(1)
| X |a
(1)
) a
(1)
| X |a
(2)
)
a
(2)
| X |a
(1)
) a
(2)
| X |a
(2)
)
. . `
(3.19
onde o smbolo significa representado por. Usando a Eq (38) da Se. 2, podemos escrever
a
| X |a
) = a
| X
|a
. (3.20
Para um operador Hermitiano B, ou seja, B = B
, esta equao torna-se,

a
| B |a
) = a
| B |a
. (3.21
Verificao da regra usual da multiplicao de matrizes
Podemos mostrar que o arranjo a
| X |a
) numa matriz quadrada satisfaz a regra usual de multiplicao.

Relao de operadores Seja Z o produto de dois operadores
Z = XY.
Assim
a
| Z |a
) = a
| XY |a
) =

a
| X |a
)a
| Y |a
) (3.23)
que o produto de duas matrizes quadradas!
Relao de kets Seja |,) o ket obtido pela aplicao do operador X sobre o ket |o)
|,) = X|o) (3.24)
Assim
a
|,) = a
| X |o) =

a
| X |a
)a
|o) (3.25)
que pode ser visto como a multiplicao de uma matriz quadrada por uma matriz-coluna. As matrizes-coluna a
(i)
o)
e a
(i)
,) representam os coeficientes de expanso dos kets |o) e |,), respectivamente, nos kets da base. Ou seja,
|o)
a
(1)
o)
a
(2)
o)
a
(3)
o)
.
, |,)
a
(1)
,)
a
(2)
,)
a
(3)
,)
.
(3.26)
Relao de bras Seja
,| = o| X
Da mesma forma
,|a
) = o| Xa
) =

a
,|a
)a
| Xa
) (3.28)
Logo, um bra representado por uma matriz-linha
,| , a
(1)
), , a
(2)
), , a
(3)
),
= a
(1)
|,)
, a
(2)
|,)
, a
(3)
|,)
, (3.29)
Produto interno [|o)
[|o) =

a
[|a
)a
|o)
= a
(1)
[)
, a
(2)
[)
a
(3)
[)

a
(1)
o)
a
(2)
o)
a
(3)
o)
.
Produto externo |[)o|
|[)o| =

a
|a
)a
|[)o|a
)a
|
Logo,
|[)o|
a
(1)
[)o|a
(1)
) a
(1)
[)o|a
(2)
)
a
(2)
[)o|a
(1)
) a
(2)
[)o|a
(2)
)
. . `
ou, usando a conjugao complexa
|[)o|
a
(1)
[)a
(1)
o)
a
(1)
[)a
(2)
o)

a
(2)
[)a
(1)
o)
a
(2)
[)a
(2)
o)

. . `
(3.31)
Observvel A na base dos autokets
A

a
|a
)a
| A|a
)a
|
Como |a
) um autoket de A, ou seja, A|a
) = a
|a
), a matriz a
| A|a
) diagonal:
a
| A|a
) = a
|a
) = a
o
a
a
(3.33)
Logo,
A

a
|a
)a
| A|a
)a
|
=

a
|a
) a
o
a
a
a
|
=

a
|a
) a
|
=

a
A
a
(3.34)
Sistemas de Spin
Base usada: |S
z
; ) |)
Operador identidade
1 =

a
=+,
|a
)a
| = |+)+| + |)|
Operador S
z
De acordo com (3.34), a representao de um operador na base de seus autokets
A =

a
A
a
Logo,
S
z
=
h
2
|+)+| |)|
Escrito desta forma, a relao de autovalores S
z|) =
h
2
|), ou seja,
S
z|+)
h
2
|+)+| |)| |+)
=
h
2
|+)
=1
+|+) |)
=0
|+)
=
h
2
|+).
Da mesma forma,
S
z|)
h
2
|+)+| |)| |)
=
h
2
|+)
=0
+|) |)
=1
|)
=
h
2
|).
1.4 Medidas, Observveis e Relaes de Incerteza
Medidas
Uma medida sempre faz com que o sistema salte para um autoestado da varivel dinmica que est sendo avaliada.
(Dirac)
O que significam essas palavras de Dirac? Vamos analisar o processo de medida de um observvel A.
Antes da medida. Nesta etapa, vamos admitir que o sistema esteja num estado |o), que pode ser
representado por uma combinao linear dos autokets de A. Ou seja,
|o) =
a
c
a
|o
) =
a
|a
)a
|o) (4.1)
Aps a medida. Quando a medida realizada, o sistema jogado em um dos autoestados, digamos
|a
), do observvel A. Ou seja,
medida de A
|o) |a
) (4.2)
Exemplo Um tomo de prata com uma orientao de spin arbitrria mudar para um dos estados |S
z
; +) ou |S
z
; ),
quando sujeito a um dispositivo de Stern-Gerlach do tipo SGz. Ento, a medida geralmente muda o estado. A nica
exceo quando o sistema j est em um dos autoestados do observvel que est sendo medido. Neste caso,
medida de A
|a
) |a
) (4.3)
Resultado da experincia. Quando o sistema passa do estado inicial |o) para um autoestado do observvel
A, no sabemos de antemo em qual dos vrios autoestados |a
)s desse observvel o sistema ser

encontrado como resultado de uma medida.
Probabilidade. Embora no se saiba prever exatamente em qual dos autoestados o sistema ser
encontrado, podemos estimar a probabilidade do sistema saltar para um dado autoestado |a
) de A. Admite-se
que tal probabilidade seja dada por
P
oa
= |a
|o)|
2
(4.4)
que um dos postulados fundamentais da MQ.
Como definir probabilidade para um nico sistema?
Ensemble puro. Embora se fale de um nico sistema, devemos considerar um grande nmero de medidas
realizadas sobre uma coleo (ensemble) de sistemas fsicos preparados identicamente, todos com o mesmo
estado inicial |o). Tal ensemble conhecido como ensemble puro.
| a
(1)
| a
(2)
| a
(N)
|
m
e
d
id
a
d
e
A
Exemplo Um exemplo de ensemble puro seriam os tomos de prata que atravessam o primeiro aparelho SGz com
a componente S
z
bloqueada, uma vez que qualquer tomo membro do ensemble caracterizado por S
z+
.
Faz sentido a interpretao probabilstica?
Casos extremos
|i) = |a
) e |f) = |a
) Considere o sistema no estado inicial |a
). Qual a probabilidade de encontrar o sistema

no estado final |a
) aps a medida? De acordo com (4.4)

P
a
a
= |a
|a
)|
2
= 1
como seria esperado. Repetindo-se sucessivamente a medida do mesmo observvel o resultado ser sempre
o mesmo.
|i) = |a
) e |f) = |a
) Sendo a
autoestados do observvel A, devido ortogonalidade entre eles, a

probabilidade vale
P
a
a
= |a
|a
)|
2
= 0
Do ponto de vista da teoria das medidas, kets ortogonais correspondem a alternativas mutuamente excludentes. Por
exemplo, se um sistema de spin est no estado |S
z
; +) com certeza ele no pode estar no estado |S
z
; ).
Casos Gerais
Probabilidade no-negativa. A Eq. (4.4) satisfaz essa exigncia.
Soma 1. Quando existem vrias possibilidades alternativas, a soma total das probabilidades deve ser igual a
1. A Eq (4.4) satisfaz tambm essa exigncia.
Valor Esperado
O valor esperado de A com relao ao estado |o) definido como
A)
o
o| A | o) (4.5)
Valor medido mdio O valor esperado pode ser reescrito como
A)
o
=
a
o|a
)a
| A | a
)a
|o)
=
a
o|a
)a
| a
)a
|o)
=
a
o|a
)a
|o) =
a
|o)
|o)
=
a
medido a
valor
-
a
de obter a
probabilidade
|a
|o)|
2
muito importante no confundir autovalores com valores esperados. Por exemplo, o valor esperado de S
z
para sistemas
com spin pode ter qualquer valor entre h/2 e +h/2, digamos, 0, 273h; por outro lado, os autovalores de S
z
s podem ter
dois valores: h/2 e +h/2.
Medida Seletiva ou Filtragem
No experimento de Stern-Gerlach, permitimos que apenas os tomos com uma das componentes do spin
passasse atravs do aparelho, bloqueando-se completamente a passagem de tomos com a outra
componente.
Processo de medida. De uma maneira geral, imaginamos um processo de medida com um dispositivo que
seleciona apenas um dos autokets de A, digamos |a
), rejeitando todos os outros (medida seletiva); v. figura

abaixo.
| a'
| a'' com a'' a'
|
Medida de A
Matemtica da medida seletiva. Matematicamente, quantificamos a medida seletiva, aplicando-se o
operador projeo A
a
sobre o ket |o)
A
a
|o) = |a
)a
|o). (4.7)
Sistemas de Spin Revisitados
Na experincia de Stern-Gerlach, vimos que quando o feixe de tomos com S
x
+ est sujeito a um aparelho do tipo
SGz, o feixe se desdobra em duas componentes com intensidades iguais.
Em termos dos postulados da MQ: a probabilidade para que o estado S
x
+ seja lanado em qualquer um dos
estados |S
z
; ), ou simplesmente |), vale
1
2
. Em outras palavras,
||S
x
; +)|
2
=
1
2
.
Logo,
|+|S
x
; +)| =
1
2
||S
x
; +)| =
1
2
Construo dos kets |S
x
; ). Podemos construir o ket |S
x
; +) com segue. De acordo com a expresso
acima, |S
x
; +) tem componentes em ambos os autokets da base de S
z
. Assim, podemos escrever
|S
x
; +) =
1
2
|+) +
1
2
e
io1
|) (4.9)
com o
1
real.
Por conveno, o coeficiente de |+) pode ser escolhido como sendo real e positivo.
Para construir o ket |S
x
; ), devemos observar que ambos, |S
x
; +) e |S
x
; ), so ortogonais, uma vez que as
alternativas S
x
+ e S
x
so mutuamente excludentes. Esta ortogonalidade exige que
S
x
; |S
x
; +) = 0.
Logo, escrevendo |S
x
; ) como
|S
x
; ) =
1
2
|+) +
1
2
e
io
1
|)
onde usamos a conveno acima, encontramos
S
x
; |S
x
; +) = +|
1
2
+ |
1
2
e
io
1
-
1
2
|+) +
1
2
e
io1
|)
=
1
2
+|+) +
1
2
e
io1
+|) +
1
2
e
io
1
|+) +
1
2
e
i(o1o
1
)
|)
=
1
2
+
1
2
e
i(o1o
1
)
= 0
de onde se obtm
e
i(o1o
1
)
= 1 o
1
o
1
= m o
1
= o
1
m
Logo
|S
x
; ) =
1
2
|+) +
1
2
e
io1
e
im
|)
o que nos fornece
|S
x
; ) =
1
2
|+)
1
2
e
io1
|)
Construo dos Operadores S
x
e S
y
Usando a equao
A =
a
A
a
podemos agora construir o operador S

x
. Seguindo a prescrio
S
x
=
h
2
|S
x
; +)S
x
; +|
h
2
|S
x
; )S
x
; |
=
h
2
1
2
|+) +
1
2
e
io1
|) - +|
1
2
+ |
1
2
e
io1
h
2
1
2
|+)
1
2
e
io1
|) - +|
1
2
|
1
2
e
io1
=
h
2
1
2
|+)+| + e
io1
|+)| + e
io1
|)+| + e
io1
e
io1
|)|
|+)+| + e
io1
|+)| + e
io1
|)+| e
io1
e
io1
|)|
=
h
2
1
2
2e
io1
|+)| + 2e
io1
|)+|
Ou seja,
S
x
=
h
2
e
io1
|+)| + e
io1
|)+|
que um operador Hermitiano, como deveria ser. De fato, calculando o adjunto Hermitiano desse operador, ou
seja, S
x
, encontramos
S
x
=
h
2
e
io1
|+)| + e
io1
|)+|
=
h
2
e
io1
|)+| + e
io1
|+)|
= S
x
que a condio para que o operador seja Hermitiano.
Procedendo de uma forma similar, encontramos o operador S
y
:
|S
y
; ) =
1
2
|+)
1
2
e
io2
|)
S
y
=
h
2
e
io2
|+)| + e
io2
|)+|
Existe alguma maneira de calcular o
1
e o
2
?
Vamos calcular a probabilidade
|S
y
; |S
x
; )| = ?
ou seja, a probabilidade de um sistema no estado inicial |S
x
; +) ou |S
x
; ) ser encontrado, aps a medida, no
estado |S
y
; +) ou |S
y
; ). Usando a representao desses estados na base |S
z
; ), encontra-se
|S
y
; |S
x
; +)| = +|
1
2
|
1
2
e
io2
-
1
2
|+) +
1
2
e
io1
|)
=
1
2
+| +) +
1
2
e
io1
+| ) | +)
1
2
e
io2
1
2
e
i(o1o2 )
| )
=
1
2

1
2
e
i(o1o2 )
=
1
2
|1 e
i(o1o2 )
|.
Da mesma forma,
|S
y
; |S
x
; )| = +|
1
2
|
1
2
e
io2
-
1
2
|+)
1
2
e
io1
|)
=
1
2
+| +) +
1
2
e
io1
+| ) | +)
1
2
e
io2
1
2
e
i(o1o2 )
| )
=
1
2

1
2
e
i(o1o2 )
=
1
2
|1 e
i(o1o2 )
|
=
1
2
|1 e
i(o1o2 )
|.
Logo,
|S
y
; |S
x
; +)| = |S
y
; |S
x
; )| =
1
2
|1 e
i(o1o2 )
|.
Mas o que significa esta probabilidade?
Para responder a esta questo, vamos considerar um experimento sequencial de Stern-Gerlach do tipo
SGx SG com tomos de spin movendo-se na direo z. Devido invarincia rotacional do sistema fsico,
este experimento pode ser considerado como um do tipo SGz SGx que foi discutido anteriormente. Os
resultados so exatamente os mesmos obtidos na Eq. (1.4.8), isto ,
|S
y
; |S
x
; +)| = |S
y
; |S
x
; )| =
1
2
.
Em vista disto,
1
2
|1 e
i(o1o2 )
| =
1
2
ou
|1 e
i(o1o2 )
| = 2 .
Usando a frmula de Euler, e
io
= cos o + i seno, podemos reescrever aquela equao como,
|1 e
i(o1o2 )
| = 1 cos(o
1
o
2
) + i sen(o
1
o
2
)
= 1 cos(o
1
o
2
) + i sen(o
1
o
2
)
= 1 cos(o
1
o
2
)
2
+ sen
2
(o
1
o
2
)
= 1 2cos(o
1
o
2
) + cos
2
(o
1
o
2
) + sen
2
(o
1
o
2
)
= 2 2cos(o
1
o
2
)
= 2 1 cos(o
1
o
2
) .
Ou seja,
|1 e
i(o1o2 )
| 2 1 cos(o
1
o
2
) = 2
de onde se obtm
1 cos(o
1
o
2
) = 1
que, evidentemente, s satisfeita se cos(o
1
o
2
) = 0. Isto significa que
o
2
o
1
=
m
2
. (4.16
Este resultado significa que os elementos de matrix de S
x
e S
y
no podem ser ambos reais. De fato, a presena dos
fatores de fase e
io1
e e
io2
nas definies dos estados |S
x
; ) e |S
y
; ), respectivamente, exige que pelo menos um deles seja
complexo. De fato, escolhendo o
1
= 0, o
2
= m/2 e, portanto, e
io2
= i (imaginrio puro).
conveniente escolhermos os elementos de matriz de S
x
como sendo reais. Neste caso, o
1
= 0 ou m. (No caso
de o
1
= m, a orientao positiva do eixo x ter direo oposta a de o
1
= 0). A segunda fase, o
2
, para o
1
= 0
ser ento:
o
2
=
m
2
ou
m
2
.
O fato de ainda existe esta ambiguidade na escolha de o
2
no significa nenhuma surpresa, uma vez que ainda no
especificamos se o sistema de coordenadas que estamos usando dextrgiro ou no. Ou seja, dados os eixo x e z, ainda
existe uma ambiguidade na escolha do sentido positivo do eixo y. Veremos mais tarde que a escolha do sistema de
coordenadas dextrgiro levar escolha correta de o
2
= m/2.
Resumo
Com as escolhas o
1
= 0 e o
2
=
m
2
, encontra-se
|S
x
; ) =
1
2
|+)
1
2
|)
|S
y
; ) =
1
2
|+)
i
2
|)
e,
S
x
=
h
2
|+)| + |)+|
S
y
=
h
2i
|+)| |)+|
(4.18
(4.18
Operadores S
Os operadores no Hermitianos S
definidos em (1.3.38), isto ,

S
= h|)|
podem agora ser escritos com a ajuda das Eqs. (4.18-a,b). De fato,
2S
x
h
= |+)| + |)+|
2iS
y
h
= |+)| |)+|
de onde se obtm
2S
x
h
+
2iS
y
h
= 2|+)|
2S
x
h

2iS
y
h
= 2|)+|
Logo,
S
+
h|+)| = h
S
x
h
+
iS
y
h
= S
x
+ iS
y
S
= h|)+| = h
S
x
h

iS
y
h
= S
x
iS
y
Ou seja,
S
= S
x
iS
y
. (4.19
Relaes de Comutao e Anticomutao
Sejam os operadores A e B. Definem-se relao de comutao entre esses operadores, |A, B], como
|A, B] AB BA,
e relao de anticomutao, A, B), como
A, B) AB + BA.
Relaes de comutao dos operadores S
x
, S
y
e S
z
Estes trs operadores so dados por
S
x
=
h
2
|+)| + |)+|
S
y
=
h
2i
|+)| |)+|
S
z
=
h
2
|+)+| |)|
Relao de comutao entre S
x
e S
y
Seja
|S
x
, S
x
] =
h
2
|+)| + |)+|
h
2
|+)| + |)+|
h
2
|+)| + |)+|
h
2
|+)| + |)+|
=
h
2
2
|+)
=0
|+) | + |+)
=1
|) +| + |)
=1
+|+) |
+ |)
=0
+|) +| |+)
=0
|+) | |+)
=1
|) +|
|)
=1
+|+) | |)
=0
+|) +|
= i
h
2
2
|+)+| + |)| |+)+| |)|
= 0
Assim tambm como
|S
y
, S
y
] = |S
z
, S
z
] = 0.
Relao de comutao entre S
x
e S
y
|S
x
, S
y
] =
h
2
|+)| + |)+|
h
2i
|+)| |)+|
h
2i
|+)| |)+|
h
2
|+)| + |)+|
= i
h
2
2
|+)
=0
|+) | |+)
=1
|) +| + |)
=1
+|+) |
|)
=0
+|) +| |+)
=0
|+) | |+)
=1
|) +|
+ |)
=1
+|+) | + |)
=0
+|) +|
= i
h
2
2
|+)+| + |)| |+)+| + |)|
= i
h
2
2
2|+)+| + 2|)|
Ou seja,
|S
x
, S
y
] = i
h
2
2
|+)+| + |)|
= ih
h
2
|+)+| |)|
= ihS
z
Da mesma forma,
|S
y
, S
z
] = ihS
x
|S
z
, S
x
] = ihS
y
De uma maneira geral, podemos mostrar que esses operadores satisfazem as relaes de comutao
|S
i
, S
j
] = i c
ijk
hS
k
onde c
ijk
o smbolo de Levi-Civita que satisfaz as relaes
c
ijk
=
1, i, j, k = permutao cclica de x, y, z
0, repetio de dois ou mais ndices
1, i, j, k = permutao no-cclica de x, y, z
.
Relaes de anticomutao dos operadores S
x
, S
y
e S
z
Anticomutao de S
x
com S
x
. Neste caso,
S
x
, S
x
) =
h
2
|+)| + |)+|
h
2
|+)| + |)+|
+
h
2
|+)| + |)+|
h
2
|+)| + |)+|
=
h
2
2
|+)
=0
|+) | + |+)
=1
|) +| + |)
=1
+|+) |
+ |)
=0
+|) +| + |+)
=0
|+) | + |+)
=1
|) +|
+ |)
=1
+|+) | + |)
=0
+|) +|
=
h
2
2
|+)+| + |)| + |+)+| + |)|
=
h
2
2
2|+)+| + 2|)| = 2
h
2
2
=1
|+)+| + |)|
=
h
2
2
.
Da mesma forma, podemos mostrar que
S
y
, S
y
) = S
z
, S
z
) =
h
2
2
.
Anticomutao de S
x
com S
y
. Seja a relao S
x
, S
y
) = S
x
S
y
+ S
y
S
x
. Substituindo as expresses, encontra-se
S
x
, S
y
) =
h
2
|+)| + |)+|
h
2i
|+)| |)+|
+
h
2i
|+)| |)+|
h
2
|+)| + |)+|
= i
h
2
2
|+)
=0
|+) | |+)
=1
|) +| + |)
=1
+|+) |
|)
=0
+|) +| + |+)
=0
|+) | + |+)
=1
|) +|
|)
=1
+|+) | |)
=0
+|) +|
= i
h
2
2
|+)+| + |)| + |+)+| |)|
= 0.
Da mesma forma encontraremos
S
y
, S
z
) = S
z
, S
x
) = 0
De uma maneira geral, as relaes de anticomutao entre os trs operadores podem ser escritas na forma
abreviada como
S
i
, S
j
) =
1
2
h
2
o
ij
, (i, j = x, y, z).
Esta relao de anticomutao um caso especial para sistemas de spin , no valendo para outros valores de spin.
Operador S
2
Vamos definir o operador S
2
= S S, como
S
2
= S
x
2
+ S
y
2
+ S
z
2
Da relao de anticomutao S
x
, S
x
) obtm-se
S
x
, S
x
) = 2S
x
2
S
x
2
=
1
2
S
x
, S
x
) =
1
4
h
2
Da mesma forma,
S
y
2
= S
z
2
=
1
4
h
2
.
Logo,
S
2
=
3
4
h
2
.
que uma constante multiplicada pelo operador identidade.
A forma deste operador um caso especial para sistemas de spin , no valendo para outros valores de spin.
Para este caso, podemos mostrar facilmente que
|S
2
, S
i
] = 0, (i = x, y, z).
Observveis Compatveis
Dois observveis A e B so definidos serem compatveis, quando os correspondentes operadores comutam
entre si, ou seja,
|A, B] = 0;
e, incompatveis, quando os operadores correspondenete no comutam entre si,
|A, B] 0.
Exemplo Os observveis S
2
e S
z
so compatveis, enquanto que S
x
e S
z
so incompatveis.
Observveis compatveis A e B. Vamos admitir, como usual, que o espao ket seja descrito pelos
autokets de A. (Poderamos tambm considerar que o mesmo espao fosse descrito pelos autokets de B).
Para observveis compatveis A e B, como se relacionam os autokets desses dois operadores ?
Antes de responder a esta questo, vamos abordar o conceito da degenerescncia de autovalores.
Degenerescncia
Quando existem dois (ou mais) autokets de A, linearmente independentes, com os mesmos autovalores,
dizemos que estes autovalores dos dois (ou mais) autokets so degenerados. Neste caso, a notao |a
) que
rotula o autoket apenas por seu autovalor no d uma descrio completa. Pior ainda, que o conceito de
espao ket sendo descrito pelo conjunto de autokets |a
)) tem problemas quando a dimensionalidade do

espao ket maior do que o nmero de autovalores distintos. Felizmente, em aplicaes prticas em MQ, os
autovalores de algum outro observvel B que comuta com A, podem ser usados para rotular esses autokets
degenerados.
Teorema Suponha que A e B sejam observveis compatveis, e os autovalores de A so no-degenerados. Ento, os
elementos de matriz a
| B|a
) so todos diagonais. (No devemos esquecer que os elementos de matriz de A j so

diagonais se |a
) forem usados como kets de base.)

Prova: Usando a definio de observveis compatveis, sabemos que
a
| |A, B] |a
) = 0
Ou seja
a
| (AB BA)|a
) = (a
)a
| B|a
) = 0
que tem como soluo
a
| B|a
) 0, se a
= a
| B|a
) = 0, se a
.
Na forma compacta, podemos escrever os elementos de matriz como
a
| B|a
) = o
a
a
a
| B|a
)
o que prova a afirmativa de que os elementos de matriz a
| B|a
) so todos diagonais.
Operador B na Base dos Autokets de A
Seja a identidade
B =
a
|a
)a
| B|a
)a
|.
Substituindo o resultado (1.4.29), encontra-se
B =
a
|a
)o
a
a
a
| B|a
)a
| =
a
|a
)a
| B|a
)a
|.
Fazendo este operador atuar num autoket de A, digamos |a
), tem-se
B|a
) =
a
|a
)a
| B|a
)a
|a
) = (a
| B|a
)) |a
) (4.31
Mas isto no nada mais do que a equao de autovalores para o operador B com autovalor
b
| B|a
) (4.32
Logo, o autoket |a
) um autoket simultneo de A e B. Devido a essa imparcialidade |a
) em relao a ambos
os operadores, podemos renome-lo como |a
, b
) para carecterizar este autoket simultneo.

Caso degenerado
Embora a prova dada acima seja para o caso onde os autokets de A so no-degenerados, o enunciado
tambm vale se existir uma nupla degenerescncia, ou seja,
A|a
(i)
) = a
|a
(i)
), para i = 1, 2, , n,
onde |a
(i)
) so n autokets de A mutuamente ortonormais. Para que se possa ver isso, precisamos apenas
construir n apropriadas combinaes lineares de |a
(i)
) que diagonalizam o operador B (v. Se. 1.5).
Um autoket simultneo de A e B, denotado por |a
, b
), tem a propriedade
A|a
, b
) = a
|a
, b
)
B|a
, b
) = b
|a
, b
)
Quando no existe degenerescncia, esta notao suprflua, uma que, da Eq. (1.4.32), v-se que especificando-se a
,
necessariamente conhecemos o b
que aparece em |a
, b
). A notao |a
, b
) muito mais poderosa quando existem

degenerescncias. Veja exemplo abaixo.
Exemplo Os autovalores de L
2
(quadrado do momento angular orbital) e L
z
(componente-z do momento angular
orbital) valem h
2
l(l + 1) e m
l
h
2
, respectivamente. sendo l um nmero inteiro e m
l
= l, l + 1, , +l. Para caracterizar
completamente um estado de momento angular precisamos especificar tanto l como m
l
. Por exemplo, dizendo-se
apenas que l = 1, os valores de m
l
ainda podem ser 1, 0 ou +1. Dizendo-se que m
l
= 1, l pode ter os valores
1, 2, 3, . A nica maneira de no sermos ambiguos em relao ao estado de momento angular, especificarmos
simultaneamente os valores de l e m
l
, ou seja, |l, m
l
).
ndices coletivos
s vezes um ndice coletivo pode ser usado para caracterizar (a
, b
), tal que
|K
) = |a
, b
)
Generalizao para Mais de Dois Observveis Compativeis
A condio para os observveis A, B, C, serem compatveis, pode ser generalizada para
|A, B] = |B, C] = |A, C] = = 0. (4.36
Conjunto mximo de observveis comutantes. Dada uma lista de observveis, o conjunto mximo de
observveis comutantes o maior conjunto que podemos formar com esses observveis sem que se viole a
condio (1.4.36).
Os operadores individuais A, B, C, , podem ter degenerescncia, mas se especificarmos uma combinao
(a
, b
, c
, ) , ento os correspondentes autokets simultneos de A, B, C, so especificados sem

ambiguidades. Podemos usar o ndice coletivo K
para representar (a
, b
, c
, ). A relao de ortogonalidade
para
|K
) = |a
, b
, c
, )
ser
K
|K
) = o
K
K
= o
a
a
o
b
b
o
c
c
(4.38
enquanto que a relao de completeza, ser escrita como
|K
)K
| =
a
|a
, b
, c
, )a
, b
, c
, | = 1 (4.39
Medidas de Observveis Compatveis
Caso no degenerado. Suponha um sistema num estado inicial |o), quando realizamos medidas dos
observveis compatveis A e B. Suponha ainda que medimos primeiro o observvel A, obtendo como resultado
a
. Subsequentemente, medimos B, obtendo-se b
. Finalmente, medimos A novamente.

Qual o valor que obteremos para esta nova medida de A?
Com base no formalismo de medidas, a resposta simples: a terceira medida (A) sempre dar a
com certeza.
Isto , a segunda medida (B) no destri a informao obtida previamente na primeira medida (A). Isto bvio
quando os autovalores de A so no-degenerados:
|
|a',b' |a',b'
|a',b'
medida de A medida de B
medida de A
(4.40
Caso degenerado. Quando existe degenerescncia, o argumento como segue: Aps a primeira medida
(A), que d a
, o sistema se encontra em alguma combinao linear do tipo
i
n
c
a
(i)
|a
, b
(i)
), (4.41
onde n o grau de degenerescncia, e os kets |a
, b
(i)
) tm o mesmo autovalor a
com relao ao operador A.

A segunda medida (B) pode selecionar apenas um dos termos da combinao linear (1.4.41), digamos,
|a
, b
(j)
), mas a terceira medida aplicada a ele ainda d a
.
Tendo ou no degenerescncia, as medidas de A e B no se interferem. O termo compatvel , de fato, apropriado.
Observveis Incompatveis
Neste caso, os operadores correspondentes aos observveis A e B no comutam entre si. Ou seja,
|A, B] 0.
Isto significa que observveis incompatveis no tm um conjunto completo de autokets simultneos, como no
caso anterior.
Demonstrao. Para demonstrar, vamos considerar que, ao contrrio, existe um conjunto completo de
autokets simultneos. Logo,
AB|a
, b
) = b
A |a
, b
) = a
|a
, b
)
BA|a
, b
) = a
B|a
, b
) = a
|a
, b
)
Ento,
AB|a
, b
) = BA|a
, b
) (4.44
o que significa
(AB BA) |a
, b
) = 0
ou, mais precisamente,
|A, B] = 0
o que est em contradio com a hiptese de que os operadores so incompatveis.
Em geral, |a
, b
) no faz sentido para observveis incompatveis.

Existe porm um exceo interessante: o que acontece quando existe um subespao do espao ket tal que
(1.4.44) vale para todos os elementos deste subespao, mesmo que A e B sejam incompatveis.
Exemplo Momento angular orbital: Considere um estado l = 0 (estado s). Embora os operadores L
x
e L
z
no
comutem, este estado um autoestado simultneo de L
x
e L
z
(com autovalores nulos para ambos os operadores). O
subespao neste caso unidemensional.
Observveis Incompatveis e SG Sequencial
Considere um sequncia de medidas seletivas mostrada na parte (a) da figura abaixo.
O primeiro filtro (A) seleciona o estado |a
) e rejeita os demais.
O segundo filtro (B) seleciona o estado |b
O terceiro filtro (C) seleciona o estado |c
Qual a probabilidade de obter |c
), quando o feixe saindo do primeiro filtro normalizado unidade?

Para obtermos a medida |c
), o feixe deve passar pelo segundo filtro e pelo terceiro filtro. Como neste caso, as
probabilidades so multiplicativas, encontramos
|c
|b
)|
2
|b
|a
)|
2
Agora precisamos somar sobre todos os estados b
para calcular a probabilidade total de ir atravs de todas as

rotas possveis b
|c
|b
)|
2
|b
|a
)|
2
=
b
|b
)b
|a
)a
|b
)b
|c
) (4.46
Operacionalmente, isto significa que primeiro registramos a probabilidade de obter c
com todos os b
bloqueados, com
exceo do primeiro; ento, repetimos o procedimento com todos os b
bloqueados, com exceo do segundo, e assim

sucessivamente. No final, somamos todas essas probabilidades.
Comparao com o filtro B ausente. Veja a parte (b) da figura abaixo, onde o filtro B foi retirado.
Claramente, a probabilidade vale |c
| a
)|
2
, que tambm pode ser escrita como
|c
| a
)|
2
=
b
|b
)b
|a
)
2
=
b
|b
)b
|a
)a
|b
)b
|c
) (4.47
A B C
| a' | b' | c'
A C
| c'
|a
) =
b
|b
)b
|a
)
(a)
(b)
Observao Note que essas duas expresses so diferentes! Mas, isto um resultado extraordinrio, uma vez que em
ambos os casos o feixe puro |a
), saindo do primeiro filtro (A) pode ser considerado como composto dos autoestados de
B, isto ,
|a
) =

b
|b
)b
|a
)
onde a soma sobre todos os valores possveis de b
. O ponto crucial que deve ser notado que o resultado que emerge
do filtro C depende se a medida B foi ou no realizada. No primeiro caso, verificamos experimentalmente quais dos
autovalores de B realmente materializaram-se; no segundo, meramente imaginamos |a
) ser construdo dos vrios |b
s no
sentido de (1.4.48).
Em outras palavras, medindo-se realmente as probabilidades atravs de todas as rotas dos vrios b
faz toda a diferena,

mesmo que no final somemos sobre todos os b
. Aqui est o corao da mecnica quntica.

Em que circustncias as duas expresses so iguais?
Pode-se mostrar que, na ausncia de degenerescncia, a condio suficiente que
|A, B] = 0 ou |B, C] = 0.
Em outras palavras, essa particularidade ilustrada caracterstica de observveis incompatveis.
Relaes de Incerteza
Dado um observvel A, definimos um operador A como
A = A A),
onde o valor esperado tomado para um determinado estado fsico em considerao. O valor esperado de
(A)
2
conhecido como disperso de A. Uma vez que,
(A)
2
= (A A))
2
= A
2
2AA) + A)
2
= A
2
) 2A)
2
+ A)
2
= A
2
) A)
2
,
podemos definir disperso de A como sendo A
2
) A)
2
. s vezes, os termos varincia e desvio quadrtico
mdio so tambm usados para a mesma quantidade.
Disperso tomada para um autoestado de A. Quando o estado em questo um autoestado de A,
(A)
2
A
= A
2
) A)
2
= a
| A
2
|a
) a
| A|a
)
2
= a
2
a
|a
) a
2
a
|a
)
2
= 0.
ou seja, a disperso se anula quando tomada em relao ao autoestado do operador A. Grosso modo, a
disperso de um observvel, caracteriza indefinio. Por exemplo, para o estado S
z
+ de um sistema de spin
, a disperso de S
x
pode ser calculada
(S
x
)
2
S
x
2
) S
x
)
2
= +| S
x
2
|+) +|S
x |+)
2
onde,
+| S
x
2
|+) =
= +|
h
2
|+)| + |)+|
h
2
|+)| + |)+| |+)
=
h
2
2
+| |+)||+)| + |+)||)+| + |)+||+)| + |)+||)+| |+)
=
h
2
2
=1
+||+)+||+) +
=0
+||)||+)
=
1
4
h
2
.
e
+|S
x |+)
2
= +|
h
2
|+)| + |)+| |+)
2
=
h
2
2
+| |+)| + |)+| |+)
2
=
h
2
2
|+||+)||+) + +||)+||+)]
2
= 0
Logo,
(S
x
)
2
= S
x
2
) S
x
)
2
=
1
4
h
2
.
Ao contrrio, a disperso (S
z
)
2
= 0 para o estado S
z
+. Assim, para o estado S
z
+, S
z
preciso (disperso
nula), enquanto que S
x
impreciso.
Relao de incerteza. Sejam os observveis A e B. Ento, para qualquer estado devemos ter a seguinte
desigualdade
(A)
2
(B)
2
1
4
||A, B])|
2
. (4.53
Para prov-la, consideremos os seguintes lemas:
Lema (1) Desigualdade de Schwartz
o|o)o|o) |o|[)|
2
que anloga a
|a|
2
|b|
2
|a b|
2
no espao euclidiano.
Prova: Note que
(o| + [| z
) - (|o) + z|[)) 0,
ou seja,
o|o) + zo|[) + z
[|o) + |z|
2
[|[)
= 1 + 2Re(zo|[)) + |z|
2
[|[) 0
onde z um nmero complexo. Esta desigualdade deve valer quando z = [|o)/[|[). Logo,
o|o) + 2Re
[|o)
[|[)
o|[) +
|[|o)|
2
|[|[)|
2
[|[) =
= o|o)[|[) 2|o|[)|
2
+ |[|o)|
2
= o|o)[|[) |o|[)|
2
0
que a mesma relao da desigualdade de Schwartz.
Lema (2) O valor esperado de um operador Hermitiano real.
Prova: A prova j foi dada em (1.3.21).
Lema (3) O valor esperado de um operador anti-Hermitiano, definido como C = C
imaginrio puro.
Prova: Veja a prova do lema (2).
Com esses lemas, estamos prontos para provar a relao de incerteza (1.4.53). Usando o Lema (1) com
|o) = A| ),
|[) = B| )
onde | ) em branco, enfatiza o fato de que as consideraes aqui podem ser aplicadas a qualquer ket,
obtemos
o|o)o|o) |o|[)|
2
(A)
2
(B)
2
|(A)(B))|
2
onde usamos a hermiticidade dos operadores A e B.
Clculo do lado direito. Para calcular |(A)(B))|
2
, observe que
AB =
1
2
|A, B] +
1
2
A, B)
onde o comutador |A, B] vale
|A, B] = |(A A)), (B B))]
= (A A))(B B)) (B B))(A A))
= AB AB) A)B + A)B) BA + BA) + B)A B)A)
= AB BA
= |A, B],
anti-Hermitiano. Ou seja,
|A, B]
= |A, B]
= (AB)
(BA)
= BA AB = (AB BA)
= |A, B]
Ao contrrio, o anticomutator A, B) obviamente Hermitiano. Assim,
AB) =
1
2
imaginario puro
|A, B]) +
1
2
real
A, B))
onde usamos os Lemas (2) e (3). Portanto, o lado direito torn-se
|(A)(B))|
2
=
1
4
|A, B]
2
+
1
4
A, B)
2
Ento,
(A)
2
(B)
2
|(A)(B))|
2
ou
(A)
2
(B)
2
1
4
|A, B]
2
1.5 Mudana de Base
Operador de Transformao
Considere dois observveis incompatveis, A e B, e que o espao ket em questo possa ser descrito pelo
conjunto |a
)) ou pelo conjunto |b
)).
Exemplo Sistema de spin : |S
z
; ) podem ser usado como base, da mesma forma que |S
x
; ). Mas os dois
conjuntos diferentes de kets de base descrevem o mesmo espao de ket.
Como essas duas descries esto relacionas?
Mudana de base. A mudana do conjunto de kets de base referido como mudana de base ou
mudana de representao.
Representao. Refere-se base na qual os autokets de base so dados. Por exemplo, se a base de
autokets dada por |a
)) chamada de representao de A, ou s vezes, representao diagonal de A, uma

vez que a matriz quadrada correspondente a A diagonal nesta base.
Operador de transformao. Refere-se ao operador que conecta dois conjuntos ortornormais: a base
antiga |a
)) e a nova base |b
)).
Teorema Dado dois conjuntos de kets de base, ambos satisfazendo ortonormalidade e completeza, existe um operador
unitrio U tal que
b
(1)
) = U a
(1)
), b
(2)
) = U a
(2)
), , b
(N)
) = U a
(N)
). (5.1)
Entende-se como operador unitrio aquele que satisfaz as condies
U
U = 1 (5.2)
assim como
UU
= 1 (5.3)
Prova: Seja o operador
U =

k
b
(k)
)a
(k)
. (5.4)
Aplicando em a
(l)
), ou seja,
U a
(l)
) =

k
b
(k)
)a
(k)
a
(l)
)
=

k
b
(k)
)a
(k)
a
(l)
)
=

k
b
(k)
) o
kl
= b
(l)
(5.5)
como queramos. Agora vamos mostrar que U unitrio,
U
U =

k

l
a
(l)
)
o
lk
b
(l)
b
(k)
) a
(k)
=

k
a
(k)
)a
(k)
= 1,
onde usamos a ortonormalidade de |b
)).
Matriz de Transformao
Representao do operador U na base antiga |a
) . De acordo com (1.5.5),

a
(k)
|U |a
(l)
= a
(k)
|b
(l)
).
Em outras palavras, os elementos de matriz da matriz U so os produtos internos entre os bras da base antiga
e os kets da nova base. Lembre-se que a matriz rotao que muda de uma base (x, , z ) para (x
, z
), pode
ser escrita como
R =
x x
x z
z x
z z
.
A matriz quadrada a
(k)
|U |a
(l)
chamada de matriz de transformao da base |a
) para a base |b
) .
Coeficiente de expanso. Dado um ket arbitrrio |o), cujos coeficientes a
|o) so conhecidos na base

antiga,
|o) =
l
|a
(l)
)a
(l)
|o).
Como obter os coeficientes de expanso b
|o) na nova base?

Multiplicando a expanso por b
(k)
|, encontramos
b
(k)
|o) =
l
b
(k)
|a
(l)
)a
(l)
|o)
=
l
b
(k)
|U
|a
(l)
)a
(l)
|o). (5.10
Em notao matricial, esta equao nos diz que a matriz-coluna de |o) na nova base pode ser obtida,
aplicando-se a matriz quadrada U
sobre a matriz-coluna de |o) na base antiga:

(Nova) = U
(antiga)
Elementos de matriz nas duas bases. Seja
b
(k)
| X |b
(l)
=
m

n
b
(k)
| a
(m)
)a
(m)
| X |a
(n)
)a
(n)
|b
(l)
=
m

n
a
(k)
| U
|a
(m)
)a
(m)
| X |a
(n)
) a
(n)
| U |a
(l)
)
conhecida como transformao de similaridade, em lgebra matricial,
X
= U
XU (5.13
Trao de um operador X. a soma dos elementos da diagonal
tr(X) =
a
| X |a
O trao de um operador no depende da base. Da definio de tr(X), podemos mostrar que esta funo
independe da base em que o operador representado. Ou seja,
| X |a
=
a
| b
)b
| X |b
|a
)
=
a
| X |b
)b
|a
)a
| b
)
=
b
| X |b
)
o
b
| b
)
=
b
| X |b
).
Outras relaes envolvendo o trao. Pode-se mostrar que
tr(XY) = tr(YX)
tr(U
XU) = tr(X)
tr(|a
)a
|) = o
a
tr(|b
)a
|) = a
|b
)
Diagonalizao. Estamos interessados nos autovalores b
e os autokets |b
), com a propriedade
B|b
) = b
|b
).
Vamos reescrever esta equao como
|B|a
)a
|b
) = b
| b
) (5.18
Quando | b
) corresponder ao l-simo autoket do operador B, podemos reescrever esta equao em notao

matricial, como segue:
B
11
B
12
B
13

B
21
B
22
B
23

. . . `
C
1
(l)
C
2
(l)
.
= b
(l)
C
1
(l)
C
2
(l)
.
(5.19
com
B
ij
= a
(i)
|B|a
(j)
)
C
k
(l)
= a
(k)
|b
(l)
)
(5.20
(5.20
com i, j, k = 1, 2, , N (dimensionalidade do espao). Solues no triviais para C
k
(l)
so possveis somente se a
equao caracterstica,
det(B z1) = 0,
for satisfeita.
Esta equao de N-sima ordem em z e as N raizes obtidas so identificadas com os b
(l)
s que queremos
determinar.
Conhecendo os b
(l)
s podemos resolver para os correspondentes C
k
(l)
s a menos de uma constante que
determinada pela condio de normalizao.
Comparando (1.5.20-b) com (1.5.7) v-se que os C
k
(l)
s so justamente os elementos da matriz unitria envolvida na
mudana de base |a
)) |b
)).
Para o procedimento de diagonalizao via matriz unitria, a questo da hermiticidade do operador B importante.
Exemplo No caso do operador S
+
no-Hermitiano, sua representao matricial na base de S
z
, que dada por
S
+
h
0 1
0 0
, (5.22)
no pode ser diagonalizada via matriz unitria. No Captulo 2 sero encontrados autokets de um operador
no-Hermitiano em conexo com os estados coerentes de um oscilador harmnico simples, embora sabendo que eles
no formam um conjunto completo ortonormal.
Observveis Equivalentes
Considere o seguinte teorema sobre transformao unitria
Teorema Considere novamente dois conjuntos de bases ortonormais, |a
)) e |b
)) conectados pelo operador U (1.5.4).

Conhecendo U, podemos construir uma transformao unitria de A, UAU
1
; ento A e UAU
1
so denominados de
observveis equivalentes por transformao unitria. A equao de autovalores para A
A|a
(l)
) = a
(l)
| a
(l)
,
o que implica claramente em
UAU
1
U |a
(l)
) = a
(l)
U | a
(l)
Mas isto pode ser reescrito como
(UAU
1
) |b
(l)
) = a
(l)
| b
(l)
). (5.25)
Este resultado aparentemente simples muito profundo. Ele nos diz que os kets | b
(l)
) s so autokets de UAU
1
com exatamente os mesmos autovalores de A. Em outras palavras, observveis equivalentes tm espectros
idnticos.
Seja | b
(l)
) e, por definio,
B| b
(l)
) = b
(l)
| b
(l)
).
Comparando com (1.5.25), infere-se que B e UAU
1
so simultaneamente diagonlizveis. A questo
fundamental :
Os operadores B e UAU
1
so os mesmos?
Nos casos de interesse fsico, a resposta sim muito frequente. Tome, por exemplo, S
x
e S
z
, que so
relacionados por uma rotao em torno do eixo y, como ser mostrado no Captulo 3.
1.6 Posio, Momento e Translao
Espectro contnuo
Observveis com autovalores contnuos: qualquer valor real entre e +. Seja a equao de autovalores
para o caso do espectro contnuo:
|
) =
) (6.1)
onde um operador e
um nmero. O ket |
) o autoket do operador com autovalor
. Seguindo uma
analogia com o caso discreto, vamos substituir o smbolo de Kronecker, o
ij
, pela funo delta de Dirac,
o(
), e a soma sobre autovalores discretos a
) por uma integral sobre a varivel contnua . Ou seja,

Discreto Contnuo
a
|a
) = o
a
) = o(
|a
)a
| = 1 d
| = 1
|o) =
a
|a
)a
|o) |o) = d
|o)
|a
|o)|
2
= 1 d
|o)|
2
= 1
[|o) =
a
[|a
)a
|o) [|o) = d
[|
|o)
a
| A|a
) = a
o
a
| |
) =
o(
)
Autokets da Posio e Medidas da Posio
Como foi enfatizado na Se. 1.4,
medida em MQ essencialmente um processo de filtragem.
Operador posio em uma dimenso. Os autokets | x
) do operador posio x satisfazem

x| x
) = x
| x
)
e formam um conjunto completo (postulado).
No se deve confundir: x
um nmero enquanto que x um operador.

Expanso de um estado arbitrrio. O ket |o) para um estado fsico arbitrrio pode ser expandido em termos
dos | x
)):
|o) =
+
dx
| x
)x
|o) (1.64
Experimento. Suponha um detector muito pequeno que clica somente quando a partcula est
exatamente na posio x
. Imediatamente aps o detector clicar, podemos dizer que o estado em questo

representado por | x
). Em outras palavras, quando o detector clica, | o) salta abruptamente para o autoestado

| x
) da mesma maneira como um estado arbitrrio de spin salta para o estado S

z
+ ou S
z
, quando sujeito a
aparelho de SG do tipo S
z
.
O detector na prtica. O melhor que o detector pode fazer na prtica localizar a partcula dentro de um
pequeno intervalo, , em torno de x
, ou seja, x
/2, x
+ /2 .
Aps o clique do detector, o estado ket muda abruptamente como segue:
|o) =
+
dx
|x
)x
|o)
medida
/2
x
+/2
dx
|x
)x
|o) (6.5)
Admitindo que x
|o) no varie apreciavelmente dentro do estreito intervalo , a probabilidade para que o

detector clique dada por
|x
|o)|
2
dx
onde escrevemos dx
para .
Analogia com o espectro discreto. Esta expresso anloga |a
|o)|
2
para a probabilidade de |o) ser
encontrado num autoestado |a
) quando o observvel A medido.

A probabilidade de encontrar a partcular em algum lugar entre e + dada por
+
dx
|x
|o)|
2
que normalizada a um se |o) for normalizado:
o|o) = 1
+
dx
o|x
)x
|o) = 1.
Observaes:
A quantidade x
|o) a funo de onda para um estado representado por |o).

Os autokets da posio pode ser extendido para trs dimenses: |x
).
Admite-se que, em MQ no-relativstica, os autokets |x
) formam um conjunto completo.

Desprezando-se os graus de liberdade internos (tais como spin), o estado ket para uma partcula pode ser
expandido em termos dos |x
)), ou seja
|o) = d
3
x
|x
)x
|o)
onde x
representa x
, y
e z
; em outras palavras, |x
) um autoket simultneo dos observveis x, y e z
. Ou seja
|x
) |x
, y
, z
),
x|x
) = x
|x
), y|x
) = y
|x
), z|x
) = z
|x
)
existe um autoket simultneo para as trs componentes do vetor posio podemos med-las simultaneamente.
Logo,
|x
i
, x
j
] = 0
onde x
1
, x
2
e x
3
representa x, y e z, respectivamente.
Translao
a operao que muda um estado bem localizado em torno de x
para um outro, tambm bem localizado em

torno x
+ dx
, mantendo inalteradas as demais propriedades do sistema (spin, por exemplo).

Translao infinitesimal. O operador T que realiza essa translao, conhecida como translao infinitesimal,
definido como
T (dx
) = |x
+ dx
) (6.12
onde um possvel fator de fase foi tomado igual a um por conveno.
No so autokets. Os |x
) no so um autokets do operador translao infinitesimal T (dx
).
Efeito de T (dx
) sobre um estado |o). Expande-se |o) em termos dos |x
) e aplica-se o operador translao.

Ou seja,
|o) T (dx
)|o) = T (dx
) d
3
x
|x
)x
|o) = d
3
x
|x
+ dx
)x
|o)
O lado direito tambm pode ser escrito como
d
3
x
|x
+ dx
)x
|o) = d
3
x
|x
)x
dx
|o)
Isto mostra que a funo de onda de um estado transladado T(dx
)|o) obtida substituindo-se em x
|o), x
dx
.
Propriedades que devem ter o operador translao. Vamos relacionar algumas propriedades do operador
translao infinitesimal.
(1) Unitariedade. Esta propriedade imposta pela conservao de probabilidade. Se um ket |o) normalizado
unidade, o ket transladado,T (dx
)|o), tambm ser normalizado unidade. Ou seja,

o|o) = o|T

(dx
)T (dx
)o)
Esta condio garantida, exigindo-se que a translao infinitesimal seja unitria. Ou seja,
T

(dx
)T (dx
) = 1.
(2) Translaes sucessivas. Aplicando-se duas translaes sucessivas, primeiro por dx
e em seguida por dx
,
no necessariamente na mesma direo, espera-se que o resultado total possa ser descrito por uma nica
translao equivalente ao vetor soma dx
+ dx
. Assim, vamos exigir que

T (dx
)T (dx
) = T (dx
+ dx
).
(3) Translao em direo oposta. Considere um translao em direo oposta a dx
, ou seja, T (dx
).
Esperamos que essa translao seja o mesmo que o inverso da translao original. Isto ,
T (dx
) = T
1
(dx
).
(4) Translao dx
0. Se dx
0, esperamos que a operao de translao reduza-se operao identidade,

ou seja,
lim
dx
0
T (dx
) = 1,
e que a diferena entre T (dx
) e o operador identidade seja de primeira ordem em dx
.
Operador translao. Escolhendo-se o operador translao na forma
= 1 iK - dx
(6.20
onde K, K
x
, K
y
e K
z
so operadores Hermitianos, ento todas as propriedades listadas acima so satisfeitas.
De fato, veremos
(1) Unitariedade. Seja
T

(dx
)T (dx
) = (1 iK - dx
(1 iK - dx
)
= (1 + iK
- dx
)(1 iK - dx
)
= 1 i(K K
) - dx
+ O (dx
)
2
1,
onde o termo de segunda ordem desprezvel para uma translao infinitesimal.
(2) Translaes sucessivas. Da mesma forma,
T (dx
)T (dx
) = (1 iK - dx
) (1 iK - dx
)
1 iK - (dx
+ dx
)
= T (dx
+ dx
).
(3) Translao inversa. Este caso pode ser facilmente mostrado
T
1
(dx
) =
1
1 iK - dx
= 1 + iK - dx
+ O (dx
)
2
1 + iK - dx
= T (dx
)
(4) facilmente verificado.
Relao fundamental entre os operadores K e x. Sejam as seguintes expresses:
xT (dx
)|x
) = x |x
+dx
) = (x
+dx
) |x
+dx
)
e
T (dx
) x |x
) = x
T (dx
) |x
) = x
|x
+dx
).
Ento
x, T (dx
) |x
) = (x
+dx
) |x
+dx
) x
|x
+dx
)
= dx
|x
+dx
)
dx
|x
),
onde o erro em tomar |x
+dx
) |x
) da segunda ordem em dx
. Como |x
) formam um conjunto completo de

funes, a equao acima deve valer como uma identidade de operadores. Ou seja,
x, T (dx
) = dx
que pode ser rescrito como

x (1 iK - dx
) (1 iK - dx
) x = dx
ou ainda,
i x K - dx
+ iK - dx
x = dx
Supondo que dx
esteja na direo de x
j
, vamos formar o produto escalar com x
i
,
i x K - x
j
dx
+ iK - x
j
dx
x = x
j
dx
i x K
j
dx
+ iK
j
dx
x = x
j
dx
- x
i
(i)
x - x
i
K
j
K
j
x - x
i
= i x
j
- x
i
x
i
K
j
K
j
x
i
= io
ij
Ou seja,
|x
i
, K
j
] = io
ij
(6.27
onde i, j = 1, 2, 3 representam as componentes x, y, e z dos operadores.
Momento como um Gerador de Translao
A Eq. (6.27) representa as relaes de comutao entre os operadores posio, x, y, z, e os operadores K,
K
x
, K
y
, K
z
.
Qual o significado fsico que podemos atribuir a K?
O operador K est relacionado com o momento linear em MQ. Com esta identificao o operador translao
torna-se
T (dx
) = 1 ip - dx
/h (6.32
E as relaes de comutao (6.27) tornam-se agora
|x
i
, p
j
] = iho
ij
(6.33
Estas relaes de comutao (6.33) implicam que os pares x e p
x
, y e p
y
; e z e p
z
so observveis incompatveis,
enquanto que os demais (por exemplo, x e p
y
) so observveis compatveis. portanto impossveis encontrar
autokets simultneos de x e p
x
y e p
y
; e z e p
z
.
Relao de incerteza posio-momento. Aplicando o formalismo da Se. 1.4, obtm-se a relao de incerteza
de W. Heisenberg:
(x)
2
(p
x
)
2
h
2
/4. (6.34
Translao Finita
Seja uma translao por uma quantidade finita x
na direo do eixo x, ou seja, x
x. Logo,
T (x
x )|x
) = |x
+ x
x ).
Podemos tratar esse deslocamento finito, como uma sucesso de deslocamentos infinitesimais (v. figura).
dx' = x'/N, N
x'
Dividindo o deslocamento original x
em N deslocamentos dx
e no final tomando o limite em que N ,

encontra-se:
T (x
x ) = T (dx
x +dx
x + +dx
x ) =
N vezes
T (dx
x ) T (dx
x ) T (dx
x )
Mas,
N
T (dx
x ) T (dx
x ) T (dx
x ) =
N
1
ip - xdx
h
1
ip - xdx
h
= 1
ip
x
dx
h
N
Como dx
= x
/N, e, para N 0, encontra-se

T (x
x ) = lim
N
1
ip
x
x
Nh
N
= exp
ip
x
x
h
(6.36
CUIDADO: Aqui exp
ipxx
h
deve ser entendido com uma funo do operador p
x
. De uma maneira geral, para
qualquer operador X, tem-se
e
X
= 1 + X +
X
2
2!
+ (6.37
Translaes em diferentes direes. Uma propriedade fundamental das translaes que translaes
sucessivas em diferentes direes (x e y, por exemplo) comutam entre si. Geometricamente, isto pode ser visto
na figura abaixo: ao nos deslocarmos de A para B, no interessa se vamos via C ou via D. O resultado final o
mesmo. Matematicamente,
T (y
y)T (x
x) = T (x
x +y
y)
T (x
x)T (y
y) = T (x
x +y
y)
de onde se obtm
T (y
y), T (x
x) = 0. (6.40
A
C
B D
y' y
x' x
Translaes sucessivas em diferentes
Este ponto no assim to trivial quanto possa parecer; ser mostrado no Captulo 3 que rotaes em torno
de diferentes eixos no comutam entre si. Tratando x
e y
at a segunda ordem, encontramos

T (y
y), T (x
x) = exp
ip
y
y
h
, exp
ip
x
x
h
= 1
ip
y
y
h

p
y
2
(y
)
2
h
+ ,
1
ip
x
x
h

p
x
2
(x
)
2
h
+

(x
)(y
)
h
2
p
y
, p
x
.
Como x
e y
so deslocamentos arbitrrios e usando (6.40), isto T (y
y), T (x
x) = 0, encontra-se
imediatamente
|p
x
, p
y
] = 0 (6.41
ou, ainda mais geral
|p
i
, p
j
] = 0. (6.42
Estas relaes de comutao so consequncia direta do fato de que translaes em diferentes direes comutam entre
si. Toda vez que os geradores de transformaes (no caso aqui so translaes) comutam o grupo correspondente dito
ser abeliano. O grupo de translaes em trs dimenses abeliano.
Os observveis p
x
, p
y
e p
z
so compatveis. As relaes de comutao (6.42) implicam em p
x
, p
y
e p
z
serem
observveis mutuamente compatveis.
Autoket simultneo. Como so compatveis, podemos imaginar um autoket simultneo, ou seja,
|p
) |p
x
, p
y
, p
z
),
p
x|p
) = p
x
|p
), p
y|p
) = p
y
|p
), p
z|p
) = p
z
|p
),
Translao sobre |p
). Vamos aplicar o operador de translao T(dx
) sobre o autoket dos momentos, |p
).
Ou seja
T(dx
) |p
) = 1
ip - dx
h
|p
) = 1
ip
- dx
h
|p
)
Observe que, diferentemente de |x
) (que mostramos no ser um autoket), os estados |p
) so autoestados
(autokets) de T(dx
), como j haviamos antecipado, devido relao de comutao

p, T(dx
) = 0.
Note tambm que os autovalores de T(dx
) so complexos. No esperamos autovalores reais porque T(dx
),
embora unitrio, no um operador Hermitiano.
As Relaes de Comutao Cannicas
Resumo das relaes inferidas do estudo das propriedades de translao:
|x
i
, x
j
] = 0, |p
i
, p
j
] = 0, |x
i
, p
j
] = iho
ij
(6.46
Estas relaes formam a base da mecnica quntica. So conhecidas como relaes de comutao cannicas
ou relaes de comutao fundamentais.
Observaes Histricas
(1) Historicamente foi Heisemberg quem mostrou em 1925 que as regras de combinaes para linhas de
transies atmicas, conhecidas naquele tempo, seriam melhor entendidas se fossem associadas a um arranjo
de nmeros obedecendo certas regras de multiplicao com essas frequncias. Imediatamente depois, Born e
Jordan, reconheceram que as regras de multiplicao de Heisenberg eram essencialmente aquelas da lgebra
matricial e a teoria foi desenvolvida baseada no anlogo de matriz da Eq. (1.6.46), que agora conhecido com
mecnica matricial.
(2) Dirac, tambm em 1925, observou que as vrias relaes na mecnica quntica podem ser obtidas das
correspondentes relaes na mecnica clssica, substituindo os colchetes de Poisson (da mecnica clssica)
pelas relaes de comutao, ou seja,
,
clssico

,
ih
, (6.47
onde os colchetes de Poisson so definidos para funes de q e p, como
|A(q, p), B(q, p)]
clssico

s
A
q
s
B
p
s

A
p
s
B
q
s
(6.48
Por exemplo, em mecnica clssica temos
|x
i
, p
j
]
clssico
= o
ij
que, usando (6.47) obtm-se (1.6.33) em mecnica quntica.
(3) Tanto os colchetes de Poisson, quanto as relaes de comutao satisfazem propriedades algbricas
similares. Por exemplo,
|A, A] = 0
|A, B] = |B, A]
|A, c] = 0, (c um nmero)
|A + B, C] = |A, C] + |B, C]
|A, BC] = |A, B]C + B|A, C]
|A, |B, C]] + |B, |C, A]] + |C, |A, B]] = 0, (identidade de Jacobi)
1.7 Funes de Onda nos Espaos da Posio e do Momento.
Funo de Onda no Espao da Posio
Caso unidimensional. Seja
x |x
) = x
|x
)
e normalizada de tal maneira que a relao de ortogonalidade torna-e
x
|x
) = o(x
).
Expanso. Um ket |o) representando um estado fsico pode ser expandido em termos de |x
),
|o) = dx
|x
)x
|o)
Coeficiente de expanso. O coeficiente de expanso x
|o) interpretado de tal maneira que

|x
|o)|
2
dx
nos fornece a probabilidade da partcula ser encontrada num pequeno intervalo dx
em torno de x
.
Funo de onda. Neste formalismo, o produto interno x
|o) o que usualmente se conhece como funo de

onda
o
(x
) para o estado |o). Ou seja,

x
|o) =
o
(x
)
Interpretaes usando o formalismo de Dirac
Produto interno. Seja o produto interno [|o). Usando a completeza de |x
) obtm-se
[|o) = dx
[|x
)x
|o) = dx
(x
)
o
(x
)
tal que [|o) caracteriza a integral de recobrimento (overlap) entre as duas funes de onda. A identificao de
[|o) com a integral de overlap segue do postulado de completeza para |x
). A interpretao mais geral de [|o),

independente das representaes, que esse produto representa a amplitude de probabilidade para o estado |o)
ser encontrado no estado |[).
Expanso funo de onda. Agora vamos interpretar a expanso
|o) =
a
|a
)a
|o)
usando a linguagem de funo de onda. Mualtiplicando essa equao pelo autobra x
| pelo lado esquerdo,

encontra-se
x
|o) =
a
|a
)a
|o)
Na notao usual da mecnica quntica isto reconhecido como
o
(x
) =
a
c
a
u
a
(x
)
onde introduzimos uma autofuno do operador A com autovalor a
:
u
a
(x
) = x
|a
)
Elementos de matriz. Vamos examinar como [| A |o) pode ser escrito, usando as funes de onda para |o) e
|[). Assim,
[| A |o) = dx
dx
[|x
)x
| A |x
)x
|o)
= dx
dx
(x
) x
| A |x
)
o
(x
) (7.10
Logo, para calcularmos [| A |o) devemos conhecer os elementos de matriz x
| A |x
) que em geral uma

funo de duas variveis, x
e x
.
Operador funo da posio. Quando o operador A funo da posio, podemos simplificar (7.10).
Suponha, por exemplo, que
A = x
2
que realmente aparece no hamiltoniano do oscilador harmnico simples (Captulo 2). Temos
x
| A |x
) x
| x
2
|x
) = (x
|) - x
2
|x
)
= (x
|) - (x
)
2
|x
) = (x
)
2
x
|x
) = x
2
o(x
)
Substituindo em (7.10)
[| x
2
|o) = dx
dx
(x
) x
2
o(x
)
o
(x
)
= dx
(x
) x
2
o
(x
)
que ficou reduzida a uma nica integral.
De uma maneira geral, se A = f(x), ento:
[|
operador
-
f(x) |o) = dx
(x
)
no operador
-
f(x
)
o
(x
) (7.14
Operador Momento na Base da Posio
Operador momento na base x. Por definio, momento o gerador de translaes infinitesimais; tomando
isto como ponto de partida
1
ipx
h
|o) = dx
T (x
)|x
)x
|o)
= dx
|x
+ x
)x
|o)
= dx
|x
)x
|o)
dx
|x
) x
|o) x

x
|o) (7.15
onde, na ltima passagem, usamos a expanso de Taylor para
x
|o) x
|o) x

x
|o)
Comparando ambos os membro (7.15), encontra-se
p|o) = dx
|x
) ih

x
|o) (7.16
Multiplicando ambos os membros por x
| encontra-se
x
|p|o) = dx
|x
) ih

x
|o)
= dx
o(x
) ih

x
|o)
= ih

x
|o)
ou seja,
x
| p |o) = ih

x
|o) (7.17
onde usamos a ortogonalidade dos estados |x
).
Elementos de matriz do momento. Para os elementos de matriz do momento na representao x, obtm-se
x
| p |x
) = ih

x
|x
) = ih

x
o(x
)
De (7.16), obtm-se uma identidade muito importante:
[| p |o) = dx
[|x
) ih

x
|o)
= dx
(x
) ih

x

o
(x
) (7.19
Neste formalismo, a Eq. (7.19) no um postulado; pelo contrrio, ela foi derivada usando as propriedades
bsicas do momento. Aplicando repetidamente (7.17), podemos tambm obter:
x
| p
n
|o) = ih

n
x
n
x
|o)
[| p
n
|o) = dx
(x
)(ih)
n
n
x
n

o
(x
)
Funes de Onda no Espao dos Momentos
Caso unidimensional
Especificao da base p. Sejam os autokets na base p
p |p
) = p
|p
)
e
p
|p
) = o(p
)
Expanso na base p. Um estado arbitrrio |o) pode ser expandido
|o) = dp
|p
)p
|o)
Coeficiente de expanso. O coeficiente p
|o) interpretado em termos probabilsticos. Isto , a probabilidade

de que uma medida de p resulte no autovalor p
dentro do pequeno intervalo dp
|p
|o)|
2
dp
. costume
chamar p
|o) a funo de onda no espao dos momentos. A notao usada

a
(p
):
p
|o) =
a
(p
)
Se |o) for normalizado, obtm-se
o|o) = dp
o|p
)p
|o)
= dp
(p
)
a
(p
)
= dp

a
(p
)
2
= 1
Conexo entre as representaes x e p
Espectro discreto. Para espectro discreto, havia uma matriz de transformao que operava uma mudana
de base de um conjunto antigo |a
)) para um novo conjunto |b
)).
Espectro contnuo. Da mesma forma que para o espectro discreto, espera-se que haja uma tal
transformao. Tais informaes esto contidas em x
|p
), que uma funo de x
e p
, usualmente chamada
de funo de transformao da representao x para a representao p.
Forma explcita de x
|p
). Para derivarmos a forma explcita de x
|p
), vamos usar (7.17) com |o) |p
):
x
| p |p
) = ih

x
|p
)
ou
p
|p
) = ih

x
|p
)
que uma equao diferencial para x
|p
). Reescrevendo na forma
1
x
|p
)

x
|p
) =
ip
h
encontra-se como soluo
x
|p
) = N exp
ipx
h
(7.29
onde N uma constante de normalizao a ser determinada.
Observao Embora a funo de transformao x
|p
) seja uma funo de duas variveis, x
e p
, podemos
temporariamente consider-la como uma funo de x
para valores fixos de p
. Ela pode ser visto como uma amplitude de

probabilidade para o autoestado de momento p
ser encontrado na posio x
; em outras palavras, a funo de onda

para o autoestado do momento |p
), s vezes referida como autofuno do momento (ainda no espao x). Assim, (7.29)
diz que a funo de onda de um autoestado do momento uma onda plana. engraado que se tenha obtido esta
soluo de onda plana sem resolver a equao de Schrdinger (que ainda nem escrevemos).
Constante de normalizao N. Para se obter a constante de normalizao N, vamos primeiro considerar a
relao
x
|x
) = dp
|p
)p
|x
)
O lado esquerdo uma delta de Dirac (ortogonalidade) e o lado direito pode ser calculado com a forma
explcita de x
|p
) (onda plana). Ou seja

o(x
) = |N|
2
=2mho(x
)
dp
exp
ip
(x
)
h
Logo,
o(x
) = 2mh|N|
2
o(x
)
e da
2mh|N|
2
= 1 N =
1
2mh
onde, por conveno, escolhemos N real e positivo. Portanto,
x
|p
) =
1
2mh
exp
ip
h
.
Espao da posio espao do momento. Vamos ver como as funes de onda nesses dois espaos esto
relacionadas. Seja
x
|o) = dp
|p
)p
|o)
p
|o) = dx
|x
)x
|o)
reescrevendo como
o
(x
) =
1
2mh
dp
exp
ip
h

a
(p
) (7.34
e
a
(p
) =
1
2mh
dx
exp
ip
h

o
(x
) (7.34
Este par de equaes justamente o que se espera do teorema de inverso de Fourier.
Pacotes de Onda Gaussiana
Vamos ilustrar o formalismo bsico aqui desenvolvido, considerando um exemplo fsico, representado por um
pacote de onda gaussiano , cuja funo de onda no espao x dada por
x
|o) =
1
m
1/4
d
exp ikx

x
2
2d
2
(7.35
Expandindo esta funo,
x
|o) =
1
m
1/4
d
onda plana
-
e
ikx
gaussiana
-
e
x
2
2d
2
vemos que uma onda plana exp(ikx
) com vetor de onda k modulada por perfil gaussiano centrado na origem.

Probabilidade. A probabilidade de observar a partcula anula rapidamente para x
> d. Mas especificamente,

a densidade de probabilidade vale
|x
|o)|
2
=
1
m d
e
x
2
d
2
que tem a forma gaussianacom largura d (v. figura abaixo).
d
Densidade de probabilidade |x
|o)|
2
Valores esperados de x, x
2
, p e p
2
Valor esperado de x. Seja
x) =
+
dx
o | x
| o =
+
dx
| o
2
x
= 0
por simetria.
Valor esperado de x
2
. Seja
x
2
) =
+
dx
o | x
x
2
x
| o
=
+
dx
x
2
x
| o
2
=
1
m d

+
dx
x
2
exp
x
2
d
2
=
d
2
2
.
que nos leva a
(x)
2
= x
2
) x)
2
=
d
2
2
para a disperso do operador posio.
Valor esperado de p. Seja
p) = o | p | o =
+
dx
o | x
ih

x
| o
=
+
dx
o | x
ih
1
m
1/4
d

x
exp ikx

x
2
2d
2
=
+
dx
ik
x
d
2
x
| o
2
=
1
m d

+
dx
ik
x
d
2
e
x
2
d
2
=
1
m d
(ikd m )
= ik
Valor esperado de p
2
. Neste caso, obtm-se repetindo o processo anterior,
p
2
) =
h
2
2d
2
+ h
2
k
2
.
Disperso do momento. Usando os resultados anteriores, esta disperso vale
(p)
2
= p
2
) p)
2
=
h
2
2d
2
Relao de incerteza de Heisenberg. Substituindo as disperses na equao (1.6.34), o produto de incerteza
dado por
(x)
2
(p)
2
=
d
2
2
h
2
2d
2
=
h
2
4
que independente de d, tal que para o pacote gaussiano obtm-se uma relao de igualdade ao invs da
desigualdade que a relao mais geral. Por esta razo, o pacote gaussiano conhecido como o pacote de
onda de incerteza mnima.
Espao dos momentos
Funo de onda. Substituindo (1.7.32) e (1.7.35) em (1.7.33b) , encontramos
p
|o) =
+
dx
| x
|o)
=
1
m
1/4
d

+
dx
| x
exp ikx

x
2
2d
2
=
1
m
1/4
d
1
2mh

+
dx
exp
ip
h
exp ikx

x
2
2d
2
=
1
2mh
1
m
1/4
d

+
dx
exp
ip
h
+ ikx

x
2
2d
2
=
1
2mh
1
m
1/4
d

+
dx
exp
x
2
2d
2
+
i(p
hk)x
h
=
1
2mh
1
m
1/4
d

+
dx
exp
x
2 d
+
i(p
hk)d
2 h
2
exp
(p
hk)
2
d
2
2h
2
onde na ltima passagem, completamos os quadrados. A integral resultante vale
+
dx
exp
x
2 d
+
i(p
hk)d
2 h
2
= 2m d
Logo,
p
|o) =
1
2mh
1
m
1/4
d
2m d exp
(p
hk)
2
d
2
2h
2
=
d
h m
exp
(p
hk)
2
d
2
2h
2
(7.42
Esta funo de onda no espao dos momentos fornece um mtodo alternativo para obter p) e p
2
).
Probabilidade. A probabilidade de encontrar a partcula com momento p
uma gaussiana (no espao dos

momentos) centrada em hk, da mesma forma que a probabilidade de encontrar a partcula na posio x
uma
gaussiana (no espao das posies) centrada em zero. Alm disso, as larguras das duas gaussianas so
inversamente proporcionais entre si, o que representa uma outra maneira de expressar a constncia do
produto de incerteza (x)
2
(p)
2
explicitamente calculado em (7.41). Quando mais larga no espao x mais
estreita ela no espao p e vice-versa (v. figura abaixo).
gaussiana no espao
das posies
gaussiana no espao
dos momentos
Comparao entre as larguras das duas gaussianas.
Casos extremos d e d 0. Vamos considerar este caso extremo em que a largura da gaussiana no
espao x vale d . A funo de onda (7.35) torna-se uma onda plana extendida em todo espao, com a
probabilidade de encontrar a partcula em qualquer ponto x
sendo uma constante independente da posio.

Por outro lado, no espao dos momentos a funo de onda torna-se muito localizada, tal como uma funo
delta, em p
= hk.
Para d 0, ocorre exatamente o contrrio: no espao das coordenadas a funo torna-se localizada (delta)
enquanto que no espao dos momentos a funo de onda (7.42) uma constante independente de p
.
Funes localizadas no espao x. A ltima anlise mostra que uma funo de onda localizado no espao x,
corresponde a uma superposio de autoestados do momento com todos os valores possveis dos momentos.
Mesmo aqueles autoestados de momento cujos momentos so comparveis ou excedem mc devem ser
includos na superposio. Porm, para tais valores altos do momento, a descrio baseada na mecnica
quntica no-relativstica limitada. A despeito desta limitao, nosso formalismo, baseado na existncia do
autoket posio x
, tem um amplo domnio de aplicabilidade.

Generalizao a Trs Dimenses
Autokets da posio. Devem satisfazer
x |x
) = x
|x
)
Autokets do momento. Para o momento, temos,
p |p
) = p
|p
)
Normalizao. Ambos os kets obedecem as condies de normalizao
x
|x
) = o
3
(x
)
e
p
|p
) = o
3
(p
)
onde
o
3
(x
) = o(x
)o(y
)o(z
)
Relaes de completeza. As relaes de completeza, tornam-se
d
3
x
|x
)x
| = 1
e
d
3
p
|p
)p
| = 1
que podem ser usadas para expandir um estado ket arbitrrio
|o) = d
3
x
|x
)x
|o)
ou
|o) = d
3
p
|p
)p
|o)
Coeficientes de expanso. Os coeficientes de expanso x
|o) e p
|o) so identificados com as funes de

onda
o
(x
) e
o
(p
) no espao das posies e dos momentos, respectivamente.

Operador momento. O operador momento, quando tomado entre |[) e |o), torna-se
[| p|o = d
3
x
(x
)(ih)
o
(x
)
Transformao. A transformao anloga a (7.32)
x
|p
) =
1
(2mh)
3/2
exp
ip
-x
h
tal que
o
(x
) =
1
(2mh)
3/2
d
3
p
exp
ip
-x
h

o
(p
)
e
o
(p
) =
1
(2mh)
3/2
d
3
p
exp
ip
-x
h

o
(x
)
* * *

Sakurai Cap1 fnt12

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Sakurai Cap1 fnt12

Uploaded by

Copyright:

Available Formats

Captulo 1

), que a projeo normalizada do ket original

), onde um autoket classificado por seu autovalor, o autoket de S

o|. Forma geral

que um nmero real.

chamado de adjunto Hermitiano ou adjunto de X.

de onde se conclui que

o bra que dual a X|o), ento

Neste caso, deduzimos a condio de que os autovalores de um operador

(autovalores reais), no pode se anular, por

) deve ser nulo, ou seja

| e usando a relao de ortonormalidade, encontram-se os coeficientes da expanso:

|o), encontramos a relao

| que aparece em (3.11). Aplicando sobre o ket |o)

| seleciona a parcela de |o) que paralela a |a

| operando sobre |o) projeta este ket ao longo do ket de base |a

| conhecido como operador projeo ou projetor. Denotando-o por A

) existem? Sabendo-se que o conjunto a

, esta equao torna-se,

) numa matriz quadrada satisfaz a regra usual de multiplicao.

) um autoket de A, ou seja, A|a

)s desse observvel o sistema ser

) Considere o sistema no estado inicial |a

). Qual a probabilidade de encontrar o sistema

) aps a medida? De acordo com (4.4)

autoestados do observvel A, devido ortogonalidade entre eles, a

), rejeitando todos os outros (medida seletiva); v. figura

podemos agora construir o operador S

definidos em (1.3.38), isto ,

)) tem problemas quando a dimensionalidade do

) so todos diagonais. (No devemos esquecer que os elementos de matriz de A j so

) forem usados como kets de base.)

) um autoket simultneo de A e B. Devido a essa imparcialidade |a

) para carecterizar este autoket simultneo.

) muito mais poderosa quando existem

, ) , ento os correspondentes autokets simultneos de A, B, C, so especificados sem

. Subsequentemente, medimos B, obtendo-se b

. Finalmente, medimos A novamente.

, o sistema se encontra em alguma combinao linear do tipo

com relao ao operador A.

) no faz sentido para observveis incompatveis.

), quando o feixe saindo do primeiro filtro normalizado unidade?

para calcular a probabilidade total de ir atravs de todas as

bloqueados, com exceo do segundo, e assim

) ser construdo dos vrios |b

faz toda a diferena,

. Aqui est o corao da mecnica quntica.

)) chamada de representao de A, ou s vezes, representao diagonal de A, uma

) . De acordo com (1.5.5),

|o) so conhecidos na base

|o) na nova base?

sobre a matriz-coluna de |o) na base antiga:

) corresponder ao l-simo autoket do operador B, podemos reescrever esta equao em notao

)) conectados pelo operador U (1.5.4).

) o autoket do operador com autovalor

), e a soma sobre autovalores discretos a

) por uma integral sobre a varivel contnua . Ou seja,

) do operador posio x satisfazem

um nmero enquanto que x um operador.

. Imediatamente aps o detector clicar, podemos dizer que o estado em questo

). Em outras palavras, quando o detector clica, | o) salta abruptamente para o autoestado

) da mesma maneira como um estado arbitrrio de spin salta para o estado S

|o) no varie apreciavelmente dentro do estreito intervalo , a probabilidade para que o