Captulo I: Espacios de Hilbert.

25 de agosto de 2011
1. Propiedades elementales y ejemplos.
A traves de todo el curso, F denotara a R o a C.
Recordar que un conjunto no vaco E es un espacio vectorial sobre F si verica lo siguiente:
1. E esta dotado de una ley de composicion interna + : EE E de manera que (E, +)
es un grupo abeliano,
2. E esta equipado con un producto escalar, i.e, con una funcion
: F E E
(, x) x
tal que para todo , F y x, y E
(i) (x) = ()x,
(ii) 1x = x,
(iii) (x + y) = x + y,
(iv) (x + y) = x + y.
De (iii) o (iv) se deduce que para todo x E se tiene que 0x = 0 (a la izquierda nos referimos
a 0 F y a la derecha a 0 E). Luego, de (i) se obtiene que 0 = 0, para todo F (en
este caso usamos 0 E).
Observacion 1 De ahora en adelante, todos los espacios vectoriales que consideremos seran
espacios vectoriales sobre el cuerpo F (a menos que se explicite otra cosa).
Denicion 1 Sea E un espacio vectorial sobre F. Un producto interno (p.i.) en E, es
una funcion , ) : E E F tal que para todo x, y E y , F verica lo siguiente:
1. x, x) = 0 si y solo si x = 0,
2. x, x) 0,
3. x, y) = y, x),
4. x + y, z) = x, z) + y, z),
Ejercicio 1 Sea , ) un producto interno sobre E. Vericar lo siguiente:
1
1. x, y + z) = x, y) + x, z), para todo x, y, z E y , F.
2. x, 0) = 0, x) = 0, para todo x E.
Proposicion 1 (Desigualdad de Cauchy-Schwartz) Sea E un espacio vectorial sobre F con
producto interno , ). Entonces
[x, y)[
2
x, x)y, y), para todo x, y E.
Demostracion: Si x = 0 o y = 0, entonces la desigualdad es cierta. De ahora en adelante
supondremos que x ,= 0 e y ,= 0.
Sea F. Por una de las propiedades de producto semi-interno, tenemos que
0 x y, x y)
= x, x) x, y) y, x) +[[
2
y, y).
Sea b 0 y [0, 2] tal que y, x) = be
i
. Tomando t R y = te
i
, al reemplazar en la
ecuacion anterior obtenemos
0 x, x) 2tb + t
2
y, y)
= c 2bt + at
2
= q(t),
donde a = x, x) y c = y, y). Como q(t) 0 para todo t R, y ademas c > 0, la ecuacion
q(t) = 0 no tiene solucion real. Esto implica que 4b
2
4ac < 0, de donde se deduce la
desigualdad deseada.
Ejercicio 2 Probar que en el enunciado de la desigualdad de Cauchy-Schwartz, la igualdad
se alcanza, si y solo si existen y en F, donde al menos uno de ellos es no nulo, tales que
x + y, x + y) = 0.
Una consecuencia de la desigualdad de Cauchy-Schwartz es que todo producto interno dene
una norma.
Corolario 1 Sea , ) un producto interno en E, y sea |x| = x, x)
1/2
, para cada x E.
Entonces
1. |x| = 0 implica que x = 0,
2. |x| = [[|x|, para todo x E y T,
3. |x + y| |x| +|y|, para todo x, y E.
Demostracion: Los primeros dos puntos son directos de la denicion de producto interno.
Para mostrar el tercer punto, tenemos que
|x + y|
2
= x + y, x + y)
= |x|
2
+x, y) +x, y) +|y|
2
= |x|
2
+ 2Re(x, y)) +|y|
2
.
2
Ya que Re(x, y)) [x, y)[, aplicando la desigualdad de Cauchy-Schwartz obtenemos que
Re(x, y)) x, x)
1/2
y, y)
1/2
= |x||y|. Luego,
|x + y|
2
|x|
2
+ 2|x||y| +|y|
2
= (|x| +|y|)
2
.

La norma | | : E R
+
dada por |x| = x, x)
1/2
, se conoce como norma asociada al
producto interno , ).
Si E es un espacio vectorial sobre F con producto interno , ), entonces E es un espacio
vectorial normado con la norma | | asociada al producto interno. Por lo tanto, con la
metrica inducida por la norma, E es un espacio metrico.
Denicion 2 Sea (E, | |) un espacio vectorial normado. Se dice que (E, | |) o E es
un espacio de Pre-Hilbert, si | | es la norma asociada a un producto interno en E. Un
espacio de Hilbert es un espacio de Pre-Hilbert completo con respecto a la metrica inducida
por la norma.
Observacion 2 Un espacio vectorial normado completo, cuya norma no necesariamente
proviene de un producto interno, se conoce como Espacio de Banach.
El proximo resultado dice que la completacion de un espacio de Pre-Hilbert es un espacio de
Hilbert.
Proposicion 2 Sea E un espacio de Pre-Hilbert con una norma asociada al producto interno
, )
E
. Si H es la completacion de E con respecto a la metrica inducida por la norma, entonces
existe un producto interno , )
H
en H tal que x, y)
E
= x, y)
H
para todo x, y E, y tal que
la metrica de H es inducida por la norma asociada a , )
H
.
Ejemplo 1 Sea d un entero positivo. El conjunto F
d
es un espacio vectorial sobre F con la
suma y multiplicacion por escalar usuales. Para cada x = (x
1
, , x
d
) e y = (y
1
, , y
d
) en
F
d
se dene
x, y) =
d

i=1
x
i
y
i
.
, ) es un producto interno en F
d
. Ademas, F
d
con la norma asociada a , ) es un espacio
de Hilbert.
Ejemplo 2 Sea (X, T , ) un espacio de medida. El conjunto
L
2
(X, T , ) =

f : X F medible :

[f[
2
d <

,
es un espacio vectorial sobre F, con producto interno
f, g) =

fgd.
La desigualdad de Holder asegura que la funcion , ) esta bien denida. La norma asociada
a este porducto interno se denota | |
2
. Con esta norma, el espacio L
2
(X, T , ) es un Hilbert.
3
Ejemplo 3 Sean I un conjunto y
l
2
(I) = x : I F :

iI
[x(i)[
2
< .
Para x e y en l
2
(I) se dene
x, y) =

iI
x(i)y(i).
La funcion , ) : l
2
(I) l
2
(I) F es un producto interno, y l
2
(I) es un espacio de Hilbert
con la norma asociada a , ).
Si I = N, entonces l
2
(I) se anota simplemente l
2
.
Mas adelante se probara que todo espacio de Hilbert es isomorfo a uno del tipo l
2
(I).
Ejercicio 3 Probar las armaciones hechas en cada uno de los ejemplos.
4