Espacios de Hilbert

I SABEL M ARRERO
Departamento de Anlisis Matemtico
Universidad de La Laguna
imarrero@ull.es

ndice
1. Introduccin

2. Producto interior

2.1. Espacios con producto interior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2. Espacios de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3. Ortonormalidad

11

3.1. Sumas directas y complementos ortogonales . . . . . . . . . . . . . . . . . . . . . . . . . . .

11

3.2. Conjuntos ortonormales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

17

3.3. Bases ortonormales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

20

3.4. Isomorfismos de espacios de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

22

4. Series trigonomtricas

23

5. Polinomios ortogonales

25

5.1. Polinomios de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

26

5.2. Polinomios de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

26

5.3. Polinomios de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

27

T EORA DE O PERADORES

OCW-ULL 2011/12

E SPACIOS DE H ILBERT

1.

1/27

Introduccin
Nos ocupamos en este tema de dar una breve introduccin a la teora de espacios de Hilbert. Un espacio

de Hilbert es un espacio vectorial dotado de un producto interior (lo que permite medir distancias) que como
espacio mtrico es completo.
Los espacios de Hilbert constituyen la generalizacin ms inmediata a espacios de dimensin infinita de los
espacios eucldeos finito-dimensionales. De hecho, la intuicin geomtrica desempea un papel importante en
muchos aspectos de su teora: en ellos se puede hablar de ortogonalidad, y sus elementos estn unvocamente
determinados por sus coordenadas respecto a una base ortonormal, anlogamente a lo que ocurre con las
coordenadas cartesianas en el plano o en el espacio.
Los espacios de Hilbert surgen de modo natural y frecuente en matemticas, fsica e ingeniera; son herramientas indispensables en la teora de ecuaciones en derivadas parciales, mecnica cuntica y procesamiento
de seales.

2.

Producto interior

2.1.

Espacios con producto interior

Definicin 2.1 Un espacio prehilbertiano, espacio pre-Hilbert, espacio con producto interior o espacio con
producto escalar es un espacio vectorial X sobre el cuerpo K (donde K denota R C) en el que est definida
una aplicacin h, i : X X K, llamada producto interior o producto escalar, satisfaciendo los siguientes
axiomas:
(P1) hx, xi 0; hx, xi = 0 si, y slo si, x = 0 (x X);
(P2) hy, xi = hx, yi (x, y X);
(P3) h x, yi = hx, yi ( K, x, y X);
(P4) hx + y, zi = hx, zi + hy, zi (x, y, z X).
Como consecuencias inmediatas de esta definicin, tenemos que:
(i) h0, xi = hx, 0i = 0 (x X);
(ii) hx, yi = hx, yi (x, y X);
(iii) hx, y + zi = hx, yi + hx, zi (x, y, z X).
T EORA DE O PERADORES

OCW-ULL 2011/12

2/27

I. M ARRERO

Ejemplo 2.2

(i) En el espacio vectorial real o complejo n-dimensional

Kn = {x = (1 , . . . , n ) : i K (1 i n)} ,

donde las operaciones algebraicas (suma y producto por escalares) estn definidas componente a componente, se obtiene un producto interior poniendo
n

hx, yi = i i

(x = (1 , . . . , n ), y = (1 , . . . , n ) Kn ).

i=1

(ii) En el espacio vectorial `2 de sucesiones de cuadrado absolutamente sumable,

(
2

` =

= {x(n)}
n=1

: x(n) K (n N),

|x(n)|

< ,

n=1

donde las operaciones algebraicas estn definidas trmino a trmino, se obtiene un producto interior
poniendo

hx, yi =

x(n)y(n)

2
(x = {x(n)}
n=1 , y = {y(n)}n=1 ` ).

n=1

(iii) En el espacio vectorial L2 [a, b] de funciones medibles Lebesgue en el intervalo real [a, b] con cuadrado
integrable,

Z b


2
L [a, b] = x : [a, b] K  x medible Lebesgue,
|x(t)| dt < ,
2

donde las operaciones algebraicas estn definidas punto a punto, se obtiene un producto interior poniendo
hx, yi =

Z b

x(t)y(t) dt

(x, y L2 [a, b]).

Todo espacio con producto interior (X, h, i) es un espacio normado si se define

kxk = hx, xi1/2

(x X).

(1)

En efecto, recordemos que (1) es una norma en X si satisface los siguientes axiomas:
(N1) kxk 0; kxk = 0 si, y slo si, x = 0 (x X);
(N2) k xk = | |kxk ( K, x X);
(N3) (desigualdad triangular) kx + yk kxk + kyk (x, y X).
OCW-ULL 2011/12

T EORA DE O PERADORES

E SPACIOS DE H ILBERT

3/27

Se comprueba inmediatamente que (1) verifica (N1) y (N2). El siguiente resultado permitir establecer la
desigualdad triangular (N3).
Proposicin 2.3 (Desigualdad de Cauchy-Schwarz) Sea (X, h, i) un espacio con producto interior. Se verifica:
|hx, yi| kxkkyk

(x, y X).

D EMOSTRACIN . Sean x, y X. Si y = 0, la desigualdad es trivial; supongamos, por tanto, y 6= 0. Para K,

se tiene:

0 hx y, x yi = kxk2 hx, yi hy, xi + | |2 kyk2 = kxk2 2( hx, yi) + | |2 kyk2

(aqu, y en adelante, representar la parte real del nmero complejo ). Particularizando = kyk2 hx, yi
encontramos que
0 kxk2 2

|hx, yi|2 |hx, yi|2

|hx, yi|2
2
+
=
kxk

,
kyk2
kyk2
kyk2


de donde ya se sigue la conclusin deseada.

Quedamos ahora en disposicin de probar (N3). A tal fin, dados x, y X aplicamos la desigualdad de
Cauchy-Schwarz para obtener
kx + yk2 = kxk2 + 2hx, yi + kyk2 kxk2 + 2|hx, yi| + kyk2 kxk2 + 2kxkkyk + kyk2 = (kxk + kyk)2 ,

estimacin de la que se infiere inmediatamente la conclusin requerida.

Todo espacio normado (X, k k) da lugar a un espacio mtrico (X, d) (y, por tanto, a un espacio topolgico),
donde
d(x, y) = kx yk

(x, y X).

(2)

En este contexto, que una sucesin {xn }

n=1 X converja a un vector x X (simblicamente, lmn xn =
x) significa que lmn d(xn , x) = lmn kxn xk = 0. Similarmente pueden contemplarse las nociones de
sucesin de Cauchy, bola abierta, bola cerrada, continuidad, etc.
El siguiente resultado establece que el producto escalar y la norma son funciones continuas respecto de la
mtrica que ellos mismos definen.

Proposicin 2.4 Sea (X, h, i) un espacio con producto interior. Si {xn }

n=1 , {yn }n=1 son sucesiones en X

T EORA DE O PERADORES

OCW-ULL 2011/12

4/27

I. M ARRERO

convergentes a x, y X, respectivamente, entonces:

(i) lmn hxn , yn i = hx, yi;
(ii) lmn kxn k = kxk.
D EMOSTRACIN . Por la desigualdad de Cauchy-Schwarz, y puesto que toda sucesin convergente est acotada, para cierta M > 0 se tiene:

|hxn , yn i hx, yi| |hxn , yn i hxn , yi| + |hxn , yi hx, yi|

= |hxn , yn yi| + |hxn x, yi| kxn kkyn yk + kxn xkkyk
Mkyn yk + kxn xkkyk

(n N),

con lmn kyn yk = 0 y lmn kxn xk = 0. Esto prueba (i).

Por otra parte, de la desigualdad triangular de la norma sigue que

0 |kxn k kxk| kxn xk

(n N),

con lmn kxn xk = 0. Esto prueba (ii).

Ntese que la afirmacin contenida en la Proposicin 2.4 (ii) vale para espacios normados cualesquiera,
no necesariamente prehilbertianos.
Definicin 2.5 Dado un espacio vectorial E sobre el cuerpo K, se dice que una topologa sobre E es una
topologa vectorial y que (E, ) es un espacio vectorial topolgico si:
(i) satisface el axioma de separacin T1 (esto es, los puntos son cerrados);
(ii) las operaciones algebraicas (suma y producto por escalares) de E son continuas cuando sobre E se
considera la topologa y sobre K la topologa usual.
Puesto que toda aplicacin continua de dos variables es continua en cada variable, de la definicin anterior
se sigue que, fijados x E y K, las aplicaciones Tx : E E (traslacin) y M : E E (homotecia de razn
), dadas por Tx y = x + y y M y = y (y E), son continuas. Si 6= 0, sus inversas respectivas son Tx1 = Tx
y M1 = M 1 , y consecuentemente tambin son continuas. Se concluye que Tx y M son homeomorfismos
de E. En particular, toda topologa vectorial es invariante por traslaciones y homotecias de razn no nula.
OCW-ULL 2011/12

T EORA DE O PERADORES

E SPACIOS DE H ILBERT

5/27

Teniendo en cuenta que los espacios mtricos son T2 (luego, T1 ), la siguiente Proposicin 2.6 establece que
todo espacio normado y, por tanto, todo espacio con producto interior, es un espacio vectorial topolgico.

Proposicin 2.6 Sean (X, k k) un espacio normado, {xn }

n=1 X, {yn }n=1 X, {n }n=1 K, x X, y X,

K, tales que
lm xn = x,

lm yn = y,

lm n = .

Se verifica:
lm (xn + yn ) = x + y,

lm n xn = x.

D EMOSTRACIN . En efecto, basta advertir que, para cada n N y cierta M > 0,

k(xn + yn ) (x + y)k = k(xn x) + (yn y)k kxn xk + kyn yk,

kn xn xk = k(n xn n x) + (n x x)k |n |kxn xk + |n |kxk Mkxn xk + |n |kxk,

con lmn kxn xk = lmn kyn yk = lmn |n | = 0.

Hemos visto cmo definir una norma en un espacio con producto escalar. El siguiente resultado permite
recuperar el producto escalar a partir de la norma.
Proposicin 2.7 (Identidad de polarizacin) En un espacio con producto interior (X, h, i) se cumple:

hx, yi =



1
kx + yk2 kx yk2 + i kx + iyk2 kx iyk2
4

(x, y X).

(3)

D EMOSTRACIN . Sean x, y X. Se tiene:

kx + yk2 = kxk2 + 2hx, yi + kyk2 ,

(4)

kx yk2 = kxk2 2hx, yi + kyk2 .

(5)

Restando miembro a miembro:

kx + yk2 kx yk2 = 4hx, yi.
Reemplazando en esta expresin y por iy:

kx + iyk2 kx iyk2 = 4hx, iyi = 4(ihx, yi) = 4hx, yi

T EORA DE O PERADORES

OCW-ULL 2011/12

6/27

I. M ARRERO

(aqu, y en lo sucesivo, denotar la parte imaginaria del nmero complejo ).

Caracterizamos ahora las normas que provienen de productos escalares.

Teorema 2.8 (Von Neumann-Jordan) Un espacio normado (X, k k) es un espacio con producto interior si,
y slo si, k k satisface la ley del paralelogramo:

kx + yk2 + kx yk2 = 2(kxk2 + kyk2 ) (x, y X).

(6)

D EMOSTRACIN . Que toda norma proveniente de un producto interior verifica la ley del paralelogramo se
sigue inmediatamente de (4) y (5). Recprocamente, supongamos que en un espacio normado (X, k k) se
satisface la ley del paralelogramo, y para x, y X definamos hx, yi como en (3). Probaremos que h, i es un
producto interior en X que genera k k.
En efecto, se advierte por simple inspeccin que

hy, xi = hx, yi (x, y X),

y tambin que hx, xi = kxk2 . En particular, hx, xi 0 y hx, xi = 0 si, y slo si, x = 0.
A continuacin estableceremos que

hx + y, zi = hx, zi + hy, zi (x, y, z X).

A tal fin, sean x, y, z X. Se tiene:

hx + y, zi =



1
kx + y + zk2 kx + y zk2 + i kx + y + izk2 kx + y izk2 ,
4

hx, zi =



1
kx + zk2 kx zk2 + i kx + izk2 kx izk2 ,
4

hy, zi =



1
ky + zk2 ky zk2 + i ky + izk2 ky izk2 .
4

Por tanto, se ha de probar:

kx + y + zk2 kx + y zk2 = kx + zk2 kx zk2 + ky + zk2 ky zk2 ,

(7)

kx + y + izk2 kx + y izk2 = kx + izk2 kx izk2 + ky + izk2 ky izk2 .

OCW-ULL 2011/12

T EORA DE O PERADORES

E SPACIOS DE H ILBERT

7/27

La segunda de estas identidades sigue de la primera sin ms que reemplazar z por iz. En consecuencia, demostraremos slo (7).
Puesto que k k satisface la ley del paralelogramo, para u, v X se verifica:

ku + vk2 + ku vk2 = 2(kuk2 + kvk2 ).

(8)

Haciendo
u=

x+y
,
2

v=

x+y
+z
2

en (8), obtenemos:

2


x+y

x + y 2



+2
+ z
kx + y + zk + kzk = 2
.

2
2
2

Haciendo ahora
u=

x+y
,
2

v = z

x+y
2

en (8), resulta:

2


x + y 2

x+y



kzk + kx + y zk = 2
z
+2
.

2
2
2

Restando miembro a miembro las dos expresiones anteriores:

kx + y + zk2 kx + y zk2 =

1
1
kx + y + 2zk2 kx + y 2zk2 .
2
2

(9)

Por ltimo, aplicamos (8) sucesivamente a u = x + z, v = y + z y a u = x z, v = y z, y restamos miembro a

miembro las igualdades resultantes:

kx + y + 2zk2 + kx yk2 = 2kx + zk2 + 2ky + zk2 ,

kx + y 2zk2 + kx yk2 = 2kx zk2 + 2ky zk2 ,

kx + y + 2zk2 kx + y 2zk2 = 2kx + zk2 + 2ky + zk2 2kx zk2 2ky zk2 .

(10)

De (9) y (10) se concluye (7).

Nos ocupamos ahora de establecer la propiedad de homogeneidad:

h x, yi = hx, yi ( K, x, y X).
T EORA DE O PERADORES

(11)
OCW-ULL 2011/12

8/27

I. M ARRERO

Fijemos x, y X. Si = n N, la propiedad de aditividad que acabamos de establecer entraa que

hnx, yi = hx+ .(n)
. . +x, yi = hx, yi+ .(n)
. . +hx, yi = nhx, yi.

Si = 1, tambin por la aditividad:

hx, yi + hx, yi = h0, yi = 0,

de modo que
hx, yi = hx, yi.
Esto prueba (11) para Z.
Supongamos ahora que Q, esto es, = m/n, con m Z y n Z \ {0}. Entonces podemos escribir

Dm
n

E
x, y = hmx, yi = mhx, yi,

lo que establece (11) tambin en este caso.

Si R, existe una sucesin {qn }
n=1 de nmeros racionales convergente a en K. En virtud de las
Proposiciones 2.6 y 2.4, encontramos que

h x, yi = h lm (qn x), yi = lm hqn x, yi = lm qn hx, yi = hx, yi.

n

Para completar la demostracin es ya suficiente probar (11) cuando = i. Pero esto sigue de (3) por simple


inspeccin.

Observacin 2.9 La denominacin de ley del paralelogramo que recibe (6) proviene del resultado de geometra plana elemental que expresa que la suma de los cuadrados de las diagonales de un paralelogramo es igual
al doble de la suma de los cuadrados de las longitudes de sus lados, el cual puede deducirse del teorema del
coseno (Figura 1).

Ejemplo 2.10 Si 1 p < , se define



` p = x = {x(n)}
n=1 : x(n) K (n N), kxk p < ,
OCW-ULL 2011/12

T EORA DE O PERADORES

E SPACIOS DE H ILBERT

9/27

x+y
y
x -y

x
Figura 1. Ley del paralelogramo.

donde
(
kxk p =

)1/p

|x(n)|

(x ` p ).

n=1

Entonces ` p es un espacio vectorial con las operaciones algebraicas definidas trmino a trmino, y k k p es
una norma sobre ` p . Pues bien, esta norma proviene de un producto interior si, y slo si, p = 2. En efecto,
el Ejemplo 2.2 (ii) muestra que `2 es un espacio con producto interior cuya norma asociada es k k2 , y el
teorema de Von Neumann-Jordan obliga a que esta norma satisfaga la ley del paralelogramo. Recprocamente,
supongamos que k k p satisface la ley del paralelogramo. En particular,


ke1 + e2 k2p + ke1 e2 k2p = 2 ke1 k2p + ke2 k2p ,
p
donde, para cada i N, ei = {ei (n)}
n=1 denota la i-sima sucesin unitaria cannica de ` , dada por ei (n) = 1

(n N, n = i), ei (n) = 0 (n N, n 6= i). Ya que ke1 + e2 k2p = ke1 e2 k2p = 22/p y ke1 k2p = ke2 k2p = 1, debemos
tener
22/p = 2,
obligando a que p = 2, como habamos afirmado.

2.2.

Espacios de Hilbert

Definicin 2.11 Se dir que un espacio con producto interior (X, h, i) es un espacio de Hilbert si el espacio
mtrico (X, d) es completo, donde d se define como en (2) y la norma de (2) est dada por (1).
Recordemos que un espacio normado es un espacio de Banach si la mtrica asociada a la norma es completa.
Ejemplo 2.12 Todos los espacios con producto interior considerados en el Ejemplo 2.2 son espacios de HilT EORA DE O PERADORES

OCW-ULL 2011/12

10/27

I. M ARRERO

bert.

Definicin 2.13 Una aplicacin T entre dos espacios normados (E, k kE ) y (F, k kF ) sobre el mismo cuerpo
escalar K se denomina operador. El operador T es lineal si T ( x + y) = T x + Ty para cualesquiera
escalares , K y vectores x, y E, y es una isometra si kT xkF = kxkE para todo x E. Un operador
lineal T se dice acotado si kT k es finita, donde

kT k = sup {kT xkF : x E, kxkE 1} .

Finalmente, T es un isomorfismo si T es lineal, biyectivo y bicontinuo (continuo con inverso continuo).

Se comprueba fcilmente que un operador lineal T : E F es continuo (en cualquier punto de E) si, y
slo si, lo es en el origen de E y que, a su vez, esto equivale a que T sea acotado.

Definicin 2.14 Un isomorfismo de espacios pre-Hilbert o isomorfismo unitario es una aplicacin T de un

espacio pre-Hilbert (X, h, iX ) en otro espacio pre-Hilbert (Y, h, iY ) sobre el mismo cuerpo escalar K que es
biyectiva, lineal y preserva el producto interior, esto es, satisface hTu, T viY = hu, viX (u, v X).

Todo espacio con producto interior admite una complecin como espacio de Hilbert que es nica salvo
isomorfismos unitarios. Ms precisamente, se verifica el siguiente resultado, que enunciamos sin demostracin:

Teorema 2.15 Dado un espacio con producto interior (X, h, i), existen un espacio de Hilbert H y un isomorfismo unitario T : X T (X) H tal que T (X) es denso en H. El espacio H es nico salvo isomorfismos
unitarios.

Definicin 2.16 Un subespacio de un espacio prehilbertiano X es un subespacio vectorial de X provisto del

producto escalar (y, por tanto, de la norma y la distancia) que hereda de X.

No es difcil demostrar la siguiente:

Proposicin 2.17 Sea Y un subespacio de un espacio pre-Hilbert X. Se verifica:

(i) Si X es un espacio de Hilbert entonces Y es completo si, y slo si, Y es cerrado.
(ii) Si Y tiene dimensin finita, es completo.
OCW-ULL 2011/12

T EORA DE O PERADORES

E SPACIOS DE H ILBERT

3.

11/27

Ortonormalidad

3.1.

Sumas directas y complementos ortogonales

En un espacio mtrico (X, d), la distancia de un elemento x X a un conjunto no vaco M X se define

como
= nf d(x, y).
yM

Por tanto, en un espacio normado (X, k k),

= nf kx yk.
yM

En la prctica, frecuentemente X es un determinado espacio de funciones (por ejemplo, el formado por

las funciones continuas en un intervalo compacto) y M es un subconjunto de X constituido por funciones
con un buen comportamiento (por ejemplo, polinomios). Es importante saber si existe un vector ye M que
minimiza la distancia a x, esto es, tal que = kx yek; y, en caso de existir, si es nico. Este constituye el
llamado problema de existencia y unicidad de la mejor aproximacin a x desde M.
Como ilustran las imgenes de la Figura 2, incluso en el caso elemental del plano eucldeo, puede que
dicho problema carezca de solucin, o que sta no sea nica. Cabe esperar que en espacios de dimensin
infinita la situacin resulte bastante ms compleja. Afortunadamente, como veremos a continuacin, en el
caso de espacios de Hilbert todava permanece bajo control.
x

x
d

x
d

d
d

(a)

(b)

(c)

Figura 2. La mejor aproximacin a x desde M: (a) no existe; (b) existe y es nica; (c) existe y hay infinitas.

Definicin 3.1 El segmento que une dos elementos x, y de un espacio vectorial X se define como el conjunto
de los vectores de la forma x = x + (1 )y (0 1). Un conjunto M X se dice convexo si para
cualesquiera x, y M, el segmento que une x con y est contenido en M.
Ejemplo 3.2 Las siguientes afirmaciones son de comprobacin inmediata:
T EORA DE O PERADORES

OCW-ULL 2011/12

12/27

I. M ARRERO

(i) Todo subespacio es convexo.

(ii) La interseccin de conjuntos convexos es un conjunto convexo.
Teorema 3.3 (Vector minimizante) Todo conjunto convexo completo no vaco M de un espacio con producto
interior X contiene un nico elemento de norma mnima.
D EMOSTRACIN . El conjunto {kyk : y M} es no vaco y acotado inferiormente; por tanto, admite un nfimo
. Por definicin de nfimo, existe una sucesin {yn }
n=1 M tal que lmn kyn k = . Esta sucesin es de
Cauchy en X, pues, por la ley del paralelogramo y la convexidad de M,


yn + ym 2
2
2
2
2
2

0 kyn ym k2 = 4
2 + 2kyn k + 2kym k 4 + 2kyn k + 2kym k ,
donde el segundo miembro tiende a cero cuando n, m . Al ser M completo, existe ye M al que converge
{yn }
yk = lmn kyn k = . Esto prueba la afirmacin
n=1 ; y por la continuidad de la norma (Proposicin 2.4), ke
de existencia.
Para establecer la unicidad, supongamos existen ye1 , ye2 M tales que ke
y1 k = ke
y2 k = . Nuevamente por la
ley del paralelogramo,


ye1 + ye2 2

0 ke
y1 ye2 k2 = 4
y1 k2 + 2ke
y2 k2 4 2 + 4 2 = 0,
2 + 2ke
probando que ye1 = ye2 .

Teorema 3.4 (Mejor aproximacin) Si X es un espacio con producto interior y M un subconjunto convexo,
completo, no vaco de X, entonces para cada x X existe una nica mejor aproximacin a x desde M, esto es,
un nico ye M tal que
= nf kx yk = kx yek.
yM

D EMOSTRACIN . Basta aplicar el teorema del vector minimizante (Teorema 3.3) a x M.

Observacin 3.5 Las afirmaciones de existencia y unicidad del Teorema 3.3 dejan de verificarse si prescindimos de la convexidad. En efecto, en el espacio de Hilbert `2 :
(i) M = {ek }
k=1 no es convexo, es cerrado, y contiene infinitos elementos de norma mnima;
OCW-ULL 2011/12

T EORA DE O PERADORES

E SPACIOS DE H ILBERT

(ii) M =

13/27

1 + k1 ek k=1 no es convexo, es cerrado, y no contiene elementos de norma mnima.

Definicin 3.6 Sea (X, h, i) un espacio con producto interior. Se dice que dos vectores x, y X son ortogonales, y se escribe x y, si hx, yi = 0. Dados x X y M X, la notacin x M expresa que x es ortogonal
a todos los vectores de M. Ms en general, si M, N X son tales que x y cualesquiera sean x M, y N,
diremos que M y N son ortogonales, y escribiremos M N. Un conjunto M X se dice un conjunto ortogonal
si sus elementos son ortogonales dos a dos.

Teorema 3.7 (Pitgoras) Sea X un espacio con producto interior. Si el conjunto {x1 , . . . , xn } de vectores de
X es ortogonal, entonces


n 2
n


2
xi = kxi k .
i=1
i=1
D EMOSTRACIN . En efecto, se tiene:


*
+
n 2
n
n
n n
n
n


xi = xi , x j = hxi , x j i = hxi , xi i = kxi k2 ,
i=1
i=1
j=1
i=1 j=1
i=1
i=1


como se afirmaba.

Proposicin 3.8 (Independencia lineal) Todo conjunto ortogonal que no contiene al cero es linealmente independiente.

D EMOSTRACIN . Basta probar el resultado para conjuntos ortogonales finitos. Supongamos que el conjunto
{x1 , . . . , xn } es ortogonal y no contiene al cero, y sean i K (1 i n) tales que ni=1 i xi = 0. Fijado j N,
1 j n, podemos escribir:
*
0=

i xi , x j

i=1

= i hxi , x j i = j kx j k2 .
i=1

Puesto que x j no es el vector nulo, necesariamente j = 0.

Sabemos que en geometra plana elemental, el nico vector de un subespacio M ms prximo a un vector
x dado se obtiene trazando la perpendicular a M por x. Este resultado admite generalizacin.

Proposicin 3.9 Si en el Teorema 3.4 M es un subespacio, entonces z = x ye M.

T EORA DE O PERADORES

OCW-ULL 2011/12

14/27

I. M ARRERO

D EMOSTRACIN . Razonando por contradiccin, supongamos existe u M tal que hz, ui 6= 0. En particular,
u 6= 0, y para todo K,
kz uk2 = hz u, z ui = kzk2 2( hz, ui) + | |2 kuk2 .

Ya que kzk es la distancia de x a M e ye+ u M, particularizando = kuk2 hz, ui resulta

kzk2 kx (e
y + u)k2 = kz uk2 = kzk2

|hz, ui|2
< kzk2 ,
kuk2


que es la contradiccin esperada.

A continuacin aplicaremos los resultados anteriores al clculo de la mejor aproximacin a un punto desde
un subespacio de dimensin finita, por tanto completo (Proposicin 2.17), en un espacio prehilbertiano X.
Supongamos que M es el subespacio de X generado por n vectores linealmente independientes {v1 , . . . , vn },
y sea x X. Se trata de determinar la mejor aproximacin a x desde M, que existe en virtud del teorema de
mejor aproximacin (Teorema 3.4). Si ye M denota esta mejor aproximacin, necesariamente ye = ni=1 i vi
para ciertos escalares i (i N, 1 i n), y adems z = x ye M, por la Proposicin 3.9. Imponiendo ambas
condiciones resulta el siguiente sistema lineal de n ecuaciones en las n incgnitas i (i N, 1 i n):
n

i hvi , v j i = hx, v j i

( j N, 1 j n),

i=1

que debe ser compatible determinado, puesto que el problema de mejor aproximacin admite solucin nica.
Ahora, la distancia de x a M se puede obtener a partir del siguiente clculo:
n

2 = kzk2 = hx ye, x yei = hx, x yei = kxk2 hx, yei = kxk2 i hx, vi i.
i=1

Ejemplo 3.10 Sea el vector v = (1, 2, 1 + i, 4) del espacio de Hilbert C4 (Ejemplo 2.2 (i)), y considrese el
subespacio M de C4 generado por los vectores (0, 1, 0, 0) y (0, 0, 0, 1). Hallar la distancia de v a M.
R ESOLUCIN . Formamos el sistema

ahv1 , v1 i + bhv2 , v1 i = hv, v1 i,

OCW-ULL 2011/12

T EORA DE O PERADORES

E SPACIOS DE H ILBERT

15/27

ahv1 , v2 i + bhv2 , v2 i = hv, v2 i.

Ya que hv1 , v1 i = 1, hv2 , v1 i = hv1 , v2 i = 0, hv2 , v2 i = 1, hv, v1 i = 2, hv, v2 i = 4, la solucin del sistema anterior
es a = 2, b = 4. As pues, la mejor aproximacin a v desde M es el vector w = a(0, 1, 0, 0) + b(0, 0, 0, 1) =
(0, 2, 0, 4). Por otra parte, si denota la distancia de v a M, entonces

2 = kvk2 ahv, v1 i bhv, v2 i = 23 4 16 = 3.

Se concluye que =

3.

Definicin 3.11 Sea (X, h, i) un espacio con producto interior. Dado M X, el conjunto
M = {z X : z M} = {z X : hz, xi = 0 (x M)}

se llama anulador de M. Si M = {x} (x X) es un conjunto unitario, su anulador ser denotado x .

En el caso de que X sea un espacio de Hilbert y M un subespacio cerrado de X, M se denomina complemento ortogonal de M. Esta denominacin queda justificada por la Definicin 3.12 y el Teorema 3.13.
Definicin 3.12 Se dice que un espacio vectorial X es suma directa de sus subespacios Y y Z, y se escribe
X = Y Z, si cada x X puede ser expresado de forma nica como suma de un elemento y Y y otro z Z. En
tal caso se dice tambin que Z (respectivamente, Y ) es un complemento algebraico de Y (respectivamente, Z)
en X, que Y (respectivamente, Z) es un subespacio complementado en X, y que Y , Z es un par complementario
de subespacios de X.
Teorema 3.13 (Proyeccin ortogonal) Sea M un subespacio cerrado de un espacio de Hilbert H. Entonces
H = M M . Ms precisamente:
(i) Todo x H admite una descomposicin nica x = Px + Qx como suma de Px M y Qx M .
(ii) Px y Qx son las mejores aproximaciones a x H desde M y M , respectivamente.
(iii) kxk2 = kPxk2 + kQxk2

(x H).

D EMOSTRACIN . Como H es completo, M tambin lo es (Proposicin 2.17), y, por tanto (Teorema 3.4 y
Proposicin 3.9), dado x H existe Px M tal que x = Px + Qx, con Qx = x Px M . La unicidad de esta
representacin sigue de ser M M = {0}. Esto prueba (i), y el teorema de Pitgoras establece entonces (iii).
T EORA DE O PERADORES

OCW-ULL 2011/12

16/27

I. M ARRERO

Para demostrar (ii) slo resta justificar que Qx es la mejor aproximacin a x desde M . A tal fin, basta observar
que
kx zk2 = kPx + (Qx z)k2 = kPxk2 + kQx zk2

(z M )

es mnimo cuando z = Qx.

Definicin 3.14 Un operador P de un espacio normado E en un subespacio F de E es una proyeccin si P es

lineal, sobre e idempotente (es decir, verifica P2 = P).
T

M
F0
5E

Qx

Px

Figura 3. Teorema de la proyeccin ortogonal.

En la notacin utilizada en la demostracin del Teorema 3.13, la ecuacin x = Px + Qx define sendas

aplicaciones P : H M, Q : H M , que se denominan proyecciones ortogonales de H sobre M y M ,
respectivamente. Se dice que Px (respectivamente, Qx) es la proyeccin ortogonal de x sobre M (respectivamente, M ); esta terminologa viene motivada por la situacin que se presenta en geometra elemental con la
proyeccin de un punto sobre los ejes cartesianos (Figura 3). Es fcil comprobar que P y Q son proyecciones
en el sentido de la Definicin 3.14. Tambin es claro que la restriccin de P a M (respectivamente, de Q a M )
es el operador identidad, y que su restriccin a M (respectivamente, M) es el operador nulo. En particular:
Proposicin 3.15 El complemento ortogonal M de un subespacio cerrado M de un espacio de Hilbert H es
el ncleo de la proyeccin ortogonal P de H sobre M.
Proposicin 3.16 Sea X un espacio pre-Hilbert y sea M un subconjunto no vaco de X. Se tiene que M es
un subespacio cerrado de X. Adems, M M . Si X es Hilbert entonces M coincide con el subespacio
cerrado generado por M (es decir, M es la clausura del subespacio generado por M).
D EMOSTRACIN . Los axiomas del producto escalar garantizan que M es un subespacio. Sean {xn }
n=1
M , x X tales que lmn xn = x. Por la Proposicin 2.4, para cada z M se verifica que hx, zi = lmn hxn , zi =
0; luego, x M , y M es cerrado.
OCW-ULL 2011/12

T EORA DE O PERADORES

E SPACIOS DE H ILBERT

17/27

La inclusin M M es obvia.
En caso de que X sea completo y M un subespacio cerrado se tiene X = M M = M M , por el
Teorema 3.13. Si x M entonces x = u + v, con u M y v M . Pero x u M y v M implica
x = u M, as que M M.
En general, si X es completo y S es el subespacio cerrado generado por M, las propiedades del producto escalar junto con la Proposicin 2.4 entraan que M = S , y de la discusin precedente se infiere que
M = S = S.

Definicin 3.17 Un subconjunto M de un espacio normado E es total en E si el subespacio generado por M

es denso en E.
Proposicin 3.18 (Conjunto total) Supongamos que H es un espacio de Hilbert y M un subconjunto no vaco
de H. Se verifica que M es total en H si, y slo si, M = {0}.
D EMOSTRACIN . Sea S el subespacio cerrado generado por M. Entonces M = S y H = S S . Por tanto,
H = S si, y slo si, M = S = {0}.

3.2.

Conjuntos ortonormales

Definicin 3.19 Un conjunto ortonormal S = {e }A en un espacio con producto interior X es un conjunto

ortogonal de vectores unitarios. Si x X, el -simo coeficiente de Fourier de x respecto de S es el escalar
hx, e i ( A).
Teorema 3.20 (Desigualdad de Bessel) Sea S = {ei }
i=1 una sucesin ortonormal en un espacio con producto
interior X. Se tiene:

|hx, ei i|2 kxk2

(x X).

i=1

D EMOSTRACIN . Fijados x X y n N, sea sn = ni=1 hx, ei iei . En virtud del teorema de Pitgoras,

2
n

n


ksn k = hx, ei iei = |hx, ei i|2 .
i=1

i=1
2

Consecuentemente:
*
0

kx sn k = kxk 2hx, sn i + ksn k = kxk 2 x, hx, ei iei + ksn k2

i=1

T EORA DE O PERADORES

OCW-ULL 2011/12

18/27

I. M ARRERO

= kxk2 2 (hx, ei ihx, ei i) + ksn k2 = kxk2 2 |hx, ei i|2 + |hx, ei i|2

i=1
n

i=1

i=1

= kxk2 |hx, ei i|2 .

i=1

Se desprende que
n

|hx, ei i|2 kxk2

(n N),

i=1

y basta tomar lmite cuando n para obtener la desigualdad enunciada.

Teorema 3.21 (Convergencia) Sea S = {ei }

i=1 una sucesin ortonormal en un espacio de Hilbert H, y sea
{i }
i=1 K. Se verifican las siguientes afirmaciones:

2
(i) (Riesz-Fischer) La serie x =
i=1 i ei converge en H si, y slo si, i=1 |i | < . En tal caso,

kxk2 = |i |2 .

(12)

i=1

(ii) Si la serie x =
i=1 i ei converge en H, entonces i = hx, ei i (i N).
(iii) Para cada x H, la serie
i=1 hx, ei iei converge en H.
D EMOSTRACIN . Para probar (i), pongamos sn = ni=1 i ei (n N). Si m, n N, m n, el teorema de
Pitgoras entraa:

2
m

m


ksn sm k = i ei = |i |2 .
i=n+1

i=n+1
2

Por tanto, la sucesin de sumas parciales {sn }

n=1 converge (equivalentemente, es de Cauchy) en H si, y slo
2
si, converge la serie
i=1 |i | . Adems, otra vez por el teorema de Pitgoras,

2
n

n


ksn k = i ei = |i |2
i=1

i=1
2

(n N).

Haciendo aqu n se concluye (12).

La validez de (ii) es consecuencia inmediata de la linealidad y continuidad del producto escalar en la
primera componente.
2
En virtud de (i), para establecer (iii) es suficiente probar que
i=1 |hx, ei i| < . Pero esto se deduce de la

desigualdad de Bessel.

OCW-ULL 2011/12

T EORA DE O PERADORES

E SPACIOS DE H ILBERT

19/27

La serie que comparece en la parte (iii) del Teorema 3.21 se denomina serie de Fourier de x respecto de S
(cf. Definicin 3.24).
Observacin 3.22 En relacin con el Teorema 3.21 hacemos notar que, a menos que S sea un sistema ortonormal maximal de H (Teorema 3.26), la serie de Fourier de x respecto de S no tiene por qu converger a x.
2
A modo de ejemplo, considrese la serie
i=1 he1 , e2i ie2i en ` , donde ei denota la i-sima sucesin unitaria

cannica de `2 (i N).
Proposicin 3.23 Sea X un espacio con producto interior. Entonces todo x X tiene a lo sumo una cantidad
numerable de coeficientes de Fourier no nulos respecto a cualquier familia ortonormal en X. Si X es un
espacio de Hilbert, la correspondiente serie de Fourier de x es incondicionalmente convergente.
D EMOSTRACIN . Sea S = {e }A una familia ortonormal en X, y fijemos x X. Pongamos

A0 = { A : hx, e i 6= 0} =

m=1


1
A : |hx, e i|
.
m

Si m N y n N denota la parte entera de m2 kxk2 , necesariamente Am contiene a lo sumo n elementos. En

efecto, supongamos que Am contuviese al menos n + 1 elementos {1 , . . . , n+1 }. Entonces
n+1

|hx, ei i|2

i=1

n+1
> kxk2 ,
m2

en contradiccin con la desigualdad de Bessel. Por tanto, A0 es numerable.

Supongamos ahora que X es un espacio de Hilbert, y sea {ei }
i=1 una enumeracin de los elementos de
S que proporcionan los coeficientes de Fourier no nulos de x respecto de S. En virtud del Teorema 3.21, la
correspondiente serie de Fourier de x converge en X. Sea u =
i=1 hx, ei iei .
Para probar que la convergencia es incondicional, consideremos una reordenacin {w j }j=1 de {ei }
i=1 ,
de modo que existe una aplicacin biyectiva de N en N que a cada i N le hace corresponder j(i) N, con
w j(i) = ei (i N). Pongamos v = j=1 hx, w j iw j . Por el Teorema 3.21, hu, ei i = hx, ei i (i N) y hv, w j i = hx, w j i
( j N). Luego,

hu v, ei i = hu, ei i hv, ei i = hu, ei i hv, w j(i) i = hx, ei i hx, w j(i) i = hx, ei i hx, ei i = 0

(i N),

y, similarmente,
hu v, w j i = 0
T EORA DE O PERADORES

( j N).
OCW-ULL 2011/12

20/27

I. M ARRERO

Entonces
*
2

ku vk =

u v, hx, ei iei hx, w j iw j

i=1

j=1

= hx, ei ihu v, ei i hx, w j ihu v, w j i = 0,

i=1

j=1

probando que u = v.

Definicin 3.24 La Proposicin 3.23 permite dar sentido a la expresin formal A hx, e ie para cualquier
x H y cualquier sistema ortonormal S = {e }A (no necesariamente numerable) en un espacio de Hilbert
H, expresin a la que denominaremos serie de Fourier de x respecto de S.

3.3.

Bases ortonormales

Definicin 3.25 Una base ortonormal en un espacio de Hilbert H es un conjunto ortonormal maximal.
Teorema 3.26 (Bases ortonormales) Sea S = {e }A un conjunto ortonormal en un espacio de Hilbert H.
Las siguientes afirmaciones son equivalentes:
(i) S es base ortonormal.
(ii) (Serie de Fourier) Todo x H se puede expresar como suma de su serie de Fourier respecto de S:

x=

hx, e ie .
A

(iii) (Identidad de Parseval) Para todo x H, kxk2 = A |hx, e i|2 .

(iv) (Identidad de Parseval) Para cualesquiera x, y H, hx, yi = A hx, e ihy, e i.
(v) S = {0}.
(vi) S es total en H.
D EMOSTRACIN . Para ver que (i) implica (ii), pongamos y = x A hx, e ie ; se trata de probar que y = 0.
Ahora bien, fijado A,
*
hy, e i =

hx, e ie , e
A

= hx, e i

hx, e ihe , e i = hx, e i hx, e i = 0.

A

Si y 6= 0, el vector u = kyk1 y es unitario y ortogonal a S; por tanto, S {u} es un conjunto ortonormal que
contiene propiamente a S, contradiciendo la maximalidad de S. Concluimos que y = 0.
OCW-ULL 2011/12

T EORA DE O PERADORES

E SPACIOS DE H ILBERT

21/27

Por la continuidad (Proposicin 2.4) y la linealidad (conjugada) del producto escalar en la primera (segunda) componente, es claro que (ii) implica (iv), y resulta obvio (tomando x = y) que (iv) implica (iii). Ntese
que (ii) implica (iii) tambin como consecuencia del Teorema 3.21.
Por otra parte, (iii) implica (v), ya que si x S entonces hx, e i = 0 ( A), y si se verifica (iii), necesariamente x = 0.
La equivalencia de (v) y (vi) es consecuencia de la Proposicin 3.18.
Finalizamos la demostracin estableciendo que (v) implica (i): si S no es maximal entonces existe un vector unitario ortogonal a S, as que S 6= {0}.

Recordemos que un conjunto arbitrario se dice parcialmente ordenado si est dotado de una relacin
binaria reflexiva, antisimtrica y transitiva, y totalmente ordenado si esta relacin es, adems, conexa. El
principio de maximalidad de Hausdorff establece que todo conjunto no vaco parcialmente ordenado contiene
uno maximal totalmente ordenado.
Teorema 3.27 Todo conjunto ortonormal de un espacio de Hilbert no trivial est contenido en una base
ortonormal. En particular, todo espacio de Hilbert no trivial admite una base ortonormal.
D EMOSTRACIN . Si H 6= {0} es un espacio de Hilbert, entonces H contiene un vector unitario u. El conjunto
{u} es ortonormal.
Sean ahora B cualquier conjunto ortonormal en H y P la familia de todos los conjuntos ortonormales en
H que contienen a B. Ya que P no es vaca (pues contiene al propio B) y est ordenada parcialmente por
la inclusin, el principio de maximalidad de Hausdorff obliga a que P contenga una subfamilia totalmente
ordenada maximal . Llamando U a la unin de todos los elementos de encontramos que U es un conjunto
ortonormal (pues est totalmente ordenada) que contiene a B. Adems, U es maximal; pues si no lo fuese
e = U {v} sera un conjunto ortonormal que contiene a B y
existira un vector unitario v U , de modo que U
e constituira una subfamilia totalmente ordenada de P que contiene propiamente a , contradiciendo
{U}


la maximalidad de .

Proposicin 3.28 Dos bases ortonormales cualesquiera de un espacio de Hilbert no trivial tienen el mismo
cardinal.
D EMOSTRACIN . Sean {u }A , {v } B dos bases ortonormales de un espacio de Hilbert H 6= {0}.
Si A B son finitos el resultado es trivial, teniendo en cuenta que en este caso toda base ortonormal
constituye una base de Hamel (es decir, un sistema linealmente independiente y generador).
T EORA DE O PERADORES

OCW-ULL 2011/12

22/27

I. M ARRERO

Supongamos, por tanto, que A y B son ambos infinitos, y fijado A consideremos el conjunto Bu =
{ B : hu , v i 6= 0}, que es numerable. Afirmamos que para cada B, existe A tal que Bu . En
efecto, si existiera B tal que
/ Bu para todo A, entonces hu , v i = 0 ( A); y como {u }A es
base ortonormal, necesariamente v = 0, una contradiccin. Ahora
[

Bu ,

de manera que el cardinal de B no supera el producto del cardinal de A por 0 , que es igual al cardinal de A.
Por simetra, el cardinal de A no supera al cardinal de B, y se concluye del teorema de Schrder-Bernstein que


A y B tienen el mismo cardinal.

Definicin 3.29 Se llama dimensin ortogonal o dimensin hilbertiana de un espacio de Hilbert H 6= {0},
y se denota dim H, al cardinal de una cualquiera de sus bases ortonormales. Si H = {0}, diremos que
dim H = 0.

3.4.

Isomorfismos de espacios de Hilbert

Dado un conjunto arbitrario A, definimos



` (A) = : A K |


|()| d() < ,
2

donde es la medida cardinal sobre A.

Fijada `2 (A), el conjunto B = { A : () 6= 0} es a lo sumo numerable. Comprobaremos esta
afirmacin demostrando que para cada m N, el conjunto Am = { A : |()| 1/m} es finito. En efecto,
fijado m N:
1
1
(Am ) = 2
m2
m

Am

|()| d()

Am

|()|2 d() < .

Si {n }
n=1 es una enumeracin de B entonces
Z
A

|()|2 d() =

|(n )|2 ,

n=1

donde la serie del segundo miembro es incondicionalmente convergente.

OCW-ULL 2011/12

T EORA DE O PERADORES

E SPACIOS DE H ILBERT

23/27

Se obtiene una estructura de espacio de Hilbert sobre `2 (A) si se define

h, i =

()()d() =
A

(n )(n )

(, `2 (A)).

n=1

2
Aqu, {n }
n=1 es una enumeracin de B B . Una base ortonormal de ` (A) est constituida por las funcio-

nes e ( A), donde e ( ) = 1 si = y e ( ) = 0 en otro caso ( A). Llamaremos a esta base la base
ortonormal cannica de `2 (A).
En este nuevo contexto, los Teoremas 3.21 y 3.26 proporcionan el siguiente:
Teorema 3.30 Si H es un espacio de Hilbert y S = {e }A es una base ortonormal en H, la funcin b : H
`2 (A) que aplica x en xb, donde xb : A K est dada por xb() = hx, e i, es un isomorfismo de espacios de
Hilbert.
D EMOSTRACIN . La desigualdad de Bessel prueba que b est bien definida. Esta aplicacin es claramente
lineal. El Teorema 3.21 establece que es suprayectiva. Que preserva el producto escalar (y, por tanto, es isometra, luego tambin inyectiva) es consecuencia de la identidad de Parseval.

Definicin 3.31 La aplicacin b en el Teorema 3.30 se llama transformacin de Fourier. Para cada x H, xb
se denomina transformada de Fourier de x.
Corolario 3.32 Dos espacios de Hilbert son unitariamente isomorfos si, y slo si, tienen la misma dimensin
ortogonal.
Se sigue del Corolario 3.32 que todo espacio de Hilbert est completamente determinado por un nico
cardinal, su dimensin hilbertiana, y de hecho es indistinguible de algn `2 (A).

4.

Series trigonomtricas
Sea T la circunferencia unidad del plano complejo, esto es, el conjunto de todos los nmeros complejos de

mdulo 1. Identificando eit T con t [, ], para 1 p < definimos L p (T) como la clase de todas las
funciones complejas, medibles Lebesgue sobre [, ] para las que la norma

k f kp =
T EORA DE O PERADORES

1
2

| f (t)| p dt

1/p

OCW-ULL 2011/12

24/27

I. M ARRERO

es finita; es decir, L p (T) es el espacio de Lebesgue de orden p respecto de la medida de Lebesgue normalizada en [, ]. Similarmente, por L (T) denotaremos la clase de todas las funciones complejas, medibles
Lebesgue y esencialmente acotadas sobre [, ] con la norma del supremo esencial, mientras que C(T)
representar el espacio de todas las funciones complejas continuas sobre [, ] con la norma del supremo.
El espacio L2 (T) es un espacio de Hilbert respecto del producto escalar

h f , gi =

1
2

( f , g L2 (T)).

f (t)g(t) dt

Si definimos en (t) = eint (n Z, t [, ]), se demuestra que U = {en }nZ es una base ortonormal de
L2 (T), llamada sistema trigonomtrico.
Para cada f L2 (T), el n-simo coeficiente de Fourier de f respecto de U viene dado por
1
fb(n) =
2

f (t)eint dt

(n Z),

(13)

la serie de Fourier de f es

fb(n)en ,

n=

y la N-sima suma parcial de esta serie es

N

sN =

fb(n)en

(N N0 ).

n=N

El teorema de caracterizacin de bases ortonormales permite afirmar que lmN ksN f k2 = 0. El teorema
de Riesz-Fischer asegura que si {cn }nZ C y

|cn |2 < ,

n=

entonces existe f L2 (T) tal que cn = fb(n) (n Z). La identidad de Parseval expresa que
1
2

f (t)g(t) dt =

fb(n)b
g(n) ( f , g L2 (T)).

n=

Como vimos en la seccin anterior, todos estos resultados se resumen diciendo que la transformacin de
Fourier f 7 fb es un isomorfismo unitario entre L2 (T) y `2 (Z).
Ntese que la integral (13) tiene sentido cuando f L1 (T). De hecho, ya que C(T ) L p (T) L1 (T)
(1 p ), (13) tiene sentido para toda f L p (T) (1 p ) y toda f C(T). Denotando por B uno
OCW-ULL 2011/12

T EORA DE O PERADORES

E SPACIOS DE H ILBERT

25/27

cualquiera de estos espacios, surgen inmediatamente dos problemas relativos a las correspondientes series de
Fourier: el de convergencia (la serie de Fourier de f B, converge en la norma de B?, converge c.t.p.?), y el
de representacin (si converge, ya sea en norma o c.t.p., es f su lmite?).
A continuacin resumimos el estado de esta cuestin.
En relacin con los problemas de convergencia y representacin c.t.p.:
P. Du Bois-Reymond (1873) da un ejemplo de funcin continua cuya serie de Fourier diverge en un punto
al menos. Casi un siglo despus, J.-P. Kahane y Y. Katznelson (1965) probaron que fijado cualquier
conjunto de medida nula, es posible definir una funcin continua cuya serie de Fourier diverge en todo
punto de ese conjunto y converge fuera de l.
N. Lusin (1913) conjetura que la serie de Fourier de una funcin f L2 (T) converge c.t.p.
A.N. Kolmogorov (1926) demuestra que existe una funcin f L1 (T) cuya serie de Fourier diverge en
todo punto.
L. Carleson (1965, medio siglo despus de ser enunciada) logra probar la conjetura de Lusin. Carleson
fue galardonado con el premio Abel 2006 por su trayectoria cientfica, pero indudablemente su nombre
va unido, sobre todo, a este logro.
R. Hunt (1967) extendi el resultado de Carleson hasta cubrir el rango 1 < p .
En relacin con los problemas de convergencia y representacin en norma:
S. Banach y H. Steinhaus (1918) prueban que no hay convergencia en L1 (T). De hecho, este resultado
puede deducirse del principio de acotacin uniforme que lleva el nombre de ambos matemticos.
M. Riesz (1923) establece la convergencia en L p (T), para 1 < p < .
Los resultados de Du Bois-Reymond o de Kahane-Katznelson ya mencionados entraan la imposibilidad
de la convergencia uniforme.

5.

Polinomios ortogonales
La teora de espacios de Hilbert encuentra aplicacin en diversas reas del anlisis. Resumimos en esta

seccin la forma de obtener sucesiones de polinomios ortogonales que aparecen frecuentemente en la resolucin de numerosos problemas prcticos de la teora de ecuaciones diferenciales (muy especialmente la teora
de Sturm-Liouville), la teora de la aproximacin de funciones y la mecnica cuntica.
T EORA DE O PERADORES

OCW-ULL 2011/12

26/27

5.1.

I. M ARRERO

Polinomios de Legendre

En el espacio de Hilbert L2 [1, 1] respecto del producto escalar usual se considera la familia linealmente
i
independiente {vi }
i=1 , con vi (t) = t (i N0 ). Aplicando a esta familia el proceso de ortonormalizacin de

Gram-Schmidt resulta el sistema ortonormal {en }

n=0 , donde
r
en (t) =

2n + 1
Pn (t) (t [1, 1], n N0 )
2

y Pn (n N0 ) es el n-simo polinomio de Legendre, dado por

Pn (t) =


1 dn  2
(t 1)n =
n
n
2 n! dt

(2n 2 j)!

(1) j 2n j!(n j)!(n 2 j)! t n2 j

(t [1, 1], n N0 );

j=0

aqu, N = n/2 si n es par y N = (n 1)/2 si n es impar.

Se demuestra que los polinomios de Legendre satisfacen la ecuacin diferencial de Legendre
(1 t 2 )Pn00 (t) + 2tPn0 (t) + n(n + 1)Pn (t) = 0

(t [1, 1], n N0 ).

Poniendo


t b
,
pn (t) = Pn 1 + 2
ba

Qn (t) =

pn (t)
kpn k2

(t [a, b], n N0 )

2
se obtiene una base ortonormal {pn }
n=0 de L [a, b] para cualquier intervalo compacto [a, b].

5.2.

Polinomios de Laguerre

En el espacio de Hilbert L2 [0, [ respecto del producto escalar usual se considera la familia linealmente
i t/2 (t [0, [, i N ). Aplicando a esta familia el proceso de ortonorindependiente {vi }
0
i=1 , con vi (t) = t e

malizacin de Gram-Schmidt resulta el sistema ortonormal {en }

n=0 , donde
en (t) = et/2 Ln (t) (t [0, [, n N0 )

y Ln (n N0 ) es el n-simo polinomio de Laguerre, dado por

L0 (t) = 1,
OCW-ULL 2011/12

Ln (t) =

et d n n t

t e
n! dt n

(t [0, [, n N0 );
T EORA DE O PERADORES

E SPACIOS DE H ILBERT

27/27

es decir,
n

 
(1) j n j
Ln (t) =
t
j!
j
j=0

(t [0, [, n N0 ).

Se demuestra que los polinomios de Laguerre satisfacen la ecuacin diferencial de Laguerre

tLn00 (t) + (1 t)Ln0 (t) + nLn (t) = 0

(t [0, [, n N0 ).

Como antes, mediante un oportuno cambio de variable se obtiene una base ortonormal de L2 en cualquier
intervalo semiinfinito.

5.3.

Polinomios de Hermite

En el espacio de Hilbert L2 (R) provisto del producto escalar usual se considera la familia linealmente
i t
independiente {vi }
i=1 , con vi (t) = t e

2 /2

(t R, i N0 ). Aplicando a esta familia el proceso de ortonorma-

lizacin de Gram-Schmidt resulta el sistema ortonormal {en }

n=0 , donde

en (t) =

1
t 2 /2
Hn (t) (t R, n N0 )

1/2 e

2n n!

y Hn (n N0 ) es el n-simo polinomio de Hermite, dado por

H0 (t) = 1,

Hn (t) = (1)n et

d n  t 2 
e
dt n

(t R, n N).

Ntese que
N

Hn (t) = n! (1) j
j=0

2n2 j
t n2 j =
j!(n 2 j)!

(1) j
n(n 1) . . . (n 2 j + 1)(2t)n2 j
j!
j=0

(t R, n N0 ),

con N = n/2 si n es par y N = (n 1)/2 si n es impar.

Se demuestra que los polinomios de Hermite satisfacen la ecuacin diferencial de Hermite
Hn00 (t) 2tHn0 (t) + 2nHn (t) = 0

T EORA DE O PERADORES

(t R, n N0 ).

OCW-ULL 2011/12