Espacios de Hilbert equipados

Francisco Martı́nez López

Universidad de Murcia

30 de septiembre de 2018

Resumen
Revisión de los espacios de Hilbert equipados (RHS ), su im-
plementación y utilidad en Mecánica Cuántica.

1. Introducción
A finales de los años 20, Dirac introduce su modelo matemático para la
Mecánica Cuántica basado en un álgebra abstracto de operadores lineales
sobre un espacio vectorial complejo de dimensión infinita con una norma
inducida mediante un producto escalar. El primer espacio propuesto para
desarrollar la teorı́a fue el espacio de Hilbert. Este resulto de gran utilidad
sobre todo a la hora de manejar operadores con espectro continuo.

Pero este formalismo ası́ establecido se ve que no es suficiente a la hora

de tratar con los kets y bras, ası́ como con la función delta de Dirac o la
expansión de un vector en una base generalizada. Ya el propio Dirac dijo
que ”the bra and ket vectors that we now use form a more general space than
a Hilbert space”.

Con el desarrollo en los años 40 de la teorı́a de distribuciones por parte de

Schwartz y la teorı́a espectral de von Neumann se constituyo el denominado
espacio de Hilbert equipado (Rigged Hilbert Space), el cual fue posible probar
el teorema de Gelfand-Maurin.

1
 Ası́, en la década de 1960 se vio que el RHS constituı́a un fondo ma-
temático riguroso para el formalismo de Dirac, probando en los años si-
guientes su utilidad en teorı́a de dispersión.

2. Definición formal
Un espacio de Hilbert equipado (también llamado tripleta de Gelfand)
consiste en una triada de espacios:

Φ ⊂ H ⊂ Φ× (1)
, tal que H es un espacio de Hilbert, Φ un subespacio denso de H y Φ×
el espacio de funcionales antilineales sobre Φ. El espacio Φ× es el antidual
de Φ, de forma que si Φ es el espacio de las funciones de prueba Φ× es el
espacio de distribuciones. Asociado a todo RHS tenemos otro RHS :

Φ ⊂ H ⊂ Φ0 (2)
, donde Φ0 es el espacio de funcionales lineales sobre Φ, esto es, su espacio
dual.

Los bras y kets asociados a los elementos del espectro continuo de un

operador observable pertenecen a Φ0 y Φ× respectivamente. El espacio Φ es
necesario dado que los operadores no acotados no están definidos en todo
H, si no en subdominios densos que no sean invariantes bajo la acción de
los observables. Ası́, el espacio Φ es el más grande en H que asegura que
los valores esperados, relaciones de incertidumbre y de conmutación de estos
operadores estén bien definidos.

3. Motivación para la implementación de RHS

En el caso de operadores acotados de espectro discreto (y por tanto
bien definidos en todo H), estos pueden ser vistos fundamentalmente como
una matriz. De esta forma, su estudio no requiere que extendamos nuestro
espacio H. Pero en general en Mecánica Cuántica, los observables son no
acotados y parte de su espectro es continuo. Para el estudio de estos se suele
utilizar el formalismo de Dirac, que resulta una generalización del álgebra
lineal de matrices hermı́ticas utilizado en el caso discreto.

2
3.1. Formalismo de Dirac
Repasamos los aspectos más importantes del formalismo de bras y kets
de Dirac.

Dado un observable cualquiera A (cuyo espectro es no degenerado), a

cada elemento de su espectro le corresponde una pareja de autovectores por
la derecha y por la izquierda (un ket y un bra), que si denotamos como an
a los autovalores discretos y a a los continuos, que satisfacen correspondien-
temente:

A |an i = an |an i
A |ai = a |ai
(3)
han | A = han | an
ha| A = ha| a

Los bras y kets autovectores de un observable forman una base del es-
pacio. Ası́, cualquier función de onda puede ser descompuesta mediante la
expansión de Dirac:
X Z
ψ= |an i han |ψi + da |ai ha|ψi (4)
n
Ası́ pues, se tiene la siguiente relación de cierre:
X Z
I= |an i han | + da |ai ha| (5)
n
y de esta forma se puede expresar la acción de un operador A como:
X Z
A= an |an i han | + da a |ai ha| (6)
n
Los bras y kets están normalizados según:

han |am i = δn,m

 0 (7)
aa = δ(a − a0 )

, donde δn,m es la función delta de Kronecker y δ(a − a0 ) la función delta

de Dirac.

3
 El resto de operaciones algebraicas se definen de la misma forma que en
el álgebra de matrices finitas.

3.2. El subespacio Φ del RHS

Normalmente, los observables utilizados en Mecánica Cuántica vienen
definidos mediante operadores diferenciales. En el marco de los espacios de
Hilbert, lo que hacemos a la hora de trabajar es primero encontrar nuestro
espacio H, luego ver sobre que elementos de H tiene sentido la acción del
observable (en otras palabras, hallar su dominio) y finalmente comprobar
que el resultados obtenido al aplicarlo cae también en H.

Por ejemplo, un observable muy utilizado en Mecánica Cuántica es el

operador posición de una partı́cula unidimensional, X:

Xf (x) = xf (x) (8)

El espacio de Hilbert de una partı́cula en una dimensión es el de las
función de cuadrado integrable:
 Z +∞ 
2 2
L = f (x) \ dx|f (x)| < +∞ (9)
−∞
De esta forma, vemos que el dominio del operador X que en principio
está bien definido en todo L2 se restringe al subespacio:
 Z +∞ 
2 2
D(X) = f (x) ∈ L \ dx|xf (x)| < +∞ (10)
−∞

Se tiene que D(X) ( L2 . Ası́ pues el observable X es no acotado (puesto

que existe h(x) que verifica kXh(x)k = +∞). De la misma manera tendre-
mos que XD(X) no pertenece a D(X). Por esto es de gran importancia
prestar atención a cuando una operación es válida. Por ejemplo, el opera-
dor dado como X 2 = XX no está definido en todo el L2 ni tampoco en
D(x). Si calculamos el valor esperado en la medida de X sobre un estado ψ
cualquiera:

hψ|X|ψi (11)
, resulta que solo da un valor finito si ψ ∈ D(X). De igual forma la
incertidumbre en la medida de X en ψ:

4
 q
∆ψ X = hψ|X 2 |ψi − hψ|X|ψi2 (12)
, no está bien definido en todo L2 .

Otro ejemplo, si consideramos el operador momento de una partı́cula

unidimensional:

d
Px f (x) = −ı~ f (x) (13)
dx
, entonces el producto Px X solo está definido para funciones h(x) ∈ L2
diferenciables tales que:
Z +∞  
d
dx h(x) + x h(x) < +∞ (14)
−∞ dx
Ası́ pues, dado un operador observable no acotado A, su dominio no
coincide con todo H. Este D(A) es un subespacio denso de H en general no
invariante bajo la acción de A. De esta forma los valores esperados, relaciones
de incertidumbre y otras operaciones algebraicas no están bien definidas en
todo H.

Cuando los observables que representan magnitudes fı́sicas de interés

son no acotados es natural buscar subespacios Φ en los cuales sea posible
calcularlos y presenten valores finitos. Las cantidades nombradas antes no
están bien definidas puesto que el dominio del operador no es invariante
bajo su acción. Ası́ pues, en el caso de la Mecánica Cuántica considerando
los observables posición, momento y energı́a (X, Px y H), el subespacio Φ
debe ser invariante bajo la acción de estos operadores. Por ello se define
como la intersección de los dominios de todas sus potencias:
∞
\
Φ= D(An B m ); A, B = X, Px , H (15)
n,m=0

Este es el espacio maximal invariante del álgebra que generan X, Px y

H, pues es el mayor subdominio de H que permanece invariante bajo la
acción de cualquier potencia de estos:

AΦ ⊂ Φ; A = X, Px , H (16)
En Φ las cantidades como valores esperados, relaciones de incertidumbre,
etc. tienen un valor finito bien determinado y todas las relaciones algebraicas

5
están bien definidas. Además, sus elementos están representados por funcio-
nes suaves y continuas, unievaluadas en todos los puntos, a diferencia de los
elementos de H en general.

3.3. Espacio antidual y dual de Φ

Cuando el espectro del observable A tiene una parte continua se asocian
un bra y un ket a cada elemento a de este. Estos ha| y |ai no pertenecen al
espacio de Hilbert H, pues de hacerlo serı́an de cuadrado integrable y por
tanto el autovalor a pertenecerı́a al espectro discreto. Por ello necesitamos
dos espacios mayores que el de Hilbert para estos. De esta forma los bras
ha| son funcionales lineales sobre el espacio Φ, y los kets |ai funcionales
antilineales sobre Φ. Esto es ha| ∈ Φ0 y |ai ∈ Φ× .

El espacio Φ contiene las funciones de cuadrado integrable que tienen

un significado fı́sico puesto que a partir de ellas se calculan probabilidades
y valores esperados. Los espacios dual Φ0 y antidual Φ× contienen los bras
y los kets asociados a los espectros continuos de los observables. Estos ele-
mentos son los que usamos para expandir cualquier función de onda ψ ∈ Φ
según la ecuación (4). De esta forma el RHS acoge todas las propiedades
del formalismo de Dirac, más que el espacio de Hilbert en solitario.

4. Conclusiones
Los espacios de Hilbert equipados no solo son una herramienta técnica
necesaria para la Mecánica Cuántica si no un concepto fundamental dada
la gran importancia que tienen en esta observables no acotados de espectro
continuo como son la posición y el momento. Por ello deberı́a ser un aspecto
a tratar en más profundidad en cursos básicos de la materia y en aquellos
dedicados a las herramientas matemáticas que en ella se utilizan.

Bibliografı́a
[1] de la Madrid Modino, Rafael. (2001). Quantum Mechanics in Rigged
Hilbert Space Language. Doctorado. Universidad de Valladolid.
[2] de la Madrid Modino, Rafael, The rigged Hilbert space of the alge-
bra of the one-dimensional rectangular barrier potential. arXiv:quant-ph/
0407195v1

6
 [3] de la Madrid Modino, Rafael, The role of the rigged Hilbert space in
Quantum Mechanics. arXiv:quant-ph/0502053v1