313 10.

Tpicos complementarios de la teora de representaciones

EVL

EB
EVN

EPH EH

Figura 10.1. Se muestra la relacin que existe entre un

espacio vectorial lineal evl y un subespacio del mismo que
constituye un espacio de Hilbert, eh. El eh es un espacio
vectorial normado (evn), que es a la vez completo (eb)
y prehilbertiano (eph), es decir, posee producto escalar.

es la proyeccin de |i sobre Hq . La matriz que representa a Aq tiene elementos

hai |Aq |aj i = hai |Pq APq |aj i =q hai |A|aj iq ,

en donde |ai iq = Pq |ai i; estos elementos de matriz se anulan cuando i, j exceden

q. En otras palabras, la matriz Aq se obtiene tomando de la (sub)matriz [A]ij la
sub(sub)matriz q q en la esquina superior izquierda e igualando a cero los dems
elementos.

*10.7. Apndice: El espacio de Hilbert

Hemos entendido hasta aqu por espacio de Hilbert (separable) un espacio constitui-
do por funciones (de onda) (q) de cuadrado integrable, es decir, aquel cuya integral
sobre su dominio de definicin D, D (q)(q) dq (, ) k(q)k2 , existe (q
R
designa el conjunto de variables del espacio de configuracin u otro apropiado). El
espacio vectorial as constituido suele denotarse como L2 (D) y la integral anterior
da el cuadrado del mdulo (norma) de (q). En esta seccin elaboramos un poco
ms este concepto y se incluye slo como referencia para el lector interesado en
estos temas.
El espacio de Hilbert es un espacio vectorial normado en el que se ha definido
un producto escalar y satisface algunas otras condiciones restrictivas, como se
ver a continuacin. Para establecer la nocin de espacio de Hilbert partiremos
de la ms general de espacio vectorial lineal (evl) e iremos introduciendo las
condiciones que restringen el correspondiente espacio hasta reducirnos al espacio de
Hilbert, pasando sucesivamente por las nociones de espacio vectorial normado
(evn), espacio de Banach (eb), espacio prehilbertiano (eph) y, finalmente, espacio
de Hilbert (eh). Aunque el tema es estrictamente matemtico no intentaremos
dar una presentacin rigurosa, la cual puede verse en los textos apropiados de
matemticas.6 Las relaciones entre estos espacios se ilustran en la figura 10.1.
6
La presente exposicin se basa en la dada en Istituzioni di Fisica Teorica de F. Selleri
(Universidad de Bari, 1995), captulo 6. Puede consultarse tambin el texto de Isham citado en la
bibliografa al final del libro.
Introduccin a la mecnica cuntica 314

Un evl consiste en un conjunto de elementos f , g, . . . , llamados vectores,

para los cuales se definen dos operaciones, la suma vectorial + y la multiplicacin
escalar . Respecto de la suma vectorial, el evl es cerrado, es decir:

si f evl, g evl h = f + g evl.

La suma tiene las siguientes propiedades:

LA 1. Es conmutativa: f + g = g + f ;
LA 2. Es asociativa: (f + g) + h = f + (g + h);
LA 3. Existe el vector nulo: existe y es nico un elemento nulo, comn a todos los
elementos f y denotado por , tal que f + = f ;
LA 4. Existe y es nico el elemento inverso de cada f , denotado f , tal que
f + (f ) = .

Hasta aqu las propiedades que hemos definido corresponden directamente a las
de un grupo abeliano (es decir, conmutativo) respecto de la operacin indicada por
+ y con como elemento unidad (o neutro). Para obtener un evl se aumenta la
estructura con la operacin adicional de multiplicacin escalar, que asocia a cada
vector f evl y cada nmero (real o complejo) un nuevo vector f f . El
evl obtenido es real si lo es, o complejo si es compleja. El evl es cerrado
respecto de la multiplicacin:

si f evl, R (o C) f evl.

La multiplicacin tiene las siguientes propiedades:

LB 1. 1 f = f;
LB 2. Es asociativa: ( f ) = f ;
LB 3. Es distributiva: ( + ) f = f + f ;
LB 4. Es lineal: (f + g) = f + g.

Las operaciones anteriores son una generalizacin directa de las operaciones

de suma de vectores (cualquier par de vectores puede sumarse para dar un tercer
vector) y de multiplicacin de un vector por un nmero. Vemos as que el concepto
de evl est directamente motivado en las propiedades algebraicas de los vectores.
De las propiedades anteriores se sigue toda una serie de resultados bsicos. Por
ejemplo, f es el inverso de f , (f ) = f , pues (1) f = f , o 0 f = , = ,
etc., para f evl. Se acostumbra escribir f + (g) en la forma simplificada
f g.
Un evl es un espacio vectorial normado (evn) si a cada f evl se le puede
asociar un nmero real no negativo kf k llamado norma de f , tal que

N 1. kf k 0 con kf k = 0 si y slo si f = ;
N 2. k f k = || kf k (homotecia);
N 3. kf + gk kf k + kgk (desigualdad del tringulo).

De N2 se sigue, en particular, que kf k = kf k.

315 10. Tpicos complementarios de la teora de representaciones

Resulta conveniente definir ciertos subespacios de un evn introduciendo algunas

restricciones adicionales. En particular, dos restricciones diferentes e independien-
tes sern de particular importancia para nuestros propsitos. Para especificarlas
necesitamos introducir algunas definiciones y recordar ciertos teoremas.
Se dice que una sucesin de vectores en evn f1 , f2 , . . . fn , . . . converge a f
fuertemente o en la norma si

lm kfn f k = 0. (10.63)
n

De los axiomas anteriores se sigue el teorema que establece: Si una sucesin de

vectores en evn f1 , f2 , . . . fn , . . . converge a f fuertemente, entonces la sucesin
numrica kf1 k, kf2 k, . . . kfn k, . . . converge a kf k,

lm kfn k = kf k . (10.64)
n

En lo esencial, la demostracin procede de esta manera. Se tiene

kfn k = kfn + k = kfn + f f k kfn f k+kf k kfn kkf k kfn f k .

De manera anloga se demuestra que

kf k kfn k kf fn k

y que
kfn f k = kf fn k .
De lo anterior se sigue que

|kf k kfn k| kfn f k lm |kf k kfn k| lm kfn f k = 0,

n n

que muestra que la sucesin de las normas kfn k converge a kf k.

Necesitamos tambin la definicin de una sucesin de Cauchy: la sucesin de
vectores en un evn f1 , f2 , . . . fn , . . . es una sucesin de Cauchy si

lm kfn fm k = 0. (10.65)
n,m

Es simple demostrar que toda sucesin de vectores en un evn f1 , f2 , . . . fn , . . . que

converge fuertemente a un vector f del mismo espacio es una sucesin de Cauchy.
En efecto,

kfn fm k = kfn f + f fm k kfn f k + kfm f k

lm kfn fm k lm kfn f k + lm kfm f k = 0.
n,m n m

Sin embargo, la inversa no es necesariamente verdadera. Esta propiedad se utiliza

para hacer una primera acotacin de los evn y definir los espacios de Banach:

DEF 1. Un evn en el que toda sucesin de Cauchy converge a un vector del mismo
espacio es un evn completo o espacio de Banach, eb.
Introduccin a la mecnica cuntica 316

La segunda posibilidad de inters requiere la introduccin del producto escalar

en un evn. El producto escalar es una operacin que asocia a dos vectores f y g
de un evn un nmero complejo hf | gi que satisface los siguientes axiomas:

PH 1. hf | f i 0; hf | f i = 0 solo si f = ;
PH 2. hf | gi = hg| f i ;
PH 3. hf | g1 + g2 i = hf | g1 i + hf | g2 i
PH 4. hf | gi = hf | gi.

Usamos el producto escalar para introducir la nocin de espacio prehilbertiano:

Un evn que posee producto escalar es un espacio prehilbertiano, eph.
Es importante observar que esta definicin de eph no requiere que el espacio
sea completo o de Banach, DEF 1. En otras palabras, un eph no necesariamente
es un eb, pero tampoco un eb es necesariamente un eph.
De las propiedades PH 1-PH 4 se siguen varios resultados importantes. En
particular, se puede demostrar que

h f | gi = hf | gi , hf1 + f2 | gi = hf1 | gi + hf2 | gi ,

1 1 (10.66)
hf | i = 0, |hf | gi| |hf | f i| /2 |hg| gi| /2 .

La ltima de estas relaciones es la importante desigualdad de Schwarz. Como

ejemplo demostraremos la primera de estas igualdades:

h f | gi = hg| f i = (hg| f i) = hg| f i = hf | gi .

La demostracin de la desigualdad de Schwarz se hace a partir de la desigualdad

0 hf + g| f + gi .

Es evidente que si es vlido el signo de igualdad debe cumplirse que f + g = , de

donde se sigue que f kg.7 El clculo por separado de cada uno de los dos miembros
de la desigualdad de Schwarz para el caso f = g muestra que se cumple como
igualdad en este caso. Luego, la desigualdad de Schwarz se cumple como igualdad
si y solo si los dos vectores involucrados son paralelos.
De las definiciones se sigue que se cumple el teorema: un eph es siempre un
evn. Que es as se puede demostrar tomando la norma kf k = hf | f i1/2 y mostrando
que con esta seleccin se cumplen N1-N3. Por ejemplo, para la desigualdad del
tringulo se tiene:
1 1
kf + gk = hf + g| f + gi /2 = [hf | f i + hf | gi + hg| f i + hg| gi] /2
1 1/2
[hf | f i + |hf | gi| + |hg| f i| + hg| gi] /2 kf k2 + 2 kf k kgk + kgk2


= kf k + kgk .

Ahora tenemos todos los elementos requeridos para definir el espacio de Hilbert:
un espacio de Hilbert eh es un eph completo. Alternativamente podemos decir
7
Dos vectores de un evl son paralelos si uno se obtiene del otro multiplicndolo por un
nmero (en general complejo): para f, g evl, f kg si f = g.
317 10. Tpicos complementarios de la teora de representaciones

que un espacio de Hilbert es un espacio vectorial lineal normado que es simult-

neamente prehilbertiano y de Banach. De aqu se sigue que un eh, adems de
satisfacer los axiomas LA 1-LA 4, LB 1-LB 4 y N 1-N 3 (propios de un evn), cumple
con PH 1-PH 4 (posee producto escalar, es un eph) y con DEF1 (es completo, es
un eb).8
Es til aprovechar la exposicin anterior para establecer algunos resultados
fundamentales que se emplean repetidamente en el texto. Consideremos k vectores
f1 , f2 , . . . fk de un eph; se dice que estos vectores son linealmente independientes si
no existen k constantes ci , no todas nulas, para las que se cumple que
k
X
ci fi = . (10.67)
i=1

Esta definicin se extiende al caso de un nmero infinito de vectores, diciendo que

los vectores de una sucesin f1 , f2 , . . . fn , . . . son linealmente independientes si
(10.67) vale para toda k.
Dada la sucesin f1 , f2 , . . . fn , . . . de vectores linealmente independientes, es
siempre posible construir otra e1 , e2 , . . . en , . . . constituida por vectores ortonormales
y donde cada ei es una combinacin lineal de los fi , utilizando el procedimiento de
ortonormalizacin de Gram-Schmidt. Para iniciar este procedimiento se pone
f1
e1 = , (10.68)
kf1 k
con lo que queda definido el primer vector. Ahora se sustrae a f2 su componente
paralela a e1 , por lo que se escribe

e02 = f2 he1 | f2 i e1 . (10.69a)

Como f1 y f2 son linealmente independientes, e02 6= 0; esto permite normalizar e02

escribiendo
e0
e2 = 20 . (10.69b)
ke2 k
Por construccin e1 y e2 son ortogonales y de norma 1. El procedimento se contina
de igual manera, con lo que se obtiene, para el caso general:
k1
X e0k
e0k = fk hei | fk i ei , ek = . (10.70)
i=1
ke0k k

Consideremos ahora una sucesin e1 , e2 , . . . en , . . . de P

vectores ortonormales.
Definimos la distancia entre un vector f y el vector gn = ni=1 ai ei , donde las ai
son nmeros complejos, como

n
X
d(f, gn ) = f ai ei . (10.71)


i=1

8
Cuando en la mecnica cuntica se pasa del espectro discreto al continuo se est eliminando
la exigencia de que exista el producto escalar, por lo que el espacio de los vectores de estado en el
continuo resulta ser de Banach.
Introduccin a la mecnica cuntica 318

Nuestro propsito es determinar cules ai hacen mnima la distancia (10.71). Para

obtener la respuesta escribimos
n
2 * n
 n
+
X X  X
2
d = f ai ei = f ai ei  f ai ei


i=1 i=1 i=1
n
X n
X n
X
= hf | f i ai hei | f i ai hf | ei i + ai aj hei | ej i (10.72)
i=1 i=1 i,j=1
n
X n
X
= kf k2 |hei | f i|2 + |ai hei | f i|2 .
i=1 i=1

Es evidente de este resultado que el mnimo de d se obtiene anulando el ltimo

trmino, es decir, tomando ai como la componente de f en la direccin de ei ,

ai = hei | f i . (10.73)

Con esta seleccin se obtiene, por ser d2 0,

n
X n
X
kf k2 |hei | f i|2 0 kf k2 |hei | f i|2 . (10.74)
i=1 i=1

Esta desigualdad vale para toda n, por lo que es vlido escribirla en la forma de
la desigualdad de Bessel, puesto que el miembro derecho, al estar acotado por el
izquierdo, tiene que converger:

X
kf k2 |hei | f i|2 . (10.75)
i=1

Consideremos ahora los vectores

n
X
fn = ai ei , ai = hei | f i . (10.76)
i=1

La sucesin de las fn es una sucesin de las sumas parciales de Fourier del vector f
respecto de la base {ei }. Como sta es una sucesin de Cauchy, es convergente. En
efecto, para n > m se tiene que
n 2 n
X
fn fm 2 =
X
|ai |2 0,

ai ei =


n,m
i=m+1 i=m+1

la serie numrica i=1 |ai |2 converge por la desigualdad (10.75). La

Pn
puestoPque

serie i=1 ai ei con ai = hei | f i es la serie de Fourier del vector f respecto de la
base {ei }.
El sistema de vectores ortonormales {ei } es completo si para cada f ; la serie de
Fourier respecto de tal sistema converge en el sentido de la norma a f :
fn f 2 0.

(10.77)
n
319 10. Tpicos complementarios de la teora de representaciones

En este caso, se escribe el desarrollo de Fourier

X
f= ai ei , ai = hei | f i . (10.78)
i=1

Vemos as que el concepto de sistema completo generaliza al caso de dimensin

infinita el concepto de base utilizado en espacios de dimensin finita. La propiedad
fundamental que permite identificar un espacio de Hilbert es, entonces, la existencia
de un conjunto infinito y numerable {ei } de vectores con la propiedad de completez,
es decir, con la posibilidad de utilizarlo para hacer un desarrollo de Fourier.
Los coeficientes ai en la ecuacin (10.78) son las componentes de f en la base
E = {ei } = {e1 , e2 , e3 , . . .}. Al conjunto de componentes ai = hei | f i de un vector
|f i suele llamrsele representacin a del vector |f i en la base E ={|ei i}, aunque
tambin se acostumbra decir que |f i est en la representacin E. Ambas formas de
expresin se encuentran en la literatura, aunque el sentido del trmino represen-
tacin resulta un tanto diferente en ellas. En todo caso, es comn arreglar estas
componentes en una columna, la que se identifica con f y se le llama representacin
columna del vector f en la base E (suponemos que el vector es de dimensin n
finita, pero puede ser infinita):

a1

a2
f =
... .
(10.79)
an

Para cada base diferente existe una representacin de cada vector.

*Problemas ilustrativos

Problema ilustrativo 10.1. Demuestre que si A y B conmutan con [A, B],

entonces eA eB = eA+B e(1/2)[A,B] .
Solucin. Considere el operador

F () = eA eB , real .

Al derivar respecto del parmetro se obtiene

dF
= AF + eA BeB = (A + eA BeA )F .
d
De la frmula (vase el problema 9.3)

[A, f (B)] = [A, B]f 0 (B)

que vale si A y B conmutan con [A, B] como es el caso aqu, se sigue que

[B, eA ] = [B, A]eA ,