TEMA VI: ESPACIOS DE HILBERT

1.

Espacios con producto escalar

Definici
on: Sea L un espacio vectorial sobre el cuerpo K (R o C). Por un producto escalar (o interno)
sobre L entedemos una aplicacion < .|. >: L L K denotada por (u, v) < u|v > que cumple:
u1 , u2 , u, w L, K
1. < u|u > 0, y (< u|u >= 0 u = 0)
2. < u|u1 + u2 >=< u|u1 > + < u|u2 >
3. < u|w >= < u|w >
4. < u|w >= < w|u >
De estas propiedades se deducen inmediatamente las siguientes:
< 1 u1 + 2 u2 |w >= 1 < u1 |w > +2 < u2 |w >
< u|w >= 0, w L u = 0
< u1 |w >=< u2 |w >, w L u1 = u2
Nota: Las conjugaciones tienen sentido cuando K = C, en caso de que K = R sobran.
Definici
on: Al par (L, < .|. >) se le llama espacio con producto escalar o pre-Hilbert.
Observaci
on: Todo subespacio vectorial M de un espacio pre-Hilbert (L, < .|. >) es a su vez un
espacio pre-Hilbert.
Desde un punto de vista geometrico, la gran ventaja de la estructura de producto escalar radica
en la posibilidad que ofrece de introducir generalizaciones naturales del concepto de ortogonalidad o
perpendicularidad de la geometra eucldea clasica.
Definici
on: Dos vectores v, w (L, < .|. >) se dicen ortogonales si < v|w >= 0. Y escribimos
simbolicamente v w. Asimismo, un conjunto de vectores S = {v }A (L, < .|. >) se dice
1

ortogonal si < v |v >= 0, 6= . Si ademas < v |v >= 1, , se dice que el conjunto S es

ortonormal. Finalmente, dados dos conjuntos S1 y S2 de vectores en (L, < .|. >), diremos que S1 S2
si < v1 |v2 >= 0, v1 S1 , v2 S2 .
Proposici
on: Todo conjunto ortogonal de vectores no nulos es linealmente independiente.
Demostraci
on: Sea S = {v }A conjunto ortogonal de vectores.
X

v = 0

al mutiplicar por alg

un v S obtenemos < v |v >= 0 lo que implica que = 0.

2.

Propiedades geom
etricas elementales
1

A lo largo de esta seccion denotaremos ||v|| =< v|v > 2 a la norma de un vector v (L, < .|. >).
Teorema (de pitagoras generalizado): Si {vj }n1 es ortonormal en (L, < .|. >), se tiene v L:
||v||2 =

n
X

| < vj |v > |2 + ||v

n
X

< vj |v > vj ||2

Demostraci
on: Se basa en el hecho de comprobar que el conjunto {v1 , v2 , ..., vn , d}, con
d=v

n
X

< vj |v > vj , es ortogonal. Para luego calcular < v|v > escribiendo v = d + (v d).

Corolario:
1. v1 v2 ||v1 + v2 ||2 = ||v1 ||2 + ||v2 ||2
2. Si {vj }n1 es ortonormal en (L, < .|. >), se tiene v L:
||v||2

n
X

| < vj |v > |2

(desigualdad f inita de Bessel)

3. v, w L:
| < v|w > | ||v||.||w||

(desigualdad de Schawarz Cauchy Buniakowskii)

Ademas | < v|w > | = ||v||.||w|| {v, w}no linealmente independiente.

Demostraci
on:
1. ||v1 + v2 ||2 =< v1 + v2 |v1 + v2 >=< v1 |v1 > + < v2 |v2 >= ||v1 ||2 + ||v2 ||2

2. Dado que ||v||2 =

n
X

| < vj |v > |2 + ||v

n
X

< vj |v > vj ||2 y que ||v

desigualdad es obvia.

n
X

< vj |v > vj ||2 0, la

1
X
v
v
} es ortonormal, luego ||w||2
|<
|w > |2 por lo tanto
||v||
||v||
1
| < v|w > |2 ||w||2 .||v||2 . Para la igualdad se necesita que si v 6= 0, se verifique

3. Obvio para v = 0, si v 6= 0, {

||w <

v
v
|w >
|| = 0 w = .v,
||v||
||v||

siendo =

< v|w >

||v||2

Definici
on: Dado (L, < .|. >) pre-Hilbert, podemos definir una distancia entre sus elementos :
u, v L
1

d(u, v) = ||u v|| =< u v|u v > 2

Propiedades:

1. Las siguientes funciones definidas sobre un pre-Hilbert son continuas

L K
v ; ||v||

L K
v ; < w|v > , w L f ijo

K L L
(, v) ; v

L L L
(u, v) ; u + v

siendo K = R o C, el cuerpo soporte.

2. La funcion L L K definida por (u, v) ; < u|v > es secuencialmente continua. Es decir,
dadas las sucesiones {vn } v y {un } u, entonces la sucesion {< un |vn >} converge a
< u|v >.
Ejemplo: El conjunto de C([a, b]) de las funciones continuas sobre el intervalo cerrado y acotado
[a, b] R, con el producto escalar < f |g >

3.

Z b
a

f (x)g(x)dx es un espacio pre-Hilbert.

Espacios de Hilbert

Definici
on: Un espacio vectorial H con producto escalar se dice de Hilbert si es completo, es decir,
que toda sucesion de Cauchy es convergente.
{vn }nN H tal que ||vn vm || 0 = v H tal que ||vn v|| 0
3

Ejemplos: Rn , Cn , L2 [a, b].

Z b
a

El conjunto L2 [a, b] esta constituido por las funciones sobre el intervalo [a, b] tales que
2

1
2

|f (x)| dx| < +. Se le dota del producto escalar definido por < f |g >=

Z b
a

f (x)g(x)dx.

Definici
on (Complementos ortogonales): Sea M H, H espacio de Hilbert y M no vacio.
Denotaremos M {v H / v M } y dieremos que M es el complemento ortogonal de M en H.
Propiedades:
1. M H, con M no vacio, M es un subespacio vectorial cerrado de H ( y por lo tanto es
tambien Hilbert).
2. M M {0}
3. M (M ) = M
Teorema: Si M es un subespacio lineal cerrado de un espacio de Hilbert H, entonces
v H : v = v1 + v2 , v1 M y v2 M
de forma u
nica. A v1 y v2 se les dice proyecciones ortogonales de v sobre M y M respectivamente.
Teorema (Gram-Schmidt): Dado un espacio de Hilbert H, entonces todo subconjunto
{vj }jJ H, linealmente independiente con J finito o infinito numerable, genera un sistema ortonormal {uj }jJ H
Demostraci
on:
w1 = v1

u1 =

w1
||w1 ||

w2 = v2 < u1 |v2 > u1

u2 =

w2
||w2 ||

.
.
.
wm = vm
.
.

.
.
.
m1
X

< uk |vm > uk

k=1

um =

wm
||wm ||

.
.

Definici
on (Base ortonormal): Un conjunto ortonormal S = {v }A de vectores en un espacio
de Hilbert H, se dice que constituye una base ortonormal de H si es maximal, es decir, si no es
subconjunto propio de ning
un otro conjunto ortonormal de H.
4

Proposici
on: Todo espacio de Hilbert 6= {0} posee alguna base ortonormal.
Teorema: Sea S = {v }A un conjunto ortonormal en un espacio de Hilbert H 6= {0}. Las siguientes
proposiciones son equivalentes entre si:
1. S es base ortonormal de H.
2. lin(S) = H (completo lineal).
3. S = {0}.
4. v H : v =

< v |v > v , (Desarrollo en serie de Fourier).

5. v, w H : < v|w >=

< v|v >< v |w >, (Identidad de Parseval).

6. v H : ||v||2 =

| < v |v > |2 , (Identidad de Parseval).

Un espacio de Hilbert H 6= 0 es separable si y solo si admite una base ortonormal numerable

(finita o infinita numerable).
Proposici
on: Todas las bases ortonormalrs de un espacio de Hilbert H tienen el mismo cardinal.
Definici
on: A este cardinal com
un a todas las bases se le llama dimension hilbertiana de H.
Criterio de convergencia
Sea {un }nN un conjunto ortonormal de vectores de H, espacio de Hilbert.

j uj converge en H

4.

|j |2 converge en R

Algunas bases ortonormales importantes de funciones

Base de Legendre
H = L2 [a, b]. Consideremos la sucesion {xn }
0 H. Es un conjunto linealmente independiente, pero no es ortonormal. El proceso de ortonormalizacion de Gram-Schmidt aplicado a este caso
proporciona un conjunto ortonormal de polinomios de grados n = 0, 1, 2, .... En el caso particular de
[a, b] = [1, 1], los polinomios as obtenidos son, salvo factores constantes, los llamados polinomios de
Legendre:
Pn (x) =

1 dn 2
(x 1)n
n!2n dxn
5

integrando por partes se comprueba sin dificultad que el producto

escalar < Pm |Pn >= 0, para n 6= m,
r
2
1
2
y que ||Pn || =
. Todo esto nos lleva a afirmar que { n + Pn }
es base ortonormal de
2n + 1
2
n=0,1,2,..
L2 [a, b].
Base de Hermite
H = L2 (R). Ahora xn no pertenece a H, pero sin embargo puede considerarse un nuevo conjunto
de funciones {xn e

x2
2

}n=0,1,2,... H, que es linealmente independiente. La sucesion ortonormal a que

conduce el proceso de Gram-Schmidt, salvo un factor de modulo 1,

n (x) =

2
1
x2
e
Hn (x)
1
(n!2n ) 2

siendo {Hn (x)}

0 los llamados polinomios de Hermite
2

Hn (x) = (1)n ex

dn x2
e
dxn

las n (x) suelen llamarse funciones de Hermite y constituyen una base ortonormal de L2 (R).
Base trigonom
etrica de Fourier
1
constituye una base ortonormal.
H = L2 [0, 2]. El conjunto de funciones { einx }
2
n=0,1,2,...
Base de Laguerre
H = L2 (R+ ), R+ = [0, +). La sucesion {e

x2
2

xn }n=0,1,2,... H es linealmente independiente y

por Gram-Schimdt conduce a la familia ortonormal {n (x)}n=0,1,2,... , donde salvo constante de modulo
1:
n (x) = e

x2
2

Ln (x)

siendo Ln los polinomios de Laguerre

Ln (x) =

1 x dn x n
e
(e x )
n! dxn