CONCEPTOS FUNDAMENTALES

El cambio revolucionario en nuestra comprensin de los fenmenos

microscpicos que tuvieron lugar durante los primeros 27 aos del
siglo XX no tiene precedentes en la historia de las ciencias naturales.
No slo somos testigos de graves limitaciones en la validez de la
fsica clsica, pero encontramos la teora alternativa que sustituy a
la teoras fsicas clsicas a ser mucho ms amplia en su alcance y
mucho ms rico en su rango de aplicabilidad.
La manera ms tradicional para comenzar un estudio de la mecnica
cuntica es seguir los desarrollos histricos - Ley de radiacin de
Planck, la teora de Einstein-Debye de calores especficos, el tomo de
Bohr, ondas de materia de Broglie, etc.- junto con un anlisis
cuidadoso de algunos experimentos clave como el efecto Compton, el
experimento de Franck-Hertz, y el experimento Davisson-GermerThompson. De esa manera podemos llegar a apreciar cmo los fsicos
en el primer trimestre del siglo XX se vieron obligados a abandonar,
poco a poco, los conceptos preciados de la fsica clsica y cmo, a
pesar de salidas en falso anteriores y giros equivocados, los grandes
maestros -Heisenberg, Schrdinger y Dirac, entre otros- finalmente
lograron formular la mecnica cuntica como la conocemos hoy en
da.
Sin embargo, no seguimos el enfoque histrico en este libro. En lugar
de ello, empezamos con un ejemplo que ilustra, quizs ms que
cualquier otro ejemplo, la insuficiencia de los conceptos clsicos de
una manera fundamental. Esperamos que, exponiendo a los lectores
a un "tratamiento de choque" en el inicio dar lugar a que se
conviertan en sintona con lo que podramos llamar el "camino de la
mecnica cuntica de pensar" en una fase muy temprana.
Este enfoque diferente, no es ms que un ejercicio acadmico.
Nuestro conocimiento del mundo fsico viene de hacer suposiciones
sobre la naturaleza, la formulacin de estos supuestos en los
postulados, derivando predicciones de esos postulados, y prueba de
tales predicciones contra experimento. Si el experimento no est de
acuerdo con la prediccin, entonces, presumiblemente, los supuestos
originales no son correctos. Nuestro enfoque enfatiza los supuestos
fundamentales que hacemos sobre la naturaleza, sobre el cual hemos
llegado a basar todas nuestras leyes fsicas, y que el objetivo de
adaptarse a las observaciones profundamente cuntico-mecnicos
desde el principio.
1.1 EL EXPERIMENTO STERN-GERLACH
El ejemplo nos concentramos en esta seccin es el experimento de
Stern -Gerlach, originalmente concebido por O. Stern en 1921 y llev
a cabo en Frankfurt por l en colaboracin con W. Gerlach en 1922.

* Este experimento ilustra de manera dramtica la necesidad de un

cambio radical de los conceptos de la mecnica clsica. En las
secciones posteriores del formalismo bsico de la mecnica cuntica
se presenta de una manera algo axiomtico pero siempre con el
ejemplo del experimento Stern-Gerlach en el fondo de nuestras
mentes. En cierto sentido, un sistema de dos estados del tipo SternGerlach es el sistema menos clsico, y ms mecnico-cuntico. Una
slida comprensin de los problemas que afectan los sistemas de dos
estados resultar ser gratificante para cualquier estudiante serio de la
mecnica cuntica. Es por esta razn por la que nos referimos en
repetidas ocasiones a problemas de dos estados a lo largo de este
libro.
Descripcin del Experimento
Ahora presentamos un breve anlisis del experimento Stern-Gerlach,
que se discute en casi todos los libros de la fsica moderna. ** En
primer lugar, tomos de plata (Ag) se calientan en un horno. El horno
tiene un pequeo agujero a travs del cual algunos de los tomos de
plata escapan. Como se muestra en la Figura 1.1, el haz pasa a travs
de un colimador y luego se somete a un campo magntico no
homogneo producido por un par de piezas polares, uno de los cuales
tiene un borde muy afilado.
Ahora debemos calcular el efecto del campo magntico sobre los
tomos de plata
Para nuestro propsito el siguiente modelo simplista del tomo de
plata suficiente. El tomo de plata se compone de un ncleo y 47
electrones, donde 46 de los 47 electrones puede ser visualizado como

la formacin de una nube de electrones esfricamente simtrica sin

momento angular neto. Si ignoramos el spin nuclear, que es
irrelevante para nuestra discusin, vemos que el tomo en su
conjunto tiene un momento angular, que se debe nicamente al espn
intrnseco a diferencia de momento orbital-angular de la nica 47mo
(5s) de electrones. Los 47 electrones estn unidos al ncleo, que es
veces ms pesado que el electrn. Como resultado, el tomo
pesado como un todo posee un momento magntico igual a la de
centrifugado momento magntico del electrn 47mo En otras
palabras, momento magntico del tomo es proporcional a la espn
electrnico S,

donde el factor de proporcionalidad resulta ser

libro) con una precisin de aproximadamente 0,2%.

(e<0 en este

Debido a que la energa de interaccin del momento magntico con el

campo magntico es slo
el componente z de la fuerza
experimentada por el tomo est dada por

* Para una excelente discusin histrica del experimento Stem-Gerlach, consulte

"Stem y Gerlach: Cmo un cigarro Mala Ayudado Reorientar Fsica Atmica; por
Bretislav Friedrich y Dudley Herschbach, Physics Today, diciembre (2003) 53.
** Para una discusin elemental, pero esclarecedor del experimento Stem-Gerlach,
consulte francesa y Taylor (1978), pp. 432-38.

donde hemos ignorado los componentes de B en direcciones distintas

de la z direccin. Debido a que el tomo en su conjunto es muy
pesado, esperamos que el concepto clsico de trayectoria puede ser
legtimamente aplicada, un punto que se puede justificar el uso del
principio de incertidumbre de Heisenberg que se derivan ms tarde.
Con la disposicin de la figura 1.1, la
tomo experimenta
una fuerza hacia abajo, mientras que el
tomo
experimenta una fuerza hacia arriba. Se espera entonces el haz de
conseguir dividir de acuerdo a los valores de
En otras palabras, las
"medidas" del aparato SG (Stern -Gerlach) de la componente z de o,
equivalentemente, a la componente z de S hacia arriba a un factor de
proporcionalidad.
Los tomos en el horno se orientan al azar; no hay direccin preferida
para la orientacin de . Si el electrn eran como un objeto que gira

clsica, esperaramos que todos los valores de

entre

para realizarse

|| y|| . Esto nos llevara a esperar un haz continuo de rayos

que salen del aparato SG, como se indica en Figura 1.1, distribuidas
ms o menos uniformemente sobre el rango esperado. En cambio, lo
que se observa experimentalmente se parece ms a la situacin
tambin se muestra en la figura 1.1, donde se observan dos "spots",
que corresponde a una orientacin "hacia arriba" y una "hacia abajo".
En otras palabras, el aparato SG divide el haz de plata original desde
el horno en dos componentes distintos, un fenmeno que se hace
referencia en los primeros das de la teora cuntica como
"cuantificacin espacio". En la medida en que se puede identificar
dentro de un factor de proporcionalidad con el espn electrnico S, se
observan slo dos valores posibles de la componente z de la S a ser
posible: Sz arriba Sz abajo, lo que llamamos Sz + y Sz-. Los dos
valores posibles de Sz son mltiplos de alguna unidad fundamental
del momento angular; numricamente resulta que
donde

Este "cuantificacin" del momento angular de spin del electrn* es la

primera caracterstica importante deducimos del experimento de
Stern -Gerlach
* La comprensin de las races de esta cuantificacin radica en la aplicacin de la
relatividad con la mecnica cuntica. Vea la Seccin 8.2 de este libro para una
discusin.

Figura 1.2 (a) prediccin de la fsica clsica para los resultados del
experimento Stem-Gerlach. El haz debera haber sido extendido
verticalmente, sobre una distancia correspondiente a la gama de valores de
los tiempos momento magntico el coseno del ngulo de orientacin.
Stem y Gerlach, sin embargo, observ el resultado en (b), a saber, que slo
dos orientaciones del momento magntico se manifestaron. Estas dos
orientaciones no abarcan todo el rango esperado.

Figura 1.2a muestra el resultado habra sido de esperar del

experimento.
Segn la fsica clsica, el rayo debi extenderse sobre una vertical,
distancia correspondiente a la (continua) gama de orientacin del
momento magntico. En cambio, se observa la figura 1 b, que es
completamente en desacuerdo con la fsica clsica. El haz
misteriosamente se divide en dos partes, una correspondiente a girar
hacia "arriba" y el otro para hacer girar "hacia abajo".
Por supuesto, no hay nada sagrado en la direccin arriba-abajo o el
eje z. Podramos haber aplicado un campo no homogneo en una
direccin horizontal, por ejemplo en la direccin x, con el
procedimiento de haz en la direccin y. De esta manera podramos
haber separado el haz del horno en un componente Sx + y un
componente Sx - .
Experimentos secuenciales de Stern-Gerlach
Consideremos ahora un experimento secuencial Stern-Gerlach. Con
esto queremos decir que el haz atmico pasa a travs de dos o ms
aparatos de SG en secuencia. La primera disposicin consideramos es
relativamente sencillo. Sometemos el haz que sale del horno a la
disposicin mostrada en la figura 1.3a, donde SG ^z significa un
aparato con el campo magntico no homogneo en la direccin z,
como de costumbre.
A continuacin Nos bloquean el componente Sz- saliendo del primer
aparato SG ^z
y dejamos que el Sz + componente restante ser
sometidos a otro aparato SG z^ . Esta vez no es slo un componente
del haz que sale de la segunda aparato slo el Sz + componente. Esto
tal vez no sea tan sorprendente; despus de todo, si los espines
atmicos han aumentado, se espera que lo siga siendo, a falta de
cualquier campo externo que gira los giros entre la primer y la
segundo aparato SG ^z .
Un poco ms interesante es la disposicin mostrada en la Figura 1.3b.
Aqu el primer aparato SG es el mismo que antes, pero el segundo
(SG ^x ) tiene un campo magntico no homogneo en la direccin x.
El haz +Sz que entra en el segundo aparato (SG x^ ) ahora se divide
en dos componentes, un componente Sx + y una componente Sx-,
con intensidades iguales. Cmo se explica esto? Significa que el 50%
de los tomos en el haz de Sz + que sale de la primera aparato (SG
^z ) se componen de tomos caracterizados por tanto Sz + y Sx +,
mientras que el 50% restante tiene tanto Sz + y Sx-? Resulta que esa
imagen se encuentra con dificultad, como veremos a continuacin.

Secuenciales experimentos SternGerlach.

Consideremos ahora un tercer paso, la disposicin mostrada en la
figura 1.3c, que ilustra ms dramticamente las peculiaridades de los
sistemas de la mecnica cuntica.
Esta vez aadir a la disposicin de la figura 1.3b sin embargo, un
tercer aparato, del tipo SG ^z . Se observa experimentalmente que
dos componentes emergen del tercer aparato, no uno; los haces
emergentes se considera que tienen tanto un componente Sz+ y un
componente Sz-. Se trata de una completa sorpresa porque despus
de los tomos surgieron del primer aparato, nos aseguramos de que
el componente Sz- fue completamente bloqueado. Cmo es posible
que el componente Sz-, que nos pareci, eliminamos antes, vuelve a
aparecer? El modelo en el que los tomos de entrar en el tercer
aparato se visualizan tener tanto Sz + y Sx + es claramente
insatisfactorio.
En este ejemplo se utiliza a menudo para ilustrar que en la mecnica
cuntica no podemos determinar tanto Sz y Sx simultneamente. Ms
precisamente, podemos decir que la seleccin del haz Sx + por el
segundo aparato (SG ^x ) destruye por completo cualquier
informacin previa sobre Sz.

Es divertido comparar esta situacin con la de un trompo en la

mecnica clsica, donde el momento angular

se puede medir mediante la determinacin de las componentes del

vector de velocidad angular . Al observar lo rpido que el objeto
est girando en cualquier direccin, podemos determinar

x , y y z

simultneamente. El momento de inercia I es computable si

conocemos la densidad de masa y la forma geomtrica del trompo,
as que no hay dificultad para especificar tanto Lz y Lx en esta
situacin clsica.
Es de entenderse claramente que la limitacin que nos hemos
encontrado en la determinacin de Sz y Sx no es debido a la
incompetencia del experimentador. No podemos hacer que el
componente Sz- cabo del tercer aparato de la Figura 1.3C
desaparecer mediante la mejora de las tcnicas experimentales. Las
peculiaridades de la mecnica cuntica son impuestas sobre nosotros
por el propio experimento. La limitacin es, de hecho, inherente en
los fenmenos microscpicos.
La analoga con la polarizacin de la luz
Debido a esta situacin se ve tan novedoso, alguna analoga con una
situacin clsica familiarizado puede ser til aqu. Con este fin, ahora
una digresin para considerar la polarizacin de las ondas de luz. Esta
analoga nos ayudar a desarrollar un marco matemtico para la
formulacin de los postulados de la mecnica cuntica.
Consideremos una onda que se propaga la luz monocromtica en la
direccin z. Un linealmente polarizada (o plano polarizado) luz con un
vector de polarizacin en la direccin x, lo que llamamos por sus
siglas en una luz x-polarizado, tiene un espacio-tiempo dependiente
al campo elctrico oscilando en la direccin x.

Del mismo modo, podemos considerar una luz y polarizada, tambin

se propaga en la direccin z,

Haces de luz polarizada del tipo (1.1.5) o (1.1.6) se pueden obtener

por dejar que un haz de luz no polarizada pase a travs de un *filtro
Polaroid. Llamamos a un filtro que selecciona slo haces polarizados
en la direccin x de un x -filtro. Un x-filtro, por supuesto, se convierte
en un y- filtro cuando se gira 90 sobre la (z) direccin de la
propagacin. Es bien sabido que cuando dejamos que un rayo de luz

pasa por un x-filtro y posteriormente dejar que inciden en un y-filtro,

no sale un rayo de luz (siempre, claro est, de que estamos tratando
con un 100% eficiente Polaroids); ver Figura 1.4a.
La situacin es an ms interesante si insertamos entre el x-filtro y el
y-filtro otro Polaroid que selecciona nicamente un haz polarizado en
la direccin que llamamos x '- direccin-, que forma un ngulo de 45
con la direccin x en el plano xy; vase la Figura 1.4b. Esta vez, no es
un rayo de luz que sale del y-filtro a pesar de que justo despus del
haz que pas por el x-filtro que no tena ningn componente de
polarizacin en la direccin y. En otras palabras, una vez que el x'filtro interviene y selecciona los x' haz -polarizado, es indiferente que
previamente el haz x-polarizado. La seleccin del haz x'-polarizado
por el segundo
*filtro Polaroid el material en hojas de plstico fino que produce un alto grado
de plano de polarizacin de la luz que pasa a travs de l.

Polaroid destruye toda la informacin anterior sobre polarizacin de la

luz. Tenga en cuenta que esta situacin es bastante anloga a la
situacin que nos encontramos antes con la disposicin SG de la
figura 1.3b, con la condicin que la siguiente correspondencia se de:

donde los ejes x'- e y '- se definen como en la Figura 1.5.

Veamos
cmo
podemos
describir
cuantitativamente
el
comportamiento de los 45 de inclinacin de los haces polarizados
(x'- y' haces polarizados) en el marco de la electrodinmica clsica.
Utilizando la figura 1.5 obtenemos

En la disposicin de triple filtro de la figura 1.4b, el haz que sale de la

^x -polarizado, que puede ser
primera Polaroid es un haz
considerado como una combinacin lineal de un haz x'-polarizado y
un haz y'-polarizado. El segundo Polaroid selecciona haz x'-polarizado,
los cuales pueden a su vez ser considerado como una combinacin
lineal de un haz x-polarizado y un haz y-polarizado. Y finalmente, la
tercera Polaroid selecciona el componente y polarizado.
La aplicacin de la correspondencia (1.1.7) de la secuencia
experimento Stern-Gerlach de la figura 1.3c al experimento de triple
filtro de la figura 1.4b sugiere que podramos ser capaces de
representar el estado de espn de un tomo de plata por algn tipo de
vector en una nuevo tipo de espacio vectorial de dos dimensiones, un
espacio vectorial abstracto que no debe confundirse con el (xy)
espacio habitual de dos dimensiones. Del mismo modo que ^x y ^y en
(1.1.8) son los vectores de base utilizados para descomponer el
vector de polarizacin ^x ' de las ^x ' luz -polarizada, es razonable

para representar el estado Sx+ por un vector, que llamamos un ket

en el notacin de Dirac para desarrollarse plenamente en la siguiente
|S x ;+
seccin. Denotamos este vector por
y escribimos como una

combinacin lineal de dos vectores base,

|S z ;+

|S z ;

, que

corresponden al Sz+ y los estados Sz-, respectivamente. As podemos

conjeturar

en analoga con (1.1.8). Ms tarde vamos a mostrar cmo obtener

estas expresiones utilizando el formalismo general de la mecnica
cuntica.
As, el componente no bloqueado que sale del segundo aparato (SG
^x ) de la figura 1.3c debe ser considerado como una superposicin
de Sz + y Sz- en el sentido de (1.1.9a). Es por esta razn por la que
dos componentes emergen del tercer aparato (SG ^z ).
La siguiente pregunta de preocupacin inmediata es, Cmo vamos a
representar la Sy estados? Argumentos de simetra sugieren que si
observamos una Sz haz ir en la direccin x y someterlo a un
aparato SG ^y , la situacin resultante ser muy similar al caso en
que un haz de Sz ir en la direccin y se somete a una aparatos SG
^x . Los kets para Sy deberan entonces ser considerados como
una combinacin lineal de

|S z ;+

, pero parece de (1.1.9) que ya

hemos agotado las posibilidades disponibles en la escritura

|S x ;+

Cmo puede nuestro espacio vectorial distinguir Sy estados de Sx

estados?
Una analoga con la luz polarizada de nuevo nos rescata aqu. Esta
vez consideran un haz de la luz polarizado circularmente, que se
puede obtener por dejar una luz linealmente polarizada pasa a travs
de una placa de cuarto de onda. Cuando se pasa una luz polarizada
circularmente como a travs de un filtro de X o un filtro y, de nuevo
obtenemos sea un haz x polarizado o una haz- y polarizado de igual
intensidad. Sin embargo, todo el mundo sabe que la luz polarizada
circularmente es totalmente diferente de la 45 - linealmente

polarizada (x'-polarizado o y'-polarizado) luz. Matemticamente,

cmo nos representamos una luz circularmente polarizada? A la luz
polarizada circularmente a la derecha no es ms que una
combinacin lineal de una luz polarizada en x y una luz y-polarizado,
donde la oscilacin del campo elctrico para el componente ypolarizada es 90 fuera de fase con la de la x- componente
polarizada: *

Es ms elegante utilizar la notacin compleja mediante la introduccin de

como:
(1.1.11)
Para una luz polarizada circularmente a la derecha, entonces podemos
escribir

(1.1.12)
donde hemos utilizado
Podemos hacer la siguiente analoga con los estados de espn de los tomos
de plata:
derecha haz polarizado circularmente,
izquierda haz polarizado circularmente,
(1.1.13)
Aplicando esta analoga a (1.1.12), vemos que si se nos permite hacer que
los coeficientes de base precedentes Kets compleja, no hay ninguna
dificultad en el acomodamiento de
espacio vectorial:

tomos en nuestro formalismo del

(1.1.14)
que son obviamente diferente de (1.1.9). Vemos as que el espacio vectorial
de dos dimensiones necesarias para describir los estados de espn de los
tomos de plata debe ser un espacio vectorial complejo; un vector arbitrario
en el espacio vectorial est escrito como una combinacin lineal de los
vectores base con

, en general, coeficientes complejos. Del hecho de

que es necesario los nmeros complejos ya es evidente en un ejemplo

elemental es bastante notable.
El lector debe haber observado por este tiempo que hemos evitado
deliberadamente hablar de fotones. En otras palabras, hemos ignorado por
completo el aspecto cuntico de la luz; en ninguna parte mencionamos los
estados de polarizacin de los fotones individuales. La analoga nos sali
entre Kets en un espacio vectorial abstracto que describe los estados de
espn de los tomos individuales con los vectores de polarizacin del campo
electromagntico clsico. En realidad, podramos haber hecho la analoga
an ms vvida al introducir el concepto de fotn y hablando de la
probabilidad de encontrar un fotn polarizada circularmente en un estado
de polarizacin lineal, y as sucesivamente; sin embargo, no se necesita
aqu. Sin hacerlo, ya hemos logrado el objetivo principal de esta columna:
por introducir la idea de que los estados de la mecnica cuntica son de ser
representado por vectores en un abstracto espacio vectorial complejo. **
*Desafortunadamente, no hay unanimidad en la definicin de lo correcto contra la luz polarizada
circularmente a la izquierda en la literatura.
** El lector que est interesado en comprender los conceptos bsicos de la mecnica cuntica a travs
de un cuidadoso estudio de la polarizacin del fotn puede encontrar el captulo 1 de Baym (1969) muy
esclarecedor

FIGURA 1.6 Un moderno aparato Stem-Gerlach, utilizado para estados de

espn separadas de cesio atmica, tomados de F. Lison et al., Phys. Rev. A
61 (1 999) 0 1 3405. El aparato se muestra a la izquierda, mientras que los
datos muestran las nueve proyecciones diferentes para el tomo spincuatro, (a) antes y (b) despus de un bombeo ptico se utiliza para rellenar
las proyecciones de spin solamente extremas. El nmero cuntico de espn
F = 4 es un acoplamiento entre el electrn ms exterior en el tomo y el
espn nuclear I = 7/2.

Por ltimo, antes de esbozar el formalismo matemtico de la mecnica

cuntica, destacamos que la fsica de un aparato de Stem-Gerlach es de
mucho ms que simplemente el inters acadmico. La capacidad de separar
estados de espn de los tomos tiene un enorme inters prctico tambin.

Figura 1.6 muestra el uso de la tcnica de Stem-Gerlach para analizar el

resultado de la manipulacin spin en un haz atmico de tomos de cesio. El
nico istopo estable, 133Cs, de este tomo alcalino tiene un espn nuclear
I = 7/2, y el experimento ordena el F = 4 hiperfina subestado magntico,
dando nueve orientaciones del spin. Este es slo uno de muchos ejemplos
en los que se utiliza este efecto una vez misteriosa para dispositivos
prcticos. Por supuesto, todos estos usos slo se van a establecer
firmemente este efecto, as como los principios de la mecnica cuntica que
tendremos ahora presente y desarrollar an ms.

1.2 KETS, BRAS Y OPERADORES

En la seccin anterior mostramos cmo analiza el experimento StemGerlach nos llevan a considerar un espacio vectorial complejo. En esta y la
siguiente seccin formulamos las matemticas bsicas de los espacios
vectoriales y usadas en la mecnica cuntica. Nuestra notacin a lo largo de
este libro es el bra y ket notacin desarrollada por P. A. M. Dirac. La teora de
espacios vectoriales lineales tenido, por supuesto, se sabe que los
matemticos previos al nacimiento de la mecnica cuntica, pero forma de
introducir espacios vectoriales de Dirac tiene muchas ventajas, sobre todo
desde el punto de vista del fsico.
Espacio Ket
Consideramos un espacio vectorial complejo cuya dimensionalidad se
especifica de acuerdo con la naturaleza de un sistema fsico bajo
consideracin. En los experimentos de tipo Stern - Gerlach donde el nico
grado de libertad de la mecnica cuntica es el espn de un tomo, la
dimensionalidad se determina por el nmero de caminos alternativos que
los tomos pueden seguir cuando se somete a un aparato de SG; en el caso
de los tomos de plata de la seccin anterior, la dimensionalidad es de slo
dos, correspondientes a los dos posibles valores que SZ puede asumir*. Ms
tarde, en la Seccin 1.6, consideramos el caso del ejemplo de espectro
continuo, la posicin (coordenadas) o momento de una partcula donde el
nmero de alternativas es no numerables infinito, en cuyo caso se conoce el
espacio vectorial en cuestin como un espacio de Hilbert despus de D.
Hilbert, quien estudi los espacios vectoriales en dimensiones infinitas.
En la mecnica cuntica un estado fsico por ejemplo, un tomo de plata
con una orientacin de spin definido - est representada por un vector de
estado en un espacio vectorial complejo. Despus de Dirac, llamamos tal
vector ket y lo denotamos por
. Este estado ket se postula para contener
la informacin completa sobre el estado fsico; todo lo que se nos permite
preguntar sobre el estado est contenida en el ket. Dos Kets se pueden
aadir:
(1.2.1)

La suma de
es slo otro ket. Si multiplicamos
por un nmero complejo
c, el producto resultante de
es otro ket. El nmero c puede estar
ubicado a la izquierda o a la derecha de un ket; no hay diferencia:
(1.2.2)
En el caso particular donde c es cero, el ket resultante se dice que es un ket
nulo.
Uno de los postulados de la fsica es que
y
, con
representan el
mismo estado fsico. En otras palabras, slo la "direccin" en el espacio
vectorial es de importancia, los matemticos prefieren decir que estamos
aqu tratando con los rayos en lugar de vectores.
Un observable, tales como componentes del momento y del espn, puede
ser representado por un operador, tales como A, en el espacio vectorial en
cuestin. Muy en general, un operador acta sobre un ket desde la
izquierda,
(1.2.3)
que es otro ket. Habr ms en operaciones de multiplicacin ms tarde.
En general,
no es una constante de tiempo
. Sin embargo, hay kets
particulares de importancia, conocidos como eigenkets de operador A,
denotado por
(1.2.4)
*Para muchos sistemas fsicos de la dimensin del espacio de estado es infinito numerable. Aunque por
lo general le indicaremos un nmero finito de dimensiones, N, del espacio ket, los resultados tambin
tienen unas dimensiones infinitas numerable.

con la propiedad
(1.2.5)
donde a', a",... son slo nmeros. Tenga en cuenta que la aplicacin de A a
los eigenket simplemente reproduce el mismo ket aparte de un nmero
multiplicativo. El conjunto de nmeros {a', a", a"', ...} ms compacta
denotada por {a'}, se llama el conjunto de eigenvalue de operador A.
Cuando se hace necesario ordenar eigenvalue de una manera especfica,
{a(1), a(2), a(3), ...} Puede ser utilizado en lugar de {a', a", a"', ...}.
El estado fsico correspondiente a un eigenket se llama un eigenstate. En
el caso ms simple de spin

1
2 sistemas, la relacin eigenvalue-eigenket

(1.2.5) se expresa como

(1.2.6)

donde

son eigenkets de operador Sz con eigenvalues

Aqu

podramos haber utilizado simplemente

para
en conformidad con
la notacin
, donde un eigenket est etiquetado por su eigenvalue, pero
la notacin
, que ya se utiliza en la seccin anterior, es ms
conveniente aqu porque tambin consideramos eigenkets de Sx

(1.2.7)
Comentamos anteriormente que la dimensionalidad del espacio vectorial se
determina por el nmero de alternativas en experimentos de tipo Stern Gerlach. Ms formalmente, nos preocupa con un espacio vectorial Ndimensional abarcado por los N eigenkets N del observable A. Cualquier ket
arbitraria

se puede escribir como

(1.2.8)

con a', a",... hasta a(N), donde ca' es un coeficiente complejo. La cuestin de
la singularidad de tal expansin se pospondr hasta que probemos la
ortogonalidad de eigenkets.
Espacio Bra y los productos internos
El espacio vectorial que hemos estado tratando es con un espacio ket.
Ahora introducimos la nocin de un espacio Bra, un espacio vectorial
"dual" del espacio ket. Postulamos que a cada ket
corresponde o existe
un bra, denotado por
, en este dual, o espacio bra. El espacio bra es
atravesado por eigenbras
, que corresponden a los eigenkets
. Hay
una correspondencia uno a uno entre un espacio ket y un espacio bra:

(1.2.9)
donde DC significa doble correspondencia. En trminos generales,
podemos considerar el espacio bra como una especie de imagen de un
espejo del espacio ket.
El bra dual
es postula para ser
no
importante. En trminos ms generales, tenemos

que es un punto muy

(1.2.10)
Definimos ahora el producto interno de un bra y un ket.* El producto se
escribe como un bra a la izquierda y un ket a la derecha; por ejemplo,

(1.2.11)

Este producto es, en general, un nmero complejo. Ntese que en la

formacin de un producto interno, siempre tomamos un vector del espacio
bra y un vector del espacio ket.
Postulamos dos propiedades fundamentales de los productos internos. En
Primer Lugar,
(1.2.12)
En otras palabras,
y
son conjugados complejos de diferencia.
Tenga en cuenta que a pesar de que el producto interno es, en cierto
sentido, anlogo al escalar familiarizado producto ab,
debe
distinguirse claramente de
; no se necesita la distincin anloga en el
espacio vectorial real porque ab es igual a ba. Usando (1.2.12) podemos
deducir inmediatamente que

debe ser un nmero real. Para probar esto

acaba de dejar
El segundo postulado sobre los productos internos es
(1.2.13)
donde el signo de igualdad es vlido slo si
es un ket nulo. Esto a veces
se conoce como el postulado de la mtrica definida positiva. Desde el
punto de vista de un fsico, este postulado es esencial para la interpretacin
probabilstica de la mecnica cuntica, como se ver ms adelante.**
Dos kets

se dice que son ortogonales si

(1.2.14)

a pesar de que en la definicin del producto interior, el bra

aparece. La
relacin de ortogonalidad (1.2.14) implica tambin, a travs de (1.2.12),

*En la literatura un producto interno se refiere a menudo como un producto escalar porque es anlogo a
un b en el espacio euclidiano; en este libro, sin embargo, nos reservamos el trmino escalar para un
invariante bajo rotaciones cantidad en el espacio tridimensional de costumbre.
**Los intentos de abandonar este postulado condujo a teoras fsicas con "indefinida mtrica". No vamos
a preocuparnos por esas teoras en este libro.

Dado un ket que no es un ket nulo podemos formar un ket normalizado

, donde

con la propiedad

Muy generalmente,

se conoce como la norma de

, anloga a la

magnitud del vector

en el espacio vectorial Euclideano. Debido
a
y
representan el mismo estado fsico, puede ser que tambin
requieren que los kets que utilizamos para los estados fsicos se
normalizaron en el sentido de (1.2.17).*
Operadores
Como sealamos anteriormente, observables tales como componentes de
movimiento y spin deben ser representado por los operadores que pueden
actuar sobre los kets. Podemos considerar una clase ms general de los
operadores que actan sobre los kets; sern denotadas por X, Y, y as
sucesivamente, mientras que A, B, y as sucesivamente ser utilizado para
una clase limitativa de los operadores que corresponden a observables.
Un operador acta sobre un ket desde el lado izquierdo,

y el producto resultante es otro ket. Operadores X y Y se dice que son

iguales,

Si

para un ket arbitrario en el espacio ket en cuestin. Se dice que el operador

X es el operador nulo si para cualquier ket arbitraria
, tenemos

Los operadores pueden ser sumados; las operaciones de adicin son

conmutativa y asociativa:

Con la nica excepcin del operador inversin del tiempo para ser
considerado en el captulo 4, los operadores que aparecen en este libro son
todos lineales; esto es,

*Para eigenkets de observables con espectros continuos, se utilizarn diferentes convenciones de

normalizacin; vase la Seccin 1 0.6

Un operador X siempre acta sobre un bra desde la banda derecha

y el producto resultante es otro bra. El ket

no doble el uno al otro. Definimos el smbolo

y el bra
como

son, en general,

El
operador se llama el adjunto Hermitian, o simplemente el adjunto,
de X. Un operador X se dice que es Hermitian si

Multiplicacin
Operadores X e Y se pueden multiplicar. Operaciones de multiplicacin son,
en general, no conmutativa; esto es,

Las operaciones de multiplicacin son, sin embargo, asociativa:

Tambin tenemos

Fjate

Porque

Hasta ahora, hemos considerado los siguientes productos:

XY Hay otros productos que se nos permite formar? Vamos a multiplicar

y
, en ese orden. El producto resultante

Se conoce como el producto exterior de

y
haremos hincapi en un
momento que
debe ser considerado como un operador, por lo que es
fundamentalmente diferente del producto interior
, que es slo un
nmero.
Tambin hay "productos ilegales". Ya hemos mencionado que un operador
debe estar a la izquierda de un ket o a la derecho de un bra. En otras
palabras,
y
son ejemplos de productos ilegales. No son ni kets, ni
bras, ni los operadores; son simplemente absurdos Productos como
y
tambin son ilegales cuando
y
pertenecientes a la misma espacio ket (bra). *

son ket (bra) vectores

Axioma asociativa
Como es claro desde (1.2.27), las operaciones de multiplicacin entre
operadores son asociativos. En realidad, la propiedad asociativa se postula
bastante general para mantener, siempre y cuando se trata de

multiplicaciones "legales" entre kets, bras y operadores. Dirac llama a este

importante postulado el axioma asociativa de la multiplicacin.
Para ilustrar el poder de este axioma, consideremos primero un producto
externo que acta sobre un ket:

Debido al axioma asociativa, podemos considerar esto igualmente bien

como

donde

es slo un nmero. As, el producto externo que acta sobre un

ket es slo otro ket; en otras palabras,

puede ser considerado como un
operador. Porque (1.2.32) y (1.2.33) son iguales, podemos tambin omitir
los puntos y vamos
reposar por el operador
al que acta sobre
o, equivalentemente, el nmero
multiplicando
. (Por otro lado, si
(1.2.33) se escribe como
, no podemos darnos el lujo de omitir el
punto y soportes ya que la expresin resultante sera ilegal.) Tenga en
cuenta que el operador
si

gira

) en la direccin de

. Es fcil ver que

despus

que se deja como ejercicio.

En una segunda ilustracin importante del axioma asociativo, observamos
que

Debido a que los dos lados son iguales, puede ser que tambin utilizamos la
notacin ms compacta

*Ms adelante en el libro nos encontraremos con productos como

, que se escriben ms

apropiadamente como
, pero en estos casos
y
se refieren siempre a kets de diferentes
espacios vectoriales. Por ejemplo el primer ket pertenece al espacio vectorial para un espn de un
electrn, el segundo ket al espacio vectorial para momento angular orbital de los electrones; o el primer
ket se encuentra en el espacio vectorial de partcula 1, el segundo ket en el espacio vectorial de partcula
2, y as sucesivamente

reposar durante cualquier lado de (1.2.36).

ahora que es el bra que es dual a
, por lo que

Recordemos

donde, adems de la axioma asociativo, hemos utilizado la propiedad

fundamental del producto interior (1.2.12). Para una Hermitian X tenemos

1.3. BASE KETS Y REPRESENTACIN MATRIZ

Eigenkets de un observable
Consideremos los eigenkets
e igenvalores propios de una operador
hermtico A. Utilizamos el smbolo A, reservada anteriormente para un
observable, ya que en la mecnica cuntica operadores hermitianas de
inters muy a menudo resultan ser los operadores que representan algunos
observables fsicos.
Comenzamos declarando un importante teorema.
Teorema 1.1. Los valores propios de un operador hermtico A son reales; los
eigenkets de A correspondientes a diferentes valores propios son
ortogonales.
Demostracin. En primer lugar, recordar que

Debido a que A es hermitiana, tambin tenemos

donde a ', a ",... son valores propios de A. Si multiplicamos ambos lados de

(1.3.1) por ( a ' '|

|a '

a la izquierda, se multiplican ambos lados de (1.3.2) por

a la derecha, y restar, obtenemos

Ahora a y a" se pueden tomar para ser el mismo o diferente. Veamos

primero elegimos a ser el mismo; Entonces deducir la condicin real (la
primera mitad del teorema)

donde hemos utilizado el hecho de que

|a '

no es un ket nulo.

Supongamos ahora una a y a" son diferentes. Debido a la condicin

simplemente-demostrado, la diferencia a - a"* que aparece en (1.3.3) es
igual a a- a", que no se desvanecer, por supuesto.

El producto interno entonces debe desaparecer:

lo que demuestra la propiedad de ortogonalidad (la segunda mitad del

teorema).
Esperamos que por motivos fsicos que un observable tenga valores propios
reales, un punto que se aclarar en la siguiente seccin, donde se discutirn
las medidas en la mecnica cuntica. El teorema acaba de demostrar
garantas la realidad de los eigenvalores siempre que el operador es
hermitiana. Por eso hablamos de observables hermitianas en la mecnica
cuntica.
Es convencional para normalizar

|a '

de modo que el {

|a '

} forman un

conjunto ortonormal:

Lgicamente podemos preguntarnos, Es este conjunto de eigenkets

completo? Porque comenzamos nuestra discusin al afirmar que todo el
espacio ket es atravesado por los eigenkets de A, los eigenkets de A deben
formar un conjunto completo de construccin de nuestro espacio ket.*
Eigenkets como Base Kets
Hemos visto que los eigenkets normalizados de A forman un conjunto
ortonormal completo. Un ket arbitraria en el espacio ket se puede ampliar
en trminos de los eigenkets de A. En otras palabras, los eigenkets de A son
para ser utilizado como bases de kets en la misma forma como un conjunto
de vectores unitarios mutuamente ortogonales se utiliza como vectores
base en el espacio euclidiano.
Dado un ket arbitraria

en el espacio abarcado por los ket eigenkets de

A, intentamos ampliar la siguiente manera:

Multiplicando

a' '|

a la izquierda y utilizando la propiedad ortonormalidad

(1.3.6), podemos encontrar de inmediato el coeficiente de expansin,

En otras palabras, tenemos

* El lector astuto, ya est familiarizado con la mecnica ondulatoria, puede sealar que la
integridad de las funciones propias que utilizamos puede probarse mediante la aplicacin de
la teora de Sturm-Liouville a la ecuacin de onda de Schrodinger. Sin embargo, para "sacar"

la ecuacin de onda de Schrdinger de nuestros postulados fundamentales, debe asumirse la

integridad de los eigenkets posicin.

que es anloga a una expansin de un vector V en (real) el espacio

euclidiano:

donde

{ e^ i }

forman un conjunto ortogonal de vectores unitarios. Ahora

Recordamos que el axioma asociativa de la multiplicacin:

considerarse

ya

sea

como

el

equivalentemente, que el operador

nmero

a'|

puede

multiplicando
actuando en

o,

. Debido a

en (1.3.9) es un ket arbitrario, debemos tener

donde el 1 en el lado derecho debe entenderse como el operador de

identidad. La ecuacin (1.3. 11) se conoce como la relacin integridad o
cierre.
Es difcil sobrestimar la utilidad de (1.3.11). Dada una cadena de las kets,
operadores o bras multiplicado en el orden correcto, se pueden insertar, en
cualquier lugar a nuestra conveniencia, el operador identidad escrito en la
forma (1.3.11). Consideremos, por ejemplo,
de identidad entre

Esto, por cierto, muestra que si

| ; insertando el operador

, obtenemos

se normaliza, entonces la dilatacin

de los coeficientes en (1.3.7) deben satisfacer

Veamos ahora en

que aparece en (1.3.11). Debido a que este es un

producto externo, debe ser un operador. Deja que operan en

Vemos que

selecciona esa parte de la ket

por lo que
la base de ket

paralelo a

|a '

se conoce como el operador de proyeccin a lo largo de

|a '

y se denota por Aa:

La relacin integridad (1.3.11) ahora se puede escribir como

Representaciones de mariz
Despus de haber especificado la base de los kets, que ahora muestran
cmo representar un operador, digamos X, por una matriz cuadrada. En
primer lugar, el uso de (1.3. 11) dos veces, se escribe el operador X como

Hay un nmero completo N2 de la forma

donde N es la
dimensionalidad del espacio ket. Podemos organizarlos en una N x N matriz
cuadrada N tal que aparecen los ndices de columna y fila de la siguiente
manera

Explcitamente se puede escribir la matriz como

donde el smbolo

significa "est representado por."*

El uso de (2.1.38), podemos escribir

Por fin, la operacin adjunto hermtica, originalmente definido por (1.2.24),

se ha relacionado con el concepto (tal vez ms familiar) del complejo
conjugado transpuesto. Si un operador B es hermitiana, tenemos

La forma en que organizamos

en una matriz cuadrada est en
conformidad con la norma habitual de la multiplicacin de matrices. Para ver

esto, slo tenga en cuenta que la representacin de la matriz de la relacin

operador

Lee

Una vez ms, todo lo que hemos hecho es para insertar el operador
identidad, escrito en forma (1.3.11), entre X y Y!
* No utilizamos el signo de igualdad aqu porque la forma particular de una representacin de
la matriz depende de la eleccin particular de mercados de base utilizado. El operador es
diferente de una representacin del operador al igual que el actor es diferente de un cartel
del actor.

Examinemos ahora cmo la relacin ket

se puede representar utilizando nuestros mercados bsicos. Los coeficientes

de expansin de

pueden obtenerse multiplicando

a'|

de la

izquierda:

Pero esto puede ser visto como una aplicacin de la regla para multiplicar
una matriz cuadrada con una matriz de la columna, una vez que los
coeficientes de expansin de

organizar ellos mismos para

formar matrices de columnas como sigue:

Asimismo, dado

podemos considerar

As que un bra est representado por una matriz fila como sigue:

Obsrvese el aspecto de la conjugacin compleja cuando los elementos de

la matriz de la columna se escriben como en (1 .3.29). El producto interior

| se puede escribir como el producto de la matriz fila que representa

con la matriz de columna que representa

Si multiplicamos la matriz fila que representa

columna que representa

con la matriz de la

, a continuacin, se obtiene slo el complejo

conjugado de la expresin anterior,

lo cual es coherente con la propiedad fundamental del producto interior (1.2
12). Por ltimo, la representacin de la matriz del producto exterior

| |

se ve fcilmente para ser

La representacin matricial de una A observable se hace particularmente

simple si las eigenkets de s mismos A se usan como la base de los kets de.
En primer lugar, tenemos

Pero la matriz cuadrada

As

es, obviamente, en diagonal,

Sistemas espn 1/2

Es aqu instructivo considerar el caso especial de los sistemas de espn 1/2.
La base de los kets utilizados son
como

que denotamos, por brevedad,

. El operador ms simple en el espacio abarcado por ket

es el operador identidad, que, de acuerdo con (1.3. 1 1), se puede escribir

como

El eigenket - relacin valor propio

inmediatamente la siguiente propiedad de la ortonormalidad de

Tambin es instructivo examinar otros dos operadores,

que ambos son vistos como no hermtica. El operador S +, actuando sobre el

spin hacia abajo ket
multiplicado por

, resulta

en el spin hacia arriba

. Sobre el otro

parte, el spin hacia arriba ket

, cuando acta sobre S+, se convierte

en un ket nulo. As que la interpretacin fsica de S+ es que aumenta el

componente del spin en una unidad de ; si el componente del spin no se
puede subir ms, obtenemos automticamente un estado nulo. Del mismo
modo, S_ se puede interpretar como un operador que reduce el componente
de espn en una unidad de

. Ms tarde vamos a mostrar que S puede

escribirse como
En la construccin de las representaciones de la matriz de los operadores
del momento angular, es costumbre de etiquetar la columna (fila) ndices en
orden de los componentes del momento angular descendente; es decir, la
primera entrada corresponde a la componente mxima de movimiento
angular, la segunda a la siguiente ms alta, y as sucesivamente. En nuestro
caso particular de los sistemas de espn 1/2, tenemos

Vamos a volver a estas expresiones explcitas cuando discutimos el

formalismo de dos componentes Pauli en el Captulo 3.
Mediciones, observables, y las relaciones de incertidumbre
Mediciones
Despus de haber desarrollado las matemticas de espacios ket,
ahora estamos en condiciones de discutir la teora cuntica de los
procesos de medicin. Este no es un tema particularmente fcil para
los principiantes, as que primero vez a las palabras del gran maestro,
PAM Dirac, de orientacin (Dirac 1958, p. 36): "Una medida siempre
hace que el sistema de saltar a un estado propio de la variable
dinmica que se est midiendo ". Qu significa todo esto?
Interpretamos palabras de Dirac como sigue: Antes de que se haga
una medicin de observable A, se supone que el sistema de ser
representado por una combinacin lineal

Cuando se realiza la medicin, el sistema est "echado en" uno de los

estados propios, dicen

|a '

, de observable A. En otras palabras,

Por ejemplo, un tomo de plata con una orientacin del espn

arbitrario va a cambiar en cualquiera

Cuando se

somete a un aparato SG de tipo SG ^z . Por lo tanto una medida

generalmente cambia el estado. La nica excepcin es cuando el
estado ya est en uno de los estados propios del ser observable
medidos, en cuyo caso

con certeza, como se discutir ms. Cuando la medicin provoca

para cambiar en

|a '

, se dice que A se mide a ser a'. Es en

este sentido que el resultado de una medicin se obtiene uno de los

valores propios del ser observable medidos.
Dada (1.4.1), que es el ket estado de un sistema fsico antes de la
medicin, no sabemos de antemano en cul de los diversos

|a ' ' s

el sistema ser lanzado como el resultado de la medicin. Nosotros

postulamos, sin embargo, que la probabilidad para saltar en algunos

|a '

en particular

la condicin

est dada por

de que esta normaliza.

Aunque hemos estado hablando de un nico sistema fsico, para

determinar la probabilidad (1.4.4) empricamente, debemos tener en
cuenta un gran nmero de mediciones realizado en un conjunto - es
decir, una coleccin- de los sistemas fsicos preparados de forma

idntica, todos caracterizados por el mismo ket

. Tal conjunto se

conoce como un conjunto puro. (Vamos a decir ms sobre los

conjuntos en el Captulo 3.) Un haz de tomos de plata que
sobreviven

al

primer

aparato

SG ^z

de

la figura1.3 con

el

componente Sz bloqueado es un ejemplo de un conjunto pura porque

cada tomo miembro del conjunto se caracteriza por
La interpretacin probabilstica (1.4.4) para el producto interno
cuadrado
es uno de los postulados fundamentales de la
mecnica cuntica, por lo que no se puede probar. Notemos, sin
embargo, que es de sentido comn en casos extremos. Supongamos
que el estado del ket es

|a '

en s, incluso antes de que se tome

una medida; a continuacin, de acuerdo con (1.4.4), la probabilidad

de contraer a'- o, ms precisamente, por haber sido arrojado a

|a '

- como el resultado de la medicin se prev que sea 1, que es justo lo

que esperamos. Midiendo Una vez ms, nosotros, por supuesto,
conseguir

|a '

solamente; muy general, las mediciones repetidas de

la misma observable en la sucesin producen el mismo resultado. *

Si, por el contrario, estamos interesados en la probabilidad de que el
sistema inicialmente se caracteriza por
algn otro eigenket

|a ' '

|a '

para ser lanzado en

con un a" a', entonces (1.4.4) da cero

debido a la ortogonalidad entre

|a '

|a ' '

Desde el punto de

vista de la teora de la medicin, los ket ortogonales corresponden a

alternativas mutuamente excluyentes; Por ejemplo, si un sistema de
espn es en

, no es en

con certeza.

Muy en general, la probabilidad para nada debe ser negativo. Por otra
parte, las probabilidades de las diversas posibilidades alternativas
deben sumar a la unidad. Ambas expectativas se cumplen por
nuestro postulado de probabilidad (1 .4.4).

Definimos el valor esperado de A tomada con respecto a declarar

Ia) como

Para asegurarse de que nos estamos refiriendo al estado de

, la

notacin (A) una se utiliza a veces. La ecuacin (1.4.5) es una

definicin; sin embargo, est de acuerdo con nuestra nocin intuitiva

* Aqu mediciones sucesivas deben llevarse a cabo inmediatamente despus. Este

punto se aclarar cuando hablamos de la evolucin temporal de un ket estado en el
Captulo 2.

de valor de medicin promedio, ya que puede ser escrito como

Es muy importante no confundir con valores propios valores

esperados. Por ejemplo, el valor esperado de Sz para sistemas de
espn puede asumir cualquier valor real entre

- /2 y +

/2, decir 0.2731 ; En contraste, el valor propio de Sz asume slo

dos valores,

/2 y - /2.

Para aclarar an ms el significado de las mediciones en la mecnica

cuntica, que introducir la nocin de una medida selectiva, o
filtracin. En la Seccin 1.1 se consider un arreglo Stem-Gerlach
donde dejamos que solo uno de los componentes de spin pasar
fuera del aparato mientras bloqueamos completamente el otro
componente.
Ms en general, nos imaginamos un proceso de medicin con un
dispositivo que selecciona slo una de las eigenkets de A, decir

|a '

, y rechaza todas las dems; ver Figura 1.7. Esto es lo que

entendemos por una medida selectiva; tambin se le llama filtracin

porque slo uno de la A eigenkets filtros a travs de la prueba.
Matemticamente se puede decir que tal medicin selectiva equivale
a aplicar la proyeccin operador Aa a

J. Schwinger ha desarrollado un formalismo de la mecnica cuntica

en base a un examen exhaustivo de las medidas selectivas. Se
introduce un smbolo de medicin M(a') en el principio, que es
idntica a Aa' o

|a ' a '| e

n nuestra notacin, y deduce una serie de

propiedades de M(a') (y tambin de M(b',a') que equivalen a

|b ' a '|

mediante

el

estudio

de

los

resultados

de

varios

experimentos de tipo Stern-Gerlach de esta manera se motiva a toda

la matemtica de los kets, bra, y operadores. En este libro no seguie
el camino de Schwinger; el lector interesado podr consultar Gottfried
(1966).
Sistemas espn 1/2, una vez ms
Antes de continuar con una discusin general de observables, una vez
ms consideramos sistemas espn 1/2. En esta ocasin nos muestran
que los resultados de experimentos secuenciales Stem-Gerlach,
cuando se combina con los postulados de la mecnica cuntica
discutido hasta ahora, son suficientes para determinar no slo la Sx,y
eigenkets
mismos.

, sino tambin los operadores Sx y Sy

En primer lugar, recordamos que cuando el haz Sx+ se somete a un

aparato de tipo SG z^ , el haz se divide en dos componentes con
igual intensidades. Esto significa que la probabilidad para el estado
Sx+ a ser arrojados a
cada uno; por lo tanto,

simplemente denotado como

es 1/2

Por tanto, podemos construir el ket Sx+ de la siguiente manera:

con
reales. Al escribir (1.4.9) se ha utilizado el hecho de que la fase
general (comn a ambos
) estado de un ket es irrelevante;
el coeficiente de la
se puede elegir para ser real y positiva por
convencin. El ket Sx- debe ser ortogonal al ket Sx+ porque Sx+

alternativa y SX- alternativa son excluyentes entre s. Este requisito

ortogonalidad conduce a

donde tenemos, de nuevo, elegido el coeficiente de

sea real y
positivo por convencin. Ahora podemos construir el operador usando
Sx (1.3.34) como sigue:

Observe que el Sx hemos construido es hermitiana, justo como debe ser. Un

argumento similar con Sx reemplazado por Sy conduce a

Hay alguna manera de determinar

? En realidad no es una pieza de
informacin que no hemos utilizado todava. Supongamos que tenemos un
rayo de espn 1/2 tomos que se mueven en la direccin z. Podemos
considerar un experimento secuencial Stem-Gerlach con SG ^x

seguido por

SG ^y . Los resultados de tal experimento son completamente anlogo al

caso anterior conduce a (1.4.8):

lo cual no es sorprendente en vista de la invariancia de sistemas fsicos bajo

rotaciones. Sustituyendo (1.4.10) y (1.4.12) en (1.4.14), obtenemos

que se cumple slo si

Vemos as que los elementos de matriz de

y
no todos pueden ser
reales. Si los elementos de matriz
son reales, los elementos de matriz
deben ser puramente imaginario (y viceversa). Slo a partir de este ejemplo
extremadamente simple, la introduccin de los nmeros complejos se ve
que es una caracterstica esencial en la mecnica cuntica. Es conveniente
tomar los elementos de matriz
para ser real * y estableci
si

tuviramos que elegir

, el eje x positivo estara orientada en la

direccin opuesta. El segundo ngulo de fase

debe entonces ser
El hecho de que todava hay una ambigedad de este tipo no es
sorprendente. Todava no hemos determinado si el sistema de coordenadas
que estamos utilizando es derecho o izquierdo; dado los ejes x- y z, todava
hay una ambigedad del doble en la eleccin del eje y positivo. Ms
adelante hablaremos de momento angular como generador de rotaciones
que utilizan el sistema de mano derecha de coordenadas; puede entonces
demostrarse que
es la opcin correcta.
En resumen, tenemos

Los eigen-kets
y
dados aqu se ven que estan de acuerdo con
nuestras conjeturas anteriores (1.1.9) y (1.1.14), basado en una analoga
con la luz linealmente polarizada circularmente y. (Nota, en esta
comparacin, slo la fase relativa entre las componentes
y
es de
significado fsico.) Por otra parte, los nonHermitian
operadores definidos
por (1.3.38) ahora se pueden escribir como

*Esto siempre se puede hacer mediante el ajuste de factores de fase arbitrarias en la

definicin de

Este punto se aclarar en el captulo 3, donde el comportamiento de la

bajo rotaciones se discutir

Los operadores
y
junto con
dado anteriormente, se pueden mostrar
fcilmente para satisfacer las relaciones de conmutacin

y las relaciones anticonmutacin

donde el conmutador

y el anticommutator

se definen por

(Hacemos uso del smbolo totalmente antisimtrico

, que tiene el valor

+ 1 para
y cualquier permutacin cclica de los ndices; - 1 para
y
cualquier permutacin cclica de los ndices, y 0 cuando los dos ndices son
los mismos.) Las relaciones de conmutacin en (1 .4.20) sern reconocidos
como la realizacin ms simple de las relaciones de conmutacin del
momento angular, cuyo significado se discutir en detalle en el captulo 3.
Por el contrario, las relaciones anticonmutacin en (1.4.2 1) resultan ser una
propiedad especial de sistemas de spim .
Tambin podemos definir el operador
manera:

para abreviar, de la siguiente

Debido a (1.4.21), este operador resulta ser slo un mltiplo constante del
operador identidad

Tenemos obviamente

Como se muestra en el Captulo 3, para giros ms altos que

ya no es un
mltiplo de la identidad del operador; Sin embargo, (1 .4.25) todava
mantiene.
Observables compatibles
Volviendo ahora al formalismo en general, vamos a discutir compatibles
frente observables incompatibles. Observables A y B se definen para ser
compatible cuando el correspondiente operadores conmutan,

y para ser incompatibles cuando

Por ejemplo,
y
son observables compatibles, mientras que
observables incompatibles.

son

Consideremos primero el caso de observables compatibles A y B. Como es

habitual, se supone que el espacio ket es atravesado por los eigen-kets de
A. Tambin podemos considerar el mismo espacio ket como ser atravesado
por las eigen-kets de B. Ahora nos preguntamos, Cmo son los eigen-kets A
relacionadas con las eigen-kets B cuando A y B son observables
compatibles? Antes de responder a esta pregunta hay que tocar un punto
muy importante que hemos pasado por alto antes-el concepto de
degeneracin. Supongamos que hay dos (o ms) eigen-kets linealmente
independientes de A que tiene el mismo valor propio; a continuacin, los
valores propios de los dos eigen-kets se dice que son degenerados. En tal

caso la notacin
que etiqueta el eigen-ket por su valor propio solo no da
una descripcin completa; adems, podemos recordar que nuestro teorema
anterior sobre la ortogonalidad de diferentes eigen-kets se demostr en el
supuesto de no degeneracin. Lo que es peor, todo el concepto de que el
espacio ket es atravesado por
parece encontrarse con dificultades
cuando la dimensionalidad del espacio ket es mayor que el nmero de
valores propios distintos de A. Afortunadamente, en aplicaciones prcticas
en la mecnica cuntica, por lo general es el caso de que en una situacin
as los valores propios de algn otro trayecto observable, dicen B, se puede
utilizar para etiquetar los eigen-kets degenerados. Ahora estamos listos
para declarar un importante teorema.
Ahora estamos listos para declarar un importante teorema.
Teorema 1.2. Supongamos que A y B son observables compatibles y los
valores propios de A son no degenerado. A continuacin, los elementos de la
matriz

son todos diagonal. (Recordemos aqu que los elementos de

matriz de A ya son diagonales si

se utilizan como la base kets.

Prueba. La prueba de este importante teorema es extremadamente simple.

Utilizando la definicin (1.4.26) de observables compatibles, se observa que

Por lo tanto,
debe desaparecer a menos que un
demuestra nuestra afirmacin.

lo que

Podemos escribir los elementos de matriz de B como

As que ambos A y B pueden ser representados por matrices diagonales con

el mismo conjunto de base kets. Usando (1.3.17) y (1.4.29), se puede
escribir B como

Supongamos que este operador acta sobre un eigen-ket de A:

Pero esto es no es otra cosa que la ecuacin de eigen-valor para el operador

B con eigen-valor
El ket
es por lo tanto un eigen-ket simultneo de A y B. Slo para ser
imparcial para ambos operadores, podemos usar
para caracterizar
este eigen-ket simultneo.
Hemos visto que los observables compatibles tienen eigen-kets simultneos.
A pesar de que la prueba dada es para el caso en que los eigen-kets A son
no degenerada, esto se mantiene incluso si hay n veces degeneracin. Esto
es,

Donde
son n eigen-kets mutuamente ortonormales de A, todos con el
mismo eigen-valor a'. Para ver esto, todo lo que necesitamos hacer es
construir combinaciones lineales adecuadas de
que diagonalizan el
operador B siguiendo el procedimiento de diagonalizacin discutido en la
Seccin 1.5.
Un eigen-ket simultneo de A y B, denotado por

tiene la propiedad

Cuando no hay degeneracin, esta notacin es algo superfluo porque est

claro a partir de (1.4.32) que si especificamos a', sabemos necesariamente
b' que aparece en
. La notacin
es mucho ms poderoso cuando
hay degeneraciones. Un ejemplo sencillo puede ser utilizado para ilustrar
este punto.
A pesar de que un anlisis completo del momento angular orbital no
aparecer en este libro hasta el captulo 3, el lector puede estar al tanto de
su formacin con los principios de la mecnica ondulatoria elementales que
los eigen-valores de L2 (momento angular orbital al cuadrado) y Lz
(componente z del momento angular orbital) son
y
,
respectivamente, con l un entero y
Para caracterizar un
estado de momento angular orbital completamente, es necesario
especificar tanto l y ml. Por ejemplo, si nos limitamos a decir l = 1, el valor
ml todava puede ser 0, + 1 o - 1; si nos limitamos a decir ml = 1, l puede
ser 1, 2, 3, 4, y as sucesivamente. Slo especificando tanto l y ml tenemos
la caracterizacin de manera nica del estado del momento cintico orbital
en cuestin. Muy a menudo un ndice K colectiva "se utiliza para
representar (a', b'), de modo que

Obviamente Podemos generalizar nuestras consideraciones a una situacin

en la que hay varios (ms de dos) observables compatibles entre s, a saber,

Supongamos que hemos encontrado un conjunto mxima de

desplazamientos observables; es decir, no podemos aadir ms observables
a nuestra lista sin violar (1.4.36). Los eigen-valores de los operadores
individuales A, B, C,... puede tener degeneraciones, pero si especificamos
una combinacin (a', b', c',...), entonces el correspondiente eigen-ket
simultneo de A, B, C,... se especifica de forma nica. Otra vez podemos
utilizar un ndice colectiva K reposar durante (a', b', c',...). La relacin
ortonormalidad para

se lee

y la relacin completa o cierre, se pueden escribir como

Consideremos ahora las mediciones de A y B cuando son observables

compatibles. Supongamos que medimos Una primera y obtenemos un
resultado '. Posteriormente, podemos medir B y obtener resultado b '.
Finalmente medimos Un nuevo. Se deduce de nuestro formalismo de
medicin que la tercera medicin siempre da una 'con certeza; es decir, el
segundo (B) la medicin no destruye la informacin anterior obtenida en la
primera (A) de medicin. Esto es bastante obvio cuando los valores propios
de A son no degenerado:

Cuando hay degeneracin, el argumento es el siguiente: Despus de la

primera medicin (A), que se obtiene a', el sistema se echa en alguna
combinacin lineal.

donde n es el grado de degeneracin y todos los kets

tienen el
mismo eigen-valor a' medida que se refiere del operador A. La segunda
medicin (B) puede seleccionar slo uno de los trminos en la combinacin
lineal (1 .4.41) -digamos,
pero la tercera medicin (A) aplicada a ella
todava se obtiene a'. Si existe o no es la degeneracin, las mediciones de A
y las mediciones de B no interfieren. El trmino compatible de hecho se
considera apropiado.
Observables incompatibles
Pasamos ahora a los observables incompatibles, que son ms trivial. El
primer punto a destacar es que los observables incompatibles no tienen un
conjunto completo de eigen-kets simultneos. Para mostrar esto,
supongamos que lo contrario es cierto. Entonces existe un conjunto de
eigen-kets simultneas con la propiedad (1.4.34a) y (1.4.34b). Claramente,

FIGURA 1.8 mediciones selectivas secuenciales

Del mismo modo,

por lo tanto,

y as [A,B] = 0 en contradiccin con la suposicin. As que, en general,

no tiene sentido para los observables incompatibles. Hay, sin embargo, una
excepcin interesante; puede suceder que existe un subespacio del espacio
ket tal que (1.4.44) se cumple para todos los elementos de este subespacio,
a pesar de que A y B son incompatibles. Un ejemplo de la teora del
momento angular orbital puede ser til aqu. Supongamos que
consideramos un l = 0 Estado (s-estado). A pesar de que Lx y Lz no
conmutan, este estado es un eigen-estado simultneo de Lx y Lz (con eigenvalor cero tanto para los operadores). El subespacio en este caso es
unidimensional.
Ya encontramos algunas de las peculiaridades asociadas con observables
incompatibles
cuando discutimos
experimentos de
Stern-Gerlach
secuenciales en la Seccin 1.1. Ahora vamos a una discusin ms general
de los experimentos de ese tipo. Considere la secuencia de mediciones
selectivas que se muestran en la Figura 1.8a. El primer filtro (A) selecciona
alguna
particular y rechaza todos los dems, el segundo filtro (B)
selecciona algunos en particular
y rechaza todos los dems, y el tercer
filtro (C) selecciona algunos, en particular
y rechaza todos los otros.
Estamos interesados en la probabilidad de obtener
cuando el haz que
sale de la primer filtro y es normalizado a la unidad. Debido a que las
probabilidades son multiplicativos, obviamente tenemos

Ahora vamos a resumir ms b' al considerar la probabilidad total para ir a

travs de todos los posibles rutas b'. Operacionalmente esto significa que

primero registramos la probabilidad de obtener c' con todos, pero la primera

ruta bloqueada b'; a continuacin, repetimos el procedimiento con todos,
pero la segunda bloqueado b', y as sucesivamente; a continuacin,
resumimos las probabilidades al final y obtenemos

Ahora comparamos con un arreglo diferente, donde el filtro B est ausente

(o no operativo); vase la Figura 1.8b. Claramente, la probabilidad es slo
, que tambin se puede escribir como:

Tenga en cuenta que las expresiones (1.4.46) y (4.1.47) son diferentes! Esto
es notable porque en ambos casos
la pureza del haz que sale de la
primer filtro (A) puede considerarse como realizadas por los eigen-kets B

donde la suma es sobre todos los valores posibles de b'. El punto crucial de
sealar es que el resultado que sale del filtro C depende de si o no se han
llevado a cabo realmente medidas B. En el primer caso, determinamos
experimentalmente cul de los eigen-valores B son, se dio cuenta en
realidad; en el segundo caso, nos limitamos a imaginar

que se

construir por los distintos

en el sentido de (1.4.48). Dicho de otro
modo, en realidad el registro de las probabilidades de pasar por las distintas
rutas b' hace toda la diferencia a pesar de que sumamos ms de b' despus.
Aqu yace el corazn de la mecnica cuntica.
Bajo qu condiciones las dos expresiones se hacen iguales? Se deja como
ejercicio para el lector para mostrar que para que esto suceda, en ausencia
de degeneracin, es suficiente que

En otras palabras, hemos ilustrado la particularidad caracterstica de

observables incompatibles.
La relacin de incertidumbre
El ltimo tema a tratar en esta seccin es la relacin de incertidumbre. Dado
un observable A, definimos un operador

donde el valor esperado debe ser tomada por un cierto estado fsico en
estudio. El valor esperado de
es conocida como la dispersin de A.
Debido a que tenemos

la ltima lnea de (1.4.51) puede tomarse como una definicin alternativa de

dispersin. A veces los trminos varianza y la media de la desviacin
cuadrada se utilizan para la misma cantidad. Claramente, la dispersin se
desvanece cuando el estado en cuestin es un eigen-estado de A. En
trminos generales, la dispersin de un observable caracteriza "confusin".
Por ejemplo, para
en un estado de un sistema spin , la dispersin de Sx
se puede calcular como:

Por el contrario la dispersin

obviamente se desvanece para el estado

. As, para el estado

, Sz es "afilado" una fuga de dispersin para
mientras que Sx es difusa.
Ahora nos planteamos la relacin de incertidumbre, que es la generalizacin
de la relacin de incertidumbre x-p bien conocido que se discute en la
Seccin 1.6. Sean A y B observables. Entonces, para cualquier estado,
debemos tener la siguiente desigualdad:

Para probar esto, el primer estado tiene tres lemas.

Lemma 1.1

La desigualdad de Schwarz

que es anloga a

en el espacio euclidiano real.

Demostracin. Primero nota que

donde

. puede ser cualquier nmero complejo. Esta desigualdad debe

contener cuando

. se iguala a

que es el mismo que (1.4.54).

Lemma 1.2. El valor esperado de un operador hermtica es puramente real.
Demostracin. La prueba es trivial-slo tiene que utilizar (1.3.21).
Lemma 1.3. El valor esperado de un operador anti-hermitiana, definida por
, es puramente imaginaria.
Demostracin. La demostracin es trivial.

Armados con estos lemas, estamos en condiciones de demostrar la relacin

de incertidumbre (1.4.53). Usando el Lema 1 con

donde el ket en
blanco hace hincapi en el hecho de que nuestra
consideracin se puede aplicar a cualquier ket, obtenemos

donde se ha utilizado la hermiticidad de

derecha de (1.4.59), observamos

donde el conmutador
antiHermitian, entonces:

. Para evaluar la parte

, que es igual a [A, B], es claramente

En contraste, el anticommutator
que

es obviamente hermitiana, por lo

donde se han utilizado los Lemmas 2 y 3. El lado derecho de (1.4.59) se

convierte ahora

La demostracin de (1.4.53) se ha completado debido a la omisin del

segundo termino (el anticommutator) de (1.4.63) slo puede hacer la
relacin de la desigualdad ms fuerte.*
Las aplicaciones de la relacin de incertidumbre a un sistema de spin
se
dejan como ejercicios. Volvemos a este tema cuando se discute la relacin
de conmutacin x-p fundamental en la Seccin 1.6.
CAMBIO DE BASE
Operador de Transformacin
Supongamos que tenemos dos observables incompatibles A y B. El espacio
ket en cuestin se puede ver como siendo abarcado ya sea por el conjunto
o por el conjunto
.
* En la mayora de la literatura los autores utilizan

para nuestro

, por lo que la

relacin de incertidumbre se escribe como

. En este libro, sin embargo,
han de entenderse como operadores [vase (1.4.50)], no nmeros.