FI001 Aula 2

Base de kets e representaes matriciais

Comearemos estudando os autokets de uma observvel (representada por um operador Hermiteano A). Teorema: Os autovalores de um operador Hermiteano A so reais; os autokets de A com autovalores distintos so ortogonais. Lembre que A|a0 i = a0 |a0 i e que A Hermiteano, e portanto ha00 |A = ha00 |a00 onde a, a,... so autovalores de A. Multiplicando a primeira equao pela esquerda por ha00 | e a segunda equao por |a0 i pela direita e subtraindo uma da outra, temos (a0 a00 )|ha00 |a0 i = 0 Um produto resulta em zero, se um dos fatores zero (ou ambos). Tomemos dois casos (1) a0 = a00 ! ha0 |a0 i = 6 0, ! a0 = a0 e, portanto real (2) a0 6= a00 ! a0 6= a00 , ! ha00 |a0 i = 0 e, portanto ortogonais possvel construir um conjunto ortonormal de kets ha00 |a0 i = Este conjunto, por hiptese, completo
a0 ,a00

MAPLima

FI001 Aula 2

Autokets como Base de kets

Escreva | >= X
a0

Base de kets e representaes matriciais

c a0 | a 0 > X
a0

Multiplique pela esquerda por ha00 | e obtenha ca00 = ha00 |i

Assim, |i =

~ = Anlogo expanso de um vetor V h | i = h |( X

a0 0 0

X
a0

|a iha |i o que nos leva a X

i

|a0 iha0 | = 1

Relao de completeza

~) e i ( ei .V X
a0

|a iha |)|i =

| h a0 | i | 2

Se h|i = 1 !
0 0 0 0

X
a0

|ha | i| =
0

X
a0

| c a0 | 2 = 1
0 0

Operador de projeo
X
a0

(|a iha |).|i = |a iha |i = ca0 |a i. Se a0 |a iha | temos

a0 seleciona a por c ao de |i na dire c ao de |a0 i
MAPLima

a 0 = 1

FI001 Aula 2

Representaes matriciais
Um operador X pode ser escrito na forma X = 1X 1 =
ha00 |X |a0 i

Base de kets e representaes matriciais

Insira o operador unidade

1

XX
a00 a0

|a00 iha00 |X |a0 iha0 |

B ha(1) |X |a(1) i ha(1) |X |a(2) i . . . C . B C X = B ha(2) |X |a(1) i ha(2) |X |a(2) i . . . C @ A . . .. . . . . . 0 1 representado por B ha(1) |X |a(1) i ha(2) |X |a(1) i . . . C . B C fcil mostrar que X = B ha(1) |X |a(2) i ha(2) |X |a(2) i . . . C pois @ A . . .. . . . . .
vimos que ha |X |a i = ha |X |a i
00 0 0 00

linha e coluna de uma matriz 0

Assim, para obter a matriz do conjugado Hermiteano tome a matriz transposta e o complexo conjugado de todos seus elementos

Se o operador e Hermiteano temos que ha00 |X |a0 i = ha0 |X |a00 i = ha0 |X |a00 i
MAPLima

FI001 Aula 2

Z = XY
O elemento de matriz ha |Z |a i = ha |XY |a i =
| i = X | i
00 0 00 0

Representaes matriciais

X
a000

ha00 |X |a000 iha000 |Y |a0 i

ha | i = ha |X |i = ha |X.1|i =

Isso sugere

h | = h |X
0

B ha(1) |i B . B ha(2) |i | i = B B ha(3) |i @ . . .

0

operador unidade 1 0
C C C C, C A
0

X
a00

ha0 |X |a00 iha00 |i

h |a i = h|X |a i = h|1.X |a i =

. h| = (h|a(1) i h|a(2) i h|a(3) i . . . ) = (ha(1) | i ha(2) | i ha(3) | i . . . ) . h | = (h |a(1) i h |a(2) i h |a(3) i . . . ) = (ha(1) |
MAPLima

X
a00

B ha(1) | i C B C . B ha(2) | i C | i=B C B ha(3) | i C @ A . . .

h|a00 iha00 |X |a0 i o que sugere

i ha(2) |

i ha(3) |

i ... )

FI001 Aula 2

Assim, nesta representao matricial

h | i = h | 1| i = h | ( X
a0

Representaes matriciais

|a iha |)|i =

X
a0

h |a0 iha0 |i = 1 C C C C C A

operador unidade
(h |a(1) i h |a(2) i h |a(3) i ...

B ha(1) |i B (2) B ) B ha | i B ha(3) |i @ . . .

e h |X |i = h |1.X.1|i =

XX
a0

B ha |X |a i B (1) (2) (3) (h |a i h |a i h |a i . . . ) B ha(2) |X |a(1) i @ . . .

(1) (1)

a00

h |a0 iha0 |X |a00 iha00 |i ca representado por ha |X |a i ha(2) |X |a(2) i . . .

(1) (2)

MAPLima

B ha(1) |i B ... C C B ha(2) |i B ... C A B ha(3) |i @ .. . . . .

1 C C C C C A

FI001 Aula 2

A representao matricial do produto externo fica

B ha(1) | i B . B ha(2) | i | ih| = B B ha(3) | i @ . . . 0 0 1 C C C C (h|a(1) i C A

Representaes matriciais

h|a(2) i

h|a(3) i

...

A representao matricial de um operador na sua base de autokets fica X X 0 0 00 00 A = 1.A.1 = |a iha |A|a iha | = |a0 ia00 a0 a00 ha00 | =
a0 ,a00

B ha(1) | ih|a(1) i B = B ha(2) | ih|a(1) i @ . . .

ha(1) | ih|a(2) i ha(2) | ih|a(2) i . . .

... C C C A .. .

operador unidade

ha0 |A|a00 i = a00 ha0 |a00 i = a00

MAPLima

X
a0

a0 ,a00 0

a |a iha | =
a0 ,a00

X
a0

a 0 a 0

Operador de projeo 6

FI001 Aula 2

Sistemas de Spin
|Sz ; i ! |ipara economizar Como ca o operador unidade (tamb em chamado de operador identidade)?
E o Sz ? Sz = ~ 2 |+ih+|

Representaes matriciais

1 = (|+ih+|) + (| ih |)
~ 2|

Note que Sz |i = ~ 2 |i

ih |

Uma deni c ao u til S+ ~|+ih | e S ~| ih+| mais tarde S = Sx iSy

levantador

Note que S+ |+i = ~|+ih |+i = 0 e que S+ | i = ~|+ih | i = ~|+i

Quando no d para levantar, a operao d zero

abaixador

Note que S | i = ~| ih+| i = 0 e que S |+i = ~| ih+|+i = ~| i

MAPLima

Quando no d abaixar, a operao d zero 1 . . |+i = ; | i= Representaes matriciais 0 ~ 0 1 0 0 1 . . . Sz = ; S+ = ~ ; S =~ 1 0 1 0 0 2

0 1 0 0

FI001 Aula 2

Medidas, observveis e relaes de incerteza

Antes da medida da observvel A, podemos pensar que o sistema pode ser representado por X X 0 | i = c a0 | a i = |a0 iha0 |i
a0 a0

quando a medida feita, tudo se passa como se o sistema fosse atirado (colapsasse) em um dos autokets de A (aquele correspondente ao autovalor a)
| i
medida

! |a0 i

Uma medida normalmente muda o estado do sistema, exceto

| a0 i
medida

! |a0 i

Note, entretanto, que antes da medida no sabemos qual dos a ser obtido. Postulamos que a probabilidade de encontrar a
MAPLima

| c a0 | 2 = | h a0 | i | 2

normalizado

FI001 Aula 2

Medidas, observveis e relaes de incerteza

Na vida real para verificarmos que a probabilidade de encontrar a est correta, preparamos muito sistemas em |i e medimos at verificar que a distribuio estatstica das medidas est correta. Uma coleo de sistemas, todos preparados no mesmo estado |i , chamado de ensemble puro. Um feixe de tomos de prata que passaram por um experimento de Stern-Gerlach SGz um ensemble puro caracterizado pelo estado |Sz ; +i.
| i

| a0 i

Medida A
|a00 i com a00 6= a0

Medida seletiva

Em uma nova medida, qual a probabilidade de medirmos A e obtermos a? e de obtermos aa?

| ha0 | a0 i |2 = 1
MAPLima

| ha00 |a0 i |2 = 0

FI001 Aula 2

Valor esperado de A com respeito ao estado |i

Valor esperado e denido por hAi = h|A|i = hAi (nota c ao comum) hAi = h|1.A.1|i = X h|a iha |A|a iha |i =
0 0 00 00

a,a00

X
a0

a0 |ha0 |ii|2

ha0 |A|a00 i = a00 ha0 |a00 i = a00

a0 ,a00

Uma mdia ponderada. Nossa noo intuitiva de um valor mdio medido

Cuidado

Valor mdio pode dar qualquer coisa entre o menor e o maior valor das medidas efetuadas O valor de uma medida um dos autovalores

MAPLima

10

FI001 Aula 2

Um pouco mais de Sistemas de Spin

Ser que temos o suficiente para definir |Sx ; i e |Sy ; i? Veremos que sim e at para definir os operadores. Na Experincia de Stern-Gerlach quando tomamos um feixe |Sx ; +i e o passamos por SGz, o feixe dividiu-se igualmente em |Sz ; +i e |Sz ; i, de tal forma |i notao simplificada 1 1 |h+|Sx ; +i| = |h |Sx ; +i| = p , pois |h+|Sx ; +i|2 = |h |Sx ; +i|2 = 2 2
Assim, |Sx ; +i =
1 p |+i 2

1 i p e 2

| i

Nada mudaria se multiplicssemos por uma fase global (escolhemos uma para ter o coeficiente do |+i real).
1 p |+i 2

De forma semelhante, obtemos |Sx ; i =

Como hSx ; |Sx ; +i =
MAPLima
1 2 i( +1 2e
1 0 1)

+
1

1 i p e 2
0 1)

0 1

| i
1

= 0 ! e i(

Assim, |Sx ; i =

1 p |+i 2

1 i 1 p e | i 2

11

FI001 Aula 2

De |Sx ; i =
Sx = ~ 2 (|Sx ; +ihSx ; +|

1 p |+i 2

1 i p e 2

| i, obtemos
1

Um pouco mais de Sistemas de Spin

|Sx ; ihSx ; |) = ~ 2 (e

|+ih | + e 1 | ih+|)

A=

De forma similar, podemos construir|Sy ; i =

Sy = ~ 2 (|Sy ; +ihSy ; +|
Ser a que d a para denir

X
a0

a |a iha | =

X
a0

a 0 a 0

note que Sx = Sx , como deveria ser

1 p |+i 2
2

1 i p e 2

| i, e

|Sy ; ihSy ; |) = ~ 2 (e
1

|+ih | + e 2 | ih+|)

2?

Que tal SGx seguido de SGy ?

1 |hSy ; |Sx ; +i| = |hSy ; |Sx ; i| = p 2 mas |1 e | = | 2e

1 i i2

1 | 1 e i( 2 2

2)

1 |= p 2
1 2

( ei 2 e 2

i2

cos | sin
2

= 0 faz elementos de matriz Sx reais e

MAPLima

2 = faz eixos x,y,z convencionais 2 12

FI001 Aula 2

| Sx ; i = | Sy ; i =

1 p |+i 2 1 p |+i 2

1 p | 2 i p | 2

i i

Um pouco mais de Sistemas de Spin

Resumindo:

Sx = ~ 2 (|+ih | + | ih+|) Sy = ~ 2 ( i|+ih | + i| ih+|)

Mostre que: S = Sx Sy ;

[Si , Sj ] = iijk ~Sk

2 {Si , Sj } = 1 2~

ij

onde [A, B ] = AB

BA e {A, B } = AB + BA
1 para permuta c ao n ao c clica

ijk = 1 para permuta c ao c clica e

~S ~ S 2 + S 2 + S 2 = ( 3 )~2 e que [S 2 , Si ] = 0 Mostre tamb em que: S 2 = S. y z x 4

MAPLima

13