Tema 10

Espacios de Hilbert
Vamos a desarrollar en lo que sigue los resultados bsicos acerca de los espacios de Hilbert,
un tipo muy particular de espacios de Banach con propiedades especiales que estn muy lejos
de vericarse en espacios de Banach generales. El tratamiento de este tema es anti-histrico,
ya que los espacios de Hilbert eran bien conocidos, y su estudio se poda considerar completo,
mucho antes de que se empezara a trabajar con espacios de Banach en general. A cambio,
las nociones y resultados que hemos venido manejando anteriormente permiten desarrollar la
teora de los espacios de Hilbert con bastante comodidad y rapidez, evitando las repeticiones
que inevitablemente se hubieran producido al tratar determinadas cuestiones en un contexto
particular, para despus generalizarlas.
10.1. Producto Escalar y Norma
Como motivacin para los conceptos que vamos a introducir, recordemos la denicin del
producto escalar (x[y) de dos vectores x, y K
N
(x[y) =
N

k=1
x(k)y(k)
que est relacionado con la norma eucldea por la igualdad
|x|
2
=
N

k=1
[x(k)[
2
= (x[x) (x K
N
)
De manera ms general, un producto escalar en un espacio vectorial X es una aplicacin
(x, y) (x[y), de X X en K, que verica las cuatro condiciones siguientes:
(i) Es lineal en la primera variable:
(u+v[ y) = (u[y) +(v[y) ( K, u, v, y X)
84
10. Espacios de Hilbert 85
(ii) Es conjugado-lineal en la segunda variable:
(x[ u+v) = (x[u) +(x[v) ( K, x, u, v X)
Las dos condiciones anteriores se resumen diciendo que ([) es una forma sexquilineal
en X. Obsrvese que, en el caso real, decir sexquilineal es tanto como decir bilineal,
o lineal en cada variable. Vamos con la tercera condicin:
(iii) Es hermtica:
(y[x) = (x[y) (x, y X)
En el caso real, decir hermtica es tanto como decir simtrica. En el caso complejo,
esta condicin implica que la aplicacin x (x[x) toma valores en R. En cualquier caso,
la funcin con valores reales que se obtiene al igualar las dos variables en una forma
sexquilineal hermtica, recibe el nombre de forma cuadrtica. La siguiente condicin
exige que nuestra forma cuadrtica sea denida positiva:
(iv) Verica que:
x X , x ,= 0 (x[x) > 0
En resumen, un producto escalar es una forma sexquilineal hermtica que da lugar a una
forma cuadrtica denida positiva. Ntese que hay redundancia en la denicin anterior: la
condicin (ii) es clara consecuencia de (i) y (iii). Haber hecho una denicin ms extensa nos ha
permitido introducir cierta nomenclatura, poner nombre a las aplicaciones que verican algunas
de las propiedades de un producto escalar, aunque no todas.
Llamamos espacio pre-hilbertiano a un espacio vectorial X dotado de un producto escalar
( [ ) : X X K. Veremos que entonces X se convierte en un espacio normado, sin ms que
denir:
|x| = (x[x)
1/2
(x X)
Dos de las propiedades que debe cumplir una norma se comprueban inmediatamente. En efecto,
para x X y K se tiene:
|x|
2
= (x[ x) = (x[x) =[[
2
|x|
2
luego |x| =[[ |x|. Tambin es claro que |x| = 0 implica x = 0. La desigualdad triangular
es consecuencia de la siguiente, que tiene inters en s misma:
Desigualdad de Cauchy-Schwartz. Si X es un espacio pre-hilbertiano, se tiene:
[(x[y)[ |x||y|
para cualesquiera x, y X. Slo se verica la igualdad cuando x e y son linealmente depen-
dientes, es decir, y = 0 o x Ky.
Demostracin. Fijamos y X y suponemos sin perder generalidad que y ,= 0. Para cua-
lesquiera z X y t R, usando las propiedades del producto escalar, tenemos:
0 (ty z[ty z) =t
2
|y|
2
t[(z[y) +(y[z)] +|z|
2
= at
2
+ bt + c (1)
10. Espacios de Hilbert 86
donde a = |y|
2
, b = 2Re(z[y) y c = |z|
2
son nmeros reales, con a > 0. Por tanto, el
trinomio de segundo grado at
2
+bt +c no toma valores negativos y deducimos que la ecuacin
at
2
+bt +c = 0 no puede tener dos soluciones reales y distintas, lo que implica b
2
4ac 0.
El mismo resultado se obtiene tomando directamente t =b/2a. Esto prueba que
Re(z[y) |z||y| (2)
para todo z X. Observemos que si se da la igualdad en (2) la ecuacin at
2
+bt +c = 0 tiene
una solucin t R, lo que en vista de (1) implica que z =ty.
Fijamos ahora x X y escribimos [(x[y)[ = (x[y) = (x[y) con K y [[ = 1. Puesto
que (x[y) es obviamente un nmero real, tomando z = x en (2) tenemos:
[(x[y)[ = (z[y) = Re(z[y) |z||y| =|x||y| (3)
que era la desigualdad buscada.
Si se da la igualdad en (3) para un x X, tenemos claramente la igualdad en (2) para z =x,
pero esto implicaba que z = ty para algn t R, de donde x = ty Ky. Recprocamente, es
claro que la condicin x Ky implica la igualdad en (3).
Desigualdad triangular. Si X es un espacio pre-hilbertiano, se tiene:
|x +y| |x| + |y| x, y X
Se verica la igualdad si, y slo si, y = 0 o x = y con 0.
Demostracin. Usando de nuevo las propiedades del producto escalar y la Desigualdad de
Cauchy-Schwartz se tiene:
|x +y|
2
= (x +y[x +y) =|x|
2
+2Re(x[y) +|y|
2
|x|
2
+2[(x[y)[ +|y|
2
|x|
2
+2|x||y|+|y|
2
= (|x|+|y|)
2
Adems, supuesto y ,=0, el razonamiento anterior nos dice que la igualdad |x+y| =|x|+|y|
implica otras dos igualdades:
Re(x[y) =[(x[y)[ =|x||y|
La segunda es la igualdad en la Desigualdad de Cauchy-Schwartz que implica, como sabemos,
que x = y con K. Pero entonces la primera igualdad nos dice que Re =[[, luego es
real y no negativo. El recproco es evidente.
En resumen, todo espacio pre-hilbertiano X es automticamente un espacio normado, con
la norma asociada a su producto escalar, determinada por la igualdad |x|
2
= (x[x) para todo
x X. Cuando esta norma es completa se dice que X es un espacio de Hilbert. Queda claro
que se trata de un tipo particular de espacios de Banach, justo aquellos en los que la funcin
x |x|
2
es una forma cuadrtica.
Ahora que en todo espacio pre-hilbertiano tenemos una norma, y por tanto las correspon-
dientes distancia y topologa, podemos extraer una importante consecuencia de la Desigualdad
de Cauchy-Schwartz: el producto escalar de cualquier espacio pre-hilbertiano X es continuo
10. Espacios de Hilbert 87
en X X con la topologa producto, es decir, es una funcin juntamente continua en sus dos
variables. En efecto, para cualesquiera sucesiones convergentes x
n
x e y
n
y en X, y
para cualquier n N, tenemos
[(x
n
[y
n
) (x[y)[ [(x
n
x[y
n
)[ +[(x[y
n
) (x[y)[ |x
n
x||y
n
|+|x||y
n
y|
pero |x
n
x| 0, |y
n
y| 0 y |y
n
| |y|, luego (x
n
[y
n
) (x[y).
10.2. Igualdad del Paralelogramo
Para recorrer un camino inverso al que hemos seguido hasta ahora, empezamos observando
que el producto escalar de un espacio pre-hilbertiano X queda determinado por la norma. En
efecto, consideremos las dos igualdades siguientes, ya usadas antes:
|x y|
2
=|x|
2
2Re(x[y) + |y|
2
(x, y X) (4)
Restando ambas igualdades (enseguida caeremos en la tentacin de sumarlas) obtenemos:
|x +y|
2
|x y|
2
= 4Re(x[y) (x, y X) (5)
y en el caso real ya hemos conseguido lo que queramos:
(x[y) =
1
4
(|x +y|
2
|x y|
2
) (x, y X) (6)
En el caso complejo, basta observar que Im(x[y) = Re(x[iy), con lo que aplicando dos veces
la igualdad (5) obtenemos tambin:
(x[y) =
1
4

|x +y|
2
|x y|
2
+i |x +iy|
2
i |x iy|
2

(x, y X) (7)
En Geometra, las igualdades (6) y (7) reciben el nombre de identidades de polarizacin.
Si se piensa un momento, para probarlas slo hemos usado que el producto escalar es una
forma sexquilineal hermtica, as que tales identidades sirven para obtener una tal forma a partir
de la forma cuadrtica asociada, que es lo que en Geometra se entiende por polarizar. Por
tanto, dos formas sexquilineales hermticas son iguales cuando las formas cuadrticas asociadas
coinciden. En el caso real, una forma cuadrtica estar asociada a una, y slo una, forma bilineal
simtrica.
Por lo que aqu nos interesa, las identidades de polarizacin nos informan de que dos espa-
cios pre-hilbertianos que podamos identicar como espacios normados, tambin son idnticos
como espacios pre-hilbertianos. Ms concretamente, si X y Z son espacios pre-hilbertianos y
T : X Z es un isomorsmo isomtrico, las identidades de polarizacin nos dicen que:
(Tx[Ty) = (x[y) (x, y X)
donde estamos usando la misma notacin para los productos escalares de X y Z. As pues, T
conserva el producto escalar, luego identica totalmente los espacios pre-hilbertianos X y Z.
10. Espacios de Hilbert 88
Podemos ahora preguntarnos cundo un espacio normado es un espacio pre-hilbertiano, es
decir, qu normas proceden de un producto escalar o, ms sugestivamente, cundo podemos
armar que el cuadrado de una norma es una forma cuadrtica. Cualquier respuesta a esta
pregunta nos dar una caracterizacin de los espacios de Hilbert entre los espacios de Banach.
Existen respuestas muy diversas, entre las que probaremos la ms clsica, la primera que se
obtuvo, aunque no sea la mejor.
Sumando las igualdades (4), obtenemos que en todo espacio pre-hilbertiano X se tiene:
|x +y|
2
+|x y|
2
= 2|x|
2
+2|y|
2
(x, y X) (8)
Obsrvese que esta igualdad slo involucra el espacio vectorial real generado por los dos vec-
tores que en ella aparecen. En el caso no trivial de que este espacio vectorial tenga dimensin 2,
la igualdad tiene una clara interpretacin geomtrica: en cualquier paralelogramo, la suma de
los cuadrados de las diagonales es igual a la suma de los cuadrados de los lados. Es por esto
que (8) recibe el nombre de igualdad del paralelogramo. Por sorprendente que pueda parecer,
esta identidad caracteriza a los espacios pre-hilbertianos:
Teorema de Jordan-Von Neumann. Si X es un espacio normado, las siguientes arma-
ciones son equivalentes:
(i) X es un espacio pre-hilbertiano, es decir, existe un producto escalar ([) en X tal que
|x|
2
= (x[x) para todo x X.
(ii) La norma de X verica la igualdad del paralelogramo, es decir, se tiene
|x +y|
2
+|x y|
2
= 2|x|
2
+2|y|
2
x, y X
Omitimos la demostracin de este teorema, que es laboriosa, aunque no difcil. Veremos al-
gunas consecuencias del teorema que merecen ser destacadas. En primer lugar, la continuidad de
la norma y las operaciones de un espacio normado X hace evidente que X verica la igualdad
del paralelogramo tan pronto como la verique un subespacio denso de X. Si Y es un subespa-
cio denso de un espacio normado X y sabemos que Y es un espacio pre-hilbertiano, entonces
tambin X es un espacio pre-hilbertiano. Como consecuencia, y esto es lo ms interesante, la
completacin de un espacio pre-hilbertiano es un espacio de Hilbert. Podramos ver sin dicul-
tad la forma de extender por continuidad el producto escalar del espacio a la completacin, pero
no merece la pena hacer ese esfuerzo, la igualdad del paralelogramo se encarga de hacerlo por
nosotros y, si queremos conocer explcitamente el producto escalar en la completacin, siempre
tenemos las identidades de polarizacin.
En segundo lugar, para saber si dos vectores x e y de un espacio normado verican la
igualdad del paralelogramo, basta conocer la norma en el espacio vectorial real que generan
esos dos vectores. Podramos decir que, saber si un espacio de Banach de dimensin arbitraria
es o no un espacio de Hilbert, es una cuestin que podemos dilucidar en R
2
. Dicho con ms
propiedad: un espacio normado X es un espacio pre-hilbertiano si, y slo si, lo son todos
los subespacios bidimensionales de X
R
. Incluso cuando X tiene dimensin 3 sobre R esta
armacin no es nada evidente y tiene una interesante interpretacin geomtrica.
Finalmente podemos fcilmente auscultar los espacios de Banach que conocemos, para
decidir si son o no espacios de Hilbert. Ese es el contenido del prximo apartado.
10. Espacios de Hilbert 89
10.3. Ejemplos de espacios de Hilbert
Espacios de dimensin nita. Para N > 1 y 1 p < , usamos en l
N
p
los dos primeros
vectores bsicos e
1
= (1, 0, . . . , 0) y e
2
= (0, 1, 0, . . . , 0), observamos que |e
1
e
2
|
p
= 2
1/p
y deducimos que slo se verica la igualdad del paralelogramo cuando p = 2. Anlogo ra-
zonamiento muestra que l
N

tampoco verica la igualdad del paralelogramo. Recprocamente,

sabemos que la norma eucldea en K
N
procede de un producto escalar. Por tanto:
Dados N > 1 y 1 p , l
N
p
es un espacio de Hilbert si, y slo si, p = 2.
Merece la pena comentar que para los espacios de Hilbert l
N
2
, al igual que para todos los que
van a aparecer, la Desigualdad de Cauchy-Schwartz no es ms que la desigualdad de Hlder en
el caso particular p = 2. Obviamente este comentario, como muchos de los que vamos a hacer
en lo que sigue, es anti-histrico, la Desigualdad de Cauchy-Schwartz es anterior a la de Hlder.
Espacios de sucesiones. El mismo razonamiento del caso anterior se aplica a los espacios de
sucesiones l
p
con 1 p , usando los dos primeros vectores unidad, con lo que obtenemos:
Para 1 p , el espacio de Banach l
p
es un espacio de Hilbert si, y slo si, p = 2.
De hecho, el razonamiento que usamos en el caso p = demuestra que c
0
no es un espacio
de Hilbert, mucho menos podrn serlo c y l

.
Claramente, el producto escalar de l
2
viene dado por:
(x[y) =

n=1
x(n)y(n) (x, y l
2
)
Tenemos aqu el ejemplo ms importante de espacio de Hilbert de dimensin innita.
Espacios de funciones integrables. Dado un conjunto medible R
N
, con medida de
Lebesgue positiva, siempre se pueden encontrar dos subconjuntos disjuntos de que tengan
medida positiva y nita. Las funciones caractersticas de estos conjuntos estn en L
p
() para
1 p y pueden hacer el papel que los vectores unidad han hecho en razonamientos ante-
riores. Obtenemos lo siguiente:
Para cualquier conjunto medible con medida positiva R
N
y 1 p , el espacio de
Banach L
p
() es un espacio de Hilbert si, y slo si, p = 2.
El producto escalar en L
2
() es fcil de adivinar:
( f [g) =

f (t)g(t)dt ( f , g L
2
())
Finalmente, es fcil comprobar que otros espacios de Banach conocidos no verican la
igualdad del paralelogramo. Por ejemplo, si L es un espacio topolgico localmente compacto
y de Hausdorff, que no se reduzca a un punto, el espacio de Banach C
0
(L) de las funciones
continuas en L que se anulan en el innito, con la norma del mximo, nunca es un espacio de
Hilbert.
10. Espacios de Hilbert 90
10.4. Teorema de la Proyeccin Ortogonal
Los espacios de Hilbert tienen un comportamiento muy especial en relacin con la Teora de
Aproximacin. Todo subconjunto convexo y cerrado, no slo es un conjunto proximinal en el
espacio, sino que incluso cada punto del espacio tiene una nica mejor aproximacin en dicho
subconjunto. Esta importante propiedad geomtrica de los espacios de Hilbert ser la clave para
el desarrollo posterior de la teora.
Lema de Aproximacin ptima. Sea C un subconjunto convexo y cerrado de un espacio
de Hilbert H. Entonces, para cada x X existe un nico punto P
C
(x) C que materializa la
distancia de x a C, esto es, que verica:
|x P
C
(x)| = d(x,C) =nf |x y| : y C
Demostracin. Es una consecuencia bastante fcil de la igualdad del paralelogramo. Fijado
x H, para cualesquiera u, v C podemos escribir:
|uv|
2
= |(ux) (v x)|
2
= 2|ux|
2
+2|v x|
2
|u+v 2x|
2
Puesto que (u+v)/2 C por ser C convexo, tenemos
|u+v 2x|
2
= 4

u+v
2
x

2
4d(x,C)
2
y sustituyendo esta desigualdad en la igualdad anterior obtenemos:
|uv|
2
2|ux|
2
+2|v x|
2
4d(x,C)
2
(x X, u, v C) ()
Esto prueba ya la unicidad del punto de C que pueda materializar la distancia a x, ya que si
u, v C verican que |ux| =|v x| = d(x,C), la desigualdad anterior implica que u = v.
Casi con el mismo argumento, probamos la existencia. Para ello, sea u
n
una sucesin de
puntos de C tal que |u
n
x| d(x,C). Fijado un > 0, existir un n
0
N vericando:
|u
n
x|
2
< d(x,C)
2
+

2
4
(n N, n n
0
)
Pero entonces, para n, m n
0
, tomando u = u
n
y v = u
m
en (), obtenemos:
|u
n
u
m
|
2
< 4

d(x,C)
2
+

2
4

4d(x,C)
2
=
2
lo que demuestra que u
n
es una sucesin de Cauchy. Por ser H completo y C cerrado, dicha
sucesin converge a un punto P
C
(x) C que verica |xP
C
(x)| = lm
n
|x u
n
| = d(x,C). As
pues, P
C
(x) es un punto de C que materializa la distancia a x y la unicidad estaba asegurada
de antemano.
Nos interesa aplicar el resultado anterior al caso particular de un subespacio. Sea pues M un
subespacio cerrado de nuestro espacio de Hilbert H, jemos x H y sea P
M
(x) el nico punto
de M que materializa la distancia a x. Vamos a comprobar que P
M
(x) se caracteriza por vericar
10. Espacios de Hilbert 91
que (xP
M
(x)[y) =0 para todo y M. Con la terminologa que introduciremos enseguida, esta
condicin tiene una interpretacin geomtrica muy clara: x P
M
(x) es ortogonal a M, o dicho
de forma ms sugestiva, P
M
(x) es el pie de la perpendicular a M que pasa por x. Comprobemos
pues esta caracterizacin.
Dado u M, por denicin de P
M
(x) tenemos:
|x P
M
(x)|
2
|x u|
2
=

x P
M
(x)

uP
M
(x)

2
= |x P
M
(x)|
2
2Re

x P
M
(x)

uP
M
(x)

+ |uP
M
(x)|
2
de donde deducimos
2Re

x P
M
(x)

uP
M
(x)

|uP
M
(x)|
2
, u M
Fijados v M y t R
+
, podemos ahora tomar u = P
M
(x) +tv M, obteniendo
2t Re

x P
M
(x)

t
2
|v|
2
, t R
+
, v M
Dividiendo por t ambos miembros de la desigualdad anterior y haciendo t 0 obtenemos
Re

x P
M
(x)

0 v M
Finalmente, jado y M podemos tomar v = y, pero tambin v =y, con lo que obtenemos
Re

x P
M
(x)

= 0 y M
concluyendo nuestro argumento en el caso real. En el caso complejo, para que se anule el pro-
ducto escalar, y no slo su parte real, tomaremos tambin v =iy. En cualquier caso tenemos,
como se quera,

x P
M
(x)

= 0 y M
Recprocamente, si y
0
M verica que (x y
0
[y) = 0 para todo y M, entonces:
|x y|
2
= |(x y
0
) (y y
0
)|
2
=|x y
0
|
2
2Re(x y
0
[y y
0
) + |y y
0
|
2
= |x y
0
|
2
+|y y
0
|
2
|x y
0
|
2
(y M)
lo que demuestra que y
0
materializa la distancia de x a M, es decir, y
0
= P
M
(x). Queda pues
comprobado que, para todo x X, la nica mejor aproximacin P
M
(x) se caracteriza por la
condicin , de la que vamos a sacar mucho partido, tan pronto como preparemos una termi-
nologa adecuada.
Se dice que dos vectores x e y de un espacio pre-hilbertiano X son ortogonales cuando
(x[y) = 0, en cuyo caso escribimos xy. Obsrvese que se verica el Teorema de Pitgoras, es
decir,
xy |x +y|
2
=|x|
2
+|y|
2
e incluso, en el caso real, es cierto el recproco. De hecho, en un espacio pre-hilbertiano real,
para cualesquiera vectores no nulos x e y, la Desigualdad de Cauchy-Schwartz nos dice que
1
(x[y)
|x||y|
1
10. Espacios de Hilbert 92
lo que permite denir el ngulo entre los vectores x e y como el nico [0, ] que verica
cos =
(x[y)
|x||y|
y es claro que = /2 cuando xy. Dado un subconjunto no vaco Y de un espacio pre-
hilbertiano X, podemos considerar el conjunto de los vectores ortogonales a todos los de Y, es
decir, el conjunto:
Y

= x X : xy y Y
De las propiedades del producto escalar se deduce claramente que Y

es un subespacio cerrado
de X, y es evidente que Y Y

.
Pues bien, volvamos a los razonamientos anteriores sobre la mejor aproximacin en un
subespacio. Si M es un subespacio cerrado de un espacio de Hilbert H, sabemos que cada x H
tiene una nica mejor aproximacin P
M
(x) M y tambin que P
M
(x) queda caracterizado por
la condicin , que ahora se expresa simplemente diciendo que x P
M
(x) M

. Tenemos
entonces x = P
M
(x) +x P
M
(x) M+M

, de la arbitrariedad de x deducimos H = M+M

y es claro que esta suma es directa, ya que si x MM

se tendr (x[x) = 0 luego x = 0. Por

tanto H = MM

y vemos enseguida que esta suma es topolgico-directa. En efecto, P

M
ha
resultado ser la proyeccin lineal en H que verica P
M
(H) = M y ker P
M
= M

. Se dice que
P
M
es la proyeccin ortogonal de H sobre M. Es claro que P
M
es continua, pues para cada
x H, usando que (x P
M
(x))P
M
(x) tenemos:
|x|
2
= |P
M
(x)|
2
+ |x P
M
(x)|
2
luego |P
M
(x)| |x| para todo x H y P
M
es continua con |P
M
| 1. De hecho, es claro que
|P
M
| = 1 a menos que M = 0, pero la igualdad anterior encierra mucha ms informacin,
ya que nos permite recuperar la norma de H, y no slo su topologa, a partir de las normas de
M y M

. As pues, tenemos una perfecta descomposicin del espacio H como suma directa
de los subespacios M y M

. Obsrvese tambin que la situacin es simtrica, se comprueba

fcilmente que M

= M as como que, para cada x H, xP

M
(x) es la mejor aproximacin
de x en M

, simblicamente, xP
M
(x) =P
M
(x) o P
M
=Id
H
P
M
. Enunciamos con detalle
toda la informacin obtenida:
Teorema de la Proyeccin Ortogonal. Sea H un espacio de Hilbert y M un subespacio
cerrado de H. Entonces:
(i) H se descompone en la forma: H = M M

.
(ii) La proyeccin lineal de H sobre M tal que ker P
M
= M

es la proyeccin ortogonal P
M
de H sobre M, que se caracteriza por el hecho de que, para cada x H, P
M
(x) es el
nico punto de M que materializa la distancia de x a M.
(iii) Adems, P
M
verica que |x|
2
= |P
M
(x)|
2
+ |x P
M
(x)|
2
para todo x H. En par-
ticular P
M
es continua, luego H es suma topolgico-directa de M con M

, y |P
M
| = 1
a menos que M =0.
(iv) Finalmente, se tiene tambin M

= M y P
M
= Id
H
P
M
.
Hay una informacin en el teorema anterior que merece destacarse. Recordemos que, en un
espacio de Banach, un subespacio cerrado est complementado si, y slo si, admite un comple-
mento algebraico cerrado, cosa que no siempre ocurre. Sin embargo, en espacios de Hilbert el
teorema anterior nos dice que siempre existe ese complemento topolgico:
10. Espacios de Hilbert 93
Corolario. En un espacio de Hilbert, todo subespacio cerrado est complementado.
Como otra consecuencia importante del Teorema de la Proyeccin Ortogonal, vamos ahora
a describir perfectamente el dual de un espacio de Hilbert, concluyendo que se puede identicar
con el propio espacio. Si H es un espacio de Hilbert, cada vector y H da lugar a un funcional
lineal y denido en H por
y(x) = (x[y) (x H)
En el caso complejo, ntese que es importante situar el vector y en la segunda variable para
aprovechar la linealidad del producto escalar en la primera. La desigualdad de Cauchy-Schwartz
nos dice que y H

con | y| |y|, pero la desigualdad contraria es inmediata, basta ver que

|y|
2
= y(y) | y||y|. Por tanto, tenemos una aplicacin y y de H en H

que es conjugado-
lineal (el precio que pagamos por haber tenido que situar el vector y en la segunda variable) e
isomtrica. La clave est en que esta aplicacin tambin es sobreyectiva y se convierte en una
identicacin de H con su dual H

:
Corolario (Teorema de Riesz-Frchet). Si H es un espacio de Hilbert y f es un funcional
lineal continuo en H, existe un vector y H tal que f (x) = (x[y) para todo x H. Por tanto,
escribiendo:
y(x) = (x[y) (x, y H)
la aplicacin y y es una biyeccin conjugado-lineal isomtrica de H sobre su dual H

.
En efecto, dado f H

, podemos aplicar el Teorema de la Proyeccin Ortogonal a ker f ,

que es un subespacio cerrado de H. Suponiendo, sin perder generalidad, que f ,= 0, deber
existir u (ker f )

con u ,= 0 y, puesto que f (u) ,= 0, podemos conseguir mediante una obvia

normalizacin que f (u) = 1. Entonces, para cualquier x X, usando que x f (x)u ker f ,
obtenemos
0 =

x f (x)u

=

x

f (x)|u|
2
Tomando entonces y = u|u|
2
tenemos
f (x) =
1
|u|
2

=

x

y, en vista de la arbitrariedad de x X, hemos probado que f = y, como se quera.

As pues, todo espacio de Hilbert real H es isomtricamente isomorfo a su espacio dual,
podemos escribir H H

. En el caso complejo, la identicacin conseguida no es lineal sino

conjugado-lineal. Se puede conseguir tambin en caso complejo un isomorsmo isomtrico y
escribir H H

, pero la identicacin dada por el corolario anterior es cannica, est denida

directamente a partir del producto escalar sin usar ningn tipo de sistema de referencia, mientras
que para conseguir un isomorsmo isomtrico s es necesario jar un tal sistema.
A partir del corolario anterior es fcil probar una interesante consecuencia: todo espacio de
Hilbert es un espacio de Banach reexivo.