Espacios de Hilbert y Notación de Dirac

Alonso Contreras-Astorga

CINVESTAV, México

Diciembre 2012
Índice
• Espacios de Hilbert
• Operadores lineales en espacios de Hilbert
• Notación de Dirac

2 / 46
Espacios de Hilbert
Definición: El par (X , d) es un espacio métrico si X es un
conjunto y d(x, y ) es una función real valuada, llamada métrica
definida para x, y ∈ X que satisface las condiciones

i) d(x, y ) ≥ 0 y d(x, x) = 0 ∀x, y ∈ X .

ii) Si d(x, y ) = 0, entonces x = y .
iii) d(x, y ) = d(y , x)
iv ) d(x, y ) ≤ d(x, z) + d(z, y )

Una secuencia {xn } en un espacio métrico se llama secuencia

de Cauchy si para cada  > 0 existe un N tal que d(xn , xm ) ≤ 
para cualquier elección de n, m ≥ N.
Un espacio métrico (X , d) es completo si cada secuencia de
Cauchy en (X , d) es convergente en (X , d).
3 / 46
Espacios de Hilbert
Definición: Sea X un espacio lineal. Un producto interno sobre
X es un mapeo que asocia a cada par de vectores x, y un
escalar, denotado hx|y i que satisface las siguientes propiedades

i) hx|z + y i = hx|zi + hx|y i, x, y , z ∈ X ,

ii) hx|λy i = λhx|y i λ ∈ K,
iii) hx|y i = hy |xi,
iv ) hx|xi ≥ 0 y hx|xi = 0 → x = 0.

Un espacio con producto interno se define como un espacio

lineal junto con su producto interno definido sobre X .
Definición: Dos vectores x e y son ortogonales cuando
hx|y i = 0.

4 / 46
Espacios de Hilbert
Definición: Una norma en X es k·k : X 7→ R tal que

i) kxk ≥ 0; kxk = 0 si y sólo si x = 0.

ii) kλxk = |λ|kxk
iii) kx + y k ≤ kxk + ky k

Un espacio lineal normado es un par (X , k·k) donde X es un

espacio lineal y k·k es una norma sobre X .
Un espacio con producto interno tiene puna estructura natural de
espacio normado con la norma kxk = hx|xi y un espacio
normado tiene la estructura natural de espacio métrico con
d(x, y ) = kx − y k.

5 / 46
Espacios de Hilbert
Un espacio de Hilbert es un espacio con producto interno, con
una norma definida por el producto interno y que además es
completo.
Ejemplos
1.- Sea X = Cn si x = (x1 , x2 , ..., xn ) e y = (y1 , y2 , ..., yn )
definamos
n
X
hx|y i = x¯k yk .
k =1

X es un espacio de Hilbert.

6 / 46
Espacios de Hilbert
2.- Sea L2 (R) el conjunto de todas las funciones medibles de R en
C tales que verifiquen la siguiente propiedad: Si f (x) ∈ L2 (R),
entonces:
Z ∞
|f (x)|2 dx < ∞
−∞

L2 (R) es un espacio vectorial. Si lo dotamos con el producto

interno
Z ∞
hf |gi = f (x)g(x)dx
−∞

y la norma asociada, entonces L2 (R) es un espacio de Hilbert.

7 / 46
Espacios de Hilbert
3.- Consideremos el conjunto de sucesiones de números
complejos (an )n∈N tales que:
∞
X
|an |2 < ∞
n=1

con el producto escalar

∞
X
hA|Bi = an bn
n=1

donde A = (an ) y B = (bn ), este conjunto es un espacio de Hilbert

llamado `2 .

8 / 46
Espacios de Hilbert
Definición: Sea S un conjunto de vectores en un espacio con
producto interno X . S es un sistema o conjunto ortonormal si:
i) kxk = 1, ∀x ∈ S,
ii) hx|y i = 0. ∀x, y ∈ S con x 6= y .
Teorema (Desigualdades de Bessel): Sea A un conjunto
ortonormal de vectores contenido en un espacio con producto
interno X . Sean x, y ∈ X . Sea {x1 , x2 , ..., xn , ...} una sucesión de
elementos de A (finita o infinita). Entonces
X∞
i) |hx|xn i|2 ≤ kxk2
n=1
∞
X
ii) |hx|xn ihxn |y i| ≤ kxkky k.
n=1
9 / 46
Espacios de Hilbert
Definición: Un conjunto ortonormal A ⊂ X se llama completo si
y sólo si no existe en X otro conjunto ortonormal conteniendo
estrictamente en A. A este c. o. c. se le llama base ortonormal.

Definición: Un espacio de Hilbert es separable si y sólo si el

cardinal de sus conjuntos ortonormales completos es finito o
numerable.

Teorema Sea X un espacio de Hilbert de dimensión finita o

infinita. Sea {x1 , x2 , ...} un c. o. c en X . Entonces
∞
X
2
kxk = |hxk |xi|.
k =1

10 / 46
Espacios de Hilbert
Teorema: Sea A un conjunto ortonormal completo en un espacio
de Hilbert separable y de dimensión infinita X . Entonces

i) [A] = X
∞
X
ii) si y ∈ X entonces y = hxn |y ixn .
n=1

Ejemplos de conjuntos ortonormales completos

1.- Sea X = Cn

(1, 0, 0, ..., 0); (0, 1, 0, ..., 0); ... (0, 0, 0, ..., 1).

11 / 46
Espacios de Hilbert
2.- Sea X = `2

e1 = (1, 0, 0, . . . , 0, . . . )
e2 = (0, 1, 0, . . . , 0, . . . )
e3 = (0, 0, 1, . . . , 0, . . . )
..
.

3.- En L2 (0, 2π), el conjunto

1 cos t sin t cos 2t

x0 (t) = √ , x1 (t) = √ , x2 (t) = √ , x3 (t) = √ , . . .
2π π π π

12 / 46
Espacios de Hilbert
Dos teoremas muy importantes
Teorema 1:
Sea X un espacio de Hilbert de dimensión finita n. Entonces X y
Cn son isométricos.
Teorema 2:
Sea X un espacio de Hilbert separable y de dimensión infinita.
Entonces X y `2 son isométricos.

13 / 46
Espacios de Hilbert
El espacio dual de X .

Definición: Sea f una aplicación lineal de un espacio normado X

en C. Si f es además continuo, lo llamaremos funcional lineal
continuo, o simplemente funcional.

Definición: Sea f una aplicación lineal de X en C. Diremos que f

está acotada si existe una constante positiva K tal que
|f (x)| ≤ K kxk, ∀x ∈ X .

El conjunto de todas las funcionales acotadas en X forman un

espacio vectorial llamado espacio dual de X , denotado por X ∗ .
Además es normado y completo con la norma
kf k = inf{K |(∀x ∈ X )|f (x)| = K kxk}.
14 / 46
Espacios de Hilbert
Teorema de representación de Riesz
Sea f un funcional acotado en un espacio de Hilbert X . Entonces
existe uno y sólo un vector y ∈ X tal que

f (x) = hy |xi ∀x ∈ X .

15 / 46
Operadores lineales en espacios de Hilbert
Definición: Un operador lineal entre dos espacios normados X e
Y es una aplicación lineal entre ambos. En particular puede ser
una aplicación de un espacio de Hilbert consigo mismo.

Sea A un operador lineal continuo en un espacio de Hilbert X .

Fijemos x ∈ X y consideremos el siguiente producto escalar
hx|Ay i para todo y en X . La aplicación f (y ) = hx|Ay i es un
funcional lineal y continuo en X , el teorema de Riez nos asegura
que existe, fijado x, un único z ∈ X tal que
f (y ) = hz|y i = hx|Ay i, ∀y ∈ X . Esto lo podemos hacer con cada
uno de los x ∈ X , con lo que obtenemos una aplicación de X en si
mismo, A† , que llamaremos operador adjunto de A, y tal que
A† x = z. De esta manera
hx|Ay i = hA† x|y i, ∀x, y ∈ X .
16 / 46
Operadores lineales en espacios de Hilbert
Propiedades de operadores adjuntos: Sean A y B dos
operadores acotados en un espacio de Hilbert X , y sea λ un
número complejo. Entonces

(A + B)† = A† + B †
(λA)† = λA†
(AB)† = B † A†

Definición: Sea X un espacio de Hilbert y T un operador lineal

continuo, se dice que T es autoadjunto si T = T † .

17 / 46
Operadores lineales en espacios de Hilbert
Ejemplo: Sea el espacio de Hilbert L2 ([0, 1]). Sea ahora la
transformación Q : L2 ([0, 1]) 7→ L2 ([0, 1]) definida de la siguiente
manera

(Qf )(x) = xf (x), ∀f ∈ L2 ([0, 1]).

Esta transformación está bien definida ya que para toda

f (x) ∈ L2 ([0, 1]) tenemos:
Z 1 Z 1 Z 1
2 2
|(Qf )(x)| dx = |xf (x)| dx ≤ |f (x)|2 dx < ∞
0 0 0

y por lo tanto (Qf )(x) ∈ L2 ([0, 1]). Además es lineal.

18 / 46
Operadores lineales en espacios de Hilbert
Para demostrar que Q es acotado, i. e. es continuo,

Z 1 Z 1
kQf k2 = |xf (x)|2 dx ≤ |f (x)|2 dx = kf k2 , ⇒ kQf k ≤ kf k,
0 0

lo cual nos dice que Q es un operador acotado y además su

norma es menor o igual a 1.
Notemos además que para todos f , g ∈ L2 ([0, 1]), se tiene:
Z 1 Z 1
hg|Qf i = g(x)xf (x)dx = xg(x)f (x)dx = hQg|f i,
0 0

es decir, Q es autoadjunto.

19 / 46
Operadores lineales en espacios de Hilbert
Definiciones: Sea A un operador lineal continuo.
• A es normal si A† A = AA† .
• A es autoadjunto si A† = A.
• A es isométrico si kAxk = kxk, ∀x ∈ X .
• A es unitario si es isométrico y sobre.

Proposición: Sea U un operador acotado en el espacio de

Hilbert X .
• Si U es invertible y U −1 = U † , entonces U es unitario.
• U es unitario si y sólo si I = U † U = UU † .

20 / 46
Operadores lineales en espacios de Hilbert
Proyectores:
Sea P un operador continuo en el espacio de Hilbert X . P es un
proyector si P 2 = P y P † = P. El operador nulo y la identidad son
proyectores.

Ejemplo: Sea M un subespacio cerrado de X que no coincida con

X . Se sabe que X = M ⊕ M ⊥ , siendo M ⊥ 6= {0}. Para todo x ∈ X
existe una única descomposición x = y + z con y ∈ M y z ∈ M ⊥ .
Definamos Px = y . P es un proyector.

21 / 46
Operadores lineales en espacios de Hilbert
Sea A un operador con dominio D ⊂ X , siendo X un espacio de
Hilbert. Diremos que y ∈ D, y 6= 0, es un eigenvector (autovalor)
de A si existe un número complejo λ tal que Ay = λy . λ si puede
ser cero. Entonces y es un eigenvector (autovector) de A con
eigenvalor (autovalor) λ.
• Diremos que λ ∈ C pertenece al espectro discreto de A si es
un eigenvalor de A.
• Diremos que λ ∈ C pertenece al espectro residual de A si no
es un eigenvalor de A y además el rango del operador A − λI
no es denso en X .
• λ ∈ C pertenece al espectro continuo de A si no es un
eigenvalor ni tampoco está en el residual de A, y la inversa de
la aplicación A − λI no es continua. Si es continua λ pertenece
al resolvente.
22 / 46
Operadores lineales en espacios de Hilbert
Lema: Sea A un operador autoadjunto y acotado en un espacio
de Hilbert. Entonces sus eigenvalores son reales.

Lema: Sea A un operador autoadjunto y acotado en un espacio

de Hilbert X . Sean x e y dos eigenvalores de A con diferente
eigenvalor. Entonces x e y son ortogonales.

Lema: Si U es unitario, sus eigenvalores (si existen) tienen

módulo uno.

23 / 46
Operadores lineales en espacios de Hilbert
En el caso de operadores no acotados, la definición de operador
adjunto debe de tomar en cuenta los dominios.
Sea A un operador con dominio D denso en un espacio de Hilbert
(de dimensión infinita y separable) X . Para definir el adjunto dwe
A, comencemos por definir su dominio:

D∗ = {y ∈ X | existe z ∈ X tal que hz|xi = hy |Axi, ∀x ∈ D}

De este modo, el adjunto de A es

A† y = z, ∀y ∈ D∗ .

24 / 46
Operadores lineales en espacios de Hilbert
Propiedades de los operadores adjuntos:
• A† es lineal.
• A† es siempre un operador cerrado.
• Si α ∈ C entonces (αA)† = αA† .
• Sea A y B dos operadores en X con dominios D(A) y D(B).
Diremos que B extiende a A, y escribiremos B  A, si
D(A) ⊂ D(B) y además para todo z ∈ D(A) se verifica que
Az = Bz. Nuestra propiedad siguiente dice que

Si B  A ⇒ A†  B †

25 / 46
Operadores lineales en espacios de Hilbert
• Si definimos D(A + B) = D(A) ∩ D(B) y
D(A† + B † ) = D(A† ) ∩ D(B † ) entonces

A† + B † ≺ (A + B)† .

• Si definimos D(AB) = {y ∈ X |y ∈ D(B) tal que By ∈ D(A)} y si

D(AB) es denso en X ,

B † A† ≺ (AB)† .

26 / 46
Operadores lineales en espacios de Hilbert
Definiciones:
Un operador A es llamado simétrico (o Hermítico) si A ≺ A† , es
decir

hy |Axi = hAy |xi; ∀x, y ∈ D(A).

Un operador simétrico es autoadjunto si A = A† .

27 / 46
Operadores lineales en espacios de Hilbert
Ejemplos de operadores no acotados.
Sea X = L2 (R). Consideremos

D = {φ(x) ∈ L2 (R)|xφ(x) ∈ X }.

D es un espacio vectorial, además se puede probar que es denso

en X . Consideremos el operador Q : D 7→ X

Qφ(x) = xφ(x).

Se conoce a esta transformación como el operador de posición.

Este operador es autoadjunto en el dominio señalado.

28 / 46
Operadores lineales en espacios de Hilbert
Ejemplos de operadores no acotados.
Definamos ahora el espacio de Schwartz, S como el conjunto de
funciones f (x) infinitamente diferenciables en todos los puntos de
R y tales que

dm
lim x n f (x) = 0; ∀n, m = 0, 1, 2, . . .
x→±∞ dx m
En este subespacio Q y el operador

d
Pψ(x) = −i~ ψ(x),
dx
son esencialmente autoadjuntos, es decir, son operadores
simétricos y su clausura es autoadjunta.
29 / 46
Operadores lineales en espacios de Hilbert
Proposición: En S

[Q, P] = QP − PQ ≺ i~I.

Definición: Sea A un operador y sea x ∈ D(A) ∪ D(A2 ).

Llamaremos dispersión de A en x al número:
q q
∆x (A) = hx|(A − hx|AxiI)2 xi = hx|A2 xi − (hx|Axi)2 .

30 / 46
Operadores lineales en espacios de Hilbert
Principio de Heisenberg Sea f ∈ S. Entonces:

~
(∆f Q)(∆f P) ≥ .
2

31 / 46
Notación de Dirac
En mecánica cuántica, la interpretación probabilística de la
función de onda ψ(r, t) dice que |ψ(r, t)|2 d 3 r representa la
probabilidad de encontrar al tiempo t la partícula en el volumen
d 3 r al rededor del punto r.

La probabilidad de encontrar a la partícula en algún lugar del

espacio es 1, de este modo
Z
d 3 r |ψ(r, t)|2 = 1.

32 / 46
Notación de Dirac
Un espacio de Hilbert "natural" para trabajar es L2 (R). Sin
embargo es muy grande. Llamaremos F ⊂ L2 (R) al subespacio
al conjunto de funciones suficientemente regulares que son
cuadrado integrable.

33 / 46
Notación de Dirac
"Bases" que no pertenecen a F
Ondas Planas
Las funciones
1
vp (x) = √ eipx/~
2π~
no son de cuadrado integrable, por lo tanto no pertenecen a F y
no pueden ser un conjunto ortogonal completo o base
estrictamente, sin embargo cumple propiedades similares a las de
las bases:
Z ∞
ψ(x) = dpψ(p)vp (x)
−∞
ψ(p) = hvp |ψi.
34 / 46
Notación de Dirac
El "producto interno" entre dos elemento de la base está dado por
Z
1 dx i x (p0 −p)
hvp |vp0 i = e~ = δ(p − p0 ).
2π ~

35 / 46
Notación de Dirac
Funciones Delta
De la misma manera que en el caso de ondas planas
introducimos el conjunto {ξx0 (x)} etiquetadas por el índice
continuo x0 y definidas

ξx0 (x) = δ(x − x0 )

Este conjunto representa una familia de funciones δ centradas en

los puntos x0 . Estas funciones no son de cuadrado integrable sin
embargo podemos ver que
Z
ψ(x) = dx0 ψ(x0 )ξx0 (x)
Z
ψ(x0 ) = hξx0 |ψi = dxξx0 (x)ψ(x).

36 / 46
Notación de Dirac
Y la relación de ortonormalidad, es decir el producto interno entre
dos elementos de la "base"
Z
hξx0 |ξx00 i = dxδ(x − x0 )δ(x − x00 ) = δ(x0 − x00 ).

37 / 46
Notación de Dirac
Notación de Dirac
Puesto que la física no depende de la base que utilicemos, y
como ya vimos que los espacios de Hilbert son isométricos entre
ellos, podemos elegir trabajar en un espacio "abstracto" y cuando
busquemos una propiedad en particular de nuestro sistema
aterrizar al espacio de Hilbert que nos sea más cómodo. Así, en
correspondencia uno a uno con F introducimos el subespacio de
"kets" E.

ψ(x) ∈ F ⇐⇒ |ψi ∈ E.

38 / 46
Notación de Dirac
El producto interno entre dos kets se escribe

h|φi||ψii = hφ|ψi.

El espacio dual de E es el espacio vectorial de funcionales

lineales que actúan sobre los kets, a cada vector de este espacio
se le conoce como "bra", la etiqueta de los bra está dada por el
teorema de representación de Riez,

τ (|ψi) = hτ |ψi.

39 / 46
Notación de Dirac
La notación de Dirac ofrece una manera simple de representar los
proyectores. Sea |ψi un ket normalizado. Ahora el operador

Pψ = |ψihψ|

es un proyector. El significado geométrico es que proyecta todos

los kets al subespacio generado por |ψi.

El proyector para un subespacio de dimensión n se construye

tomando n kets normalizados ortogonales entre sí
{φ1 , φ2 , . . . , φn }. De esta manera
n
X
Pn = |φj ihφj |.
j=1

40 / 46
Notación de Dirac
Más sobre bases
Un conjunto de kets, discreto {|ui i} o continuo {|wα i}, satisface la
relación de ortonormalización:

hui |uj i = δij , hwα |wα0 i = δ(α − α0 ).

Un vector cualquiera se escribe en la base {|ui i} como
 
X X X
|ψi = cj |uj i = huj |ψi|uj i =  |uj ihuj | |ψi
j i j

El operador entre paréntesis debe ser la identidad para que se

cumpla la igualdad.

41 / 46
Notación de Dirac
Haciendo lo mismo con la base continua {|wα i}:
Z Z
|ψi = dαc(α)|wα i = dαhwα |ψi|wα i
Z Z 
= dα|wα ihwα |ψi = dα|wα ihwα | |ψi.

Resumiendo, las bases deben cumplir la relación de cerradura

que es
X Z
|uj ihuj |= I, dα |wα ihwα |= I
j

42 / 46
Notación de Dirac
Representación en las bases {|xi} y {|pi}
Tomemos los vectores delta de Dirac y de ondas planas previos.
ξx0 (x) ⇐⇒ |x0 i
vp0 (x) ⇐⇒ |p0 i
Ahora, utilizando la relación de cerradura escribimos
Z Z
|ψi = dx|x0 ihx0 |ψi = dx|p0 ihp0 |ψi.

Los coeficientes hx0 |ψi y hp0 |ψi son calculados directamente

Z
hx0 |ψi = dxξx0 (x)ψ(x) = ψ(x0 )
Z
hp0 |ψi = dxvp0 (x)ψ(x) = ψ(p0 ),
43 / 46
Notación de Dirac
donde ψ(p) es la transformada de Fourier de ψ(r ).

El valor ψ(x0 ) de la función de onda en el punto x0 es el

coeficiente que acompaña al vector |x0 i de la descomposición de
|ψi en la base {|xi}.

La función de onda en el espacio de momentos ψ(p) puede

interpretarse de manera análoga.

44 / 46
Bibliografía recomendada:
• Arch W. Naylor, George R. Sell, Linear Operator Theory in
Engineering and Science, New York, Holt, Rinehart and
Winston 1971.
• Claude Cohen-Tannoudji, Bernard Diu, Franck Laloe, Quantum
Mechanics, New York, John Wiley and Sons, 1977.

45 / 46
Gracias

46 / 46