FI001

Aula 3

Observveis compatveis
A e B sao compatveis se [A, B] = 0 e incompatveis se [A, B] 6= 0
[S 2 , Si ] = 0, ) S 2 e Si (i = x ou y ou z) sao compatveis
[Si , Sj ] 6= 0 para i 6= j e ) os pares Si e Sj com i e j = x, y, z sao incompatveis

Veremos que observveis compatveis tm um papel importante na

interpretao e descrio de resultados de medidas experimentais em mecnica
quntica.
Observveis compatveis sero teis na construo de bases para descrever o
estado (ket) de um sistema. A idia escrever um ket arbitrrio na base de
autokets de A e depois escrev-lo na base de autokets de B. Depois, aprender
como os autokets de A se relacionam com os autokets de B, e o que se ganha
com o fato de A e B serem compatveis.
Para fazer isso, precisamos antes estudar o conceito de degenerescncia.
MAPLima

FI001
Aula 3

Observveis compatveis
Um autovalor de A dito degenerado, se existirem 2 ou mais autokets de A,
linearmente independentes (LI), associados a esse mesmo autovalor. Existem
inmeros casos na natureza. Um exemplo no experimento de Stern-Gerlach :
S 2 |i = ( 34 )~2 |i e um caso, pois lembre que h+| i = 0 (kets ortogonais)

mesmo autovalor com autokets LI

Dois kets ortogonais so LI. Dois kets LI podem no ser ortogonais, mas
possvel, a partir deles, criar dois que sejam ortogonais
Perceba que a existncia de autovalores degenerados tambm gera um
problema de notao, pois com a presente notao no d para descrever kets
ortogonais (e portanto LI), usando apenas o autovalor degenerado. Suponha
A|a0 i = a0 |a0 i e A|a00 i = a00 |a00 i com ha0 |a00 i = 0 e a0 = a00
Na presente notacao, se a0 = a00 ! |a0 i = |a00 i e ) ha0 |a00 i = ha0 |a0 i = 1 6= 0
MAPLima

Observveis compatveis

FI001
Aula 3
Teorema: Suponha que A e B so observveis compatveis, e os autovalores de
A so no-degenerados. Ento a matriz que representa B na base de autokets
(i)
(j)
de A diagonal ha |B|a i = # ij. Lembre que a matriz que representa A
em sua base de autokets j diagonal ha(i) |A|a(j) i = a(i) ij .
Observveis compatveis implica em [A, B] = 0 , assim
ha0 |[A, B]|a00 i = ha0 |AB

BA|a00 i = (a0

a00 )ha0 |B|a00 i = 0

ha0 |B|a00 i = 0, se a0 6= a00

Um produto zero quando um dos fatores (ou ambos) zero. Assim, para
autovalores distintos de A (so todos pela hiptese de no-degenerados), o
elemento de matriz de B, fora da diagonal, zero. Podemos escrever
X
X
0
00
0
0
0
0
00
00
ha |B|a i = a0 a00 ha |B|a i e B =
|a iha |B|a iha | =
|a00 iha00 |B|a00 iha00 |
Note que B|a0 i =
0

X
a00

a0 a00
00
00

a00
0

|a iha |B|a00 iha00 |a0 i = ha |B|a0 i|a0 i

|a i e autoket de B com autovalor b0 = ha0 |B|a0 i

O ket |a0 i simultaneamente autoket de A e de B.

MAPLima

Observveis compatveis

FI001
Aula 3

Se permitssemos A com autovalores degenerados, nossas concluses no

mudariam para os kets associados aos autovalores no degenerados. No
subespao de autokets de A associados ao autovalor degenerado, B pode ser
diagonalizado. Para entender melhor isso, considere um subespao de n kets
associados um autovalor de A
A|a0(i) i = a0 |a0(i) i, para i = 1, 2, . . . , n
Note que |i =
A|i = A

n
X
i=1

n
X
i=1

c(i) |a0(i) i tambem e solucao de A com autovalor a0 , pois

c(i) |a0(i) i =

A linear

n
X
i=1

c(i) A|a0(i) i =

n
X
i=1

c(i) a0 |a0(i) i = a0

n
X

a sai da soma, pois

no depende de i

i=1

c(i) |a0(i) i = a0 |i

Escolha a combinao que diagonaliza B neste subespao

O ket |a0 , b0 i simultaneamente autoket de A e de B.
n
X
c(i) |a0(i) i
Essa nova notao |a0 , b0 i = |b0 i =
i=1
0 0

A|a0 , b0 i = a0 |a0 , b0 i e B|a0 , b0 i = b0 |a , b i

MAPLima

Observveis compatveis

FI001
Aula 3

Exemplo. Momento angular orbital:

L2 |`, mi = `(` + 1)~2 |`, mi

Lz |`, mi = m~|`, mi
` = 0, 1, 2. . . e

Isso generalizvel para A, B, C, etc. Se [A, B] = 0; [A, C] = 0; [B, C] = 0; ...

A|a0 , b0 , c0 , . . . i = a0 |a0 , b0 , c0 . . . i;
B|a0 , b0 , c0 , . . . i = b0 |a0 , b0 , c0 . . . i;

C|a0 , b0 , c0 , . . . i = c0 |a0 , b0 , c0 . . . i;
..
..
..
.
.
.

Para facilitar a notacao, usamos |K 0 i = |a0 , b0 , c0 , . . . i

com hK 00 |K 0 i = ha00 , b00 , c00 , . . . |a0 , b0 , c0 , . . . i =
e

X
K0

MAPLima

` m +`

|K ihK | =

a 0 b0 c0 . . .

a00 ,a0 b00 ,b0 c00 ,c0 . . .

|a0 , b0 , c0 , . . . iha0 , b0 , c0 , . . . | = 1

Observveis compatveis

FI001
Aula 3

Medindo A e B, duas observveis compatveis

Suponha que medimos A e encontramos a. Em seguida, medimos B e

encontramos b. O que acontece se medirmos A de novo?
Suponha A com espectro no-degenerado
|i

medeA

! |a0 , b0 i

encontra

medeB

! |a0 , b0 i

encontra

medeA

! |a0 , b0 i

encontra

Suponha A com espectro degenerado (a um deles)

n
X
medeA
medeB
medeA
(i)
|i !
ca0 |a0 , b(i) i ! |a0 , b(j) i ! |a0 , b(j) i
i

encontra

encontra

encontra

b(j) um dos autovalores de B do subespao de dimenso n

de estados com autovalor degenerado a de A.
MAPLima

Observveis compatveis

FI001
Aula 3

Observveis incompatveis
[A, B] 6= 0

Observveis incompatveis no tm um conjunto completo comum de autokets.

Se tal conjunto {|a0 , b0 i} existisse, teramos:
AB|a0 , b0 i = Ab0 |a0 , b0 i = b0 A|a0 , b0 i = b0 a0 |a0 , b0 i

BA|a0 , b0 i = Ba0 |a0 , b0 i = a0 B|a0 , b0 i = a0 b0 |a0 , b0 i

tome (a)

(b) ! (AB

(a)
(b)

BA)|a0 , b0 i = [A, B]|a0 , b0 i = 0

Como o conjunto completo, teramos necessariamente, [A, B] = 0 o que

contraria a hiptese de que A e B so incompatveis.
Nada impede, entretanto, que duas observveis incompatveis comutem
dentro de um subespao. Por exemplo, embora as componentes de
momento angular no comutem, no subespao ` = 0 , temos
Lz |0, 0i = 0|0, 0i; Lx |0, 0i = 0|0, 0i; Ly |0, 0i = 0|0, 0i
) [Lz , Lx ]|0, 0i = [Lx , Ly ]|0, 0i = [Ly , Lz ]|0, 0i = 0|0, 0i
MAPLima

Observveis compatveis

FI001
Aula 3

Um sequncia de medidas seletivas

|i

Medida
A
obtm a

|a0 i

Medida
B
Obtm b

|b0 i

Medida
Medida
C
Obtm c

|c0 i

Qual a probabilidade de medir c0 ? Que tal |hb0 |a0 i|2 |hc0 |b0 i|2

|i

Medida
A
obtm a

|a0 i

Medida
C
Obtm c

|c0 i

Qual a probabilidade de medir c0 ? Que tal |hc0 |a0 i|2

Ser que o resultado da segunda experincia o mesmo que o da

primeira se permitssemos a passagem por todos os valores de b?
MAPLima

Base de kets e
representaes matriciais

FI001
Aula 3

A pergunta e: ser
a que?

b0

O lado esquerdo e igual a

X
b0

e o direito e |hc |a i| = |

X
b0

X
b0

|hb0 |a0 i|2 |hc0 |b0 i|2 = |hc0 |a0 i|2

0

|hb |a i| |hc |b i| =
0

hc |b ihb |a i| =

hc |b ihb |a iha |b ihb |c i| +

Esse igual ao lado esquerdo

b0 ,b00 6=b0

b0 b00

X
b0

hc0 |b0 ihb0 |a0 iha0 |b0 ihb0 |c0 i

hc0 |b0 ihb0 |a0 iha0 |b00 ihb00 |c0 i| =

hc0 |b0 ihb0 |a0 iha0 |b00 ihb00 |c0 i|

Para que fossem iguais, esse precisaria ser zero

Em seguida mostramos que as duas expresses s so iguais, se [A,B]=0 ou [C,B]=0.

Se [A, B] = 0 os autokets de A sao tambem autokets de B. Ou melhor
|a0 i = |b0 i = |a0 , b0 i. Por outro lado, se b0 6= b00 , os autokets correspondentes

sao ortogonais hb0 |b00 i = 0. Ou seja se hb0 |a0 i =

6 0 ! hb00 |a0 i = 0 e se

MAPLima

hb00 |a0 i =
6 0 ! hb0 |a0 i = 0. Raciocnio semelhante para [C, B] = 0.
Note que as expresses so diferentes quando a medida intermediria de
uma observvel incompatvel com as outras

FI001
Aula 3

Relao de Incerteza
Comecamos definindo o operador

A=A

hAi, que depende

apenas numericamente da escolha do estado que define hAi.

O valor esperado h( A)2 i e definido como dispers

ao de A.
Note que h( A)2 i = hA2

2AhAi + hAi2 i = hA2 i

hAi2

A disperso tambm conhecida como variana ou desvio quadrtico da mdia

Note que h( A)2 ia0 = hA2 ia0

hAi2a0 = a02

a02 = 0 para um autoestado de A

Quanto vale a dispersao de Sx para o estado |Sz ; +i?

hSx2 i

hSz ; +|Sx2 |Sz ; +i

~2
hSz ; +|Sx |Sz ; +i =
4
0
2

hSx i =
~2
4
Quanto vale a dispersao de Sz para o estado |Sz ; +i?

hSz2 i
MAPLima

hSz i2 = hSz ; +|Sz2 |Sz ; +i

~2
4

~2
4

hSz ; +|Sz |Sz ; +i2 = 0

10

FI001
Aula 3

Relao de Incerteza: forma geral

1
|h[A, B]i|2 , onde A e B sao observaveis
4
2
h( A) i = h(A hAi)2 i = hA2 2AhAi + hAi2 i = hA2 i hAi2
A chamada relao de incerteza s um caso particular da expresso acima
h( A)2 ih( B)2 i

6,00E-01

Densidade de probabilidade

5,00E-01

4,00E-01

Series1

3,00E-01

hAi

2,00E-01

1,00E-01

h( A)2 i

0,00E+00
0

10

12

14

16

18

20

-1,00E-01

Valor de uma medida de A

MAPLima

11

FI001
Aula 3

Relao de Incerteza: forma geral

1
|h[A, B]i|2 , suponha [A, B] 6= 0
4

h( A)2 ih( B)2 i

A chamada relao de incerteza s um caso particular da expresso acima

Densidade de probabilidade

2,00E+01

1,50E+01
Series1
Series2
1,00E+01

5,00E+00

0,00E+00
0

10

12

14

16

18

20

(s para facilitar)
-5,00E+00

MAPLima

Valor de uma medida de A ou de B

hAi = hBi

12

FI001
Aula 3

Relao de Incerteza: forma geral

1
|h[A, B]i|2 , suponha [A, B] 6= 0
4

h( A)2 ih( B)2 i

A chamada relao de incerteza s um caso particular da expresso acima

Densidade de probabilidade

3,00E+00

2,50E+00

2,00E+00

Series1
Series2

1,50E+00

1,00E+00

5,00E-01

0,00E+00
0
-5,00E-01

MAPLima

10

12

14

16

18

20

Valor de uma medida de A ou de B

13

FI001
Aula 3

Relao de Incerteza: forma geral

1
|h[A, B]i|2 , suponha [A, B] 6= 0
4

h( A)2 ih( B)2 i

A chamada relao de incerteza s um caso particular da expresso acima

9,00E-01

Densidade de probabilidade

8,00E-01
7,00E-01
6,00E-01

Series1
Series2

5,00E-01
4,00E-01
3,00E-01
2,00E-01
1,00E-01
0,00E+00
0
-1,00E-01

MAPLima

10

12

14

16

18

20

Valor de uma medida de A ou de B

14

FI001
Aula 3

Relao de Incerteza: forma geral

1
|h[A, B]i|2 , suponha [A, B] 6= 0
4

h( A)2 ih( B)2 i

A chamada relao de incerteza s um caso particular da expresso acima

8,00E-01

Densidade de probabilidade

7,00E-01
6,00E-01
Series1
Series2

5,00E-01
4,00E-01
3,00E-01
2,00E-01
1,00E-01
0,00E+00
0
-1,00E-01

MAPLima

10

12

14

16

18

20

Valor de uma medida de A ou de B

15

FI001
Aula 3

Relao de Incerteza: forma geral

1
|h[A, B]i|2 , suponha [A, B] 6= 0
4

h( A)2 ih( B)2 i

A chamada relao de incerteza s um caso particular da expresso acima

1,20E+00

Densidade de probabilidade

1,00E+00

8,00E-01

Series1
Series2

6,00E-01

4,00E-01

2,00E-01

0,00E+00
0
-2,00E-01

MAPLima

10

12

14

16

18

20

Valor de uma medida de A ou de B

16

FI001
Aula 3

Relao de Incerteza: forma geral

1
|h[A, B]i|2 , suponha [A, B] 6= 0
4

h( A)2 ih( B)2 i

A chamada relao de incerteza s um caso particular da expresso acima

Densidade de probabilidade

6,00E+00

5,00E+00

4,00E+00

Series1
Series2

3,00E+00

2,00E+00

1,00E+00

0,00E+00
0
-1,00E+00

MAPLima

10

12

14

16

18

20

Valor de uma medida de A ou de B

17

FI001
Aula 3
Na prxima aula demonstraremos a expresso
h( A)2 ih( B)2 i

MAPLima

1
|h[A, B]i|2 , onde A e B sao observaveis
4

18