FI001 Aula 3

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

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 :
2 S 2 |i = ( 3 e um caso, pois lembre que h+| i = 0 (kets ortogonais) 4 )~ |i

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 nota c ao, se a0 = a00 ! |a0 i = |a00 i e ) ha0 |a00 i = ha0 |a0 i = 1 6= 0
MAPLima

FI001 Aula 3

Observveis compatveis

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

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

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

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

X
a00

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

a0 a00 00 00

a00 0

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

MAPLima

FI001 Aula 3

Observveis compatveis

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 tamb em e solu c ao de A com autovalor a0 , pois

n X i=1

c ( i) | a 0 ( i) i =

c ( i ) A| a 0 ( i ) i =

A linear

n X i=1

c ( i) a 0 | a 0 ( i) i = a 0

a sai da soma, pois no depende de i

n X i=1

c ( i) | a 0 ( i) i = a 0 | 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) | a 0 ( i ) i Essa nova notao |a0 , b0 i = |b0 i =
A|a0 , b0 i = a0 |a0 , b0 i e B |a0 , b0 i = b0 |a , b i
i=1 0 0

MAPLima

FI001 Aula 3

Exemplo. Momento angular orbital:

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

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

Observveis compatveis

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 nota c ao, usamos |K 0 i = |a0 , b0 , c0 , . . . i com hK 00 |K 0 i = ha00 , b00 , c00 , . . . |a0 , b0 , c0 , . . . i = e X
K0 a00 ,a0 b00 ,b0 c00 ,c0 . . .

|K ihK | =

a 0 b0 c0 . . .

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

MAPLima

FI001 Aula 3

Medindo A e B, duas observveis compatveis

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

medeB

! |a0 , b0 i

medeA

! |a0 , b0 i

encontra

encontra

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

FI001 Aula 3

Observveis incompatveis
Observveis incompatveis no tm um conjunto completo comum de autokets.
Se tal conjunto {|a0 , b0 i} existisse, ter amos: AB |a0 , b0 i = Ab0 |a0 , b0 i = b0 A|a0 , b0 i = b0 a0 |a0 , b0 i ( a) ( b) [A, B ] 6= 0

Observveis compatveis

BA|a0 , b0 i = Ba0 |a0 , b0 i = a0 B |a0 , b0 i = a0 b0 |a0 , b0 i tome (a) (b) ! (AB

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
MAPLima

) [Lz , Lx ]|0, 0i = [Lx , Ly ]|0, 0i = [Ly , Lz ]|0, 0i = 0|0, 0i

FI001 Aula 3

Um sequncia de medidas seletivas

| i

Observveis compatveis

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
| a0 i |c0 i

| i

Medida A obtm a

Medida C Obtm c

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

FI001 Aula 3

A pergunta e: ser a que?

O lado esquerdo e igual a e o direito e |hc |a i| = |
0 0 2

Base de kets e representaes matriciais

X
b0
b0

| h b0 | a 0 i | 2 | h c 0 | b0 i | 2 = | h c 0 | a 0 i | 2
|hb |a i| |hc |b i| =
0 0 0 0 2 0 0 2 0 0 2

X
b0

hc |b ihb |a i| =

b0 b00

X
b0

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

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

X
b0

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

b0 ,b00 6=b0

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

Esse igual ao lado esquerdo

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 s ao tamb em autokets de B. Ou melhor |a0 i = |b0 i = |a0 , b0 i. Por outro lado, se b0 6= b00 , os autokets correspondentes hb00 |a0 i = 6 0 ! hb0 |a0 i = 0. Racioc nio semelhante para [C, B ] = 0. Note que as expresses so diferentes quando a medida intermediria de uma observvel incompatvel com as outras s ao ortogonais hb0 |b00 i = 0. Ou seja se hb0 |a0 i = 6 0 ! hb00 |a0 i = 0 e se

MAPLima

FI001 Aula 3

Relao de Incerteza
Come camos denindo o operador A=A apenas numericamente da escolha do estado que dene hAi. hAi, que depende

O valor esperado h( A)2 i e denido como dispers ao de A. Note que h( A)2 i = hA2 2AhAi + hAi2 i = hA2 i

h Ai 2

A disperso tambm conhecida como variana ou desvio quadrtico da mdia

Note que h( A)2 ia0 = hA2 ia0
02 h Ai 2 a0 = a

a02 = 0 para um autoestado de A

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

2 h Sx i 2 2 h Sz ; + | Sx | Sz ; + i 2

2 h Sz i

h Sx i = ~2 4 Quanto vale a dispers ao de Sz para o estado |Sz ; +i?

2 h Sz i 2 = h Sz ; + | Sz | Sz ; + i

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

MAPLima

~2 4

~2 4

10

FI001 Aula 3

1 |h[A, B ]i|2 , onde A e B s ao observ aveis 4 h( A)2 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

Relao de Incerteza: forma geral

5,00E-01

Densidade de probabilidade

4,00E-01

Series1

3,00E-01

2,00E-01

h Ai /

1,00E-01

h ( A) 2 i

0,00E+00 0 -1,00E-01 2 4 6 8 10 12 14 16 18 20

Valor de uma medida de A

MAPLima

11

FI001 Aula 3

Relao de Incerteza: forma geral

h( A)2 ih( B )2 i
2,00E+01

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

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

Densidade de probabilidade

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

5,00E+00

0,00E+00 0 2 4 6 8 10 12 14 16 18 20

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

Valor de uma medida de A ou de B

h Ai = h B i

MAPLima

12

FI001 Aula 3

Relao de Incerteza: forma geral

h( A)2 ih( B )2 i
3,00E+00

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

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

Densidade de probabilidade

2,50E+00

2,00E+00

Series1 Series2

1,50E+00

1,00E+00

5,00E-01

0,00E+00 0 -5,00E-01 2 4 6 8 10 12 14 16 18 20

Valor de uma medida de A ou de B 13

MAPLima

FI001 Aula 3

Relao de Incerteza: forma geral

h( A)2 ih( B )2 i
9,00E-01 8,00E-01

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

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

Densidade de probabilidade

7,00E-01 6,00E-01 5,00E-01 4,00E-01 3,00E-01 2,00E-01 1,00E-01 0,00E+00 0 -1,00E-01 2 4 6 8 10 12 14 16 18 20 Series1 Series2

Valor de uma medida de A ou de B 14

MAPLima

FI001 Aula 3

Relao de Incerteza: forma geral

h( A)2 ih( B )2 i
8,00E-01 7,00E-01

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

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

Densidade de probabilidade

6,00E-01 5,00E-01 4,00E-01 3,00E-01 2,00E-01 1,00E-01 0,00E+00 0 -1,00E-01 2 4 6 8 10 12 14 16 18 20 Series1 Series2

Valor de uma medida de A ou de B 15

MAPLima

FI001 Aula 3

Relao de Incerteza: forma geral

h( A)2 ih( B )2 i
1,20E+00

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

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

1,00E+00

Densidade de probabilidade

8,00E-01

Series1 Series2

6,00E-01

4,00E-01

2,00E-01

0,00E+00 0 -2,00E-01 2 4 6 8 10 12 14 16 18 20

Valor de uma medida de A ou de B 16

MAPLima

FI001 Aula 3

Relao de Incerteza: forma geral

h( A)2 ih( B )2 i
6,00E+00

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

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

Densidade de probabilidade

5,00E+00

4,00E+00

Series1 Series2

3,00E+00

2,00E+00

1,00E+00

0,00E+00 0 -1,00E+00 2 4 6 8 10 12 14 16 18 20

Valor de uma medida de A ou de B 17

MAPLima

FI001 Aula 3 Na prxima aula demonstraremos a expresso

h( A)2 ih( B )2 i 1 |h[A, B ]i|2 , onde A e B s ao observ aveis 4

MAPLima

18