Apuntes de Clase 1 HERRAMIENTAS DE LA MECÁNICA CUÁNTICA

1.6. Observables
1.6.1. Propiedades de los autovalores y autovectores de un operador hermı́ti-
co
Vamos a demostrar que los autovalores de un operador hermı́tico son reales. Sea | i
un autovector no trivial de un op. hermı́tico Â,

 | i = | i, (1.40a)
† ⇤
h | Â = h |. (1.40b)

Aplicando h | por la izquierda a (1.40a) y | i por la derecha a (1.40b), obtenemos

que:

h | Â | i = h | i,
h | † | i = ⇤
h | i.

Restando estas dos expresiones se tiene que:

⇤
( ) h | i = h |  | i h | † | i .

Como † = Â,

⇤
( ) h | i = 0.

Por suposición, h | i =
6 0, por lo que debe pertenecer a los números reales.

21
 Apuntes de Clase 1 HERRAMIENTAS DE LA MECÁNICA CUÁNTICA

1.7. Conjunto de observables que conmutan

1.7.1. Tres teoremas importantes
Teorema 1:
Si dos observables  y B̂ conmutan ([Â, B̂] = 0) y si | i es un autovector de Â, entonces
B̂ | i también es un autovector de  con el mismo autovalor.

Demostración:
Tenemos que:
 | i = a | i

=) B̂(Â | i) = B̂(a | i) = a(B̂ | i)

| {z }
=
=) Â(B̂ | i) = a(B̂ | i)

Comentario:

(i) Si a es un autovalor sencillo, B̂ | i es necesariamente paralelo a | i.

(ii) Si a es degenerado, todo lo que podemos decir es que B̂ | i 2 Ea , i.e., pertenece al

autosubespacio asociado al autovalor a. Decimos que Ea es globalmente invariante
ante la acción de B̂.

Teorema 2:
Si dos observables Â, B̂ conmutan y si | 1 i, | 2 i son autovectores de  con diferente au-
tovalor, entonces el elemento de matriz h 1 | Â | 2 i es cero.

Demostración:
Tenemos que  | 1 i = a1 | 1i y que  | 2i = a2 | 2 i. Entonces:

h 1 | Â = a1 h 1| =) (h 1 | Â)(B̂ | 2 i) = a1 h 1 | B̂ | 2 i

 | 2i = a2 | 2i =) (h 1 | B̂)( | 2 i) = a2 h 1 | B̂ | 2 i

=) h 1 | ÂB̂ | 2 i h 1 | B̂ Â | 2 i = (a1 a2 ) h 1 | B̂ | 2 i
| {z }
h 1 | ÂB̂ B̂ Â | 2i
| {z }
[Â, B̂] = 0

=) (a1 a2 ) h 1 | B̂ | 2 i =0
Como a1 6= a2 por suposición, h 1 | B̂ | 2 i = 0.

Teorema 3: (teorema fundamental)

Si dos observables Â, B̂ conmutan, se puede construir una base ortonormal del espacio de
estados con los autovectores comunes a Â, B̂.

Demostración:
Por definición, Â es un operador observable, por lo tanto, sus autovectores conforman una
base del espacio de estados:
0
 |uin i = an |uin i y huin |uin0 i = nn0 ii0

22
 Apuntes de Clase 1 HERRAMIENTAS DE LA MECÁNICA CUÁNTICA

donde n = 1, 2, ..., i = 1, 2, ..., gn y gn es la degeneración de an .

¿Cómo luce la matriz que representa a B̂ en la base {|uin i}?

Del teorema 2, sabemos que:
0
huin | B̂ |uin0 i = 0 si n 6= n0 .

Para n 6= n0 , no podemos decir nada a priori. Ordenemos la base según sus autovalores:

|u11 i, |u21 i, ... , |ug11 i |u12 i, |u22 i, ... , |ug22 i |u13 i, ...
| {z } | {z } | {z }
a1 (E1 ) a2 (E2 ) a3 (E3 )

Escribiendo la matriz que representa a B̂ en este orden encontramos que es “diagonal a bloques”:

E1 E2 E3 ...
E1 0 0 0
E2 0 0 0
E3 0 0 0
..
. 0 0 0

Acá las áreas sombreadas representan bloques de tamaño gn ⇥ gn de elementos de ma-

triz diferentes de cero.

Tenemos dos casos que considerar:

Caso 1: an es sencillo, i.e., gn = 1 8 n =) cada bloque es de 1⇥1, es decir, un número.

=) B̂ es diagonal en la representación {|un i} =) {|un i} son también autovectores de
B̂. Por suposición, {|un i} es una base de E.

Caso 2: an es degenerado (gn > 1). En este caso cada bloque que representa a B̂ no es
diagonal dado que {|uin i} no son, en general, autovectores de B̂.
Sin embargo, vamos a ver que es posible construir los autovectores de B̂ a partir de los
autovectores asociados a un autosubespacio En .
(n)
ij ⌘ huin | B̂ |ujn i : elemento de matriz de B̂ dentro del bloque En

(n)⇤ (n)
Como B̂ es hermı́tico: ji = ij =) B̂ es diagonalizable dentro de En .

Vamos a denotar como {|vni i; i = 1, 2, ..., gn } a la nueva base que diagonaliza a B̂, i.e.,
(n)
hvni | B̂ |vnj i = i ij

(n) (n)
donde i es el autovalor de B̂: B̂ |vni i = i |vni i.
Si repetimos este procedimiento en todos los subespacios En , entonces obtenemos una base
del espacio completo E formada por autovectores de  y B̂ simultáneamente.

23
 Apuntes de Clase 1 HERRAMIENTAS DE LA MECÁNICA CUÁNTICA

Observaciones:

(i) Es importante notar que los autovectores de un observable  asociados a un autovalor

degenerado no son necesariamente autovectores de B̂. Lo que hemos demostrado es
que siempre es posible construir en cada autoespacio de  una base de autovectores
comunes a  y B̂.

(ii) De ahora en adelante, vamos a denotar como |uin,p i a los autovectores comunes a Â
y B̂:
 |uin,p i = an |uin,p i

B̂ |uin,p i = bp |uin,p i
n, p: ı́ndices que especifican los autovalores an y bp , respectivamente.
i: ı́ndice que especifica el autovector con autovalores comunes an y bp .

(iii) Ejercicio: demuestre que si Ĉ = Â + B̂, donde Â, B̂ son observables y [Â, B̂] = 0,
entonces {|uin,p i} es autovector de Ĉ.
Nota: los operadores de la forma de Ĉ aparece frecuentemente en la mecánica cuánti-
ca.

1.8. Conjuntos completos de observables que conmutan (C.C.O.C.)

Definición: un conjunto de observables Â, B̂, Ĉ, ... forma un C.C.O.C. si:

(i) Todos los elementos del conjunto conmutan por pares, i.e.,

[Â, B̂] = [Â, Ĉ] = [Â, ...] = [B̂, Ĉ] = [B̂, ...] = [Ĉ, ...]

(ii) Los autovalores an , bp , cr , ... especifican uno y solo un autovector (hasta por un factor
de fase).

24