Teorema da Incerteza

Cosme Aristides de Souza

Departamento de Fsica, Faculdade de Fsica, Universidade Federal Fluminense, Niteri, RJ.

Introduo


Por que Teorema da Incerteza ao invs de Princpio da Incerteza como comumente
conhecido e consagrado pelo uso?

Fao isso para evitar a tendncia enganosa e recorrente, baseada apenas nesta
nomenclatura, de dar status de princpio a algo que no passa de uma decorrncia dedutiva
dos postulados de uma teoria; estes, sim, autnticos princpios. Tomar o Teorema da
Incerteza como se fosse um princpio na estrita acepo do termo, leva a idia de que
devemos procurar fora da teoria um fator que o motive; uma justificao emprica ou
fenomenolgica para ele. Ento, de posse de conhecimentos superficiais e incompletos
sobre o tema, muitos se julgam autorizados para considerar a inferncia de Heisenberg como
o resultado de uma convico filosfica do nosso limitado poder de observao.

Vises como esta so justificadas valendo-se apenas da descrio de um caso
especfico relacionado ao fton, que foi proposto por Heisenberg apenas como exemplo para
que o teorema pudesse ser compreendido de uma maneira simplificada sem recorrer a
conceitos qunticos. Com isso, imputam uma origem emprica para o Teorema da Incerteza,
afirmando que ele deriva da anlise de certas experincias com a luz. Embora, possamos ter
uma compreenso qualitativa de um aspecto particular do Teorema da Incerteza e de suas
conseqncias observacionais atravs desta experincia imaginria; ele continua sendo uma
conseqncia terica inelutvel dos postulados da Mecnica Quntica.

Apesar de o Teorema da Incerteza estabelecer uma impossibilidade terica para
obteno de medidas totalmente precisas e, conseqentemente, impor um limite para o
nosso poder de observao; isto no legitima a concluso de que seja o limite de nosso
poder de observao que imponha o Teorema da Incerteza. Seria o mesmo que afirmar que
a gravidade, por impor a queda dos corpos, seja imposta pela queda dos corpos. Essa
"intromisso" do observador em toda descrio da Natureza uma conseqncia imprevista
de uma teoria formulada para o estudo quantitativo de fenmenos em escala atmica e no a
causa, como querem ver alguns.

O Teorema da incerteza , assim, aplicado particularmente para explicar a
impossibilidade de se ignorar a interao entre observador e sistema observado. Contudo,
essa impossibilidade no d conta de todas as implicaes relacionadas ao arcabouo
terico de onde ele se originou. Arcabouo este que tem como propsito modelizar a
realidade fsica, conferindo a esta descrio da natureza todas as conseqncias tericas de
sua estrutura matemtica. Inclusive a incerteza manifestada pelas desigualdades de
Heisenberg, que so vrias; a que relaciona momento e posio apenas uma delas. O
problema que esta veio a ficar to famosa que disseminou a noo improcedente de ser
ela o prprio princpio da Incerteza, a ponto de intelectuais leigos em fsica tecerem
concluses advindas da certeza enganosa de que a incerteza s aparece na ligao entre
momento e velocidade. Alis, a descontextualizao um procedimento corriqueiro entre
certos filsofos e socilogos que querem impor suas concluses s descobertas da fsica,
sem ir alm de um apanhado indireto de alguns pontos da teoria; que, em muitos casos, no
passam de tentativas de explicaes, necessariamente incompletas e simplificadas, feitas
por fsicos que evitavam recorrer linguagem matemtica.


Desigualdades de Heisenberg


As desigualdades de Heisenberg aparecem dentro da teoria quntica num contexto
bem mais amplo, que no se circunscreve apenas interao entre fton e eltrons. H que
se partir do fato que a mecnica quntica tem uma modelagem matemtica baseada num
espao vetorial dotado de produto escalar (tambm conhecido como produto interno) e, em
todos eles, vale um resultado conhecido como Desigualdade de Cauchy-Schwartz.

|(A,B)| |A||B|

Ela diz que o mdulo do produto escalar entre dois elementos do espao menor ou
igual ao produto dos mdulos desses mesmos elementos. Podemos compreender essa
relao, se supormos que estamos trabalhando num espao cujos elementos so vetores
geomtricos clssicos: seguimentos de reta orientados e com norma ou mdulo igual ao seu
comprimento. Assim;

|(A,B)| = |A||B|| cos(a)

||A| |B| cos(a)| |A||B|

Onde cos(a) o co-seno do ngulo entre os dois vetores;

|cos(a)| |A||B|/|A||B|

|cos(a)| 1

H um modo alternativo de expressar a Desigualdade de Cauchy-Schwartz, valendo-
se da seguinte propriedade do produto escalar ou interno:

|A|
2
=(A,A)

|(A,B)|
2
|A|
2
|B|
2
se transforma, ento, em:

|(A,B)|
2
(A,A) (B,B) (2)

O produto escalar definido segundo as caractersticas dos elementos do espao. No
caso de serem funes e no vetores na sua concepo clssica, o produto escalar se torna
um pouco mais complicado ao exigir operaes com integrais das funes envolvidas.

(A(x),B(x)) = A(x)*B(x)dx

Onde A(x)* representa o conjugado complexo da funo, que na maioria dos casos
no real. Quando essa funo uma funo de onda que caracteriza um estado do
sistema quntico, usa-se graf-las apenas com uma letra grega e impor a seguinte regra de
normalizao:

(,) = *dx = 1

O produto interno pode ainda ser apresentado na formulao dos bras e kets de
Dirac;
(A(x),B(x)) = A(x)*B(x)dx = <A(x)||B(x)>

E a regra de normalizao ficaria assim:

(,) = *dx = <||> = 1

O valor esperado ou mdia instantnea, notado por <X>, de uma varivel fsica dado
pela soma de todos os valores possveis ponderados por suas respectivas probabilidades.
Ele pode ser calculado atravs do conceito de produto interno como se segue:

<X> = (, X) = *Xdx = <|X|>

A desigualdade de Cauchy-Schwartz e mais os postulados qunticos que associam as
quantidades fsicas com operadores hermitianos levaro ao que mais apropriadamente
chamado pelos fsicos e matemticos como Relao de Incerteza de Heisenberg. Faremos a
seguir uma demonstrao dela; que, apesar de ser longa, simples e no requer
conhecimentos de matemtica alm daqueles visto no segundo grau. Ficou extensa
justamente porque no pulei nenhuma passagem e no me preocupei em ser redundante
com a inteno de deixar claro cada passo.

Comearemos pela definio estatstica de varincia ou erro quadrtico mdio, cuja
raiz quadrada define o desvio padro ou incerteza da varivel:

(A)
2
= <(A - <A>)
2
>

Que diz simplesmente que o quadrado da incerteza (ou desvio padro) associada a uma
varivel fsica A igual mdia dos quadrados das diferenas entre os valores possveis de
A e a mdia de A.

Definindo o operador auto adjunto A:

A = A - <A>

Com a propriedade:

(, A) = (A, )

Desta forma,

(A)
2
= <A
2
>

O Valor esperado <X> de uma varivel fsica associada ao operador X dado por;

<X> = (, X)

Do mesmo modo ento,

(A)
2
= (, A
2
) = (, AA)

Por

(, A) = (A, )

Podemos fazer

(, AA) = (A, A)

O que nos apresenta

(A)
2
= (A, A).

Seguindo raciocnio semelhante, definimos outro operador auto adjunto B;

B = B - <B>

(B)
2
= (B, B)

A Desigualdade de Cauchy-Schwartz estabelece que

|(A, B)|
2
(A, A) (B, B) = (A)
2
(B)
2


Ou

|(A, B)|
2
(A)
2
(B)
2


Do que sabemos sobre um nmero complexo z qualquer;

z = R(z) + I(z)i

z* = R(z) - I(z)i

z - z*= (R(z) + I(z)i) (R(z) - I(z)i) = 2I(z)i

|z|
2
= (R(z))
2
+ (I(z))
2
(I(z))
2
= ((z - z*)/2i)
2


|z|
2
((z - z*)/2i)
2


Fazendo:

z = (A, B)

Segue que

|(A, B)|
2
{((A, B) - (A, B)*)/2i}
2


Levando em conta a seguinte propriedade do produto interno;

(A, B)* = (B, A)

Temos:

(A, B) - (A, B)* = (A, B) - (B, A)

Por A e B serem operadores auto adjuntos;

(A, B) = (, AB)
(B, A) = (, BA)

Logo,

(A, B) - (A, B)* = (, AB) - (, BA)

De acordo com a propriedade distributiva do produto interno;

(, AB) - (, BA) = (, (AB - BA))

Obtemos:

(A, B) - (A, B)* = (, (AB - BA)).

Existe uma operao chamada comutador definida como;

[A,B] = (AB - BA).

O que nos deixa com a relao:

(A, B) - (A, B)* = (, [AB]).

Levando-a para o resultado j obtido;

|(A, B)|
2
{((A, B) - (A, B)*)/2i}
2


|(A, B)|
2
{(, [AB])/2i}
2


ou

{(, [AB])/2i}
2
|(A, B)|
2


Comparando com

|(A, B)|
2
(A)
2
(B)
2


{(, [AB])/2i}
2
|(A, B)|
2
(A)
2
(B)
2


{(, [AB])/2i}
2
(A)
2
(B)
2


Como
[A,B] = (AB - BA) = ((A - <A>)( B - <B>) (B - <B>)( A - <A>)) =
= ((AB - A<B> - <A>B + <A><B> - BA + B<A> + <B>A - <B><A> =
= (AB - BA) = [A,B]

(Isso porque <A> e <B> so nmeros e no operadores como A e B)

Assim;

[A,B] = [A,B]

e

{(, [A,B])/2i}
2
(A)
2
(B)
2


mas,

(, [A,B]) = <[AB]>

Ento:

(<[A,B]>/2i)
2
(A)
2
(B)
2


Eis a Relao de Incerteza de Heisenberg que pode ser simplificada para

|<[A,B]>|/2 AB.

Posta em termos da Formulao de Dirac;

|<|[A,B]|>|/2 AB.


No caso particular em que A e B so os operadores associados ao momentum e posio,
obtemos a desigualdade impropriamente conhecida como Princpio da Incerteza de
Heisenberg:

|<|[P,X]|>|/2 px

sabido que

[P,X] = ih/2

Sendo um nmero, esse resultado pode sair do interior dos brakets

|<||> ih/2|/2 px

Pela regra de normalizao,

<||> = 1

|ih/2|/2 px.

Como o mdulo de um nmero imaginrio puro o argumento de sua parte imaginria;

h/4 px

Ou

px h/4

Concluso

Para chegar a esses resultados tericos s nos valemos de concepes puramente
matemticas, no nos reportamos a nenhuma experincia especfica. Recorremos s
contingncias geradas pela lgebra sobre a qual a mecnica formulada. Utilizamos as
propriedades do produto interno prprio ao espao de Hilbert e vimos que as imposies de
limites na incerteza derivam do fato de se trabalhar com variveis no compatveis, isto ,
que no comutam, que possuem resultados no nulos nas operaes de comutadores.
Partimos de uma caracterizao formal da incerteza; que se revelou no ser nada mais que a
definio estatstica de desvio padro, uma medida da disperso dos valores provveis em
torno do valor esperado. A incerteza nos informa sobre a largura da curva de distribuio das
probabilidades, at onde ela se estende com intensidade significativa ao longo dos valores
adjacentes ao seu pico. De forma que a relao de incerta estabelece uma ligao entre
curvas de distribuio estatstica de variveis no compatveis: o estreitamento de uma
condiciona um estreitamento mximo na outra, no possvel estreitar ambas o quanto se
queira.

Se as peculiaridades da teoria quntica geram uma viso da natureza que inclui a
existncia de rbitas proibidas no tomo, a inexistncia do conceito de trajetria e outras
estranhezas para uma perspectiva clssica, a relao de incerteza tambm deve ser
colocada dentro desse rol de esquisitices. Pois, afinal, ela tambm, como vimos, fruto
direto de sua forma especial de descrever a realidade, ela est intrinsecamente ligada ao
modo como a estrutura matemtica da mecnica quntica faz essa "modelagem" do mundo
microscpico. Tanto que, modelagens diferentes no fazem uso dela, como, por exemplo, a
"Mecnica Quntica de Nelson" ou a "Interpretao de Bohm" da mecnica quntica. Com
isso quero dizer o seguinte: se a natureza for tal qual como a teoria quntica padro a
modela (se no for outros quinhentos); coisas como rbitas quantizadas, partculas que se
deslocam sem trajetria, tunelamentos devidos s incertezas das variveis fsicas, tudo isso
far parte do funcionamento da realidade.

claro que nada impede que as rbitas na realidade no sejam quantizadas, que as
partculas trafeguem em trajetria perfeitamente delineadas, que os tunelamentos aconteam
porque no conseguimos medir com a preciso requerida. Do mesmo modo que nada
impede tambm que os eltrons sejam bolinhas cor de rosa e tenham rabinho, j que
podemos sempre explicar que no vemos ou no medimos assim por uma debilidade no
nosso poder de observao. Com isso podemos explicar tudo que imaginarmos: tal coisa
existe, o problema no est nela, est na nossa incapacidade para observ-la. Esse tipo de
interpretao tosca no leva a nada, no pode ser falseada, portanto no cientfica. Uma
teoria pressupe uma realidade anterior observao. E para a mecnica quntica tambm
assim, apenas que ela prev teoricamente modificaes nesta realidade quando
observada. O estado do sistema fsico descrito sem precisar supor um observador; o fato
que ao introduzi-lo, ele no ser uma entidade neutra como o era na mecnica clssica, ele
vai alterar sensivelmente as variveis do estado do sistema. Se no pudssemos conceber
pela teoria uma realidade anterior observao, no teramos como mensurar a influncia
advinda desta observao.