CONDICIÓN

CUÁNTICA DE DIRAC
La conexión formal entre mecánica clásica y
mecánica cuántica es hecha por la
correspondencia entre el bracket de Poisson
clásico de la función f y g y el conmutador de
mecánica cuántica de los operadores, f y g .

El conmutador de dos operadores lineales es

[ A, B ]  A B  B A
Si A y B son números, entonces AB-BA=0.

Los números conmutan bajo la operación de

multiplicación.

Sin embargo, los operadores lineales no

necesariamente conmutan, esto es,

AB C  A[ B C ]

 AQ

 Z
Operando B en el ket C , en general producirá
un nuevo ket, Q ,y después operando A en
Q producirá otro ket, Z .

Mientras B A C  B[ A C ]

BS

 T

Z y T no son necesariamente iguales.

Por lo tanto, los operadores A y B no conmutan
ya que al aplicar el conmutador, [ A, B ] , a un ket
arbitrario da un resultado distinto de cero.

Frecuentemente [ A, B ]  0 se escribe como una

afirmación de que los operadores no conmutan.

El bracket de Poisson clásico es

f g g f
{ f , g}  
x p x p
Aquí, f  f ( x, p ) y g  g ( x, p ) son funciones de
posición clásica, x, y momento, p, f y g representan
variables dinámicas clásicas.

El bracket de Poisson para las variables dinámicas

clásicas posición y momento es

x p x p
{x, p}  
x p p x
Por lo tanto, {x, p}  1

debido a que el primer término del lado derecho de

la ecuación es 1 y el segundo término es 0.
Dirac propuso una relación entre el bracket de
Poisson clásico de dos variables dinámicas
clásicas y el conmutador de los operadores
mecánico cuánticos correspondientes que define
conjuntos aceptables de operadores cuánticos.

La relación se conoce como la condición cuántica

de Dirac.
Dirac la estableció así:

Los operadores en mecánica cuántica f y g ,

que en la teoría cuántica remplazan las funciones f
y g definidas clásicamente, deben siempre ser tal
que el conmutador de f y g corresponden al
bracket de Poisson de f y g acorde con

i{ f , g}  [ f , g ]
Los operadores que cumplen con la condición
cuántica de Dirac forman un conjunto internamente
consistente que puede utilizarse para calcular
observables.

Los conjuntos de operadores que obedecen la

condición cuántica no son únicos.

Cada conjunto forma la base para una

representación particular de la teoría cuántica.
El conmutador mecánico cuántico de los
operadores x y P deben obedecer la relación

[ x, P]  i{x, p}

Y como el bracket de Poisson es igual a 1,

[ x , P ]  i

La ecuación anterior significa que operar el

conmutador en un ket arbitrario es lo mismo que
operar i sobre el ket.
Un número, tal como i , siempre puede
considerarse como un operador debido a que esta
implícitamente multiplicado por el operador
identidad.

Así que i realmente significa i1 .

1 es el operador identidad.

Para que la forma de representación de

Schrödinger del operador de momento cumpla la
condición cuántica de Dirac, las funciones clásicas
para momento y posición se remplazan por los
operadores tales que
 
p  P  i
x
xx

Para ver que esta selección obedece la condición

cuántica, el conmutador de los operadores x y
P se aplica a un ket arbitrario, S .
[ x, P ] S 

( xP  Px) S 

   
x   i  S  i x S
 x  x
Aplicando la regla de la cadena para la
diferenciación del segundo término da

   
i  x S  S x S 
 x x 
El primer y tercer términos se cancelan, y el
resultado es

 i S

Por lo tanto,
[ x , P ] S  i S
y [ x , P ]  i

ya que estos son equivalentes cuando opera en un

ket arbitrario.

La condición cuántica de Dirac es la conexión

directa entre la mecánica clásica y la mecánica
cuántica.
CONMUTADORES Y
EIGENFUNCIONES
SIMULTANEAS
Los conmutadores juegan un rol fundamental en la
teoría cuántica.

La condición cuántica de Dirac usa las relaciones

del conmutador para determinar conjuntos
permitidos de operadores lineales que son usados
para representar variables dinámicas (cantidades
observables).
Considere las ecuaciones de eigenvalor para dos
variables dinámicas representadas por los
operadores lineales A y B :

A S  S

BS  S

Los S se dice que son los eigenvectores

simultáneos de los operadores A y B , con
conjuntos de eigenvalores  y  .
Como los eigenvalores de los operadores lineales
son los observables, si los S son los
eigenvectores simultáneos de dos o más
operadores lineales que representan observables,
entonces estos observables pueden medirse
exactamente, de manera simultánea.

Multiplicando por la izquierda por B la ecuación

A S  S

y multiplicando por la izquierda por A la ecuación

BS  S
da
B A S  B S AB S  A S

Ya que un número siempre conmuta con un

operador, la parte derecha de las dos ecuaciones
son
B S AS

Operando en S con A y B ,

  S   S
Estos son iguales ya que  y  son
números y la multiplicación de números es
conmutativa.

Por lo tanto,
AB S  B A S

y ( AB  B A) S  0

Como ( AB  B A) es el conmutador de A y B ,
entonces
[ A, B]  0
Si [ A, B]  0 , los operadores A y B se dice
que conmutan.

Los operadores que tengan todos sus

eigenvectores como eigenvectores simultáneos
conmutan.

Como un ejemplo muy sencillo de operadores que

conmutan, considere los operadores de momento y
energía para la partícula libre.
El operador de energía se obtiene del
Hamiltoniano clásico, el cual es la suma de la
energía cinética y la energía potencial,
remplazando las funciones clásicas con los
operadores mecánico cuánticos apropiados.

Una partícula libre solo tiene energía cinética; la

energía potencial es cero en cualquier lugar.

Por lo tanto el operador Hamiltoniano para una

partícula libre es
2
P
H
2m
Un operador elevado a una potencia n significa
que el operador se aplica sucesivamente n veces.
2
Así P actúa como P P .

El conmutador de los operadores de momento y

Hamiltoniano para la partícula libre es

1
[ H , P] 
2
[ P , P]
2m
Aplicando el conmutador a un ket arbitrario da

1
[ P , P] S  P P S  P P S
2 2 2

2m

 PPP S  PPP S  0

Por lo tanto,
[ H , P]  0

ya que este es el resultado de aplicar el

conmutador a un ket arbitrario.
 H y P conmutan para la partícula libre, los
operadores de energía y momento tienen
eigenvectores simultáneos, y la energía y el
momento pueden ser medidos exactamente de
manera simultánea.

Los operadores que conmutan son importantes

porque indican que observables pueden ser
medidos simultáneamente.

Un estado de un sistema esta caracterizado por

sus propiedades observables.
Frecuentemente un solo observable es insuficiente
para definir completamente el estado de un
sistema.

Por ejemplo los estados de un átomo de

hidrógeno, no pueden ser distinguidos solamente
por su energía.

El segundo nivel del átomo de hidrógeno esta

compuesto de cuatro orbitales, el 2s y los tres
diferentes orbitales 2p.
Todos los cuatro estados tienen la misma energía,
así midiendo la energía no determina el estado del
sistema.

Sin embargo el estado 2s y los tres estados 2p

tienen diferentes momentos angulares orbitales
totales.
El operador de momento angular orbital y el
operador Hamiltoniano (energía) conmutan.

Por lo tanto, la energía y el momento angular

orbital total se pueden medir simultáneamente.
Esto permite que los orbitales 2s y 2p sean
distinguidos.

Los tres diferentes orbitales 2p difieren por sus

proyecciones del vector del momento angular en
un eje.

Existe un operador para la proyección en un eje, y

conmuta con el Hamiltoniano y con el operador de
momento angular total.

Por lo tanto, las tres propiedades pueden ser

medidas, y los estados pueden ser distinguidos.
Los estados están definidos en términos de los
eigenvalores de un conjunto de operadores que
conmutan.

Siempre existe un conjunto completo de

operadores que conmutan para definir
completamente el estado de un sistema.
Al trabajar con conmutadores, existen algunas
relaciones útiles para su manipulación:

[ A, B]  [ B, A]

[ A, BC ]  [ A, B]C  B[ A, C ]

[ A B, C ]  [ A, C ]B  A[ B, C ]

[ A, [ B, C ]]  [ B, [C , A]]  [C , [ A, B]]  0

[ A, B  C ]  [ A, B]  [ A, C ]
VALORES ESPERADOS
Y PROMEDIOS
Considere la ecuación de eigenvalor

A a  a
A es el operador que representa una variable
dinámica.

a es un eigenvector de A con eigenvalor  .

 es la cantidad que será observada cuando una

medición de la variable dinámica representada por
A es hecha en el sistema en el estado a .
Considere a que está normalizado.

Multiplicando por la izquierda por a la ecuación

A a  a

se tiene
a Aa  a a

 a a


Para un eigenvector de un operador, un bracket
cerrado como a A a es el eigenvalor, un número
real.
El estado de un sistema podría no estar en un
eigenestado de un operador particular.

Por lo tanto, es necesario evaluar

Ab
para determinar el resultado de una medición de
un observable, representado por el operador A ,
hecho en un estado b que no es un eigenvector
de A .
Los eigenkets de A , los ai , forman un conjunto
completo debido a que existe uno para cada uno
de los estados del sistema.

Los ai pueden ser tomados para ser normalizados

y ortogonales.

En general, los kets pueden ser normalizados.

Los ai forman un conjunto base ortonormal

completo.
El ket b puede ser expandido en el conjunto
completo de los estados ai debido a que el
principio de superposición dice que un estado
siempre puede describirse en términos de una
suma de otros estados.

Entonces,

b  c1 a1  c2 a2  c3 a3  
Si los eigenvectores ai son continuos (los
eigenkets de momento de una partícula libre),
entonces la suma se remplaza por una integral.

Si existe un intervalo discreto y un intervalo

continuo de eigenkets, entonces existirá una suma
más una integral.

El siguiente análisis será hecho sólo con eigenkets

discretos.

Sin embargo, los resultados son generales.

b   ci ai
i
El caso más simple es una expansión que
involucra solo dos estados, esto es,

b  c1 a1  c2 a2

Ahora aplicando el operador A al ket b da

A b  A(c1 a1  c2 a2 )

 c1 A a1  c2 A a2

 1c1 a1   2 c2 a2
Ya que b no es un eigenket de A , operando
A en b no retornará a b .

Expandiendo b en los eigenkets de A es posible

determinar el resultado de aplicar A a b debido
a que el resultado de operar A en los eigenkets de
A es conocido.

El resultado es: los eigenkets multiplicados por

sus eigenvalores.
La ecuación
A b  1c1 a1   2 c2 a2

Puede ser multiplicada por la izquierda por el bra

b :

b A b  (c1 a1  c2 a2 )(1c1 a1   2 c2 a2 )

 
  c c  c c
1 1 1 2 2 2

 1 c1   2 c2
2 2
Los  i son reales porque son los eigenvalores de
un operador Hermitiano.

Mientras que los coeficientes ci pueden ser

complejos, el coeficiente veces su complejo
conjugado es un número real.

Por lo tanto, el bracket b Ab es un número

real.

Cada término en la ecuación

b A b  1 c1   2 c2
2 2
Es un eigenvalor veces el cuadrado del valor
absoluto del coeficiente del ket en la expansión,
correspondiente al eigenvalor.

Si existen más de dos estados en la expansión,

entonces

b   ci ai
i

b A b    i ci
2

i
 2
ci , el cuadrado del valor absoluto del coeficiente
ci en la expansión de b en términos de los
eigenvectores ai del operador (observable) A , es
la probabilidad de que una medición de una
propiedad observable representada por A en el
estado b proporcionará el eigenvalor  i .
El promedio es el valor de un resultado particular
veces su probabilidad, sumados sobre todos los
resultados posibles.

De la definición de promedio, b A b es el valor

promedio del observable A cuando muchas
mediciones son realizadas en un sistema que es
preparado cada vez de una manera idéntica de tal
forma que esté en el estado b .
Asumir:
Una medición en un gran número de sistemas sin
interacción preparados idénticamente es la misma
que el promedio de muchas mediciones repetidas
en uno de tales sistemas preparados cada vez de
manera idéntica.

b A b se conoce como valor esperado del

operador A .

Es el valor promedio mecánico cuántico del

observable.
Ya que en muchas situaciones experimentales, un
sistema, o más frecuentemente un número grande
de sistemas idénticos, no están en un sólo
eigenestado, las mediciones darán el valor
esperado del observable.

En una representación particular de la teoría

cuántica, los kets y los bras se escriben como
funciones vectoriales o funciones de onda.
En términos de funciones de onda particulares, el
valor esperado se escribe como

b A b   A b d

b

donde d significa integrar sobre todas las

coordenadas espaciales.
EL PRINCIPIO DE
INCERTIDUMBRE
Los operadores Hermitianos que conmutan tienen
eigenvectores simultáneos.

Esto significa que los dos observables asociados

con los dos operadores pueden ser medidos
exactamente, de manera simultánea.

Las cantidades observables correspondientes a los

operadores pueden ser arbitrariamente bien
definidas al mismo tiempo.
Para cualquier de operadores no conmutativos,
existe una relación de incertidumbre que cuantifica
a que medida los dos observables pueden ser
especificados simultáneamente.
En general, para dos operadores Hermitianos, A y
B , con la relación del conmutador
[ A, B]  iC

donde C es otro operador o un número (un caso

especial de un operador lineal),

1
 A B  C
2
 C  SCS

C es el valor esperado de C , y S y S
son un bra y un ket normalizado arbitrario.

Un operador Hermitiano es un operador para el

cual
S A T  S AT
 1
Para desarrollar la relación  A B  C
2

considere el operador Hermitiano D ,

D  A   B  i B

 y  son números reales.

Entonces DS  Q

ya que la aplicación de un operador a un ket

arbitrario, en general, produce un ket diferente.
 Q Q  S DD S  0

ya que QQ es la longitud de un vector.

Usando D  A   B  i B

junto con la ecuación Q Q  S DD S  0

es sencillo demostrar que

A  (   ) B   C'   C  0
2 2 2 2

donde C '  AB  B A .
El operador C ' se conoce como el anticonmutador
de los operadores A y B .
Se simboliza como AB  B A  [ A, B] .

El + denota que este es el anticonmutador más

que el conmutador de los operadores A y B .

Para un ket arbitrario S , B S  0 .

Entonces la ecuación

A  (   ) B   C'   C  0
2 2 2 2

Puede ser rearreglada para dar

2 2
    2 2
2  1 C'  2  1 C  1 C' 1 C
A  B    B     0
2
2  2 
 2 B   2 B  4 B 2
4 B 2
   

Ya que esto se mantiene para cualquier valor de α

y β, son seleccionados de tal forma que los
términos en paréntesis son cero.
Entonces,

A
2
B
2

1
4

C'  C
2 2
 1
 C
4
2

C y C ' son números reales debido a que son

valores esperados de los operadores Hermitianos,
y los operadores Hermitianos tienen eigenvalores
reales.
2 2
Entonces C y C ' son números positivos ya
que son el cuadrado de números reales.
Esto lleva al término después del segundo  en la
ecuación anterior debido a que un número positivo
es más grande que o igual a la suma de si mismo y
otro número positivo; la igualdad se mantiene para
C'  0 .

Por lo tanto 1
 C
2 2 2
A B
4

Definiendo,
(A)  A  A
2 2 2

A es la distribución o incertidumbre en el
observable A el cual esta asociado con el operador
A .
(A) 2 es el segundo momento de la distribución de
los valores obtenidos para el observable A.

Para una distribución Gaussiana, es el cuadrado

de la desviación estándar.

( B )  B  B
2 2
Similarmente, 2

Para el caso especial encontrado frecuentemente,

A  B 0
Combinando las ecuaciones anteriores:

1
 C
2 2 2
A B
4
(A)  A  A
2 2 2

( B )  B  B
2 2 2

y escribiendo

C  2 1/ 2
 C
 da la relación de incertidumbre fundamental, o el
principio de incertidumbre de Heisenberg:

1
AB  C
2
Como un ejemplo considere la posición y el
momento.

El conmutador de los operadores de posición y

momento es
x, P   i
y
x  P 0
Como  es un número, esta implícitamente
multiplicado por el operador identidad, y su valor
esperado es simplemente  .

Por lo tanto, la relación de incertidumbre posición-

momento es


xP 
2
La relación rigurosa es similar a la que fue
derivada cualitativamente para el paquete de
ondas de la partícula libre.
El problema del paquete de ondas proporciona una
visión física sobre el origen de la relación de
incertidumbre.

Para el caso en el que A  0 y B  0 , dos

nuevos operadores Hermitianos se pueden formar:
A'  A  A 1
y
B'  B  B 1
Los valores esperados son números reales, y 1
es el operador identidad.
Los nuevos operadores tienen la misma relación
del conmutador como los operadores originales:

[ A' , B' ]  iC

Sin embargo, el valor esperado de A' es

A'  A  A 1

 A  A1

 A  A 1
  A  A

0

ya que el valor esperado del operador identidad es

la unidad.
El mismo resultado es obtenido para B' .

Por lo tanto,
A'  B '  0
Ya que los valores esperados de los operadores
son cero, el procedimiento usado anteriormente
puede ser empleado.
El resultado es la forma general de la relación de
incertidumbre,

2 2
 C   C 
(A) (B )  
2 2
 
  2  A B 

 2   