Académique Documents
Professionnel Documents
Culture Documents
I SABEL M ARRERO
Departamento de Anlisis Matemtico
Universidad de La Laguna
imarrero@ull.es
ndice
1. Introduccin 1
2. Producto interior 1
2.1. Espacios con producto interior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2.2. Espacios de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
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
1. 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
Los espacios de Hilbert constituyen la generalizacin ms inmediata a espacios de dimensin infinita de los
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
Los espacios de Hilbert surgen de modo natural y frecuente en matemticas, fsica e ingeniera; son herra-
de seales.
2. 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:
Kn = {x = (1 , . . . , n ) : i K (1 i n)} ,
donde las operaciones algebraicas (suma y producto por escalares) estn definidas componente a com-
n
hx, yi = i i (x = (1 , . . . , n ), y = (1 , . . . , n ) Kn ).
i=1
donde las operaciones algebraicas estn definidas trmino a trmino, se obtiene un producto interior
poniendo
2
hx, yi = x(n)y(n) (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 2
L [a, b] = x : [a, b] K x medible Lebesgue, |x(t)| dt < ,
a
donde las operaciones algebraicas estn definidas punto a punto, se obtiene un producto interior po-
niendo
Z b
hx, yi = x(t)y(t) dt (x, y L2 [a, b]).
a
En efecto, recordemos que (1) es una norma en X si satisface los siguientes axiomas:
Se comprueba inmediatamente que (1) verifica (N1) y (N2). El siguiente resultado permitir establecer la
Proposicin 2.3 (Desigualdad de Cauchy-Schwarz) Sea (X, h, i) un espacio con producto interior. Se ve-
rifica:
|hx, yi| kxkkyk (x, y X).
se tiene:
(aqu, y en adelante, representar la parte real del nmero complejo ). Particularizando = kyk2 hx, yi
encontramos que
|hx, yi|2 |hx, yi|2 |hx, yi|2
0 kxk2 2 + = kxk2
,
kyk2 kyk2 kyk2
Quedamos ahora en disposicin de probar (N3). A tal fin, dados x, y X aplicamos la desigualdad de
kx + yk2 = kxk2 + 2hx, yi + kyk2 kxk2 + 2|hx, yi| + kyk2 kxk2 + 2kxkkyk + kyk2 = (kxk + kyk)2 ,
Todo espacio normado (X, k k) da lugar a un espacio mtrico (X, d) (y, por tanto, a un espacio topolgico),
donde
x) significa que lmn d(xn , x) = lmn kxn xk = 0. Similarmente pueden contemplarse las nociones de
El siguiente resultado establece que el producto escalar y la norma son funciones continuas respecto de la
D EMOSTRACIN . Por la desigualdad de Cauchy-Schwarz, y puesto que toda sucesin convergente est aco-
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
(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
Puesto que toda aplicacin continua de dos variables es continua en cada variable, de la definicin anterior
), dadas por Tx y = x + y y M y = y (y E), son continuas. Si 6= 0, sus inversas respectivas son Tx1 = Tx
de E. En particular, toda topologa vectorial es invariante por traslaciones y homotecias de razn no nula.
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.
K, tales que
lm xn = x, lm yn = y, lm n = .
n n n
Se verifica:
lm (xn + yn ) = x + y, lm n xn = x.
n n
Hemos visto cmo definir una norma en un espacio con producto escalar. El siguiente resultado permite
Proposicin 2.7 (Identidad de polarizacin) En un espacio con producto interior (X, h, i) se cumple:
1
kx + yk2 kx yk2 + i kx + iyk2 kx iyk2
hx, yi = (x, y X). (3)
4
Teorema 2.8 (Von Neumann-Jordan) Un espacio normado (X, k k) es un espacio con producto interior si,
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
y tambin que hx, xi = kxk2 . En particular, hx, xi 0 y hx, xi = 0 si, y slo si, x = 0.
1
kx + y + zk2 kx + y zk2 + i kx + y + izk2 kx + y izk2 ,
hx + y, zi =
4
1
kx + zk2 kx zk2 + i kx + izk2 kx izk2 ,
hx, zi =
4
1
ky + zk2 ky zk2 + i ky + izk2 ky izk2 .
hy, zi =
4
La segunda de estas identidades sigue de la primera sin ms que reemplazar z por iz. En consecuencia, demos-
Haciendo
x+y x+y
u= , v= +z
2 2
en (8), obtenemos:
x + y
2
2
2 2
x+y
kx + y + zk + kzk = 2
+2
.
+ z
2
2
Haciendo ahora
x+y x+y
u= , v = z
2 2
en (8), resulta:
x + y
2
2
2 2
x+y
kzk + kx + y zk = 2
+2
z
.
2
2
1 1
kx + y + zk2 kx + y zk2 = kx + y + 2zk2 kx + y 2zk2 . (9)
2 2
kx + y + 2zk2 kx + y 2zk2 = 2kx + zk2 + 2ky + zk2 2kx zk2 2ky zk2 . (10)
de modo que
Supongamos ahora que Q, esto es, = m/n, con m Z y n Z \ {0}. Entonces podemos escribir
Dm E
n x, y = hmx, yi = mhx, 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 geome-
tra 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
` p = x = {x(n)}
n=1 : x(n) K (n N), kxk p < ,
x+y
y
x -y
donde ( )1/p
p
kxk 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,
(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,
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 com-
pleta.
Ejemplo 2.12 Todos los espacios con producto interior considerados en el Ejemplo 2.2 son espacios de Hil-
bert.
Definicin 2.13 Una aplicacin T entre dos espacios normados (E, k kE ) y (F, k kF ) sobre el mismo cuerpo
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.
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 iso-
morfismo unitario T : X T (X) H tal que T (X) es denso en H. El espacio H es nico salvo isomorfismos
unitarios.
3. Ortonormalidad
como
= nf d(x, y).
yM
= nf kx yk.
yM
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
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
x x x
d d d
d
d
M M M
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
Teorema 3.3 (Vector minimizante) Todo conjunto convexo completo no vaco M de un espacio con producto
D EMOSTRACIN . El conjunto {kyk : y M} es no vaco y acotado inferiormente; por tanto, admite un nfimo
yn + ym
2
0 kyn ym k2 = 4
2 2 2 2 2
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 }
n=1 ; y por la continuidad de la norma (Proposicin 2.4), ke
yk = lmn kyn k = . Esto prueba la afirmacin
de existencia.
ye1 + ye2
2
y1 ye2 k2 = 4
0 ke
2
+ 2ke
y1 k2 + 2ke
y2 k2 4 2 + 4 2 = 0,
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,
= nf kx yk = kx yek.
yM
Observacin 3.5 Las afirmaciones de existencia y unicidad del Teorema 3.3 dejan de verificarse si prescin-
(i) M = {ek }
k=1 no es convexo, es cerrado, y contiene infinitos elementos de norma mnima;
1 + k1 ek k=1 no es convexo, es cerrado, y no contiene elementos de norma mnima.
(ii) M =
Definicin 3.6 Sea (X, h, i) un espacio con producto interior. Se dice que dos vectores x, y X son ortogo-
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
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 in-
dependiente.
D EMOSTRACIN . Basta probar el resultado para conjuntos ortogonales finitos. Supongamos que el conjunto
1 j n, podemos escribir:
* +
n n
0= i xi , x j = i hxi , x j i = j kx j k2 .
i=1 i=1
Sabemos que en geometra plana elemental, el nico vector de un subespacio M ms prximo a un vector
D EMOSTRACIN . Razonando por contradiccin, supongamos existe u M tal que hz, ui 6= 0. En particular,
u 6= 0, y para todo K,
|hz, ui|2
kzk2 kx (e
y + u)k2 = kz uk2 = kzk2 < kzk2 ,
kuk2
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.
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
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.
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.
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
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)}
mento 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
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:
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).
Para demostrar (ii) slo resta justificar que Qx es la mejor aproximacin a x desde M . A tal fin, basta observar
que
M
T
F0
5E
Qx x
M
Px
mente, 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
Proposicin 3.16 Sea X un espacio pre-Hilbert y sea M un subconjunto no vaco de X. Se tiene que M es
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.
La inclusin M M es obvia.
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 produc-
to escalar junto con la Proposicin 2.4 entraan que M = S , y de la discusin precedente se infiere que
M = S = S.
es denso en E.
Proposicin 3.18 (Conjunto total) Supongamos que H es un espacio de Hilbert y M un subconjunto no vaco
hx, e i ( A).
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 .
2
i=1
i=1
Consecuentemente:
* +
n
2
0 2 2 2
kx sn k = kxk 2hx, sn i + ksn k = kxk 2 x, hx, ei iei + ksn k2
i=1
n n n
= kxk2 2 (hx, ei ihx, ei i) + ksn k2 = kxk2 2 |hx, ei i|2 + |hx, ei i|2
i=1 i=1 i=1
n
= kxk2 |hx, ei i|2 .
i=1
Se desprende que
n
|hx, ei i|2 kxk2 (n N),
i=1
{i }
i=1 K. Se verifican las siguientes afirmaciones:
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).
Pitgoras entraa:
2
m
m
2
ksn sm k =
i ei
= |i |2 .
i=n+1
i=n+1
2
n
n
ksn k =
i ei
= |i |2
2
(n N).
i=1
i=1
primera componente.
desigualdad de Bessel.
La serie que comparece en la parte (iii) del Teorema 3.21 se denomina serie de Fourier de x respecto de S
Observacin 3.22 En relacin con el Teorema 3.21 hacemos notar que, a menos que S sea un sistema orto-
normal maximal de H (Teorema 3.26), la serie de Fourier de x respecto de S no tiene por qu converger a x.
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
[ 1
A0 = { A : hx, e i 6= 0} = A : |hx, e i| .
m=1
m
n+1
n+1
|hx, ei i|2 m2
> kxk2 ,
i=1
S que proporcionan los coeficientes de Fourier no nulos de x respecto de S. En virtud del Teorema 3.21, la
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 ( j N).
Entonces
* +
2
ku vk = u v, hx, ei iei hx, w j iw j = hx, ei ihu v, ei i hx, w j ihu v, w j i = 0,
i=1 j=1 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
Definicin 3.25 Una base ortonormal en un espacio de Hilbert H es un conjunto ortonormal maximal.
(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
(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.
Si y 6= 0, el vector u = kyk1 y es unitario y ortogonal a S; por tanto, S {u} es un conjunto ortonormal que
Por la continuidad (Proposicin 2.4) y la linealidad (conjugada) del producto escalar en la primera (segun-
da) 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), necesa-
riamente x = 0.
Finalizamos la demostracin estableciendo que (v) implica (i): si S no es maximal entonces existe un vec-
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
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.
{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
la maximalidad de .
Proposicin 3.28 Dos bases ortonormales cualesquiera de un espacio de Hilbert no trivial tienen el mismo
cardinal.
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).
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
[
B Bu ,
A
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
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.
Z
2 2
` (A) = : A K | |()| d() < ,
A
afirmacin demostrando que para cada m N, el conjunto Am = { A : |()| 1/m} es finito. En efecto,
fijado m N:
1 1
Z Z Z
2
(Am ) = 2 d |()| d() |()|2 d() < .
m2 m Am Am A
Si {n }
n=1 es una enumeracin de B entonces
Z
|()|2 d() = |(n )|2 ,
A n=1
Z
h, i = ()()d() = (n )(n ) (, `2 (A)).
A n=1
Aqu, {n } 2
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
`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 iso-
Definicin 3.31 La aplicacin b en el Teorema 3.30 se llama transformacin de Fourier. Para cada x H, xb
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
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
1/p
1
Z
k f kp = | f (t)| p dt
2
es finita; es decir, L p (T) es el espacio de Lebesgue de orden p respecto de la medida de Lebesgue normali-
zada 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.
1
Z
h f , gi = f (t)g(t) dt ( f , g L2 (T)).
2
Si definimos en (t) = eint (n Z, t [, ]), se demuestra que U = {en }nZ es una base ortonormal de
Para cada f L2 (T), el n-simo coeficiente de Fourier de f respecto de U viene dado por
1
Z
fb(n) = f (t)eint dt (n Z), (13)
2
la serie de Fourier de f es
fb(n)en ,
n=
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
|cn |2 < ,
n=
entonces existe f L2 (T) tal que cn = fb(n) (n Z). La identidad de Parseval expresa que
1
Z
f (t)g(t) dt = g(n) ( f , g L2 (T)).
fb(n)b
2 n=
Como vimos en la seccin anterior, todos estos resultados se resumen diciendo que la transformacin de
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
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
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
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
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.
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 resolu-
cin de numerosos problemas prcticos de la teora de ecuaciones diferenciales (muy especialmente la teora
En el espacio de Hilbert L2 [1, 1] respecto del producto escalar usual se considera la familia linealmente
independiente {vi } i
i=1 , con vi (t) = t (i N0 ). Aplicando a esta familia el proceso de ortonormalizacin de
r
2n + 1
en (t) = Pn (t) (t [1, 1], n N0 )
2
N
1 dn 2 (2n 2 j)!
(t 1)n = (1) j 2n j!(n j)!(n 2 j)! t n2 j
Pn (t) = n n
(t [1, 1], n N0 );
2 n! dt j=0
Poniendo
t b pn (t)
pn (t) = Pn 1 + 2 , Qn (t) = (t [a, b], n N0 )
ba kpn k2
En el espacio de Hilbert L2 [0, [ respecto del producto escalar usual se considera la familia linealmente
et d n n t
L0 (t) = 1, Ln (t) = t e (t [0, [, n N0 );
n! dt n
es decir,
n
(1) j n j
Ln (t) = t (t [0, [, n N0 ).
j=0 j! j
Como antes, mediante un oportuno cambio de variable se obtiene una base ortonormal de L2 en cualquier
intervalo semiinfinito.
En el espacio de Hilbert L2 (R) provisto del producto escalar usual se considera la familia linealmente
i t 2 /2
independiente {vi }
i=1 , con vi (t) = t e (t R, i N0 ). Aplicando a esta familia el proceso de ortonorma-
1 t 2 /2
en (t) = 1/2 e Hn (t) (t R, n N0 )
2n n!
2 d n t 2
H0 (t) = 1, Hn (t) = (1)n et e (t R, n N).
dt n
Ntese que
N N
2n2 j (1) j
Hn (t) = n! (1) j t n2 j = n(n 1) . . . (n 2 j + 1)(2t)n2 j (t R, n N0 ),
j=0 j!(n 2 j)! j=0 j!