Bases en espacios de Hilbert

Marfia Martı́n

Trabajo Final de Análisis Funcional

basado en el libro An introduction to frames and Riesz bases de Ole Christensen
Índice
1. Introducción 1

2. Preliminares 1

3. Bases en espacios de Banach 3

4. Sucesiones de Bessel en espacios de Hilbert 7

5. Bases y sistemas biortogonales en H 9

6. Bases ortonormales 11

7. La matriz de Gram 14

8. Bases de Riesz 17

9. Series de Fourier y bases de Gabor 22

10.Bases Wavelet 24
1. Introducción
Las bases juegan un rol prominente en el análisis de espacios vectoriales, tanto en el caso
finito como en el infinito dimensional. La idea es la misma en ambos casos, consideramos
una familia de elementos tales que todos los vectores del espacio pueden ser expresados
de forma única como combinación lineal de esos elementos. En el caso infinito dimensional
la situación es más complicada: se tiene que trabajar con series infinitas, y dependiendo de
cómo queremos que converja la serie hay diferentes conceptos de base. Por ejemplo podrı́amos
preguntarnos por la convergencia de la serie dado un orden fijo de los elementos (convergencia
condicionada) o sin importar que escojamos. Definiremos los tipos de bases más relevantes
en espacios de Banach generales y discutiremos las propiedades más importantes de las
ortonormales en los Hilbert. Veremos que las bases ortonormales y las llamadas de Riesz,
cumplen la desigualadad de Bessel, que es la llave que nos permite observar que nos dan
convergencia incondicional de series de una expansión de un elemento del espacio. Al final
daremos ejemplos concretos de bases en espacios de funciones usando la teorı́a de series de
Fourier y bases de Gabor, como ası́ también introduciremos la idea de bases wavelet para
L2 (R).

2. Preliminares
Definición 2.0.1. La inmersion canonica JE : E → E ∗ se define por

JE (x) = Jx ∈ E ∗∗ con Jx (φ) = φ(x), paratodoφ ∈ E ∗

Definición 2.0.2. El espacio E se dice ref lexivo si la isometrı́a JE es sobre.

Proposición 2.0.3. Hahn Banach : Sea E un espacio normado, S ⊂ E un subespacio y

φ ∈ S ∗ . Entonces existe un funcional Φ ∈ E ∗ tal que:

1. φ extiende a φ en el sentido de que Φ(y) = φ(y) ∀y ∈ S

2. kΦkE ∗ = kφkS ∗

Definición 2.0.4. Una sucesión {fk }∞ ∞

k= en X tal que span{fk }k= = X se dice completa.

Definición 2.0.5. Sea H un espacio de Hilbert y T ∈ L(H). Diremos que T es:

1. Normal si T ∗ T = T T ∗ .

2. Autoadjunto si T = T ∗ .

3. Positivo si es autoadjunto y hT x, xi ≥ 0.

4. Unitario si T es invertible y T −1 = T ∗ .

Proposición 2.0.6. Todo operador acotado y positivo U : H → H tiene una única y acotada
raı́z cuadrada W (i.e., tal que W 2 = U ). Si U es autoadjunto/invertible entonces W es
autoadjunto/invertible.

1
Proposición 2.0.7. Teorema de la imágen abierta: Sean E y F dos espacios de Banach, si
T ∈ L(E, F ) es sobre, entonces T es abierto.
Proposición 2.0.8. Teorema de la función inversa: Si T ∈ L(E, F ) es biyectiva, entonces
T −1 es continua.
Proposición 2.0.9. Principio de la acotación uniforme: Sean E y F dos espacios de Banach.
Entonces toda familia de operadores (Ti )i∈I en L(E, F ) tal que para todo x ∈ E:
Mx = supi∈I kTi xkF < ∞ (puntualmente acotada)
implica que supi∈I kTi kL(E,F ) < ∞ (uniformemente acotada en BE )
Proposición 2.0.10. Teorema de Banach - Steinhaus : Sean E y F dos espacios de Banach
y (Tn )n∈N una familia de operadores en L(E, F ) tal que para todo x ∈ E existe un yx ∈ F
tal que
Tn x → yx
entonces valen:
1. La sucesión es acotada, o sea que M = supn∈N kTn k < ∞
2. El operador T : E → F dado por

Tx = yx = lı́m Tn x
n→∞

es lineal, acotado y kT k ≤ M
Proposición 2.0.11. Si T ∈ L(E, F ), S ∈ L(F, G) con E, F, G espacios normados
1. (ST )∗ = T ∗ S ∗
2. Si T es un iso, entonces T ∗ hace que E ∗ y F ∗ sean isomorfos con (T ∗ )−1 = (T −1 )∗
3. kyk = supφ∈BF ∗ |φ(y)|, para todo y ∈ F .
4. kT k = kT ∗ k
Proposición 2.0.12. Sea H un espacio de Hilbert, y sean x, y ∈ H:
1. Desigualdad de Cauchy-Schwarz: |hx, yi| ≤ kxkkyk.
2. kxk = supkyk=1 |hx, yi|.
Proposición 2.0.13. Teorema de Representación de Riesz:Sea H un espacio de Hilbert. La
aplicación R : H → H ∗ dada por
R(y) = φy
con
φy (x) = hx, yi
es un antiisomorfismo isométrico de H sobre H ∗ . Es decir, para toda φ ∈ H ∗ existe un único
y ∈ H tal que φ = h·, yi que además cumple que kφk = kyk.

2
3. Bases en espacios de Banach
El concepto más fundamental de una base fué introducido por Schauder en 1927. Toma
lugar en un espacio de Banach X, y captura la idea básica de tener una familia de vectores
con la propiedad de que cada f ∈ X tiene una única expansión en términos de esos vectores.
Todas las bases que vamos a considerar en este trabajo son bases de Schauder. Antes de dar
la definición formal, recordamos que una sucesión en X es un conjunto ordenado, i.e.,

{ek }∞
k=1 = {e1 , e2 , . . . }

Definición 3.0.14. Sea X un espacio de Banach. Una sucesión de vectores {ek }∞ k=1 en X
es una base (de Schauder) para X si, para cada f ∈ X, existen únicos coeficientes escalares
{ck (f )}∞
k=1 tales que
∞
X
f = ck (f )ek .
k=1

En ocasiones nos referiremos a esta ultima ecuación como la expansion def en la base
{ek }∞
k=1 . Esta igualdad implica que esa serie converge con respecto al orden elegido de los
elementos. Si dicha serie converge incondicionalmente para toda f ∈ X, decimos que {ek }∞k=1
es una base incondicional. Detrás de la existencia de una expansión de f , está la duda
de la unicidad. Esto usualmente se obtiene pidiendole a {ek }∞ k=1 que sea independiente en
algún sentido. En espacios de Banach de dimensión infinita hay diferentes conceptos de
independiencia:

Definición 3.0.15. Sea {fk }∞

k=1 una sucesión en X. Decimos que:

1. {fk }∞ ∞
k=1 es linelamente independiente si cualquier subconjunto finito de {fk }k=1 es
linealmente independiente.

2. {fk }∞
P∞
k=1 es ω − independiente si cuando la serie k=1 ck fk converge y es igual a cero
∞
para ciertos escalares {ck }k=1 , entonces necesariamente ck = 0 para todo k ∈ N.

3. {fk }∞
k=1 es minimal si fj 6∈ span{fk }k6=j , ∀j ∈ N.

Las relaciones entre estas definiciones se da de la siguiente manera:

Lema 3.0.16. Sea {fk }∞

k=1 una sucesión en X. Luego:

1. Si {fk }∞ ∞
k=1 es minimal, luego {fk }k=1 es ω - independiente.

2. Si {fk }∞ ∞
k=1 es ω - independiente, entonces {fk }k=1 es linealmente independiente.

Las implicaciones al revés no son ciertas.

3
Demostración. Pra la prueba de (1) asumamos que {fk }∞
k=1 no es ω-independiente. Elegimos
escalares {ck }∞ ∞
P
k=1 no todos nulos tales que k=1 k k = 0; luego hay al menos un cj no
c f
nulo talque sucede que fj = k6=j cj fk , lo que implica que fj ∈ span{fk }k6=j . Ası́ {fk }∞
−ck
P
k=1
no es minimal. La segunda es obvia. Veamos que las vueltas no valen, aunque para eso
necesitamos conceptos y resultados de la sección Bases ortonormales, P∞ ek igual le ∞damos para
∞
adelante. Sea {ek }k=1 una base ortonormal de H; tomemos { k=1 k } ∪ {ek }k=1 . Veamos
que es linealmente independiente pero no ω independientes. SiPtomo finitos de los ek ya
está por ser {ek }∞k=1 una base. Ahora si tomo finitos de ellos y {
∞ ek
k=1 k } simplemente hago

P ek h·, ej i econ
producto un ej que no esté entre los finitos. Para ver la otra parte hago simplemente
− k
+ e1 + 2 + e33 + · · · = 0. Para ver que la vuelta de (1) no es cierta tomamos de la
2

base ortonormal {ek }∞ ∞

k=1 , el conjunto {e1 } ∪ {ek + ek+1 }k=1 que es ω independiente es trivial.
Para ver que no es minimal veamos que {ek + ek+1 }∞ k=1 es completo. Para ello sea f ∈ H y
supongamos que hf, ek + ‘ek+1 i = 0 ∀k ∈ N, entonces hf, ek i = −hf, ek+1 i lo que implica que
2 2
P
|hf, ek i| es constante. Como |hf, ek i| = kf k −→ hf, ek i = 0 −→ f = 0 lo que equivale a
∞
que {ek + ek+1 }k=1 es completo. ♣
Un espacio de Banach con una base es necesariamente separable (tomando como denso
el conjunto de las combinaciones lineales finitas con escalares racionales o de parte real e
imaginaria racionales en el caso complejo, que es denso y numerable). Y la mayorı́a de los
espacios de Banach separables tienen una base, pero no es condición suficiente, en 1972 Enflo
construyó un contraejemplo. Es claro que una base en X es completa y consiste de vectores
no nulos, pero si además añadimos una condición extra podemos caracterizar las bases:
Teorema 3.0.17. Una familia completa de vectores no nulos {ek }∞ k=1 en X es una base para
X si y sólo si existe una constante K talque para todo m, n ∈ N con m ≤ n,

X m X n
ck e k ≤ K ck ek .



k=1 k=1

para toda sucesión de escalares {ck }∞

k=1 .

Demostración. P Supongamos que {ek }∞ k=1 es una base. Luego cada f ∈ X tiene una única
expansión f = ∞ c e
k=1 k k . Definimos entonces
n
X
|||f ||| := sup ck ek < ∞

n
k=1

Notar que si |||f ||| = 0, luegok nk=1 = 0 para todo n ∈ N; luego por la independencia de la
P
base tenemos que ck = 0 para todo k ∈ N, y f = 0. No es difı́cil ver que ||| · ||| es una norma
en X y que X es un espacio de Banach con esa norma. Por la definición de ||| · |||, tenemos
que kf k ≤ ||f ||, ∀f ∈ X, lo que implica que la identidad es un operador continuo e inyectivo
de (X, ||| · |||) en (X, k · k). Luego este operador tiene una inversa continua,i.e., que existe
una constante K > 0 tal que para toda Pn f ∈ X, |||f ||| ≤ Kkf k. En particular, fijando un
n ∈ N arbitrario y considerando f = k=1 ck ek obtenemos la desigualdad deseada. Para la
otra implicación, asumamos que una familia completa de vectores no nulos {ek }∞ k=1 satisface
la desigualdad. Sea P A el espacio vectorial que consiste en todos los f ∈ X que se pueden
expandir como f = ∞ ∞
k=1 ck ek para ciertos coeficientes {ck }k=1 . Primero vamos a probar que

4
A = X; com {ek }∞k=1 es completa, tenemos que A es densa en X, asi que veamos solamente
que A es cerrado. Sea f ∈ X, y elijamos una sucesión {fj }∞j=1 ⊂ A tal que fj → f cuando
P∞ (j) (j) ∞
j → ∞. Ahora bien, fj = k=1 ck ek para ciertos coeficientes {ck }k=1 . Por la desigualdad,
para cada i ∈ N y para todo i≤m≤n, tenemos para todo j,l ∈ N que

X m
(j) (l) (j) (l)

|ci − ci | kei k ≤ K ck − ck e k


k=1
X n
(j) (l)

≤ K2 ck − ck ek


k=1 !
X n
(j)
≤ K2 ck ek − fj + kfj − f k


k=1 !
X n
(l)
+K 2 kf − fl k + fl − ck ek .


k=1

Dado  > 0, elegimos N ∈ N tal que


kf − fj k ≤ 2K 2
para j ≥ N.
Haciendo n → ∞, de la estimación de antes se sigue que
(j) (l)
|ci − ci | kei k ≤  para todo i ∈ N, j, l ≥ N .
y, ası́

Xm
(j) (l)

ck − ck ek ≤  para todo m ∈ N, j, l ≥ N .



k=1
(l) (l)
Para cada i ∈ N, la sucesión {ci }∞
l=1 es convergente, digamos ci → ci , cuando l → ∞.
Haciendo luego, l → ∞ en las dos últimas desigualdades, obtenemos que
(j)
|ci − ci |kei k ≤  para todo i ∈ N, j ≥ N ,
y

Xm
(j)

ck − ck ek ≤  para todo m ∈ N, j ≥ N .



k=1

Ahora, para m ∈ N dado, y todo j ∈ N,

m
m
m
X X X
(j) (j)

f − ck ek ≤ kf − fj | + fj − ck e k + ck − ck ek ;


k=1 k=1 k=1

Ası́ a partir de un argumento / 3 tenemos que ∞

P
k=1 ck ek converge a f. Luego f ∈ A como
querı́amos. Solo nos resta probar para que los P ek sean una base, que son ω-independientes.
Esto sale por la desigualdad de la hipótesis: si ∞ k=1 ck ek = 0, luego para cada i ∈ N y todo
n ≥ i,
n
X
|ci |kei k ≤ K ck ek ;


k=1

5
y obtenemos la independencia haciendo n → inf ty. ♣
Dada una base {ek }∞ ∞
k=1 es claro que los coeficientes {ck (f )}k=1 de la definición de ex-
pansión de f dependen linealmente de f . Llamaremos a los funcionales f → ck (f ), los
f uncionales coef icientes de f . Como consecuencia del teorema previo, estos son continuos:

Corolario 3.0.18. Los funcionales coeficientes {ck }∞ ∞

k=1 asociados a la base {ek }k=1 para X
∗
son continuos, asi se los puede considerar en el dual X . Y si existiese una constante C > 0
tal que kek k ≥ C para todo k ∈ N, entonces las normas de los {ck }∞k=1 están uniformemente
acotadas.

Usaremos el teorema previo y la notación introducida recién. Dada f ∈ X,

Demostración. P
escribimos f = ∞ k=1 ck (f )ek . Luego, para todo j ∈ N y todo n ≥ j,

Xn
|cj (f )|kej k ≤ K ck (f )ek .


k=1

Haciendo n → ∞ obtenemos que

K
|cj (f )| ≤ kej k
kf k.
♣

Definición 3.0.19. Una sucesión {fk }∞ ∞ ∗

k=1 en X y una sucesión {gk }k=1 en X se dicen
biortogonales si
n
gk (fj ) = δk,j := 10 si k=j
si k6=j

Corolario 3.0.20. Supongamos que {ek }∞ ∞

k=1 es una base para X. Luego {ek }k=1 y los fun-
∞
cionales coeficientes {ck }k=1 asociados, son biortogonales.

Demostración. Es obvia a partir de la defincion de los funcionales y del hecho de que los
coeficientes de cada ek en la base {ek }∞
k=1 son 1 en la posición k-ésima y 0 en las demás. ♣

Por completitud mencionamos el siguiente resultado sobre los funcionales coeficientes:

Teorema 3.0.21. Sea {ek }∞ ∞

k=1 una base para X y sean {ck }k=1 los funcionales coeficientes
asociados. Entonces

{ck }∞ ∗
k=1 es una base para su span cerrado en X , y su sistema biortogonal asociado es
∞ ∗∗
{ek }k=1 (pensados en X ).

Si X es reflexivo, entonces {ck }∞ ∗

k=1 es una base de X .

6
4. Sucesiones de Bessel en espacios de Hilbert
En el resto del trabajo consideraremos sucesiones en espacios de Hilbert. Por conveniencia
indexaremos todas las sucesiones sobre N en esta sección. Pero pronto veremos que en realidad
todos los resultados valen sin en cualquier conjunto de ı́ndices.
P∞
Lema 4.0.22. Sea {fk }∞ k=1 una sucesión en H, y supongamos que k=1 ck fk es convergente
para toda {ck }∞
k=1 ∈ l 2
(N). Luego
∞
X
2
T : l (N) → H, T {ck }∞
k=1 := ck f k
k=1

define un operador lineal acotado. Su operador adjunto está dado por

T ∗ : H → l 2 (N), T ∗ f = {hf, fk i}∞

k=1 .

Más aún
∞
X
|hf, fk i|2 ≤ kT k2 kF k2 , ∀f ∈ H
k=1

Demostración. Consideremos la sucesión de operadores lineales acotados:

Xn
2 ∞
Tn : l (N) → H, Tn {ck }k=1 := ck f k
k=1

Claramente Tn → T puntualmente, luego T está acotado por el lı́mite inferior de las normas
de estos operadores. Para encontrar una expresión para T ∗ , sea f ∈ H, {ck }∞ 2
k=1 ∈ l (N).
Luego:
∞
X ∞
X
∞
hf, T {ck }k=1 iH = hf, ck fk iH = hf, fk ick .
k=1 k=1

Ası́ para hallar T f notemos que la convergencia de la serie ∞

∗ ∞
P
k=1 hf, fk ick para todo {ck }k=1 ∈
2 ∞ 2
l (n) implica que {hf, fk i}k=1 ∈ l (N). Ası́ podemos escribir
hf, T {ck }∞
k=1 iH = h{hf, fk i}, {ck }il 2 (N)

y concluimos que, por la definición de T ∗

T ∗ f = {hf, fk i}∞
k=1

Ahora bien, el adjunto de un operador acotado es acotado, y kT k = kT ∗ k. Luego tenemos

por la hipótesis que
kT ∗ f k ≤ kT k2 kf k2 , ∀f ∈ H.
lo que nos da la desigualdad pedida. ♣
En lo que sigue jugarán un papel muy importante las sucesiones {fk }∞
k=1 para las que
valen una desigualdad como la última.

7
Definición 4.0.23. Una sucesión {fk }∞
k=1 en H es una sucesión de Bessel si existe una
constante B > 0 tal que
∞
X
|hf, fk i|2 ≤ B kf k2 , ∀f ∈ H.
k=1

Todo número B satisfaciendo esta desigualdad se llama cota de Bessel para {fk }∞
k=1 .

Teorema 4.0.24. Sea {fk }∞ ∞

k=1 una sucesión en H. Luego {fk }k=1 es una sucesión de Bessel
con cota de Bessel B si y sólo si
∞
X √
T : {ck }∞
k=1 → ck fk es un operador bien definido de l 2 (N) en H y kT k ≤ B.
k=1

Demostración. Primero asumamos que {fk }∞ k=1 es una sucesión de Bessel con cota de Bessel
∞ 2 ∞
P∞Sea {ck }k=1 ∈ l (N). Primero queremos ver que T {ck }k=1 está bien definido, i.e., que
B.
k=1 ck fk es convergente. Consideremos n, m ∈ N, n > m. Luego

X n Xm X n
ck f k − ck f k = ck f k



k=1 k=1 k=m+1
 
 X n 
= sup h ck fk , gi
 
kgk=1 k=m+1
 
Xn
≤ sup |ck hfk , gi|
kgk=1 k=m+1
n
! 21 n
! 21
X X
≤ |ck |2 sup |hfk , gi|2
k=m+1 kgk=1 k=m+1
n
! 21
√ X
≤ B |ck |2 .
k=m+1
P∞
Como {ck }∞ 2
k=1 ∈ l (N), sabemos
2 ∞
P∞ que { ∞k=1 |ck | }k=1 es una sucesión de Cauchy en C. Peo
por lo anterior vemos que { k=1 ck fk }k=1 es una sucesión de Cauchy en H y por lo tanto
convergente, es decir T está bién definido. Claramente T es lineal, y como kT {ck }∞ k=1 k =
∞
supkgk=1 |hT {ck }k=1 , gi| una cuenta como la de antes muestra como T es acotado y su norma
√ √
es ≤ B. Para la vuelta, supongamos que T es un operador bien definido y que kT k ≤ B.
Ası́ por el lema previo y la acotación de kT k tenemos que {ck }∞
k=1 es una sucesión de Bessel
con cota de Bessel B ♣
El lema previo nos muestra que si sólo necesitamos saber que {fk }∞ k=1 es una sucesión
de Bessel pero la cota de Bessel es irrelevante, sólo hace falta chequear que el operador T
esté bién definido:
P∞
Corolario 4.0.25. Si {fk }∞ k=1 es una sucesión en H y k=1 ck fk es convergente para todo
∞ 2 ∞
{ck }k=1 ∈ l (N), luego {fk }k=1 es una sucesión de Bessel.

8
 La condición de Bessel se mantiene sin importar el orden en que los elementos {fk }∞k=1
son numerados. Lo que nos lleva a una importante consecuencia del teorema anterior:
P∞
Corolario 4.0.26. Si {fk }∞ k=1 es una sucesión de Bessel en H, luego k=1 ck fk converge
∞ 2
incondicionalmente para todo {ck }k=1 ∈ l (N).

Por este motivo, podemos elegir una indexación arbitraria de los elementos de la sucesión
de Bessel, en particular no es una restricción que presentemos todos los resultados con los
naturales como conjunto de ı́ndices. Como veremos más adelante, todas las bases ortonorma-
les, bases de Riesz y marcos son sucesiones de Bessel. Es suficiente con chequear la condición
de Bessel en un subconjunto denso de H:

Lema 4.0.27. Supongamos que {fk }∞

k=1 es una sucesión de elementos de H y existe una
constante B > 0 tal que
∞
X
|hf, fk i|2 ≤ B kf k2
k=1

para todo f en un subconjunto V denso de H. luego {fk }∞

k=1 es una sucesión de Bessel con
cota B.

Demostración. Tenemos que ver que la condición de Bessel vale para toda f en H. Supon-
gamos que existe g ∈ H tal que
X∞
|hg, fk i|2 > B kgk2
k=1

Luego existe un conjunto finito F ⊂ N tal que

X∞
|hg, fk i|2 > B kgk2
k∈F

Como V es denso en H, esto implica que existe h ∈ V tal que

X∞
|hh, fk i|2 > B khk2 ,
k∈F

pero esto contradice la hipótesis. ♣

5. Bases y sistemas biortogonales en H

Ahora volveremos a algunos de los conceptos definidos en la Sección 3. El primer lema en
realidad vale en espacios de Banach, pero para nuestros propósito nos alcanza con los Hilbert.
Notemos que como H∗ = H, si una sucesión {fk }∞ k=1 en H tiene una sucesión biortogonal
∞ ∞
{gk }k=1 , luego {fk }k=1 es también una sucesión en H.

Lema 5.0.28. Sea {fk }∞

k=1 una sucesión en H. Luego

1. {fk }∞ ∞ ∞
k=1 tiene una sucesión biortogonal {gk }k=1 si y solo si {fk }k=1 es minimal.

9
 2. Si existe una sucesión biortogonal para {fk }∞
k=1 , está unı́vocamente determinada si y
sólo si {fk }∞
k=1 es completa en H.

Demostración. Supongamos que {fk }∞ ∞

k=1 tiene un sistema biortogonal {gk }k=1 . Luego para
cualquier j ∈ N dado,
hfj , gj i = 1 y hfk , gk i = 0 para k 6= j.
Luego fj 6∈ span{fk }k6=j ( si estuviera hfj , gj i seria 0);i.e.; {fk }∞
k=1 es minimal. Para la otra
∞
implicación de (1), asumamos que {fk }k=1 es minimal y sea
H0 := span{fk }∞
k=1 .

Dado j ∈ N sea Pj la proyección ortogonal de H en span{fk }k6=j , y sea Io el operador

identidad restringido a H0 . Luego, (Io − Pj )fj 6= 0), y
hfj , (I0 − Pj )fj i = hPj fj + (I0 − Pj )fj , (I0 − Pj )fj i = k(I0 − Pj )fj k2 6= 0
Para k 6= j, claramente hfk , (Io − Pj )fj i = 0. Definiendo
(I0 −Pj )fj
gj := k(Io −Pj )fj k2
, j∈N
obtenemos que {gk }∞ ∞
k=1 es un sistema biortogonal para {fk }k=1 .
Para la prueba de (2), supongamos que {fk }∞ ∞
k=1 tiene un sistema biortogonal {gk }k=1 .
∞ ∞ ∞
Si {fk }k=1 no fuera completo, podemos reemplazar {gk }k=1 por {gk + hk }k=1 para algún
hk ∈ H0⊥ \ {0} y de esta forma obtener un nuevo sistema biortogonal para {fk }∞
k=1 . ♣

Teorema 5.0.29. Si {ek }∞ k=1 es una base para un espacio de Hilbert H. Entonces existe una
∞
única familia {gk }k=1 en H para la cual
∞
X
f= hf, gk iek , ∀f ∈ H.
k=1

Además {gk }∞ ∞ ∞
k=1 es una base para H, y {ek }k=1 junto con {gk }k=1 forman un sistema bior-
togonal.

Demostración. Sabemos que los funcionales coeficientes {ck }∞ ∞

k=1 asociados a {ek }k=1 son
continuos. Usando la representación de Riesz, existe una única familia {gk }∞
k=1 en H tal que

ck (f ) = hf, gk i, ∀f ∈ H;
luego
∞
X
f= hf, gk iek , ∀f ∈ H.
k=1

♣
La base {gk }∞
k=1 que satisface la igualdad del teorema previo es llamada la base dual, o
la base biortogonal, asociada a {ek }∞
k=1 .

Lema 5.0.30. Sea {ek }∞ ∞

k=1 una base para H y {gk }k=1 el sistema biortogonal asociado. Si
∞
{ek }k=1 es una sucesión de Bessel con cota B, luego

10
 1
P∞
1. B
kf k2 ≤ |hf, gk i|2 , ∀f ∈ H.
k=1

2. B1 ∞
P 2
P∞ 2 ∞
k=1 |ck | ≤ k k=1 ck gk k para toda sucesión finita {ck }k=1

Donde con sucesión finita nos referimos a aquellas con a lo sumo finitas entradas no nulas.
P∞
Demostración. Sea f ∈ H. Usando que f = k=1 hf, gk iek y la desigualdad de Cauchy
Schwarz, tenemos que
X∞ ∞
X ∞
X ∞
X
2 2 2 2
4
kf k = | hf, gk ihek , f i| ≤ |hf, gk i| |hek , f i| ≤ B kf k |hf, gk i|2 .
k=1 k=1 k=1 k=1

(1) sale inmediato de esta desigualdad. Para (2), sea {ck }∞ k=1 una succesión finita. Usando el
sistema biortogonal {ek }∞
k=1 , {g } ∞
k k=1 podemos escribir
( ∞ )∞
X
{ck }∞
k=1 = h cj gj , ek i
k=1 k=1
y
 2 2
∞
X ∞  X
X ∞  X∞
|ck |2 = h cj gj , ek i ≤ B cj gj .
 

 
k=1 k=1 k=1 k=1

Notar lo esencial que es que la sucesión {ck }∞

k=1 sea finita. Pues la última serie podrı́a no
converger. ♣

6. Bases ortonormales
Tenemos todo para introducir uno de los temas centrales, las bases ortonormales en es-
pacios de Hilbert. Ellas son la contraparte abstracta ( infinito - dimensional) de las bases
canónicas en Cn , y tienen propiedades similares. Estas bases se usan mucho tanto en ma-
temática como en fı́sica, procesamiento de señales, y muchas otras areas donde uno necesita
representar funciones en términos de una base.

Definición 6.0.31. Una sucesión {ek }∞

k=1 en H es un sistema ortonormal si

hek , ej i = δk,j .

Una base ortonormal es un sistema ortonormal {ek }∞

k=1 que es base para H.

Notar que un sistema ortonormal {ek }∞ ∞

k=1 es una sucesión de Bessel. En efecto, si {ck }k=1 ∈
2
l (N) y m, n ∈ N, n > m, luego
2 2
Xn m
X X n Xn
ck ek − ck e k = ck ek = |ck |2 ;



k=1 k=1 k=m+1 k=m+1
P∞
y como hicimos antes, esto prueba que la serie k=1 ck ek es convergente y además

11
 2
X∞ ∞
X
c e = |ck |2 .

k k

k=1 k=1

El siguiente teorema nos da condiciones equivalentes para que un sistema ortonormal sea
una base ortonormal.

Teorema 6.0.32. Dado un sistema ortonormal {ek }∞

k=1 , son equivalentes:

1. {ek }∞
k=1 es una base ortonormal.

2. f = ∞
P
k=1 hf, ek iek , ∀f ∈ H.

3. hf, gi = ∞
P
k=1 hf, ek ihek , gi, ∀f, g ∈ H.
P∞ 2 2
4. k=1 |hf, ek i| = kf k , ∀f ∈ H. (Ecuación de Parseval)

5. span{ek }∞
k=1 = H.

6. Si hf, ek i = 0, ∀k ∈ N, f = 0.

Demostración. Para la prueba de que (1) ⇒ (2), seaPf ∈ H. Si {ek }∞k=1 es una bse ortonormal,
∞ ∞
entonces existen
P∞ coeficientes {ck }k=1 tales que f = k=1 ck ek . Dado cualquier j ∈ N, tenemos
que hf, ej i = k=1 ck δk,j = cj , lo que muestra (2). (3) es consecuencia inmediata de (2), y
(4) es un caso particular de (3) cuando f = g. ♣
Con este teorema (en particular, usando que (1) ⇐⇒(4))y usando un corolario visto
combinados obtenemos el siguiente resultado:

Corolario 6.0.33. Si {ek }∞

k=1 es una base ortonormal, luego cada f ∈ H tiene una expansión
incondicionalmente convergente
∞
X
f= hf, ek iek .
k=1

En particular, la base dual es ella misma.

Teorema 6.0.34. Todo espacio de Hilbert H separable tiene una base ortonormal.

Demostración. Como H es separable, podemos elegir una sucesión {fk }∞ k=1 en H tal que
span{fk }∞
k=1 = H. Extrayendo una subsucesión de ser necesario, podemos asumir que para
n ∞
cada n ∈ N, fn+1 6∈ span{fk }k=1 . Aplicando Gram - Schmidt a {fk }k=1 tenemos un sistema
ortonormal {ek }∞ ∞ ∞
k=1 en H para el cual span{ek }k=1 = span{fk }k=1 = H ♣
A veces queremos tener una base ortonormal concreta para un espacio de Hilbert dado,
más allá de saber que hay una. El caso más sencillo es l 2 (N):

Ejemplo 6.0.35. Sea ek la sucesión en l 2 (N) cuya k-ésima entrada es 1, y el resto 0. Clara-
mente {ek }∞ 2
k=1 es una base ortonormal para l (N); se la suele llamar la base ortonormal canonica.
Denotaremos usualmente esta base como {δk }∞ k=1 .

12
 Posteriormente consruiremos bases ortonormales para otros espacios de Hilbert, por ejem-
plo, L2 (−π, π) y L2 (R). Las bases ortonormales son ciertamente las más convenientes para
usar porque su base biortogonal es ella misma. Desafortunadamente hay que pagar un pre-
cio por esta buena propiedad, puesto que las condiciones sobre {ek }∞ k=1 para ser una base
ortonormal son muy fuertes, y suele ser imposible construir bases ortonormales satisfacien-
do además otras condiciones. Notemos también que no siempre es buena idea usar Gram
- Schmidt para construir una base ortonormal a partir de una base dada: puede sacarnos
algunas propiedades de la base original. Basados en el teorema previo, podemos probar que
todo espacio de Hilbert separable puede ser identificado con l 2 (N):

Teorema 6.0.36. Todo espacio de Hilbert H separable e infinito dimensional es isométrica-

mente isomorfo a l 2 (N).
P∞
Demostración. Sea {ek }∞ k=1 una base ortonormal para H. Ya vimos que k=1 ck ek es con-
∞ 2
vergente para todo {ck }k=1 ∈ l (N).P Más aún, cada f ∈ H tiene una única expansión con
2 2 ∞
coeficientes en l (N), a saber, f = hf, ek iek . Tomando la base canónica de l (N), {δk }k=1 ,
podemos ası́ definir el operador
P  P
U : H → l 2 (N), U ck ek = ck δk , {ck }∞ 2
k=1 ∈ l (N).

Luego U manda H a l 2 (N) de forma biyectiva. Para f ∈ H, f = hf, ek iek , tenemos

P

kU f k2 = k hf, ek iδk k2 = |hf, ek i|2 = kf k2 .

P P

Luego U es una isometrı́a. ♣

El siguiente teorema caracteriza todas las bases ortonormales para H cuando ya tenemos
una base ortonormal de prepo.

Teorema 6.0.37. Sea {ek }∞ k=1 una base ortonormal para H. Luego las bases ortonormales
para H son precisamente los conjuntos {U ek }∞
k=1 donde U : H → H es un operador unitario.

Demostración. Sea {fk }∞

k=1 una base ortonormal para H. Definimos el operador
P  P
U : H → H, U ck ek = ck fk , {ck }∞ 2
k=1 ∈ l (N).

LuegoPU manda a H continua

P y biyectivamente en sı́ mismo. Para f, g ∈ H, escribimos
f = hf, ek iek y g = hg, ek iek ; luego por definicón de U y las equivalencias de ser base
ortonormal,
hU ∗ U f, gi = hU
DP f, U gi E
P
= hf, ek ifk , hg, ek ifk
P
= hf, ek ihg, ek i = hf, gi;
luego U ∗ U = I. Como U es suryectivo, tenemos que U es unitario. Reciprocamente si U es
un operador unitario dado, luego
hU ek , U ej i = hU ∗ U ek , ej i = hek , ej i = δk,j .
es decir, {U ek }∞
k=1 es un sistema ortonormal. Y como U es suryectivo, es una base. ♣

13
 La condición de la ecuación de Parseval que vimos en las equivalencias de base ortonormal,
tiene una interpretación en términos de los llamados marcos. Si no asumimos que {ek }∞ k=1
es un sistema ortonormal, implica que {ek }∞ k=1 es una base ortonormal si los vectores están
normalizados:
Teorema 6.0.38. Asumamos que {ek }∞
k=1 es una sucesión normalizada de vectores en H y
que
∞
X
|hf, ek i|2 = kf k2 , ∀f ∈ H.
k=1

Luego, {ek }∞
k=1 es una base ortonormal para H.

Demostración. Por las equivalencias que ya conocemos sólo nos hace falta ver que {ek }∞
k=1
es un sistema ortogonal. Para cada j ∈ N tenemos que
X∞ X
1 = kej k2 = |hej , ek i|2 = 1 + |hej , ek i|2 .
k=1 k6=j

Lo que muestra que hej , ek i = 0 para k 6= j. ♣

7. La matriz de Gram
Si {fk }∞
k=1 es una sucesión de Bessel podemos componer los operadores acotados T y T
∗

y de esta manera obtener el operador acotado

∞
nD X Eo∞
∗ ∗
2 2
T T : l (N) → l (N), T T {ck }∞
k=1 = cl fl , fk .
k=1
l=1

Si {ek }∞ 2
k=1 es la base canónica ortonormal para l (N) la j-ésima entrada en la matriz de
representación de T ∗ T es
hT ∗ T ek , ej i = hT ek , T ej i = hfk , fj i.
Identificando T ∗ T con su representación matricial, notamos
T ∗ T = {hfk , fj i}∞
j,k=1 .

La matriz {hfk , fj i}∞ ∞

j,k=1 es llamada la matriz de Gram asociada a {fk }k=1 , y lo visto antes
2 ∞
muestra que define un operador acotado en l (N) cuando {fk }k=1 es una sucesión de Bessel.
Uno podrı́a en principio considerar la matriz de Gram asociada a cualquier sucesión {fk }∞k=1 ,
pero si queremos definir un operador acotado no podemos eludir la condición de Bessel:
Lema 7.0.39. Para una sucesión {fk }∞
k=1 en H son equivalentes:

1. {fk }∞
k=1 es una sucesión de Bessel con cota de Bessel B.

2. La mtariz de Gram asociada a {fk }∞ 2

k=1 define un operador acotado en l (N), con norma
menor o igual que B.

14
Demostración. La implicación (1)⇒(2), sale de lo visto al comienzo, junto con el hecho de
que kT ∗ T k ≤ kT ∗ kkT k = kT k2 = B. Ahora supongamos que vale (2) y sea {ck }∞ 2
k=1 ∈ l (N),
la idea va a ser probar la condición equivalente a ser sucesión √ de Bessel que nos hablaba de
definir cierto operador acotado con norma menor o igual que B. Luego
X∞ X ∞ 2 ∞
X
2
hfk , fj ick  ≤ B |ck |2 .
 

j=1 k=1 k=1

Dados n, m ∈ Nn > m arbitrarios,

X n m
X 4 n
X 4
ck f k − ck f k = ck f k


k=1 k=1 k=m+1
 Xn n
X 2
= h ck f k , cj fj i
 
k=m+1 j=m+1
n
 X n
X 2
=  cj ck hfk , fj i
 
j=m+1 k=m+1
n
 X n
 X n
 X 2 
2
≤ |cj | ck hfk , fj i ,
 

j=m+1 j=m+1 k=m+1

donde usamos la desigualdad de Cauchy-Schwarz en la suma sobre j en el último paso. Usan-

do la desigualdad de la hipótesis en la sucesión finita (· · · , 0, 0, cm+1 , cm+2 , · · · , cn , 0, 0, · · · ),,
Xn  X n 2 X∞  X n 2 Xn
2
ck hfk , fj i ≤ ck hfk , fj i ≤ B |cj |2 .
   
 
j=m+1 k=m+1 j=1 k=m+1 j=m+1

Todo junto nos lleva a que

X n m
X 4 ∞
 X 2
2
ck f k − ck f k ≤ B |cj |2 .


k=1 k=1 j=m+1
P∞
Ası́ k=1 ck fk es convergente y, repitiendo este argumento,
X ∞ √ X ∞ 1
2 2
ck f k ≤ B |cj |


k=1 j=1

Ası́ concluimos que {fk }∞

k=1 es una sucesión de Bessel con cota B. ♣
El siguiente teorema dará una condición necesaria para que {fk }∞
k=1 sea una sucesión de
Bessel. Pero el trabajo pesado está en el lema de Schur que usa y que es el siguiente:

Lema 7.0.40. Sea M = {Mj,k }∞ j,k=1 una matriz tal que Mj,k = Mk,j para todo j, k ∈ N y
para la que existe una constante B > 0 tal que
∞
X
|Mj,k | ≤ B, ∀j ∈ N.
k=1

Luego M define un operador acotado en l 2 (N) de norma menor o igual que B.

15
Demostración. Sea {ck }∞ 2
k=1 ∈ l (N).
∞
P∞Luego M {ck }k=1 es una sucesión bien definida indexada
en N cuya j-ésima coordenada es k=1 Mj,k ck . Sin embargo no es inmediatamente claro que
esta sucesión esté en l 2 (N). Abusando de la notación es suficiente con mostrar que la flecha
{dk }∞ ∞ ∞
k=1 → h{dk }k=1 , M {ck }k=1 il 2 (N)

es un funcional lineal continuo en l 2 (N). De hecho, esto muestra que M {ck }∞ k=1 pertenece al
2 2 ∞ 2
dual de l (N) que es l (N). Ahora para {dk }k=1 ∈ l (N),
 
X∞ X ∞  X∞ X ∞
M c d ≤ |Mj,k ck dj |
 
 j,k k j 
 
j=1 k=1 j=1 k=1
∞ X ∞   
1 1
X
= |Mj,k | |ck | |Mj,k | |dj | = (∗)
2 2

j=1 k=1

Usando la desigualdad de Cauchy-Schwarz,

∞ X
∞
!1/2 ∞ X
∞
!1/2
X X
(∗) ≤ |Mj,k ||ck |2 |Mj,k ||dj |2
j=1 k=1 j=1 k=1
X ∞ ∞
1/2  X 1/2
≤ B |ck |2 |dj |2 .
k=1 j=1

Lo que muestra que la flecha era un funcional lineal continuo en l 2 (N), luego M manda l 2 (N)
en l 2 (N). Además
∞
X 1/2
kM {ck }∞
k=1 k = sup |h{dk }∞ ∞
k=1 , M {ck }k=1 il 2 (N) | ≤B |ck | 2
,
k{dk }k=1 k=1

lo que completa la prueba. ♣

Una aplicación del lema de Schur nos da una condición suficiente para que la matriz de
Gram defina un operador acotado en l 2 (N), y ası́ {fk }∞
k=1 sea una sucesión de Bessel. Para
la prueba nos remitimos al lema anterior al de Schur:

Teorema 7.0.41. Sea {fk }∞

k=1 una sucesión en H y supongamos que existe una constante
B > 0 tal que
∞
X
|hfj , fk i| ≤ B, ∀j ∈ N.
k=1

Luego {fk }∞
k=1 es una sucesión de Bessel con cota de Bessel B.

Comparada con la condición de Bessel, este último teorema tiene la ventaja de que solo
involucra el producto interno de elementos en {fk }∞ k=1 , es decir, una cantidad numerable
de de condiciones deben ser verificadas, mientras que en la condición de Bessel hay que
chequearla para toda f ∈ H.

16
8. Bases de Riesz
Ya hemos caracterizado todas las bases ortonormales en términos de operadores unitarios
actuando en una base de partida. Formalmente, la definición de una base de Riesz aparece
debilitando las condiciones sobre el operador actuando:
Definición 8.0.42. Una base de Riesz para H es una familia de la forma {U ek }∞
k=1 , donde
∞
{ek }k=1 es una base ortonormal para H y U es un operador acotado y biyectivo sobre H.
Uno puede caracterizar las bases de Riesz en términos de bases satisfaciendo condiciones
extra:
Lema 8.0.43. Una sucesión {fk }∞
k=1 es una base de Riesz para H si y sólo si es una base
incondicional para H y
0 < ı́nf kfk k ≤ sup kfk k < ∞.
k k

Este lema fué probado por Kothe y Lorch y fué redescubierto (vuelto a probar) muchas
veces. Las bases duales asociadas a una base de Riesz también son bases de Riesz:
Teorema 8.0.44. Si {fk }∞ ∞
k=1 es una base de Riesz para H, existe una única sucesión {gk }k=1
en H tal que
∞
X
f= hf, gk ifk , ∀f ∈ H.
k=1

{gk }∞ ∞ ∞
k=1 también es una base de Riesz, y {fk }k=1 y {gk }k=1 son biortogonales. Más aún la
serie converge incondicionalmente para todo f ∈ H.
Demostración. Por definción escribimos {fk }∞ ∞
k=1 = {U ek }k=1 , donde U es un operador bi-
yectivo y acotado y {ek }∞
k=1 es una base ortonormal. Sea ahora f ∈ H. Expandiendo U
−1
f
∞
en la base ortonormal {ek }k=1 tenemos
∞
X ∞
X
−1
U −1
= hU f, ek iek = hf, (U −1 )∗ ek iek .
k=1 k=1

Luego, con gk := (U −1 )∗ ek ,
∞
X ∞
X
−1 −1 ∗
f = UU f= hf, (U ) ek iU ek = hf, gk ifk .
k=1 k=1
−1 ∗
Como (U ) es un operador acotado y biyectivo, {gk }∞
es una base de Riesz por definición.
k=1
Para f ∈ H,
∞
X ∞
X
2
|hf, fk i| = |hf, U ek i|2 = kU ∗ f k2 ≤ kU ∗ k2 kf k2 = kU k2 kf k2 ,
k=1 k=1

lo que prueba que una base de Riesz es una sucesión de Bessel y por lo tanto la serie converge
incondicionalmente. El resto es todo consecuencia del primer teorema de la sección de bases
y sistemas biortogonales. ♣

17
 A {gk }∞ ∞
k=1 la llamaremos la base de Riesz dual de{fk }k=1 . Uno puede aplicar el teorema
∞ −1 ∗ ∞
anterior para hallar el dual de {gk }k=1 = {(U ) ek }k=1 ; por la demostración del teorema
tendremos que hallar el adjunto del inverso de (U −1 )∗ y aplicar el resultado a {ek }∞
k=1 . Este
∞ ∞ ∞
procedimiento nos devuelve {fk }k=1 de vuelta. Luego {fk }k=1 y {gk }k=1 son duales uno del
otro y
∞
X ∞
X
f= hf, gk ifk hf, fk igk , ∀f ∈ H
k=1 k=1

Para uso posterior, veremos que una base de Riesz es una sucesión de Bessel y además
satisface una especie de desigualdad opuesta:

Proposición 8.0.45. Si {fk }∞ ∞

k=1 = {U ek }k=1 es una base de Riesz para H, existen constantes
A, B > 0 tales que
∞
X
2
A kf k ≤ |hf, fk i|2 ≤ B kf k2 , ∀f ∈ H.
K=1

1
Además A ≤ kU −1 k2
, y B ≥ kU k2 .

Demostración. Sabemos que una base de Riesz {U ek }∞ k=1 es una sucesión de Bessel con cota
óptima kU V ert por lo visto en la demostración del teorema previo. Lo de la cota inferior
sale de que
kf k = k(U ∗ )−1 U ∗ f k ≤ k(U ∗ )−1 kkU ∗ f k = kU −1 kkU ∗ f k.
♣
Una forma estándar de construir un operador es definirlo en una base y luego extender
por linealidad. El siguiente lema nos da condiciones para que esto sea posible.

Lema 8.0.46. Sea H, K espacios de Hilbert, y sea {hk }∞ ∞

k=1 una sucesión en H , {gk }k=1 una
sucesión en K. Supongamos que {gk }∞ ∞
k=1 es una sucesión de Bessel con cota B, que {hk }k=1
es completa en H, y que existe una constante A > 0 tal que

A |ck |2 ≤ k ck hk k2
P P

para toda sucesión finita de escalares {ck }. Luego

P  P
U ck hk := ck gk ({ck }f inito)

define un operador lineal acotado de span{hk }∞ ∞

k=1 en span{gk }k=1 ; y U tiene una única
q a un operador acotado de H en K; la norma de U y la de su extensión es a lo
extensión
B
sumo A

Demostración.
P Por hipótesis, toda h ∈ span{hk }∞ k=1 tiene una única representación h =
ck hk con {ck } finito, luego U está bien definido y es lineal. Dada una sucesión finita {ck },
X  2 X 2 X B X
2
U ck hk = ck gk ≤ B |ck |2 ≤ ck hk .

A
18
Luego U está acotada. Como {hk }∞
k=1 es completa, U tiene una extensión a un operador
acotado en H.
♣
El siguiente teorema nos da condiciones equivalentes para que {fk }∞
k=1 sea una base de
Riesz. Notar que la condición (2) suele ser muy usada a tal punto que algunos autores la
presentan como la definición de base de Riesz.

Teorema 8.0.47. Para una sucesión {fk }∞

k=1 en H, son equivalentes:

1. {fk }∞
k=1 es una base de Riesz para H

2. {fk }∞
k=1 es completa en H, y existen constantes A, B > 0, tales que para cada sucesión
de escalares finita {ck }, tenemos que

|ck |2 ≤ k ck fk k2 ≤ B |ck |2 .
P P P
A

3. {fk }∞ ∞
k=1 es completa y su matriz de Gram {hfk , fj i}k=1 define un operador acotado e
2
inversible en l (N).

4. {fk }∞
k=1 es una sucesión de Bessel completa, y tiene una sucesión biortogonal completa
∞
{gk }k=1 que es también una sucesión de Bessel.

Demostración.
(1) ⇒ (2) : Supongamos que {fk }∞ k=1 es una base de Riesz, y lo escribimos en la forma
{U ek }∞
k=1 de la definición. Notar que {f ∞
k }k=1 es completa. Dada cualquier sucesión finita de
escalares {ck },
P 2  P  2 P 2
ck ek ≤ kU k2 ck ek = kU k2 |ck |2
P
ck fk = U

y
P 2 P  2 P 2
−1 −1 2
ck fk = U U ck ek ≤ kU k ck fk

de lo que deducimos que

P 2
1 2
|ck | ≤ ck fk ≤ kU k2 |ck |2 .
P P
kU −1 k2

(2) ⇒ (1) : La segunda desigualdad implica que {fk }∞ k=1 es una sucesión de Bessel con cota
de Bessel B. Elegimos una base ortonormal {ek }∞ k=1 para H, y la extendemos usando el lema
anteior, a la función U ek := fk a un operador acotado en H. De la misma manera extendemos
V fk := ek a un operador acotado en H. Luego U V = V U = I, y ası́ U es invetible; por
lo que {fk }∞ ∞ ∞
k=1 es una base de Riesz. (1) ⇒ (3) : Escrivimos otra vez {fk }k=1 = {U Ek }k=1 .
Para todo j, k ∈ N,
hfk , fj i = hU ek , U ej i = hU ∗ U ek , ej i

19
es decir, la matriz de Gram representa al operador invertible U ∗ U en la base {ek }∞ k=1 .
(3) ⇒ (2) : Al asumir (3) esto es equivalente P a que {fk }∞ k=1 sea una sucesión de Bessel
∞
con cota B, lo que equivale a que√T : {ck }k=1 → ck fk sea un operador acotado de l 2 (N)
en H con norma menor o igual a B. Luego la segunda desigualdad vale. Sea G el operador
en l 2 (N) dado por la matriz de Gram {hfk , fj i}∞
j,k=1 . DadaP una sucesión {ck }∞ 2
k=1 ∈ l (N), el
∞
j-ésimo elemento de la imagen de la sucesión G{ck }∞ k=1 es k=1 hfk , fj ick . Luego
∞ X
X ∞ X ∞ 2
hG{ck }∞ , {c }∞
i = hf , f ic c = c k k .
f

k=1 k k=1 k j k j
j=1 k=1 k=1

y G resulta positivo. Una cuenta similar muestra que es autoadjunto. Sea V la raı́z cuadrada
de G que existe por ser G positivo, y es autoadjunta por ser G autoadjunto. Luego la cuenta
de arriba nos da
∞ ∞
X 2
∞ 2 1 X
ck fk = kV {ck }k=1 k ≥ |ck |2 .

kV −1 k2

k=1 k=1

(1) ⇒ (4) : Por ser {fk }∞ ∞

k=1 una base Riesz existe una única sucesión {gk }k=1 biortogonal
que también es base de Riesz. Por ser ambas bases de Riesz, son completas, sabemos que
vale la condición de Bessel.
(4) ⇒ (1) : Toda f ∈ span{fk }∞
P
k=1 tiene una representación
P f = ck fk por una sucesión
finita {ck }, y por lo asumido en (4) es única: Si f = ck fk , luego ck = hf, gk i, como ya lo
hemos visto antes. Si {ek }∞k=1 es una base ortonormal para H, podemos definir un operador

V : span{fk }∞
k=1 → H, V fk = ek

Si escribimos para f ∈ span{fk }∞

P
k=1 como f = hf, gk ifk , y siendo C una cota de Bessel
∞
para {gk }k=1 tenemos
kV f k2 = k hf, gk iek k2 = |hf, gk i|2 ≤ Ckf k2 .
P P

Por la completitud de {fk }∞

k=1 , V tiene una extensión a un operador acotado en H. Como
lo que asumimos en (4) para {fk }∞ ∞
k=1 , es simetrico en {gk }k=1 , podemos extender T gk := ek
a un operador acotado en H. Consideremos las combinaciones lineales finitas de {fk }∞ k=1 y
∞
{gk }k=1 , digamos
P P
f = ck fk , g = dk gk
Como {fk }∞ ∞
k=1 y {gk }k=1 son biortogonales tenemos que
P P P
hV f, T gi = h ck ek , dk ek i = ck dk = hf, gi.
por continuidad y completitud tenemos entonces que hV f, T gi = hf, gi ∀f, g ∈ H. Luego
para todo h ∈ H,
khk2 = hh, hi = hV h, T hi ≤ kV hkkT kkhk..
Luego V es inyectivo y además suryectivo: Dado g ∈ H, g = ∞
P P∞
k=1 hg, ek iek = V ( k=1 hg, ek ifk )
−1 ∞
Como fk = V ek , concluimos que {fk }k=1 es una base de Riesz. ♣

20
 Una sucesión {fk }∞k=1 que satisface las desigualdades del teorema se la llama sucesion de Riesz.
Y por el teorema previo, una sucesión de Riesz {fk }∞ ∞
k=1 es una base de Riesz para span{fk }k=1 ,
que es un subespacio de H. Notemos que si las desigualdades se satisfacen para una familia
{fk }∞
k=1 , luego se satisface para cualquier subsucesión de ella. Lo que nos lleva al siguiente
corolario:

Corolario 8.0.48. Toda subfamilia de una base de Riesz es una sucesión de Riesz

Si las desigualdades valen para sucesiones finitas {ck }, luego valen para toda {ck }∞
k=1 ∈
2 ∞
l (N). Si {fk }k=1 es una base de Riesz, los números A, B > 0 que las satisfacen se llaman
cotas de Riesz respectivamente superior e inf erior. Claramente no son únicas, y definimos
las cotas de Riesz optimas al más valor más grande posible para A y el más chico posible
para B. Estas cotas pueden ser caracterizas en términos de los operadores que aparecieron
en la demostración del teorema previo:

Proposición 8.0.49. Sea {fk }∞ ∞ 2

k=1 = {Eek }k=1 una base de Riesz para H, y sea G : l (N) →
l 2 (N) su matriz de Gram. Luego las cotas de Riesz óptimas son:
1 1
A= kU −1 k2
= kg −1 |
y B = kU k2 = kGk.

Demostración. Las cotas que involucran a U se obtienen del teorema anterior. Además
kGk = kU ∗ U k = kU k2 y kG−1 k = k(U ∗ U )−1 k = kU −1 k2 .
Que la cota óptima se alcanza en kGk lo probamos en el primer lema de la sección La matriz
de Gram. ♣
Si A = B = 1 entonces {fk }∞
k=1 es ortonormal:

Proposición 8.0.50. Si span{fk }∞

k=1 = H y
P 2 P
ck fk = |ck |2

para toda sucesión finita de escalares {ck }. Luego {fk }∞

k=1 es una base ortonormal para H.

Demostración. Por el teorema anterior tenemos que {fk }∞ k=1 es una base de Riesz para H,
entonces podemos escribirla como {U ek }∞k=1 donde {e ∞
k k=1 es una base ortonormal para H
}
y U es un operador invertible acotado. Luego para toda {ck }∞ 2
k=1 ∈ l (N),
2 ! 2
X X∞ X∞
|ck |2 = ck fk = U ck ek .


k=1 k=1
−1
Luego kU k = kU k = 1; y por un resultado previo tenemos que
∞
X
|hf, fk i|2 = kf k2 , ∀f ∈ H.
k=1

Como kfk k = 1, ∀k ∈ N, deducimos el resultado por la última equivalencia de la sección

Bases ortonormales. ♣

21
9. Series de Fourier y bases de Gabor
Consideremos ahora bases ortonormales concretas para los espacios de funciones L2 (0, 1)
y L2 (R). Acá vamos a usar otros conjuntos de ı́ndices aparte de los naturales; como vimos en
la sección de sucesiones de Bessel, las sucesiones de Bessel pueden ser ordenadas de cualquier
manera sin alterar la convergencia de las series de expansión relevantes, por lo que podemos
aplicar todos los resultados presentados sin inconvenientes. Arranquemos con las series de
Fourier, dando un pequeño resumen. Las series de Fourier pueden ser asociadas a funciones
en cualquier espacio L2 (I), donde I es un intervalo acotado en R. Para nuestro propósito
será conveniente considerar funciones en L2 (0, 1/b), con b > 0. Como las funciones

ek (x) := b1/2 Ekb (x) = b1/2 e2πikbc , k ∈ Z

constituyen una base ortonormal para L2 (0, 1/b), toda f allı́ tiene una expansión
X
f= ck e k
k∈Z

donde
R 1/b
ck = hf, ek i = b1/2 hf, Ekb i = b1/2 0
f (x)e−2πkbx dx

A la expansión de f en los coeficientes ck se la llama la serie de F ourier de f , y los números

{ck }k∈Z son los coef icientes de F ourier. A veces es más conveniente expresar a f ∈ L2 (0, 1/b)
como combinación lineal de las funciones e2πikbx en vez de las ek ; de esta forma, la expansión
de Fourier tiene la forma
X Z 1/b
f (x) = c˜k e 2πikbx
, donde c˜k = b f (x)e−2πikbx dx.
k∈Z 0

Para evitar confusiones hablaremos casi siempre de una expasión de Fourier, y espicificaremos
si es con respecto a las ek o a las e2πikbx . Notemos que una ventaja de {ek }∞k=1 es que es una
base ortonormal; además la expansión no refiere a la variable, lo que evita la confusión
con la convergencia puntual. Es crucial entender el significado de la expansión de Fourier
que definimos. En lo que sigue tomaremos b = 1 para conveniencia notacional. Es decir,
consideraremos L2 (0, 1) con la base ortonormal {ek }∞ k=1 donde ek (x) = e
2πikx
. Ası́ la serie de
fourier de f es
X Z 1
f= ck ek , donde ck = f (x)e−2πikx dx.
k∈Z 0

Luego el significado de la expansión es que

k=n
Z 1  2 !1/2
X k=n
X 
f − ck ek = f (x) − ck e2πikx  dx → 0 cuando n → ∞.
 

k=−n
2 0  k=−n

L (0,1)

22
La convergencia en el sentido de L2 (0, P1) es muy diferente a la convergencia puntual, por lo
que no podemos afirmar que f (x) = k∈Z hf, ek iek (x) para x ∈ [0, 1] sin hipótesis extra. La
convergencia puntual de series de Fourier es un tema delicado. Como resultado positivo, la
serie de Fourier para una función arbitraria en L2 (0, 1 = converge puntualmente en casi todo
punto. Más aún, si f es 1-periódica, continua y diferenciable a trozos, luego
X
f (x) = hf, ek iek (x), ∀x ∈ [0, 1].
k∈Z

Si la derivada f 0 inL2 (0, 1), luego para todo N ∈ N,

 
1  1 0 2 1/2
Z
 X  1
f (x) − hf, ek iek (x) ≤ √ √ |f (t)| dt .
 

|k|∈N
 2π N 0

Con lo que podemos estimar la cantidad de términos de la suma parcial de Fourier para
obtener una aproximación puntual. Ahora sı́, volviendo a las series de Fourier en L2 (0, 1),
enunciamos un lema que es consecuencia inmediata de las funciones {ek }∞ k=1 que definimos.

Lema 9.0.51. Sean f, g ∈ L2 (0, 1) para algún b > 0, y consideremos la serie de Fourier
X X
f= ck e k , g = dk e k ,
k∈Z k∈Z

con ek (x) = b1/2 e2πikbx k ∈ Z. Luego

X
hf, gi = ck d k .
k∈Z

Una función f que es combinación lineal de exponenciales,

f (x) = ck e2πikx ,
P

es llamado polinomio trigonometrico. Para estos, la serie de Fourier es igual a la función

misma. Por la formula de Euler
e2πikx +e−2πikx e2πikx −e−2πikx
cos(2πkx) = 2
, sin(2πkx) = 2

vemos que cualquier combinación lineal de estas dos es un polinomio trigonométrico. En el

siguiente ejemplo mostraremos cómo construir bases ortonormales L2 (R) basados en la base
ortonormal en ese espacio {e2πikx }k∈Z .

Ejemplo 9.0.52. Sea χ[0,1] la función indicadora del intervalo [0, 1]. {e2πikx χ[0,1] (x)}k∈Z , es
una base ortonormal para L2 (0, 1); por translación vemos que para cada n ∈ Z el espacio
L2 (n, n + 1) tiene la base ortonormal {e2πik(x−n) χ[0,1] (x − n)}k∈Z = {e2πikx χ[0,1] (x − n)}k∈Z .
Juntando todo, obtenemos que L2 (R) tiene la base ortonormal

{e2πikx χ[0,1] (x − n)}k,n∈Z .

23
Notar que todos los elementos de la base consisten en versiones transladadas de χ[0,1] que
han sido moduladas. Para ser más formales introduciremos los siguientes operadores:

T ranslacion en a ∈ R, Ta : L2 (R) → L2 (R), (Ta f )(x) = f (x − a)

M odulacion en b ∈ R, Eb : L2 (R) → L2 (R), (Eb f )(x) = e2πibx f (x)
Dilatacion en a 6= 0, Da : L2 (R) → L2 (R), (Da f )(x) = √1 f ( xa )
|a|
En análisis wavelet el operador D1/2 juega un rol importante, por lo que simplemente
escribiremos Df (x) := 21/2 f (2x).
Usando estos operadores podemos escribir la base como {Ek Tn g}k,n∈Z , donde g = χ[0,1] .
Las bases del estilo {Ek Tn g}k,n∈Z se las llama bases de Gabor. La estructura de estas bases
es muy útil para hacer cálculos, esto es, su utilidad proviene del hecho de que los elementos
de la base aparecen por acción de una familia de operadores, Ek Tn en nuestro caso, en una
sola función g.

10. Bases Wavelet

Las bases de Wavelet constituyen una de las clases más importantes de bases. Dada una
función ψ ∈ L2 (R) y j, k ∈ Z, sea
ψj,k (x) := 2j/2 ψ(2j x − k), x ∈ R.
En términos de los operadores antes definidos
ψj,k = Dj Tk ψ, j, k ∈ Z.
Si {ψj,k }j,k∈Z es una base ortonormal para L2 (R), la función ψ se la llama wavelet. El primer
ejemplo de este tipo de funciones apareció hace tiempo atrás en el estudio sistemático de
bases wavelet en los ’80.
Ejemplo 10.0.53. La f uncion de Haar está definida por

1
 si 0 ≤ x < 1/2
f (x) = −1 si 1/2 ≤ x < 1

0 cc


Ya en 1910 Haar probó que las funciones {ψj,k }j,k∈Z constituyen una base ortonormal de
L2 (R) para esta ψ. Para la ortonormalidad uno puede argumentar como sigue. Si conside-
ramos ψj,k y ψj,k0 , es decir, elementos con el mismo parámetro de dilatación, luego
hψj,k , ψj,k0 i = hDj Tk ψ, Dj Tk0 ψi = hTk ψ, Tk0 ψi = δk,k0 .
Antes de seguir, notemos que es fácil verificar que Tb Da = Da T b . A su vez esto implica que
a
en particular Tk Dj = Dj T2j k . Ahora asumamos que j 0 6= j, digamos, j 0 > j. Las relaciones
de antes nos dan que
0
hψj,k , ψj 0 ,k0 i = hDj Tk ψ, Dj Tk0 ψi
0
= hT−k0 Dj−j Tk ψ, ψi
0
= hDj−j T−k0 2j−j0 +k ψ, ψi.

24
 0
La función Dj−j T−k0 2j−j0 +k ψ tiene soporte en el intervalo
0 0 0 0 0 0
I := [2j −j (−k 0 2j−j + k), 2j −j (−k 0 2j−j + k + 1)] = [−k + 2j −j k, −k 0 + 2j −j (k + 1)].

de longitud 2j‘−j , que puede tomar valores 2, 4, 8, · · · pues j 0 > j. Ahora, el soporte de ψ
0
tiene longitud 1, y está contenido en un intervalo en el cual Dj−j T−k0 2j−j0 +k ψ es constante;
luego
R∞ 0

hψj 0 ,k0 , ψj,k i = ∞ Dj−j T−k0 2j−j0 +k ψ (x)ψ(x)dx = 0.

Stromberg construyó en 1982 (antes de que empiece la era de los wavelet) bases wavelet
ortonormales {ψj,k }j,k∈Z para el cual ψ tiene decaimiento exponencial y ψ ∈ C k (R); acá k ∈
N es arbitarrio pero fijo. Meyer halló en 1985 bases wavelet para las cuales ψ ∈ C ∞ (R).
En 1986 Mallat y Meyer introdujeron el analisis multiresolucion como una herramienta
general para construir bases wavelet ortonormales:

Definición 10.0.54. Un análisis multiresolución para L2 (R) consiste en una sucesión de

subespacios cerrados {Vj }j∈Z de L2 (R) y una función φ ∈ V0 , tal que

1. · · · V−1 ⊂ V0 ⊂ V1 · · · .

2. ∪j Vj = L2 (R) y ∩j Vj = {0}.

3. f ∈ Vj ⇔ [x → f (2x)] ∈ Vj+1 .

4. f ∈ V0 ⇒ Tk f ∈ V0 , ∀k ∈ Z.

5. {Tk φ}k∈Z es una base ortonormal para V0 .

Cuando (1) se satisface decimos que los espacios están anidados, lo cual es una propiedad
muy importante en ,por ejemplo, teorı́a de la aproximación, especialmente, cuando hay una
receta sencilla para moverse de un espacio al otro. Posteriormente la propiedad es garantizada
por (3), porque implica que Vj = Dj V0 , es decir, que todos los espacios son versiones escaladas
de V0 . Si queremos aproximar una función f ∈ L2 (R) via un analı́sis multiresolución, el
punto de partida natural es buscar una aproximación en un cierto espacio Vj . Si ningún
elemento aproxima lo suficiente a f , lo buscamos en un espacio con j más grande. En este
momento sólo describiremos como esta herramienta puede ser usada para construir bases
ortonormales. Supongamos que valen las hipótesis de la definición. Pra j ∈ Z, sea Wj el
complemento ortogonal de Vj en Vj+1 . Si Qj es la proyección ortogonal sobre Wj , tenemos
2
P
que de (1) y (2) cada f ∈ L (R) tiene una representación f = j∈Z Qj f , donde Qj f ⊥Qj 0 f
para j 6= j 0 ; ası́
M
L2 (R) = Wj .
j∈Z

Los espacios Wj satisfacen la misma relación de dilatación que los Vj , es decir,

ψ ∈ W0 ⇔ [x → ψ(2j x)] ∈ Wj .

25
Para obtener la base ortonormal {ψj,k }j,k∈Z para L2 (R) es suficiente encontrar una función
ψ ∈ W0 tal que {ψ(· − k}k∈Z sea una base ortonormal para W0 ; por las dos propiedades
anteriores esto implica que {ψj,k }j,k∈Z es una base ortonormal para L2 (R). Una manera de
elegir ψ es como sigue. Primero, la condición de que φ ∈ V0 ⊂ V1 implica por (3) que
√1 D −1 φ ∈ V0 .
2

Como {Tk φ}k∈Z es una base ortonormal para V0 , existen coeficientes {ck }k∈Z ∈ l 2 (Z) tales
que
X
√1 D −1 φ = ck Tk φ.
2
k∈Z

Usando laPtransformada de Fourier y su relación con los operadores P definidos tenemos que
√1 D φ
b=
k∈Z ck E−k φ definiendo ası́ la función 1-periódica H0 := k∈Z ck E−k , lo cual puede
b
2
ser escrito como

φ(2γ)
b = H0 (γ)φ(γ)
b .

Una elección para la función ψ ∈ W0 que genere una base wavelet ortonormal para L2 (R)
está dada por

ψ(γ)
b b γ ).
= H0 ( γ2 + 21 )e−πiγ φ( 2

Observar la definición indirecta de ψ en términos de la transformada de Fourier. No lo

veremos en estos momentos pero esta construcción de wavelets es tı́pica, ni veremos que la
ψ definida genera una base ortonormal. Como ψ ∈ W0 ⊂ V1 , existen coeficientes {ck }k∈Z ∈
l 2 (Z) tales que
X
ψ= ck DTk φ.
k∈Z

Los coeficientes ck pueden ser hallados via la definición de ψ mediante la manipulación de los
coeficientes de Fourier de H0 . Por último, mecionamos como ejemplo que la base de Haar,
puede ser construida usando el análisis multirresolución definido φ = χ[0,1] y

ψ= √1 φ1,0 − √1 φ1,1 .
2 2

26