Analisis Funcional

Departamento de Matemática
Análisis Funcional
Trabajo Práctico Final
Marcos en Espacios de Hilbert
Profesor: Dr. Demetrio Stojanoff

Alumno: Ing. Santiago Gonzalez Zerbo
2o Cuatrimestre 2016
Índice
1. Introducción y Preeliminares 3
1.1. Terminologı́a y Notación . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Inversa Generalizada de Moore Penrose . . . . . . . . . . . . . . . . . . . . . . . 4
2. Sucesiones de Bessel en Espacios de Hilbert 4
3. Marcos y sus Propiedades Básicas 10
4. Sucesiones de Marco 20
5. Marcos y Operadores 22
6. Más Propiedades de los Marcos 26
7. Bases de Riesz y Marcos Duales 31
8. Caracterización de Marcos 43
9. Enfoque Alternativo sobre la Construcción de Marcos 49
Bibliografı́a y Referencias 57
Análisis Funcional Marcos en espacios de Hilbert
1. Introducción y Preeliminares
Se propone en el presente trabajo dar una reseña acerca de la teorı́a de marcos en espacios
de Hilbert, explorando sus diversos aspectos fundamentalmente desde la teorı́a de operadores, y
haciendo uso de [2] como guı́a primordial.
Los marcos fueron utilizados por primera vez por Duffin y Schaeffer en el contexto de series
de Fourier no armónicas, como una alternativa a las bases ortonormales y a las bases de Riesz en
un espacio de Hilbert. La noción de marco se presenta heurı́sticamente como una generalización
de las bases, desde la perspectiva de que pueden representarse todos los elementos del espacio
mediante expansiones en serie en términos de los elementos del marco. Es decir, un marco es
una sucesión (fk )k∈N en un espacio de Hilbert H, que entre otras cosas, permite representar
todo elemento f ∈ H como una combinación lineal infinita de los elementos fk :
∞
X
f= ck (f )fk .
k=1
Los coeficientes ck (f ) pueden, a diferencia de las representaciones mediante bases, no ser únicos.
Esto provee a los marcos con una suerte de redundancia, por lo que son ampliamente utilizados
en el procesamiento de señales y en la teorı́a de comunicaciones como herramienta para la
transmisión de información.
En esta primera sección se establece la terminologı́a y la notación a utilizar, ası́ como algunos
resultados concernientes a la teorı́a de inversas generalizadas de Moore Penrose que probarán
ser útiles.
En la sección 2 se introducen las sucesiones de Bessel, ı́ntimamente relacionadas con los
marcos, y se analizan someramente sus propiedades.
En la sección 3 se provee la definición de marco en un espacio de Hilbert, y se explorarán sus
propiedades más básicas. Asimismo, se introducen los operadores caracterı́sticos de los marcos,
el operador de análisis, el operador de sı́ntesis, y el operador de marco, que permiten abordar
toda la teorı́a de marcos mediante la teorı́a de operadores. También se introducen los conceptos
de marco exacto, marco ajustado y de marco dual canónico.
En la sección 4 se discute acerca de lo que serán las sucesiones de marco, es decir, sucesiones
que son un marco de un subespacio del espacio de Hilbert, y se recalcan las diferencias que
existen en los operadores caracterı́sticos con respecto a aquellos propios de marcos.
En la sección 5 se exponen algunas relaciones entre los marcos y diversas clases de operadores.
En la sección 6 se profundiza el estudio de las propiedades de los marcos, y se analizan
propiedades particulares de los marcos ajustados y los marcos exactos.
En la sección 7 se introducen las bases de Riesz y los que serán denominados marcos duales.
Las bases de Riesz no sólo caracterizan a los marcos que son de hecho una base de Schauder,
i.e. los marcos exactos, sino que son un factor medular en la teorı́a de marcos duales. Estos
últimos permiten hallar diversas representaciones de los elementos del espacio en función de los
elementos de marco.
En la sección 8 se analizan múltiples caracterizaciones de los marcos, ası́ como de las suce-
siones de marco, esencialmente en función de las propiedades de los operadores caracterı́sticos.
En la sección 9 se expone una metodologı́a con un enfoque un tanto más numérico para la
obtención de marcos.
1.1. Terminologı́a y Notación

La notación a seguir será esencialmente la utilizada en [5], sin embargo se explicitan aquı́ los
conjuntos de operadores de los que se hará uso de modo de simplificar la lectura. En primer
lugar, H denotará un espacio de Hilbert separable a lo largo de todo el presente trabajo. Sea K
Gonzalez Zerbo 3 2o cuatrimestre 2016

otro espacio de Hilbert, el conjunto de los operadores lineales y acotados de H en K será

n o
L(H, K) = T : H −→ K : T es un operador lineal acotado ,
siendo L(H) = L(H, H) el de los endomorfismos. El de los operadores invertibles y acotados será
n o
Gl(H) = T ∈ L(H) : N (T ) = {0} ∧ R(T ) = H .
El conjunto correspondiente a los operadores positivos será

n o
L(H)+ = T ∈ L(H) : ∀x ∈ H : hT x, xi ≥ 0 ,
y el de los positivos invertibles, Gl(H)+ = Gl(H) ∩ L(H)+ . El conjunto de los operadores auoad-
juntos será denotado como
n o
A(H) = T ∈ L(H) : T ∗ = T ,
y por último el de los unitarios como

n o
U(H) = T ∈ Gl(H) : T −1 = T ∗ .
1.2. Inversa Generalizada de Moore Penrose

Se exponen aquı́ algunos resultados acerca de la inversa generalizada de Moore Penrose en
espacios de Hilbert, ya que se los utilizará a lo largo del trabajo. Su desarrollo en profundidad
puede verse en [1].
Teorema 1.1. Sea A ∈ L(H, K) tal que R(A) es cerrado, entonces el operador A† ∈
L(K, H) está caracterizado como la única solución X de los siguientes sistemas equivalentes:

AXA = A, 
 AX = PR(A) ,

∗ ∗

XAX = X, XAA = A ,

1) 2) 3) XA = PR(A∗ ) ,
(AX)∗ = AX, XX ∗ A = X;
XAX = X;
 
(XA)∗ = XA;



AX = PR(A) , XA = PR(A∗ ) , AX = PR(A) ,
4) 5) 6)
N (X ∗ ) = N (A); N (X) = N (A∗ ); XA = PR(X) ;
XAx = x , ∀x ∈ R(A∗ ),

7)
Xy = 0 , ∀y ∈ N (T ∗ ).
2. Sucesiones de Bessel en Espacios de Hilbert

Se introducen en esta sección las denominadas sucesiones de Bessel, que juegan un rol central
en la teorı́a de marcos, y se analizan diversas propiedades de ellas.

Definición 2.1. Sea (fk )k∈N ⊆ H, se dice que es una sucesión de Bessel si existe B > 0
tal que
∞
X 2 2
|hf, fk i| ≤ B kf k , ∀f ∈ H. (2.1)
k=1
Todo número B que satisfaga (2.1) es denominado una cota de Bessel para (fk )k∈N .
Esta definición encuentra motivación en el siguiente lema y el sucesivo teorema. Los opera-
dores que en este lema se definen serán ubicuos a lo largo de todo el presente trabajo.
∞
X
Lema 2.2. Sea (fk )k∈N ⊆ H, y asúmase que cn fn es convergente para todo (ck )k∈N ∈
k=1
`2 (N). Entonces se cumple que
1) El operador T : `2 (N) −→ H, tal que
∞
X
T (ck )k∈N = ck f k , ∀(ck )k∈N ∈ `2 (N)
k=1
es acotado, i.e. T ∈ L(`2 (N), H).

2) Su adjunto, T ∗ : H −→ `2 (N), está dado por
T ∗ f = hf, fk i k∈N

, ∀f ∈ H.
3) Además, se tiene que

∞
X 2 2 2
|hf, fk i| ≤ kT k kf k , ∀f ∈ H.
k=1
Demostración.
1) Considérese la sucesión de operadores Tn : `2 (N) −→ H, tal que si c = (ck )k∈N ∈ `2 (N),

n
X
Tn c = ck fk . Luego, mediante la desigualdad triangular y la de Cauchy-Schwarz puede verse
k=1
que éstos son acotados,
n 2 X n 2 Xn 2 Xn 2
X
2 2 2
kTn ckH = ck f k ≤ |ck | kfk k ≤ |ck | kfk k

k=1 H k=1 k=1 k=1
X n 2
2 2
≤ kfk k kck`2 .
k=1
∞
X
Luego Tn ∈ L(`2 (N), H) para todo k ∈ N, y Tn c −→ T c = ck fk para todo c ∈ `2 (N).
k=1
Consecuentemente, por el teorema de Banach-Steinhaus se tiene que T ∈ L(`2 (N), H).

2) Se procede ahora a verificar la forma del operador adjunto T ∗ . Sean f ∈ H y c ∈ `2 (N),
D X ∞ E D X n E n
X ∞
X
hf, T ci = f, ck fk = lı́m f, ck fk = lı́m ck hf, fk i = ck hf, fk i. (2.2)
n→∞ n→∞
k=1 k=1 k=1 k=1
Por otro lado, dado que T ∗ es acotado, cada uno de sus componentes es un funcional acotado,
a saber, considerando el m-ésimo componente,
∞
X
2 2 2 2 2
|(T ∗ f )m | ≤ |(T ∗ f )k | = kT ∗ f k`2 ≤ kT ∗ k kf k .
k=1
Entonces, por el teorema de representación de Riesz, para todo k ∈ N existe gk ∈ H tal que
(T f )k = hf, gk i, luego T ∗ f = hf, gk i k∈N . Utilizando (2.2) y que hf, T ci = hT ∗ f, ci se tiene que

∞
X ∞
X
hT ∗ f, ci = ck hf, gk i = ck hf, fk i , ∀c ∈ `2 (N),
k=1 k=1
∗
de donde se desprende inmediatamente que gk = fk para todo k ∈ N, y finalmente T f =
hf, fk i k∈N .
3) Para la última desigualdad basta considerar que kT ∗ k = kT k, luego sea f ∈ H,
∞
X 2 2 2 2 2 2
|hf, fk i| = kT ∗ f k`2 ≤ kT ∗ k kf k = kT k kf k .
k=1
Mediante este lema puede darse la siguiente caracterización de las sucesiones de Bessel:
Teorema 2.3. Sea (fk )k∈N ⊆ H, luego (fk )k∈N es una sucesión de Bessel con cota B si y
sólo si está bien definido el operador acotado T : `2 (N) −→ H dado por
∞
X
T (ck )k∈N = ck f k , ∀(ck )k∈N ∈ `2 (N),
k=1
√
y además kT k ≤ B. En este caso la serie converge incondicionalmente.
Demostración.
⇒) Asúmase que (fk )k∈N es una sucesión de Bessel con cota B, luego se tiene que
∞
X 2
sup |hf, fk i| ≤ B. (2.3)
kf k=1 k=1
∞
X
Ahora, sea c = (ck )k∈N ∈ `2 (N), se desea corroborar que ck fk es convergente. Sean n, m ∈ N
k=1
tal que n > m, mediante la desigualdad triangular y la de Cauchy-Schwarz, y el uso de (2.3) se

obtiene que

Xn m
X n
X n
D X E n
X
ck fk − ck fk = ck fk = sup ck fk , f ≤ sup |ck hfk , f i|

k=1

k=1

k=m+1
||f ||H =1 k=m+1
kf kH =1
k=m+1
H H
n
X n
1/2 X 1/2
2
≤ sup |hfk , f i| |ck |
kf k=1 k=m+1 k=m+1
∞
X n
1/2 X 1/2
2
≤ sup |hfk , f i| |ck |
kf k=1 k=1 k=m+1
n 1/2
√
X
≤ B |ck | (2.4)
k=m+1
n
X
2 2
Dado que c ∈ ` (N), la sucesión |ck | es de Cauchy en C. Entonces (2.4) asevera que
k=1 n∈N
n
X
ck fk es de Cauchy en H, y en consecuencia convergente. De hecho, dado que la serie
k=1 k∈N
∞
X ∞
X
2
|ck | es absolutamente convergente para todo (ck )k∈N ∈ `2 (N), se tiene que la serie ck fk
k=1 k=1
es incondicionalmente convergente para todo (ck )k∈N ∈ `2 (N). Luego, el operador T está bien
definido y es claramente lineal. Para ver que es acotado basta realizar un cálculo similar al
anterior, a saber,
∞ ∞ ∞
X D X E X
kT ck = ck fk = sup ck fk , f ≤ sup |ck hfk , f i|

k=1
kf k=1 k=1 kf k=1
k=1
H
∞ 1/2 X∞ 1/2
√
X
2 2
≤ sup |hf, fk i| |ck | ≤ B kck`2 ,
kf k=1 k=1 k=1
√
y finalmente kT k ≤ B.
√
⇐) Supóngase ahora que T está bien definido y que kT k ≤ B. Entonces, del lema 2.2 se tiene
que
X∞
2 2 2 2
|hf, fk i| ≤ kT k kf kH ≤ B kf kH ,
k=1
ergo, (fk )k∈N es de Bessel con cota B.

De este teorema queda claro que las sucesiones de Bessel son una herramienta fundamental
para analizar las representaciones de un dado f ∈ H en términos de sucesiones. La convergencia
incondicional de las series es consistente con el hecho de que a partir de la condición de Bessel
(2.1) todo reordenamiento de la sucesión es también una sucesión de Bessel. Por otro lado,
a partir de la demostración del Teorema 2.3 puede enunciarse el siguiente resultado que se
explicita en forma de corolario. Éste afirma que si se desea saber si una sucesión es de Bessel
independientemente de su cota basta con analizar la convergencia de la serie.

∞
X
Corolario 2.4. Sea (fk )k∈N ⊆ H tal que ck fk es convergente para todo (ck )k∈N ∈ `2 (N),
k=1
entonces (fk )k∈N es una sucesión de Bessel.
El lema a continuación asevera que sólo es necesario verificar la condición de Bessel (2.1) en
un subconjunto denso de H:
Lema 2.5. Sea (fk )k∈N ⊆ H de forma que existe B > 0 tal que
∞
X 2 2
|hf, fk i| ≤ B kf k
k=1
para todo f ∈ V , donde V es un conjunto denso en H. Entonces (fk )k∈N es una sucesión
de Bessel con cota B.
Demostración.
Asúmase mediante el absurdo que existe g ∈ H tal que
∞
X 2 2
|hg, fk i| > B kgk ,
k=1
luego existe F ⊆ N finito tal que

X 2 2
|hg, fk i| > B kgk .
k∈F
Ahora, siendo V denso, para ε > 0 existe hε ∈ H tal que kg − hε k < ε, y consecuentemente de
la desigualdad triangular |kgk − khε k| < ε, y entonces se tiene que
2 2
B khε k < B(kgk + ε)2 = B kgk + εB(2 kgk + ε). (2.5)
Por otro lado, de la desigualdad de Cauchy-Schwarz
|hg − hε , fk i| ≤ kg − hε k kfk k < ε kfk k (2.6)
y mediante la desigualdad triangular
|hhε , fk i| ≤ |hhε − g, fk i| + |hg, fk i| < ε kfk k + |hg, fk i| (2.7)
Entonces, haciendo uso una vez más de la desigualdad triangular junto con (2.6) y (2.7) se
obtiene que
X 2
X 2
|hg, fk i| = |hg − hε , fk i + hh, fk i|
k∈F k∈F
X 2
X 2

≤ |hhε , fk i| + |hg − hε , fk i| + 2 |hg − hε , fk i| · |hhε , fk i|
k∈F k∈F
X 2
X 2
< |hhε , fk i| + ε2 kfk k + 2ε kfk k ε kfk k + |hg, fk i|
k∈F k∈F
X 2
X 2

< |hhε , fk i| + ε 3ε kfk k + 2 kfk k |hg, fk i| (2.8)
k∈F k∈F

Luego, de (2.5) y (2.8) se observa que escogiendo ε > 0 tal que

X 2
X
2 2
εB(2 kgk + ε) + ε 3ε kfk k + 2 kfk k |hg, fk i| < |hg, fk i| − B kgk ,
k∈F k∈F
se tiene que
X ∞
X
2 2 2
B khε k < |hhε , fk i| ≤ |hhε , fk i| ,
k∈F k=1
lo que es una contradicción ya que hε ∈ V .
De ser el conjunto V del Lema 2.5 un subespacio denso, el resultado puede obtenerese más
simplemente a partir de la extensión del operador lineal y acotado U : H −→ `2 (N) dado por

U f = hf, fk i k∈N , ∀f ∈ V,
ya que
∞
X
2 2
kU f k`2 = |hf, fk i| , , ∀f ∈ V.
k=1
El lema a continuación provee otra caracterización de las sucesiones de Bessel asociándolas

con los operadores acotados de `2 (N) en H.
Lema 2.6. Todo operador acotado U : `2 (N) −→ H es de la forma

∞
X
U (ck )k∈N = ck fk , ∀(ck )k∈N ∈ `2 (N),
k=1
donde (fk )k∈N ⊆ H es una sucesión de Bessel, y todo operador definido por una serie tal
es acotado.
Demostración.
Sea U : `2 (N) −→ H un operador acotado y sea (δk )k∈N ⊆ `2 (N) la base ortonormal canónica
de `2 (N). Ahora, sea (ck )k∈N ∈ `2 (N), entonces al ser U acotado se tiene que
∞
X ∞
X
U (ck )k∈N = U ck δ k = ck U δk .
k=1 k=1
Defı́nase (fk )k∈N ⊆ H dada por fk = U δk para todo k ∈ N, luego,

∞
X
U (ck )k∈N = ck fk , ∀(ck )k∈N ∈ `2 (N).
k=1
Por otro lado, se tiene que

∞
X ∞
X ∞
X
2 2 2
|hf, fk i| = |hf, U δk i| = |hU ∗ f, δk |
k=1 k=1 k=1
2 2 2
= kU ∗ f k`2 ≤ kU ∗ k kf k , ∀ ∈ H,
2 2
y consecuentemente (fk )k∈N es una sucesión de Bessel con cota kU ∗ k = kU k .

Por último, si (gk )k∈N ⊆ H es una sucesión de Bessel, el operador V : `2 (N) −→ H dado por
∞
X
V (ck )k∈N = ck gk , ∀(ck )k∈N ∈ `2 (N),
k=1
es acotado por el Teorema 2.3.
Finalmente, se expone una última caracterización de las sucesiones de Besel relacionándolas

con las bases ortonormales, que en realidad es una consecuencia natural del Lema 2.6 y el que
todo espacio de Hilbert separable sea isomórficamente isométrico con `2 (N).
Teorema 2.7. Sea H un espacio de Hilbert separable y sea (ek )k∈N una base ortonormal
de H. Las sucesiones de Bessel de H son las familias (U ek )k∈N , tales que U : H −→ H es
un operador acotado.
Demostración.
⇒) Sea F = (fk )k∈N ⊆ H una sucesión de Bessel, luego del Teorema 2.3 está bien definido el
operador T : `2 (N) −→ H dado por
∞
X
T (ck )k∈N = ck fk , ∀(ck )k∈N ∈ `2 (N).
k=1
Sea ahora (δk )k∈N ⊆ H la base ortonormal canónica de `2 (N), y sea φ : H −→ `2 (N) el isomor-
fismo isométrico dado por φek = δk para todo k ∈ N. Entonces, definiendo el operador acotado
U := T φ se obtiene que
U ek = T φek = tδk = fk , ∀k ∈ N.
⇐) Asúmase ahora que U : H −→ H es un operador acotado. Luego, se tiene que
∞
X ∞
X
2 2 2 2 2
|hf, U ek i| = |hU ∗ f, ek i| = kU ∗ f k ≤ kU ∗ k kf k , ∀f ∈ H,
k=1 k=1
2 2
y ası́ la sucesión (U ek )k∈N es de Bessel con cota kU ∗ k = kU k .

3. Marcos y sus Propiedades Básicas

Ahora se procede a dar la definición central del presente trabajo.
Definición 3.1. Sea F = (fk )k∈N ⊆ H, se dice que F es un marco de H si existen A, B > 0
tales que
X∞
2 2 2
A kf k ≤ |hf, fk i| ≤ B kf k , ∀f ∈ H. (3.1)
k=1
Los números A y B son denominados cotas inferior y superior del marco, respectivamente,
y se denotan las cotas óptimas como AF y BF , donde
n ∞
X o
2 2
AF = sup A > 0 : ∀f ∈ H : A kf k ≤ |hf, fk i| ,
k=1

n ∞
X o
2 2
BF = ı́nf B > 0 : ∀f ∈ H : |hf, fk i| ≤ B kf k .
k=1
∞
X 2
Observación 3.2. Si F = (fk )k∈N es un marco de H, la serie |hf, fk i| es absolutamente
k=1
convergente para todo f ∈ H. Entonces es incondicionalmente convergente, y
∞ ∞
hf, fσ(k) i2 =
X X 2
|hf, fk i| < +∞,
k=1 k=1
para cualquier permutación σ ∈ NN . Luego, todo reordenamiento de un marco es también un

marco.
Una primera consecuencia elemental es que todo marco es un sistema completo:
Lema 3.3. Sea F = (fk )k∈N ⊆ H un marco de H, entonces F es completo, i.e. spanF = H.
Demostración.
∞
X
2 2
Sea f ∈ H tal que f ⊥ span F, luego AF kf k ≤ |hf, fk i| = 0, y ası́ se tiene que f = 0.
k=1

En la siguiente sección se trabajará con sucesiones que presentan las propiedades de los
marcos pero no son sistemas completos. Y de este lema se obtiene inmediatamente el siguiente
corolario:
Corolario 3.4. Un espacio de Hilbert es separable si y sólo si posee un marco.
Demostración.
⇒) Si H es separable, posee una base ortonormal numerable F que es un marco con cotas
AF = BF = 1.
⇐) Sea F = (fk )k∈N un marco de H, luego el conjunto
N
nX o
qk fk : N ∈ N, (qk )N
k=1 ⊆ Q + iQ
k=1
es un denso numerable en H. A saber, del Lema 3.3 spanF = H, luego existe (ck )k∈N ∈ CN tal
X∞
que f = ck fk , entonces
k=1

N
∞ N
N ∞

X X X X X
f − qk fk = ck fk − qk fk = (ck − qk )fk + ck fk (3.2)

k=1 k=1 k=1 k=1 k=N +1
N
X ∞
X
≤ |ck − qk | kfk k + |ck | kfk k . (3.3)
k=1 k=N +1
∞
X
Ahora, sea ε > 0, y sean N ∈ N tal que |ck | |fk | < ε/2 y qk ∈ Q + iQ tal que |ck − qk | <
k=N +1

N
ε X
para cada k ∈ N, luego de (3.5) se tiene que f − qk fk < ε.

2 kfk k N
k=1
Ahora se definirán algunas clases particulares de marcos:
Definición 3.5. d
1) Se dice que un marco F es ajustado si AF = BF .
2) Se dice que un marco es exacto si al remover un elemento éste deja de ser un marco.
En el siguiente ejemplo se construyen y analizan diversos marcos, que si bien parecerán

artificiales, serán útiles para la comprensión teórica de los conceptos:
Ejemplo 3.6. Sea (ek )k∈N ⊆ H una base ortonormal de H.
1) (fk )k∈N = (ek )k∈N es un marco ajustado y exacto de H, con cotas óptimas AF = BF = 1.
El que sea un marco ajustado es una consecuencia de que
∞
X ∞
X
2 2 2
|hf, fk i| = |hf, ek i| = kf k , ∀f ∈ H.
k=1 k=1
Por otro lado, el que sea exacto se ve a partir de que para cualquier l ∈ N se tiene que
∞
X X
2 2
|hel , fk i| = |hel , ek | = 0,
k6=l k6=l
por lo que (fk )k6=l no es un marco.
2) (fk )k∈N = {e1 , e1 , e2 , e2 , e3 , e3 , ...} es un marco ajustado no exacto con cotas óptimas AF =
BF = 2. Para ver que es ajustado,
∞
X ∞
X ∞
X
2 2 2
|hf, fk i| = |hf, ek i| + |hf, ek i| = 2 kf k , ∀f ∈ H.
k=1 k=1 k=1

Ahora, removiendo el primer elemento f1 = e1 , y haciendo uso de que mediante la desigualdad

2 2 2 2
de Cauchy-Schwarz para todo f ∈ H se cumple que |hf, e1 i| ≤ kf k ke1 k = kf k , se tiene que
∞
X
2 2 2 2 2
kf k ≤ |hf, fk i| = 2 kf k − |hf, e1 i| ≤ 2 kf k , ∀f ∈ H,
k=2
por lo que (fk )k6=1 es un marco con cotas A = 1 y B = 2, y ası́ (fk )k∈N no es un marco exacto.
3) (fk )k∈N = {e1 , e1 , e2 , e3 , ...} es un marco no ajustado y no exacto con cotas A = 1 y B = 2.

2 2 2 2
Nuevamente utilizando que para todo f ∈ H, |hf, e1 | ≤ kf k ke1 k = kf k , se tiene que
∞
X
2 2 2 2 2
kf k ≤ |hf, fk i| = kf k + |hf, e1 i| ≤ 2 kf k , ∀f ∈ H.
k=1
Puede verse que no es ajustado ya que

∞
X 2 2 2 2
|he1 , fk i| = ke1 k + |he1 , e1 i| = 2 ke1 k ,
k=1
∞
X 2 2 2 2
|he1 , fk i| = ke2 k + |he2 , e1 i| = ke2 k .
k=1
Por último, claramente no es un marco exacto ya que (fk )∞

k=2 = (ek )k∈N es de hecho un marco.
4) (fk )k∈N = {2e1 , e2 , e3 , e4 , ...} es un marco no ajustado y exacto con cotas A = 1, B = 2. Una
2 2
vez más haciendo uso de que para todo f ∈ H, |hf, e1 i| ≤ kf k , se tiene que
∞
X
2 2 2 2 2
kf k ≤ |hf, fk i| = kf k + |hf, e1 i| ≤ 2 kf k , ∀f ∈ H.
k=1
No es ajustado ya que
∞
X 2 2 2 2
|he1 , fk i| = ke1 k + |he1 , e1 i| = 2 ke1 k ,
k=1
∞
X 2 2 2 2
|he1 , fk i| = ke2 k + |he2 , e1 i| = ke2 k .
k=1
Para ver que no es exacto, considérese primero el remover el primer elemento f1 = 2e1 , entonces
∞
X ∞
X
2 2
|he1 , fk i| = |he1 , ek i| = 0,
k=2 k=2
y (fk )∞
k=2 no es un marco. Por último, si se remueve el elemento fl = el con l 6= 1, luego
∞
X 2 2 2 2
|el , fk | = kel k + |hel , e1 i| − |hel , el i| = 0,
k6=l
y ası́ nuevamente (fk )k6=l no es un marco.

e
k
5) (fk )k∈N = es un sistema ortonormal y una base de H, pero no es un marco, ya que
k k∈N
no posee una cota inferior de marco. Para verificar esto, considérese la sucesión (en )n∈N , luego
∞ ∞
X 2
X
ek 2 1 2 1 2
|hen , fk i| = en , = 2 |hen , en i| = 2 ken k .
k n n
k=1 k=1
n e2 e2 e3 e3 e3 o
6) (fk )k∈N = e1 , √ , √ , √ , √ , √ , ... es un marco ajustado no exacto con cotas AF =
2 2 3 3 3
BF = 1. Para verificar que es un marco ajustado, obsérvese que
∞ ∞ D 2 X∞
X 2
X ek E 2 2
|hf, fk i| = k f, √ = |hf, ek i| = kf k , ∀f ∈ H.
k=1 k=1
k k=1
Para ver que no es exacto, basta considerar que

D 2 2 2
e2 E 2 = kf k
e2

f, √ ≤ kf k √ , ∀f ∈ H,
2 2 2
luego se tiene que

2 ∞ D 2
kf k X 2 2 e2 E 2
≤ |hf, fk i| = kf k − f, √ ≤ kf k
, ∀f ∈ H,
2 2
k6=2
y entonces (fk )k6=2 es un marco con cotas A = 1/2 y B = 1.
Es claro de acuerdo a la definición Definición 3.1 que todo marco es una sucesión de Bessel.
Luego, a partir del Teorema 2.3 están bien definidos los operadores del Lema 2.2. En la siguiente
definición se los designa formalmente:
Definición 3.7. Sea F = (fk )k∈N ⊆ H una sucesión de Bessel,

1) El operador lineal acotado TF : `2 (N) −→ H, dado por
∞
X
TF (ck )k∈N = ck fk , ∀(ck )k∈N ∈ `2 (N)
k=1
es denominado el operador de sı́ntesis de F;

2) Su operador adjunto TF∗ : H −→ `2 (N), dado por
TF∗ f = hf, fk i k∈N ,

∀f ∈ H
es denominado el operador de análisis de F.

3) El operador lineal SF : H −→ H dado por
∞
X
SF f = TF TF∗ f = hf, fk ifk , ∀f ∈ H
k=1
es denominado el operador de marco de F.

Estos operadores son la herramienta esencial para el análisis de los marcos a partir de la
teorı́a del análisis funcional. Obsérvese que del Teorema 2.3, la serie del operador de marco
converge incondicionalmente para todo f ∈ H.
Ahora, en el lema a continuación se exponen las propiedades básicas de estos operadores.
Lema 3.8. Sea F = (fk )k∈N ⊆ H un marco de H con cotas A y B. Entonces, se cumple
lo siguiente:
1) El operador de sı́ntesis TF ∈ L(`2 (N), H) es un epimorfismo
√ y el operador de análisis
TF∗ es acotado inferiormente, y además kTF k = kTF∗ k = BF ;
2) El operador de marco SF ∈ Gl(H)+ con kSF k = BF , y además AI ≤ SF ≤ BI;
−1
3) (SF fk )k∈N es un marco de H con cotas B −1 y A−1 . Además, sus cotas óptimas son
BF y A−1
−1 −1
F , y su operador de marco es SF .
Demostración.
1) La desigualdad de marco (3.1) puede expresarse en términos del operador de análisis como
2 2 2
B kf k ≤ kTF∗ f k`2 ≤ A kf k , ∀f ∈ H.
, (3.4)
√
De esta desigualdad y la definición misma de BF se tiene que BF = kTF∗ k = kTF k. De (3.4)
también se observa que TF∗ es acotado inferiormente, y por ende de 2.6.11 en [5] resulta que éste es
un monomorfismo de rango cerrado. El que el TF sea un epimorfismo es luego una consecuencia
inmediata de que N (TF∗ ) = R(TF )⊥ y de que al ser R(TF∗ ) cerrado, por el Teorema del Rango
Cerrado R(TF ) también es cerrado.
2) De la definición de SF se tiene que
2
kSF k = kTF TF∗ k = kTF k = BF .
Por otro lado, considerando que
∞
DX E ∞
X 2
hSF f, f i = hf, fk ifk , f = |hf, fk i| ,
k=1 k=1
la desigualdad de marco (3.1) puede expresarse como AhIf, f i ≤ hSF f, f i ≤ BhIf, f i, para
todo f ∈ H, es decir que AI ≤ SF ≤ BI y entonces S ∈ L(H)+ . Por último, observando que
0 ≤ I − B −1 SF ≤ B−A
B I, y que I − B
−1
SF es autoadjunto se tiene que
I − B −1 SF = sup h(I − B −1 SF )f, f i ≤ B − A < 1,

kf k=1 A
entonces por el Teorema 6.1.4 en [5] SF es invertible, y SF ∈ Gl(H).

−1 −1
3) Sea f ∈ H, dado que SF ∈ Gl(H)+ , resulta que SF ∈ Gl(H)+ y luego utilizando el que SF
es autoadjunto y (3.1) se tiene que
∞ ∞
hf, S −1 fk 2 = hS f, fk i2 ≤ B S −1 f 2 ≤ B S −1 2 kf k2 .
X X −1
F F F F
k=1 k=1
−1
Entonces, (SF fk )k∈N es una sucesión de Bessel, y mediante el Teorema 2.3 el operador de marco
−1
para (SF fk )k∈N está bien definido. Ahora, sea f ∈ H, a través de la definición del operador de
marco y observando que
∞
X ∞
X
−1 −1 −1 −1 −1 −1 −1
hf, SF fk iSF fk = SF hSF f, fk ifk = SF SF SF f = SF f, (3.5)
k=1 k=1

−1 −1
se tiene que el operador de marco de (SF fk )k∈N es SF . Entonces, mediante la Proposición
−1
4.4.8 en [5] resulta que B −1 I ≤ SF ≤ A−1 I, es decir
2 −1 2
B −1 kf k ≤ hSF f, f i ≤ A−1 kf k , ∀f ∈ H,
y haciendo uso de (3.5) se tiene entonces que

∞
hf, S −1 f i2 ≤ A−1 kf k2
2
X
B −1 kf k ≤

F , ∀f ∈ H,
k=1
−1
luego (SF fk )k∈N es un marco de H con cotas B −1 y A−1 .
−1
Para verificar ahora que las cotas óptimas son BF y A−1
F , asúmase primero que existe C > 0,
−1
cota superior óptima del marco tal que C < A F . Mediante lo desarrollado resulta que el marco
−1 −1 −1
) SF fk k∈N = (fk )k∈N posee como cota inferior a C −1 , y consecuentemente C −1 ≤ AF ,

(SF
−1
lo que es una contradicción. Con el mismo argumento se obtiene que BF es la cota inferior
óptima.

−1
Se introduce ahora la terminologı́a asociada al marco (SF fk )k∈N que aparece en el Lema
3.8.
Definición 3.9. Sea F = (fk )k∈N ⊆ H un marco de H:

−1
1) El marco de H, (SF fk )k∈N es denominado el dual canónico de F;
−1

2) Los escalares hf, SF fk i k∈N son denominados los coeficientes de marco de F, del
elemento f .
El nombre de marco dual canónico quedará claro en la sección 7 donde se estudiarán en

detalle los marcos duales. El de coeficientes de marco en cambio, encontrará su sentido en el
siguiente teorema. Éste muestra que todo elemento del espacio puede representarse como una
combinación lineal infinita de los elementos de un marco. De aquı́, que es natural interpretar a
los marcos como “bases generalizadas”.
Teorema 3.10. Sea F = (fk )k∈N ∈ H un marco, entonces

∞
X ∞
X
−1 −1
f= hf, SF fk ifk = hf, fk iSF fk , ∀f ∈ H,
k=1 k=1
y además las series convergen incondicionalmente.
Demostración.
−1
Sea f ∈ H, haciendo uso de que del Lema 3.8 SF ∈ Gl(H)+ se tiene que
∞
X ∞
X
−1 −1 −1
f= SF SF f = hSF f, fk ifk = hf, SF fk ifk .
k=1 k=1
−1
Por otra parte, el Lema 3.8 también asevera que (SF es un marco de H, entonces la
fk )k∈N
−1

sucesión hf, SF fk i k∈N ∈ `2 (N) ya que es el resultado de aplicar el operador de análisis de este
marco a f , y en consecuencia del Corolario 2.4 se tiene que la serie converge incondicionalmente.

−1
Si se considera ahora su marco canónico dual (SF fk )k∈N y los coeficientes de marco de f
−1
con respecto a este último, hf, SF (SF fk )i k∈N = hf, fk i k∈N , lo desarrollado también implica
la representación alternativa
∞
X
−1
f= hf, fk iSF fk , ∀f ∈ H.
k=1
El Teorema 3.10 muestra que toda la información concerniente a un elemento f ∈ H se

encuentra contenida en los coeficientes de marco. Para el caso particular de los marcos ajustados,
se tiene inmediatamente el siguiente corolario:
Corolario 3.11. Sea F = (fk )k∈N ⊆ H un marco ajustado, i.e. AF = BF , entonces su

operador de marco cumple que SF = AF I, y además
∞
X
f = A−1
F hf, fk ifk , ∀f ∈ H,
k=1
con la serie convergiendo incondicionalmente.
Demostración.
Del Lema 3.8 se tiene que AF I ≤ SF ≤ BF I = AF I, y consecuentemente SF = AF I. Por
−1
otro lado, sea f ∈ H, utilizando el Teorema 3.10 y que SF = A−1
F I,
∞
X ∞
X
f= hf, A−1 −1
F Ifk ifk = AF hf, fk ifk ,
k=1 k=1
cuya convergencia incondicional también está dada por el mismo teorema.

Análogamente al Lema 2.5, basta con verificar las condiciones de marco sólo en un subcon-
junto denso, a saber:
Lema 3.12. Sea (fk )k∈N ⊆ H de forma que existen A, B > 0 tales que
∞
X
2 2 2
A kf k ≤ |hf, fk i| ≤ B kf k (3.6)
k=1
para todo f ∈ V , donde V es un conjunto denso en H. Entonces (fk )k∈N es un marco de

H con cotas A, B.
Demostración.
En primer lugar, el Lema 2.5 asegura que F es una sucesión de Bessel con cota B. Para
verificar la condición de la cota inferior, considérese el operador lineal T : `2 (N) −→ H dado por
∞
X
T (ck )k∈N = ck fk , ∀(ck )k∈N ∈ `2 (N),
k=1

que a raı́z del Teorema 2.3 está bien definido ya que la sucesión (fk )k∈N es de Bessel.
Asimismo,
del Lema 2.2 su operador adjunto T ∗ : H −→ `2 (N) está dado por T ∗ f = hf, fk i k∈N . La con-
dición de la cota inferior en (3.6) es equivalente a que el operador T ∗ sea acotado inferiormente,
ya que ésta puede expresarse como
2 2
A kf k ≤ kT ∗ f k`2 , ∀f ∈ V.
2
Ahora, sea g ∈ H, entonces existe (gn )n∈N ⊆ V tal que gn −→ g, y se tiene que A kgn k ≤
2
kT ∗ gn k`2 para todo n ∈ N. Tomando lı́mite a ambos lados se obtiene que se cumple la desigualdad
para g, y ası́ el operador T ∗ es acotado inferiormente para todo g ∈ H. La sucesión (fk )k∈N es
entonces un marco de H y el operador T es en efecto el operador de sı́ntesis.
Observación 3.13. A partir del caso de los espacios de dimensión finita, se podrı́a esperar que
si (fk )k∈N es una sucesión de H tal que spanF = H, entonces todo elemento f ∈ H tenga una
representación de la forma
X∞
f= ck fk ,
k=1
para determinados escalares (ck )k∈N . Sin embargo esto no es necesariamente cierto en el caso
infinito dimensional. Esto se ilustra en el ejemplo a continuación.
Ejemplo 3.14. Sea (ek )k∈N ⊆ H una base ortonormal de H, y defı́nase la sucesión (fk )k∈N ⊆ H
dada por
fk = ek + ek+1 , ∀k ∈ N.
Se procederá a verificar lo siguiente:
1) span(fk )k∈N = H.
2) (fk )k∈N es una sucesión de Bessel, pero no es un marco de H.
∞
X
3) Existe f ∈ H que no puede ser representada con la forma ck fk , para ninguna sucesión
k=1
de escalares (ck )k∈N .
Para ver que (fk )k∈N es completo, asúmase que existe f ∈ H tal que hf, fk i = 0 para todo
k ∈ N. Luego se tiene que hf, ek i = −hf, ek+1 i para todo k ∈ N, y asimismo |hf, ek i| es una
constante. Ahora en vista de que
∞
X 2 2
|hf, ek i| = kf k < +∞,
k=1
resulta que hf, ek i = 0 para todo k ∈ N, y entonces f = 0. Ergo, (fk )k∈N es un sistema completo.
Se procederá ahora a probar que (fk )k∈N es una sucesión de Bessel. Para esto se hará uso
de que para todos a, b ∈ R se cumple que (a + b)2 ≤ 2(a2 + b2 ). Mediante esta desigualdad y la
triangular se tiene que para todo f ∈ H se cumple que
∞
X ∞
X ∞
X
2 2
|hf, ek + ek+1 i| = |hf, ek i + hf, ek+1 i| ≤ (|hf, ek i| + |hf, ek+1 i|)2
k=1 k=1 k=1
X∞ ∞
X
2 2 2
≤2 |hf, ek i| + 2 |hf, ek+1 i| ≤ 4 kf k .
k=1 k=1
Consecuentemente (fk )k∈N es una sucesión de Bessel con cota B = 4.

Resta ver que (fk )k∈N es un marco, y para esto se verá que no posee una cota inferior de
marco. Considérese la sucesión (gj )j∈N ⊆ H dada por
j
X
gj = (−1)n+1 en , ∀j ∈ N.
n=1
Obsérvese que al ser una combinación lineal de vectores ortonormales se tiene que
j j
(−1)n+1 en 2 =
X X
kgj k = 1=j , ∀j ∈ N.
n=1 n=1
Por otro lado, sean j, k ∈ N,

j
DX E Xj
(−1)n+1 en , ek + ek+1 = (−1)n+1 hen , ek i + hen , ek+1 i

hgj , fk i =
n=1 n=1
j
X
= (−1)n+1 (δn,k + δn,k+1 ) = (−1)j+1 δj,k .
n=1
Luego,
∞ ∞
X 2
X 1 2
|hgj , fk i| = δj,k = 1 = kgj k , ∀j ∈ N,
j
k=1 k=1
y ası́ no es posible encontrar una cota inferior de marco para (fk )k∈N .
Por último, considerando el elemento f = e1 puede observarse que no es posible representarlo
X∞
como ck fk , para ninguna sucesión de escalares (ck )k∈N . Para probarlo, asúmase que sı́, luego
k=1
∞
X ∞
X
e1 = ck fk = c1 e1 + c1 e2 + ck (ek + ek+1 ),
k=1 k=2
y entonces se tiene que

∞
X
(1 − c1 )e1 = c1 e2 + ck (ek + ek+1 ), (3.7)
k=2
y al ser (ek )k∈N una base resulta que c1 = 1. Reemplazando esto en (3.7) se obtiene que
∞
X
0 = e2 + c2 e2 + c2 e3 + ck (ek + ek+1 ),
k=3
que implica que

∞
X
−(1 + c2 ) = c2 e3 + ck (ek + ek+1 ).
k=3
Y ası́ resulta que c2 = −1. Repitiendo este procedimiento se obtiene que ck = (−1)k+1 para
todo k ∈ N. Sin embargo, considerando la n-ésima suma parcial,
n
X n
X
ck fk = (−1)k+1 (ek + ek+1 ) = e1 + (−1)n+1 en+1 , ∀n ∈ N,
k=1 k=1
y consecuentemente

n

X
ck fk = (−1)n+1 en = 1 ,

e1 − ∀n ∈ N,

k=1
∞
X
por lo que la serie ck fk no converge a e1 , llegando a una contradicción.
k=1
4. Sucesiones de Marco
Como se habı́a vaticinado, aquı́ se exponen aquellas sucesiones que presentan las propiedades
de los marcos pero que no son un sistema completo. Es decir, que son un marco para un subes-
pacio de H. Si bien es cierto que puede siempre trabajárselas como un marco per se acotándose
al subespacio correspondiente, el explicitar sus diferencias con los marcos propiamente dichos
será útil en resultados posteriores.
Definición 4.1. Sea (fk )k∈N ⊆ H, se dice que es una sucesión de marco si es un marco
de span(fk )k∈N .
Una primera caracterı́stica de estas sucesiones se enuncia en el lema a continuación:
Lema 4.2. Toda sucesión de marco con cota superior B es una sucesión de Bessel con cota
B.
Demostración.
Sea F = (fk )k∈N ⊆ H una sucesión de marco con cotas A,B, entonces se cumple que
∞
X
2 2 2
A kf k ≤ |hf, fk i| ≤ B kf k , ∀f ∈ spanF.
k=1
Por otro lado, también se tiene que

∞
X 2 2
|hf, fk i| = 0 ≤ B kf k , ∀f ∈ (span F)⊥ ,
k=1
y consecuentemente F es una sucesión de Bessel con cota B.
Consecuentemente toda sucesión de marco F es una sucesión de Bessel, y el Teorema 2.3

asegura que está bien definido el operador de sı́ntesis TF dado en la Definición 3.7, y asimismo
sus operadores de análisis y de marco, TF∗ y SF . De aquı́ que las técnicas para trabajar con estas
sucesiones sean virtualmente las mismas que las de los marcos. Sin embargo, las diferencias en
las propiedades de estos operadores en ambos casos se ilustran en el siguiente lema, que es el
análogo al Lema 4.3.

Lema 4.3. Sea F = (fk )k∈N ⊆ H una sucesión de marco con cotas A y B. Entonces, se
cumple lo siguiente:
2
√ operador de sı́ntesis TF ∈ L(` (N), H) cumple que R(TF ) = spanF y kTF k =
1) El
BF .
2) El operador de análisis TF∗ es de rango cerrado y N (TF∗ ) = (span F)⊥ .
3) El operador de marco SF cumple que N (SF ) = (span F)⊥ y R(SF ) = spanF, y

además kSF k = BF .
†
4) (SF fk )k∈N es una sucesión de marco (de hecho un marco de spanF) con cotas B −1
−1 †
y A−1 . Además, sus cotas óptimas son BF y A−1
F , y su operador de marco es SF .
Demostración.
1) Dado que R(TF ) ⊆ spanF y que del Lema 3.8 el operador TF es un epimorfismo en √
el espacio
de Hilbert span F se tiene que R(TF ) = spanF. Del mismo lema resulta que kTF k = BF .
2) A través de las elementales propiedades del adjunto, se tiene que N (TF∗ ) = R(TF )⊥ =
(span F)⊥ , y el que R(TF∗ ) sea cerrado es una consecuencia de que R(TF ) sea cerrado, con el
Teorema del Rango Cerrado mediante.
3) En primer lugar, se tiene que
N (SF ) = N (TF TF∗ ) = N (TF∗ ) = (span F)⊥ .
Luego, en vista de que R(SF ) ⊆ spanF y de que del Lema 3.8 el operador SF es un isomorfismo
en el espacio de Hilbert spanF se tiene que R(SF ) = spanF. Finalmente, kSF k = kTF TF∗ k =
2
kTF k = BF .

4) Para simplificar la notación, defı́nase S = spanF. Considerando el operador SF S : S −→ S
dado por
X∞

SF S f = SF f = hf, fk ifk , ∀f ∈ S,
k=1

se observa que SF S es el operador de marco de F en el espacio de Hilbert S. Por otro lado,
del Teorema 3 en el Capı́tulo 3 de [1], la inversa generalizada de Moore-Penrose de SF puede
expresarse como
−1 −1
S † = SF

F ⊥
N (SF )
PR(S ) = SF
F S
PS ,
y entonces se tiene que
†
−1 −1
SF fk = SF S PS fk = SF S fk , ∀k ∈ N. (4.1)
−1
El Lema 3.8 asegura que SF S fk es un marco del espacio de Hilbert S con cotas B −1
k∈N
−1 †
y A−1 , y cotas óptimas BF y A−1

F . Luego, de (4.1) se tiene que SF fk k∈N es un marco de S
†
en H, con las mismas cotas. Por último, par ver que SF es su operador de marco, basta utilizar
† † †
que SF SF SF = SF del Teorema 1.1, para observar que
∞ ∞
† † † † † † †
X X
hf, SF fk iSF fk = SF hSF f, fk ifk = SF SF SF f = SF f.
k=1 k=1

De la demostración del Lema 4.3 queda claro que la inversa generalizada de Moore Penrose
†
del operador de marco, SF , tiene un papel protagónico al trabajar con sucesiones de marco, ya
†
que SF |spanF es el operador de marco de tal sucesión en el espacio de Hilbert, spanF. Luego, se
enumeran en el lema a continuación las propiedades básicas de este operador, que no son más
que una consecuencia de aplicar el Teorema 1.1 para este operador en particular.
Lema 4.4. Sea F = (fk )k∈N ⊆ H una sucesión de marco, entonces se cumple lo siguiente:
† † † †
1) SF SF SF = SF y SF SF SF = SF ;
† †
2) SF SF = SF SF = PspanF ;
† ⊥ †
3) N (SF ) = span F y R(SF ) = spanF;
†
4) SF ∈ A(H).
Ahora, análogo al Teorema 3.10, se tiene el siguiente resultado sobre la representación en

serie en función de los elementos de una sucesión de marco.
Teorema 4.5. Sea F = (fk )k∈N ∈ H una sucesión de marco, entonces

∞ ∞
† †
X X
f= hf, SF fk ifk = hf, fk iSF fk , ∀f ∈ spanF,
k=1 k=1
y además las series convergen incondicionalmente.
Demostración.
Ambas
representaciones se obtienen inmediatamente del Teorema 3.10, a partir del hecho de
que SF spanF es el operador de marco de F en el espacio de Hilbert spanF y de que de (4.1)
S † fk = (SF

F spanF
)−1 fk para todo k ∈ N.

5. Marcos y Operadores
En esta sección se trata la relación entre los marcos y algunas clases de operadores. En
particular, en el Lema 3.8 se observó que dado un marco F = (fk )k∈N de H, al aplicar el
−1
operador SF a cada uno de los elementos del marco se obtiene otro marco, el dual canónico. La
siguiente proposición y el subsiguiente corolario muestran que esto es de hecho un caso particular
de un resultado más general, que comprende una clase mayor de operadores.
Proposición 5.1. Sea F = (fk )k∈N ⊆ H una marco de H con cotas A, B, y sea U un
operador acotado y de rango cerrado no trivial, entonces (U fk )k∈N es un marco de R(U )
−2 2
con cotas A U † , B kU k , y operador de marco U SF U ∗ .

Demostración.
Sea f ∈ H, luego
∞
X ∞
X
2 2 2 2
|hf, U fk i| = |hU ∗ f, fk i| ≤ B kU ∗ f k ≤ B kU k kf k ,
k=1 k=1
2
y entonces (U fk )k∈N es una sucesión de Bessel con cota B kU k . Sea ahora g ∈ R(U ), luego
g = U f con f ∈ H. Al ser U de rango cerrado, del Teorema 1.1 existe U † , y U U † es la proyección
ortogonal sobre R(U ). Entonces g puede expresarse como
g = U f = (U U † )U f = (U U † )∗ U f = (U † )∗ U ∗ U f,
y haciendo uso de que U † es acotado y de la desigualdad de marco para U ∗ U f se obtiene que
2 2 2 2 2 2
kgk = (U † )∗ U ∗ U f ≤ (U † )∗ kU ∗ U f k = U † kU ∗ U f k

† 2 ∞ † 2 ∞ † 2 ∞
U X 2
U X 2
U X 2
≤ |hU ∗ U f, fk i| = |hU f, U fk i| = |hg, U fk i| ,
A A A
k=1 k=1 k=1
2
ergo (U fk )k∈N es finalmente un marco de R(U ) con cota inferior A/ U † .
Por último, en vista de que
∞
X ∞
X
hf, U fk iU fk = U hU ∗ f, fk ifk = U SF U ∗ f , ∀f ∈ H,
k=1 k=1
se tiene que U SF U ∗ es el operador de marco.
Puede verificarse que de no ser el operador U de rango cerrado, puede no cumplirse la tesis
de la Proposición 5.1. Y aun cuando sea de rango cerrado, no basta con que (fk )k∈N sea una
sucesión de marco.
Inmediatamente, de esta proposición se obtiene el corolario a continuación:
Corolario 5.2. Sea F = (fk )k∈N ⊆ H un marco de H con cotas A, B, y sea U ∈ L(H)
−2 2
un epimorfismo, entonces (U fn )k∈N es un marco de H con cotas A U † , B kU k , y
operador de marco U SF U ∗ .
En la sección 8 se verá que existe una muy estrecha relación entre los marcos y los epimorfis-
mos. El lema siguiente sı́ indica cómo puede obtenerse una sucesión de marco a partir de otra,
pero siendo más restrictivas las condiciones sobre el operador:
Lema 5.3. Sea F = (fk )k∈N ⊆ H una sucesión

de marco con cotas A, B, y sea U ∈ U(H),
entonces (U fk )k∈N es un marco de U spanF con cotas A, B, y operador de marco U SF U ∗ .
Demostración.
En primer lugar, el Lema 4.2 asegura que F es una sucesión de Bessel con cota B, entonces,
utilizando que kU ∗ k = 1 por ser unitario, se tiene que
∞
X ∞
X
2 2 2 2 2 2
|hf, U fk i| = |hU ∗ f, fk i| ≤ B kU ∗ f k ≤ B kU ∗ k kf k = B kf k , ∀f ∈ H,
k=1 k=1


y consecuentemente (U fk )k∈N es una sucesión de Bessel con cota B. Sea ahora g ∈ U spanF ,
luego g = U f con f ∈ spanF. A través de que U es una isometrı́a y que U ∗ U = I, y aplicando
la desigualdad de marco se tiene que
∞
X ∞
X ∞
X
2 2 2 2 2
kgk = kf k ≤ A−1 |hf, fk i| = A−1 |hU ∗ U f, fk i| = A−1 |hg, U fk i| ,
k=1 k=1 k=1

y en consecuencia (U fk )k∈N es un marco de U spanF con cota inferior A.
Por último, a la luz de que
∞
X ∞
X
hf, U fk iU fk = U hU ∗ f, fk ifk = U SF U ∗ f , ∀f ∈ H,
k=1 k=1
resulta que U SF U ∗ es el operador de marco.
Estos resultados muestran que mediante el operador adecuado es posible construir marcos a
partir de otros, y que diseñando el operador convenientemente puede lograrse que estos nuevos
marcos tengan propiedades particulares o deseadas. Por ejemplo, en el siguiente teorema se
prueba que a partir de todo marco es posible obtener un marco ajustado.
−1/2
Teorema 5.4. Sea F = (fk )k∈N ⊆ H un marco de H. Luego (SF fn )k∈N es un marco
ajustado con cotas AF = BF = 1, y además
∞
−1/2 −1/2
X
f= hf, SF fk iSF fk , ∀f ∈ H.
k=1
Demostración.
−1/2 −1/2
De la Proposición 4.4.8 en [5] SF ∈ Gl(H)+ , y del Teorema 4.4.4 en [5] se tiene que SF
−1
conmuta con SF y también con SF , luego sea f ∈ H,
−1 −1/2 −1/2 −1/2 −1/2
f = SF SF f = SF SF SF f = SF SF SF f.
−1
Entonces, usando que SF es autoadjunto se tiene que
∞ ∞
−1/2 −1/2 −1/2 −1/2 −1/2 −1/2
X X
f = SF SF SF f = SF hSF f, fk ifk = hSF f, fk iSF fk
k=1 k=1
∞
−1/2 −1/2
X
= hf, SF fk iSF fk ,
k=1
luego
∞
DX E X∞
2 −1/2 −1/2 −1/2 −1/2
kf k = hf, SF fk iSF fk , f = hf, SF fk ihSF fk , f i
k=1 k=1
∞
hf, S −1/2 fk i2 ,
X
= F
k=1
−1/2
de donde se observa que (SF fk )k∈N es un marco de H con AF = BF = 1.

Se procede ahora a analizar relaciones entre los marcos y las proyecciones ortogonales.

Proposición 5.5. Sea F = (fk )k∈N ⊆ H, y sea V ⊆ H un subespacio cerrado con PV la

proyección ortogonal sobre tal subespacio. Entonces se cumple lo siguiente:
1) Si F = (fk )k∈N ⊆ H es un marco de H con cotas de marco A, B, entonces (PV fk )k∈N

es un marco de V con cotas de marco A, B.
2) Si F = (fk )k∈N ⊆ V es un marco de V , entonces la proyección ortogonal de H sobre
V está dada por
∞
†
X
PV f = hf, SF fk ifk , ∀f ∈ H.
k=1
Demostración.
1) Sea (fk )k∈N un marco de H con cotas A, B y sea f ∈ H. Luego utilizando que PV es
autoadjunto y kPV k = 1, y a la luz de (3.1) se tiene que
∞
X ∞
X
2 2 2 2 2 2
|hf, PV fk i| = |hPV f, fk i| ≤ B kPV f k ≤ B kPV k kf k = B kf k .
k=1 k=1
Ergo, (fk )k∈N es una sucesión de Bessel con cota B. Por otro lado, sea g ∈ V , luego g = PV g, y
nuevamente mediante la desigualdad de marco resulta
∞
X ∞
X ∞
X
2 2 2 2
A kgk ≤ |hg, fk i| = |hPV g, fk i| = |hg, PV fk i| .
k=1 k=1 k=1
Consecuentemente, (PV fk )k∈N es un marco de V con cotas A, B.

2) Asúmase ahora que (fk )k∈N = F es un marco de V , y sea P ∈ L(H) el operador dado por
∞
†
X
Pf = hf, SF fk ifk , ∀f ∈ H.
k=1
Basta con verificar que P g = g para todo g ∈ V , y que P h = 0 para todo h ∈ V ⊥ para probar
que P = PV . Entonces, sea g ∈ V , el Teorema 4.5 asegura que
∞
†
X
g= hg, SF fk ifk = P g.
k=1
† †
Ahora, sea h ∈ V ⊥ , utilizando el Lema 4.4 se tiene que R(SF ) = V , luego SF fk ∈ V para todo
†
k ∈ N. Entonces hh, SF fk i = 0, y ası́ se tiene que
∞
†
X
Ph = hh, SF fk ifk = 0.
k=1
Por último, se expone una proposición que posee inmediata aplicación en el procesamiento
de señales, donde en la transmisión de los coeficientes de marco para la reconstrucción de una
señal debe proyectarse la información recibida sobre R(TF∗ ) para eliminar componentes de ruido.
El desarrollo de esto se muestra someramente en la sección 5.9 de [2].

Proposición 5.6. Sea F = (fk )k∈N ⊆ H una sucesión de marco, entonces la proyección
ortogonal de `2 (N) sobre R(TF∗ ) está dada por
∞
D X E
†
PR(TF∗ ) (cn )n∈N = ck SF fk , fn .
k=1 n∈N
Demostración.
Sea P : `2 (N) −→ `2 (N) el operador dado por
∞
D X E
†
P (cn )n∈N = ck SF fk , fn , ∀(cn )n∈N ,
k=1 n∈N
basta con probar que P c = c para todo c ∈ R(TF∗ ) y que P a = 0 para todo a ∈ R(TF∗ )⊥ para
demostrar que es la proyección ortogonal sobre R(TF∗ ), que cabe mencionar es cerrado por el
Lema 4.3.
Sea (cn )n∈N = hf, fn i n∈N ∈ R(TF∗ ) con f ∈ spanF, luego mediante el Teorema 4.5 se tiene

que
DX∞ E DX ∞ E
† †
ck SF fk , fn = hf, fk iSF fk , fn = hf, fn i , ∀n ∈ N
k=1 k=1
y consecuentemente P (cn )n∈N = (cn )n∈N .

†
Sea ahora (an )n∈N ∈ R(TF∗ )⊥ , entonces utilizando que del Lema 4.4 SF es autoadjunto y
† ∗ −1 ∗
que hSF fn , fk i k∈N = TF SF fn ∈ R(TF ) se tiene que
∞
DX E ∞ ∞
† † †
X X
ak SF fk , fn = ak hSF fk , fn i = ak hSF fn , fk i
k=1 k=1 k=1
D E
†
= (ak )k∈N , hSF fn , fk i k∈N =0 , ∀n ∈ N,
`2
y ası́ P (an )n∈N = 0.

6. Más Propiedades de los Marcos

Se analizarán más en profundidad las propiedades de los marcos. El primer resultado que se
expondrá indica que de todas las representaciones en serie en términos de los elementos de un
marco con coeficientes (ck )k∈N , los coeficientes de marco son aquellos que minimizan la norma
`2 .
Lema 6.1. Sea F = (fk )k∈N ∈ H un marco de H y sea f ∈ H tal que puede representarse
∞
X
como f = ck fk con (ck )k∈N ∈ CN , entonces
k=1
∞
X ∞
X ∞
X
−1 −1
|ck |2 = |hf, SF fk i|2 + |ck − hf, SF fk i|2 .
k=1 k=1 k=1

Demostración.
Asúmase primero que (ck )k∈N ∈ `2 (N), ésta puede expresarse como
−1 −1

(ck )k∈N = (ck )k∈N − hf, SF fk i k∈N + hf, SF fk i k∈N .
Utilizando el Teorema 5.4 se tiene que

∞
X ∞
X
−1
f= ck fk = hf, SF fk ifk ,
k=1 k=1
de donde resulta que

∞
X
−1

ck − hf, SF fk i fk = 0.
k=1
−1 −1
∈ N (TF ) = R(TF∗ )⊥ , y considerando que hf, SF

Es decir, ck − hf, SF fk i k∈N fk i k∈N
∈
∗
R(TF ) se obtiene finalmente que
2 2
2 −1
−1

k(ck )k∈N k`2 = (ck )k∈N − hf, SF fk i k∈N 2 + hf, SF fk i k∈N 2 . (6.1)

` `
∞
X 2
Sea ahora (ck )k∈N ∈ CN \ `2 (N), luego |ck | = +∞. Sea N ∈ N, la sucesión truncada
k=1
(ck )N 2
k=1 ∈ ` (N), entonces aplicando (6.1) se tiene que
N N N
ck − hf, S −1 fk i2 = hf, S −1 fk i2
X X 2
X
F |ck | − F , ∀N ∈ N.
k=1 k=1 k=1
∞
hf, S −1 fk i2 < +∞, y ası́
X
−1

En vista de que hf, SF fk i k∈N ∈ `2 (N), resulta que F
k=1
∞
ck − hf, S −1 fk i2 = +∞,
X
F
k=1
completando la demostración.

Como consecuencia de este teorema se obtiene una expresión explı́cita para la inversa gene-
ralizada de Moore Penrose del operador de análisis:
Teorema 6.2. Sea F = (fk )k∈N ⊆ H un marco, entonces
TF† f = hf, SF
−1

fk i k∈N .
Demostración.
Sea f ∈ H, considérese la ecuación
TF c = f, (6.2)
2
donde c ∈ ` (N). Dado que el operador de marco es un epimorfismo por el Lema 3.8, para todo
f ∈ H existe c ∈ `2 (N) tal que se cumple (6.2). Luego, al ser TF acotado, y consecuentemente
de rango cerrado, del teorema 8 en [1] se tiene que TF† f es la solución de (6.2) de norma mı́nima.
Del Lema 6.1, si c ∈ `2 (N) es solución de (6.2) se tiene que

2 2
2 −1
−1

kck`2 = hf, SF fk i k∈N 2 + c − hf, SF fk i k∈N 2 ,

` `
−1

ergo la solución de (6.2) de norma mı́nima es en efecto hf, SF fk i k∈N .

Ahora, las cotas óptimas de marco pueden expresarse mediante los operadores de análisis y
de marco de la siguiente forma:
Proposición 6.3. Sea F = (fk )k∈N ⊆ H un marco, entonces

−1 −1 −2
† 2
AF = SF = TF , BF = kSF k = kTF k .
Demostración.
En el Lema 3.8 se probó ya que
2
BF = kSF k = kTF k .
Por otro lado, este lema también asevera que el marco canónico dual
−1de F, tiene cota superior
óptima A−1
F y operador de marco SF
−1
, y consecuentemente A −1
F = S . Finalmente, utilizando
F
el Teorema 6.2 se tiene que si f ∈ H, entonces TF† f = hf, SF−1
fk i k∈N , luego
∞
† 2 X
hf, S −1 fk i2 ≤ A−1 kf k2 ,

T f =
F F
k=1
† 2
donde A−1 = A−1 .
F es el ı́nfimo de todas las cotas superiores por ser la cota óptima,y ası́ T F

El siguiente teorema muestra que un marco puede ser redundante en el sentido de que
puede removérsele un elemento, y puede continuar aún siendo un marco. También será útil
en la posterior caracterización de los marcos exactos. Sobre estos dos asuntos se discurrirá en
profundidad en la sección 7.
Teorema 6.4. Sea F = (fk )k∈N ∈ H un marco de H, entonces se cumple lo siguiente:

1) Sea n ∈ N,
−1
2 −1
2
hfn , S −1 fk i2 = 1 − hfn , SF fn i − 1 − hfn , SF fn i .
X
F
2
k6=n
−1 −1
2) Sea n ∈ N, si hfn , SF fn i = 1 entonces hfn , SF fk i = 0 para todo k 6= n.
3) La remoción de un elemento fm o deja un marco o un conjunto incompleto. Más
precisamente,
−1
si hfm , SF fm i =
6 1, entonces F \ {fm } = (fn )n6=m es un marco de H;
−1
si hfm , SF fm i = 1, entonces F \ {fm } = (fn )n6=m es incompleto.

Demostración.
1) Sea n ∈ N, del Teorema 3.10 se tiene que
∞
X
−1
fn = hfn , SF fk ifk .
k=1
∞
X
−1
De modo de simplificar la notación, defı́nase ak = hfn , SF fk i, de forma que fn = ak fk . Por
k=1
∞
X
otro lado, fn = δn,k fk , entonces del Lema 6.1 resulta
k=1
∞
X ∞
X ∞
X
2 2 2
1= |δn,k | = |ak | + |ak − δn,k |
k=1 k=1 k=1
2
X 2 2
X 2
= |an | + |ak | + |an − 1| + |ak |
k6=n k6=n
de donde se obtiene que

2 2
X 2 1 − |an | − |an − 1|
|ak | = . (6.3)
2
k6=n
X 2
−1
2) Asúmase ahora que an = hfn , SF fn i = 1, luego de (6.3) se tiene que |ak | = 0, y entonces
k6=n
−1
ak = hfn , SF fk i = 0 , ∀k 6= n. (6.4)
−1 −1 −1
3) Si an = hfn SF fn i = 1 entonces SF fn 6= 0, y haciendo uso de que SF es autoadjunto (6.4)
puede expresarse como
−1
hSF fn , fk i = 0 , ∀k 6= n.
−1
⊥
Consecuentemente, SF fn ∈ span(fk )k6=n y entonces (fk )k6=n no es un conjunto completo.
∞
X
−1
Supóngase ahora que an = hfn , SF fn i =
6 1, luego a la luz de que fn = ak fk se tiene que
k=1
1 X
fn = ak fk . (6.5)
1 − an
k6=n
Sea f ∈ H, luego hf, fk i k∈N = TF∗ f ∈ `2 (N) para todo k ∈ N, y además considerando que

−1

(ak )k∈N = hfn , SF fk i k∈N es el resultado de aplicar el operador de análisis del marco canónico
dual de F a fn se tiene que ak ∈ `2 (N) para todo k ∈ N. Entonces, mediante (6.5) y la desigualdad
de Cauchy-Schwarz resulta que
1 X 2
2
|hf, fn i| = ak hf, fk i

1 − an
k6=n
1 X 2
X 2
X 2
≤ 2 |ak | |hf, fk i| = C |hf, fk i| , (6.6)
|1 − an | k6=n k6=n k6=n
1 X 2
donde se ha llamado C = 2 |ak | . Sean ahora A, B cotas de marco de F, entonces
|1 − an | k6=n
mediante (6.6) se tiene que
∞
X X X
2 2 2 2 2
A kf k ≤ |hf, fk i| = |hf, fk i| + |hf, fn i| ≤ (1 + C) |hf, fk i| ,
k=1 k6=n k6=n

es decir A(1 + C)−1 es una cota inferior de marco de (fk )k6=n = F \ {fn }. Por último,
X ∞
X
2 2 2
|hf, fk i| ≤ |hf, fk i| ≤ B kf k ,
k6=n k=1
por lo que (fk )k6=n = F \ {fn } también es una sucesión de Bessel, y entonces es un marco de H.

Como consecuencia directa de este teorema, se tiene la siguiente proposición que caracteriza
a los marcos exactos. Como ya se ha mencionado, una caracterización más extensiva de éstos se
desarrollará en la sección 7, donde se muestra que éstos son las denominadas bases de Riesz.
Proposición 6.5. Sea F = (fk )k∈N ⊆ H un marco de H, entonces las siguientes condicio-
nes son equivalentes:
1) F es un marco exacto.
−1

2) F y su marco dual canónico SF fk k∈N
son biortogonales.
−1
3) hfk , SF fk i = 1 para todo k ∈ N.
Además, de cumplirse estas condiciones, F es una base de Schauder de H.
Demostración.
−1

1 ⇒ 3 Sea F un marco exacto, y asúmase que existe n ∈ N tal que hfn , SF fn i =
6 1, entonces
del Teorema 6.4 se tiene que F \ {fn } es un marco de H, lo que es un absurdo a la luz de que
F es exacto.
−1

3 ⇒ 1 Supóngase que hfk , SF fk i = 1 para todo k ∈ N, entonces el Teorema 6.4 asevera que
F \ {fk } es incompleto para todo k ∈ N, y entonces del Lema 3.3 F \ {fk } no es un marco para
cualquier k ∈ N, es decir F es un marco exacto.
−1 −1

2 ⇒ 3 Si F y SF fk k∈N son biortogonales se tiene que hfk , SF fn i = δk,n para todos k, n ∈ N,
−1
y entonces hfk , SF fk i = 1 para todo k ∈ N.
−1

3 ⇒ 2 Asúmase que hfk , SF fk i = 1 para todo k ∈ N, entonces el Teorema 6.4 asegura que
−1
hfk , SF fn i = 0 para todos k, n ∈ N tal que k 6= n.
Supóngase ahora que F es un marco exacto. Sea f ∈ H, del Teorema 3.10 se tiene que
∞
X
−1
f= hf, SF fk ifk . Para probar que F es una base basta con demostrar que esta representación
k=1
∞
X
−1
es única. Luego, sea (ck )k∈N ∈ CN tal que f = ck fk , haciendo uso de que hfk , SF fn i = δk,n
k=1
se tiene que
∞
DX E X∞
−1 −1 −1
hf, SF fn i = ck fk , SF fn = ck hfk , SF fn i = cn .
k=1 k=1

Por último, particularizando la Proposición 6.5 para el caso de los marcos ajustados se obtiene
el siguiente corolario:

Corolario 6.6. Sea F = (fk )k∈N ⊆ H un marco ajustado de H, i.e. AF = BF , entonces

las siguientes condiciones son equivalentes:
2) F es una sucesión ortogonal.
2
3) kfk k = AF para todo k ∈ N.
Además, de cumplirse estas condiciones, F es una base ortogonal de Schauder de H.
Demostración.

1 ⇒ 2 , 3 Dado que F es un marco ajustado resulta que SF = AF I por el Corolario 3.11, y
−1
asimismo SF = A−1F I. Ahora, suponiendo F es también exacto, de la Proposición 6.5 se tiene
−1
que hfn , SF fk i = δn,k para todos n, k ∈ N. Luego,
hfn , fk i = AF hfn , A−1 −1

F Ifk i = AF hfn , SF fk i = AF δn,k , ∀n, k ∈ N,
2
luego F es ortogonal además de que kfk k = AF para todo k ∈ N.
−1
= A−1

2 ⇒ 3 Sea F un conjunto ortogonal, luego haciendo uso de que SF F I y del Teorema
X∞
3.10 se tiene que para todo f ∈ H, f = hf, A−1
F Ifk ifk , entonces, sea n ∈ N,
k=1
∞
DX E ∞
X
2 2 4
kfn k = hfn , A−1
F If k ifk , fn = A −1
F |hfn , fk i| = A−1
F kfn k , (6.7)
k=1 k=1
De ser fn = 0, F \ {fn } serı́a un marco, que contradirı́a el que F es exacto, luego fn 6= 0 y de

2
(6.7) se obtiene que kfn k = AF para todo n ∈ N.
2 −1
3 ⇒ 1 Asúmase ahora que kfk k = AF para todo k ∈ N. Utilizando una vez más que SF =
−1
AF I se tiene que
−1 2
hfk , SF fk i = hfk , A−1 −1
F Ifk i = AF kfk k = 1 , ∀k ∈ N,
y consecuentemente, de la Proposición 6.5 resulta que F es un marco exacto.
Finalmente, si se cumplen estás condiciones F es ortogonal y también por la Proposición 6.5

es una base de H.
7. Bases de Riesz y Marcos Duales

En esta sección se procede a estudiar los marcos duales, brindando luz a la ya empleada
denominación de marco dual canónico. En el Lema 6.1 se observó que para un dado marco los
coeficientes de marco, provenientes del dual canónico, son aquellos que minimizan la norma `2
en las representaciones de un elemento f ∈ H de la forma
∞
X
ck fk .
k=1

Sin embargo, la minimalidad de la norma `2 no es siempre relevante, por lo que es de interés el

analizar qué otros coeficientes es posible utilizar para una expansión tal, y es aquı́ donde entran
en escena los marcos duales.
Previo a introducir estos marcos duales, se definirán y analizarán las denominadas bases de
Riesz, sin bien el análisis no será exhaustivo, que se encuentran en el corazón de la teorı́a de
los marcos duales. La definición de las bases de Riesz se encuentra motivada por el siguiente
teorema.
Teorema 7.1. Sea H un espacio de Hilbert separable y sea (ek )k∈N una base ortonormal
de H. Las bases ortonormales de H son las familias (U ek )k∈N , tales que U : H −→ H es
un operador unitario.
Demostración.
En primer lugar, sea U ∈ U(H). Luego, dado que U es un isomorfismo isométrico, (U ek )k∈N
es una base ortonormal de H por la Observación 3.5.4 en [5].
Por otra parte, sea ahora F = (fk )k∈N ⊆ H una base ortonormal de H. Del Ejemplo 3.6 se
tiene que F es un marco de H. Sea (δk )k∈N ⊆ `2 (N) la base ortonormal canónica de `2 (N), y sea
φ : H −→ `2 (N) el isomorfismo isométrico definido por φek = δk para todo k ∈ N. Defı́nase el
operador acotado U : H −→ H dado por U = TF φ, luego
U ek = TF φek = TF δk = fk , ∀k ∈ N.
Obsérvese que,
∞
X ∞
X ∞
X
U ck e k = ck U ek = ck fk , ∀(ck )k∈N ∈ `2 (N),
k=1 k=1 k=1
∞
X
luego se tiene que U es una biyección. Sean f, g ∈ H, utilizando que f = hf, ek iek , que
k=1
∞
X
g= hg, ek iek y que U es acotado, mediante el Teorema 3.5.5 en [5] resulta que
k=1
D X∞ ∞
X E
hU ∗ U f, gi = hU f, U gi = U hf, ek iek , U hg, ek iek
k=1 k=1
∞
DX ∞
X E ∞
DX ∞
X E
= hf, ek iU ek , hg, ek iU ek = hf, ek ifk , hg, ek ifk
k=1 k=1 k=1 k=1
∞
X
= hf, ek ihg, ek i = hf, gi.
k=1
Entonces, de la Observación 4.2.2 en [5] se tiene que U ∗ U = I. Es decir, U es una isometrı́a, y

al ser también un epimorfismo, es un operador unitario.

La definición de las bases de Riesz surge de debilitar las condiciones sobre el operador:
Definición 7.2. Una base de Riesz de H es una familia de la forma (U ek )k∈N , donde
(ek )k∈N es una base ortonormal de H y U : H −→ H es un isomorfismo acotado.

Se describen en el siguiente lema algunas propiedades elementales de las bases de Riesz.
Lema 7.3. Sea (fk )k∈N una base de Riesz de H, entonces se cumple lo siguiente:
1) (fk )k∈N es una base de Schauder de H.

2) (fk )k∈N es una sucesión de Bessel.
∞
X
3) ck fk es convergente si y sólo si (ck )k∈N ∈ `2 (N). Además, de cumplirse esto la
k=1
convergencia de la serie es incondicional.
Demostración.
1) Al ser (fk )k∈N una base de Riesz de H, existe un isomorfismo acotado U y una base ortonormal
⊥
de H tales que (fk )k∈N = (U ek )k∈N . Sea f ∈ span(fk )k∈N , luego
hU ∗ f, ek i = hf, U ek i = hf, fk i = 0 , ∀k ∈ N.
Entonces, se tiene que U ∗ f = 0, sin embargo, dado que U es invertible, por el Corolario 4.1.6
en [5] U ∗ también lo es, y en consecuencia f = 0. Luego, resulta que (fk )k∈N es completo. Sea
ahora f ∈ H, y asúmase que éste posee dos representaciones mediante los escalares (ak )k∈N y
(bk )k∈N , i.e.
X∞ ∞
X
f= ak fk = bk f k .
k=1 k=1
Ahora, haciendo uso de que U es acotado,

∞
X ∞
X ∞
X
0= (ak − bk )fk = (ak − bk )U ek = U (ak − bk )ek ,
k=1 k=1 k=1
∞
X
y al ser U un monomorfismo resulta que (ak − bk )ek = 0 y consecuentemente ak = bk para
k=1
todo k ∈ N. Entonces, para todo f ∈ H la representación es única y (fk )k∈N es una base de
Schauder de H.
2) Sea f ∈ H, luego se tiene que
∞
X ∞
X ∞
X
2 2 2
|hf, fk i| = |hf, U ek i| = |hU ∗ f, ek |
k=1 k=1 k=1
∗ 2 ∗ 2 2 2 2
= kU f k ≤ kU k kf k = kU k kf k ,
2
y entonces (fk )k∈N es una sucesión de Bessel con cota kU k .
3) ⇐) Sea (ck )k∈N ∈ `2 (N), al ser (fk )k∈N una sucesión de Bessel por el Teorema 2.3 se tiene
∞
X
que la serie ck fk es convergente.
k=1
∞
X
⇒) Asúmase ahora que ck fk es convergente. Dado que U es acotado también lo es U −1 ,
k=1
luego se tiene que
∞
X ∞
X ∞
X
U −1 ck fk = ck U −1 fk = ck ek ,
k=1 k=1 k=1

∞
X
y al ser convergente la serie ck ek , por el Teorema 3.5.5 en [5] se obtiene que (ck )k∈N ∈ `2 (N).
k=1
La convergencia incondicional de la serie es una consecuencia de que (fk )k∈N es una sucesión
de Bessel, (ck )k∈N ∈ `2 (N) y del Teorema 2.3.

En el teorema a continuación se expone el primer resultado concerniente a la elección de los

coeficientes para las expansiones en serie.
Teorema 7.4. Sea (fk )k∈N ⊆ H una base de Riesz de H, entonces existe una única sucesión
(gk )k∈N ⊆ H tal que
X∞
f= hf, gk ifk , ∀f ∈ H.
k=1
Además (gk )k∈N es también una base de Riesz y (fk )k∈N y (gk )k∈N son biortogonales. Por
otro lado, se tiene también que
∞
X
f= hf, fk igk , ∀f ∈ H,
k=1
y la convergencia de ambas series es incondicional.
Demostración.
Si (fk )k∈N es una base de Riesz de H existe un isomorfismo acotado U y una base ortonormal
de H tales que (fk )k∈N = (U ek )k∈N . Sea f ∈ H, expandiendo U −1 f en la base ortonormal (ek )k∈N
se obtiene que
∞
X ∞
X
U −1 f = hU −1 f, ek iek = hf, (U −1 )∗ ek iek .
k=1 k=1
Defı́nase ahora la sucesión (gk )k∈N ⊆ H dada por gk = (U −1 )∗ ek para todo k ∈ N. Utilizando
que U es acotado se tiene entonces que
∞
X ∞
X ∞
X
f = U U −1 f = U hf, gk iek = hf, gk iU ek = hf, gk ifk .
k=1 k=1 k=1
Dado que (U −1 )∗ es también un isomorfismo acotado, (gk )k∈N es una base de Riesz de H.
Para verificar la unicidad, asúmase que existe (hk )k∈N tal que
∞
X
hf, hk ifk , ∀f ∈ H.
k=1
Haciendo uso de que del Lema 7.3 (fk )k∈N es una base de Schauder de H se tiene que
hf, gk i = hf, hk i , ∀f ∈ H , ∀k ∈ N,
entonces se obtiene que

hf, gk − hk i = 0 , ∀f ∈ H , ∀k ∈ N,
y consecuentemente hk = gk para todo k ∈ N.
Para probar que (fk )k∈N y (gk )k∈N basta con observar que
hfk , gl i = hU ek , (U −1 )∗ el i = hU −1 U ek , el i = hek , el i = δkl , ∀k, l ∈ N.

Para la segunda representación en serie, sea f ∈ H y considérese la expansión de U ∗ f en la

base ortonormal (ek )k∈N ,
∞
X ∞
X ∞
X
U ∗f = hU ∗ f, ek iek = hf, U ek iek = hf, fk iek .
k=1 k=1 k=1
Del Corolario 4.1.6 en [5] se tiene que (U ∗ )−1 = (U −1 )∗ , luego, utilizando que (U −1 )∗ es acotado,
resulta
∞
X ∞
X ∞
X
f = (U −1 )∗ U ∗ f = (U −1 )∗ hf, fk iek = hf, fk i(U −1 )∗ ek = hf, fk igk .
k=1 k=1 k=1
Por último, el que la convergencia de las series es incondicional es una consecuencia de que
(fk )k∈N y (gk )k∈N son ambas bases de Riesz y del Lema 7.3.
A partir de este teorema, surge naturalmente la definición de base dual de Riesz:
Definición 7.5. Sea (fk )k∈N ⊆ H una base de Riesz de H, entonces se denomina base dual
de Riesz de (fk )k∈N a la única sucesión (gk )k∈N ⊆ H tal que
∞
X ∞
X
f= hf, gk ifk = hf, fk igk , ∀f ∈ H.
k=1 k=1
Asimismo, (gk )k∈N es la base dual de Riesz de (fk )k∈N , y se dice que (fk )k∈N y (gk )k∈N son
bases duales de Riesz.
Se procede ahora a ver que toda base de Riesz es de hecho un marco, y que en efecto dada
una base de Riesz su base dual es el marco dual canónico.
Teorema 7.6. Sea F = (fk )k∈N = (U ek )k∈N ⊆ H una base de Riesz de H, entonces F es
−2 2
un marco de H con cotas U −1 , BF = kU k . Además, la base dual de Riesz es el marco
−1
dual canónico de F, (SF fk )k∈N .
Demostración.
Al ser (ek )k∈N una base ortonormal de H es un marco ajustado con cotas óptimas AF =
BF = 1. Luego, ser U un isomorfismo acotado, el Corolario 5.2 afirma que F es un marco de
†al −2 2
H con cotas U , kU k . Siendo U invertible, el Teorema 3 en el Capı́tulo 3 de [1] asegura
−2
que U † = U −1 , por lo que U −1 es una cota inferior de marco.
Del Teorema 3.10 se tiene que
∞
X
−1
f= hf, SF fk ifk , ∀f ∈ H,
k=1
−1
entonces de la unicidad en el Teorema 7.4 resulta que (SF fk )k∈N es la base dual de Riesz de
F.


Corolario 7.7. Sea F = (fk )k∈N una base de Riesz, entonces F y su marco dual canónico
son biortogonales.
Se demostrará más adelante que de hecho esta biortogonalidad es también una condición
suficiente para que un marco sea una base de Riesz.
Definición 7.8. Un marco de H que no es una base de Riesz se denomina un marco

sobrecompleto o redundante.
La elección de esta terminologı́a en la definición quedará clara en el teorema a continuación.

De hecho, si (fk )k∈N es un marco que no es una base de Riesz, entonces existen coeficientes
(ck )k∈N ∈ `2 (N) \ {0} tales que
X∞
ck fk = 0.
k=1
Es decir, existe alguna forma de dependencia entre los elementos del marco.
Teorema 7.9. Sea F = (fk )k∈N ⊆ H un marco de H. Entonces las siguientes condiciones
son equivalentes:
1) F es una base de Riesz de H.
2) TF ∈ Gl(H).
Demostración.
⇒) Asúmase que F es una base de Riesz. Del Lema 3.8 se tiene que TF es un epimorfismo
acotado. Sea (ck )k∈N ∈ N (TF ), luego resulta que
∞
X
ck fk = TF (ck )k∈N = 0.
k=1
El Lema 7.3 asevera que F es una base de Schauder, y en consecuencia ck = 0 para todo k ∈ N.
Entonces, TF es también un monomorfismo, y ası́ TF ∈ Gl(H).
⇐) Supóngase que TF ∈ Gl(H). Sea (δk∈N ) ⊆ `2 (N) la base ortonormal canónica de `2 (N),
entonces TF δk = fk para todo k ∈ N, y ası́ por la definición misma F es una base de Riesz.

Observación 7.10. Si F = (fk )k∈N un marco sobrecompleto, el Teorema 7.9 asegura que para
un dado f ∈ H existen múltiples representaciones en términos de los elementos del marco. Sea
(ck )k∈N ∈ N (TF ) tal que (ck )k∈N 6= 0, luego utilizando el Teorema 3.10 se tiene que
∞
X ∞
X ∞
X
−1 −1 −1

f= hf, SF fk ifk = hf, SF f i + TF (ck )k∈N = hf, SF fk i + ck fk .
k=1 k=1 k=1

Se mostrará ahora que para todo marco sobrecompleto F pueden obtenerse representaciones
en función de sus elementos con coeficientes que son coeficientes de marco pero provenientes de
un marco distinto a F, es decir, sin tener que pasar por el dual canónico de F.
Lema 7.11. Sea F = (fk )k∈N ⊆ H un marco sobrecompleto de H. Entonces existe un

−1
marco de H (gk )k∈N , distinto al canónico dual de F, i.e. (gk )k∈N 6= (SF fk )k∈N , tal que
∞
X
f= hf, gk ifk , ∀f ∈ H.
k=1
Demostración.
−1
Asúmase primero que existe l ∈ N tal que fl = 0, luego SF fl = 0. Definiendo (gk )k∈N ⊆ H
−1
como gk := SF fk para todo k 6= l, y gl como un vector arbitrario distinto de cero, se cumple
mediante el Teorema 3.10 que
∞
X ∞
X
−1
hf, gk ifk = hf, SF fk ifk = f , ∀f ∈ H.
k=1 k=1
Ahora supóngase que fk 6= 0 para todo k ∈ N. Dado que F no es una base de Riesz, por el
Teorema 7.9 existe (ck )k∈N ∈ `2 (N) \ {0} tal que
∞
X
TF (ck )k∈N = ck fk = 0.
k=1
Existe l ∈ N tal que cl 6= 0, luego se tiene que

−1 X
fl = ck fk .
cl
k6=l
Se probará que (fk )k6=l es un marco de H. Es inmediato que es una sucesión de Bessel; a saber,
sea B una cota superior de marco de F, luego
X ∞
X
2 2 2
|hf, fk i| ≤ |hf, fk i| ≤ B kf k , ∀f ∈ H.
k6=l k=1
Para verificar que (fk )k6=l posee una cota inferior de marco, obsérvese primero que mediante la
desigualdad de Cauchy-Schwarz,
2
X X
2 −1 X 1 2 2
|hf, fl i| =
ck hf, fk i = 2 |ck | |hf, fk i| , ∀f ∈ H.
cl k6=l |cl | k6=l k6=l
1 X 2
Denotando C = 2 |cl | , si A es una cota inferior de marco de F, luego
|cl | k6=l
2
X 2
X 2 2
X 2
A kf k ≤ |hf, fk i| = |hf, fk i| + |hf, fl i| ≤ (1 + C) |hf, fk i| ,
k=1 k6=l k6=l
de donde se obtiene que

A 2
X 2
kf k ≤ |hf, fk i| , ∀f ∈ H
1+C
k6=l

Entonces, (fk )k6=l es un marco de H.

Sea (gk )k6=l el marco canónico dual de (fk )k6=l , y defı́nase gl := 0. Luego (gk )k∈N es asimismo
un marco de H; una vez más por el Teorema 3.10,
∞
X X
hf, gk ifk = hf, gk ifk = f , ∀f ∈ H,
k=1 k6=l
−1
y (gk )k∈N es distinto del marco dual canónico de F ya que gl = 0 6= SF .

En el siguiente lema se caraterizan estos marcos a partir de los cuales pueden obtenerse
esta clase de representaciones, que serán luego denominados marcos duales. Obsérvese que si
F = (fk )k∈N y G = (gk )k∈N son dos sucesiones de Bessel, luego sus operadores de análisis están
bien definidos. Entonces, se tiene que
∞
X
f= hf, gk ifk , ∀f ∈ H,
k=1
es equivalente a que
TF TG∗ = I.
Lema 7.12. Sean (fk )k∈N , (gk )k∈N ⊆ H dos sucesiones de Bessel. Entonces las siguientes
condiciones son equivalentes:
∞
X
1) f = hf, gk ifk , ∀f ∈ H;
k=1
∞
X
2) f = hf, fk igk , ∀f ∈ H;
k=1
∞
X
3) hf, gi = hf, fk ihgk , gi para todos f, g ∈ H.
k=1
En caso de que se cumplan las condiciones, (fk )k∈N y (gk )k∈N son marcos de H; además si
B es una cota superior de marco de (fk )k∈N entonces B −1 es una cota inferior de marco
de (gk )k∈N .
Demostración.
1 ⇔ 2) Se obtiene como consecuencia inmediata de que
X
f= hf, gk ifk , ∀f ∈ H si y sólo si TF TG∗ = I,
k=1
X
f= hf, fk igk , ∀f ∈ H si y sólo si TG TF∗ = I,
k=1
y (TF TG∗ )∗ = TG TF∗ , haciendo uso de que I ∗ = I.

2 ⇒ 3) Asúmase que
∞
X
f= hf, fk igk , ∀f ∈ H,
k=1

luego se tiene que

∞
DX E X∞
hf, gi = hf, fk igk , g = hf, fk ihgk , f i , ∀f, g ∈ H.
k=1 k=1
3 ⇒ 2) Supóngase que se cumple que

∞
X
hf, fk ihgk , f i , ∀f, g ∈ H.
k=1
Entonces, sea f ∈ H,
D ∞
X E ∞
X
f− hf, fk igk , g = hf, gi − hf, fk ihg, gk i = 0 , ∀g ∈ H,
k=1 k=1
de donde se tiene que

∞
X
f= hf, fk igk , ∀f ∈ H.
k=1

Ahora, asumiendo que se cumplen las condiciones equivalentes, considérese que hf, fk i k∈N
y hf, gk i k∈N pertenecen a `2 (N) ya que TF∗ f = hf, fk i k∈N y TG∗ f = hf, gk i k∈N . Entonces,

sea B una cota de Bessel de (fk )k∈N , mediante la desigualdad de Cauchy-Schwarz se obtiene que
∞
X 2
4 2
kf k = |hf, f i| = hf, fk ihgk , f i
k=1
∞
X ∞
X ∞
X
2 2 2
≤ |hf, fk i| |hf, gk i| ≤ B kf k |hf, gk i| , ∀f ∈ H,
k=1 k=1 k=1
que implica que

∞
X
2 2
B −1 kf k ≤ |hf, gk i| , ∀f ∈ H.
k=1
Consecuentemente B −1 es una cota inferior de marco de (gk )k∈N , y asimismo, si b es una cota
de Bessel de (gk )k∈N , b−1 es una cota inferior de marco de (fk )k∈N .

En función de este lema, se definen los marcos duales:
Definición 7.13. Sea (fk )k∈N ⊆ H un marco de H, entonces se dice que el marco (gk )k∈N ⊆
H es un marco dual de (fk )k∈N si se cumple que
∞
X ∞
X
f= hf, gk ifk = hf, fk igk , ∀f ∈ H.
k=1 k=1
Asimismo, (gk )k∈N es un marco dual de (fk )k∈N , y se dice que (fk )k∈N y (gn )k∈N son marcos
duales.
El Lema 7.12 puede reexpresarse en función de los operadores de análisis y de sı́ntesis, a

saber:

Lema 7.14. Sean F = (fk )k∈N , G = (gk )k∈N ⊆ H dos sucesiones de Bessel. Entonces las
siguientes condiciones son equivalentes:
1) TF TG∗ = I.;
2) TG TF∗ = I;
3) hf, gi = hTF∗ f, TG∗ gi`2 para todos f, g ∈ H.
En caso de que se cumplan las condiciones, F y G son marcos duales de H; además AG =

−1
BF y AF = BG−1 .
Se procede ahora a caracterizar los marcos duales de un dado marco. Si U y T son dos
operadores tales que
U T = I,
se dirá que U es una inversa a izquierda de T .
Lema 7.15. Sea F = (fk )k∈N ⊆ H un marco de H, y sea (δk )k∈N ⊆ `2 (N) la base or-
tonormal canónica de `2 (N). Entonces los marcos duales de F son las familias (gk )k∈N =
(U δk )k∈N donde U : `2 (N) −→ H es una inversa a izquierda acotada de TF∗ .
Demostración.
⇐) Sea U una inversa izquierda acotada de TF∗ . Del Lema 2.6 existe una sucesión de Bessel
(gk )k∈N ⊆ H tal que
∞
X
U (ck )k∈N = ck gk , ∀(ck )k∈N ∈ `2 (N). (7.1)
k=1
Luego se tiene que (U δk )k∈N = (gk )k∈N . Por otro lado, considerando que U TF∗ = I, resulta que
U es un epimorfismo ya que H = R(I) = R(U TF∗ ) ⊆ R(U ). Ahora, del Teorema 3 en el Capı́tulo
3 de [1] se tiene que U U † es la proyección ortogonal sobre R(H), es decir U U † = I. Entonces,
sea f ∈ H,
X∞
f = U U †f = (U † f )k gk ,
k=1
donde (U f )k denota el k-ésimo componente de U † f . Entonces, aplicando la desigualdad de

†
Cauchy-Schwarz y el que U † es acotado, también del mencionado teorema en [1], se tiene que
∞
D X E2 X∞ 2
4 2
kf k = |hf, f i| = (U † f )k gk , f = (U † f )k hgk , f i

k=1 k=1
∞ ∞ ∞
X † 2 X 2 † 2 X 2
≤ (U f )k ·
|hf, gk i| = U f `2 ·
|hf, gk i|
k=1 k=1 k=1
∞
2 2
X 2
≤ U † kf k |hf, gk i| ,
k=1
y consecuentemente
∞ ∞
† −2 X X
U kf k2 ≤ 2
|hf, gk i| =
2
|hf, U δk i| .
k=1 k=1

−2
Luego, U † es una cota inferior de marco de (U δk )k∈N , y al ser una sucesión de Bessel es un
marco de H. Por último, de (7.1) se tiene que U es de hecho el operador de sı́ntesis del marco
(gk )k∈N = (U δk )k∈N . Entonces, recordando que U TF∗ = I, el Lema 7.14 asevera que (U δk )k∈N es
un marco dual de F.
⇒) Asúmase ahora que G = (gk )k∈N ⊆ H es un marco dual de F, luego (gk )k∈N = (TG δk )k∈N
y del Lema 7.14 se tiene que TG TF∗ = I, por lo que TG es la inversa a izquierda acotada de TF∗
requerida.
Por otro lado, con un espı́ritu meramente algebraico se tiene el siguiente lema que caracteriza
a las inversas a izquierda acotadas de TF ∗:
Lema 7.16. Sea F = (fk )k∈N ⊆ H un marco de H. Entonces las inversas a izquierda
acotadas de TF∗ son los operadores de la forma
−1 −1
SF TF + W (I − TF∗ SF TF ),
donde W : `2 (N) −→ H es un operador acotado e I es el operador identidad en `2 (N).
Demostración.
⇐) Sea W : `2 (N) −→ H un operador acotado, luego, recordando que SF = TF TF∗ ,
−1 −1 −1 −1
TF + W (I − TF∗ SF TF ) TF∗ = SF TF TF∗ + W (TF∗ − TF∗ SF TF TF∗ )

SF
−1 −1
= SF SF + W (TF∗ − TF∗ SF SF )
= I + W (TF∗ − TF∗ )
= I.
⇒) Supóngase ahora que el operador U es una inversa a izquierda acotada de TF∗ , entonces
escogiendo W = U se tiene que
−1 −1 −1 −1
U = U + SF TF − SF TF = SF TF + U − U TF∗ SF TF
−1 −1
= SF TF + U (I − TF∗ SF TF )
−1 −1
= SF TF + W (I − TF∗ SF TF ).
Con estos dos lemas es finalmente posible caracterizar a todos los marcos duales de un dado
marco.
Teorema 7.17. Sea F = (fk )k∈N ⊆ H un marco de H. Entonces los marcos duales de F
son las familias
∞
X
−1 −1
(gk )k∈N = SF fk + hk − hSF fk , fj ihj ,
j=1 k∈N
donde (hk )k∈N ⊆ H es una sucesión de Bessel.

Demostración.
Mediante el Lema 7.16 y el Lema 7.16 pueden caracterizarse los marcos duales de F como
−1
TF δk + W (I − TF∗ SF
1− ∗

(gk )k∈N = SF TF )δk k∈N ,
donde W : `2 (N) −→ H es un operador acotado. Luego, del Lema 2.6 se tiene que existe una
sucesión de Bessel (hk )k∈N ⊆ H tal que
∞
X
W (ck )k∈N = ck hk , ∀(ck )k∈N ∈ `2 (N).
k=1
Entonces, utilizando que W δk = hk y TF δk = fk para todo k ∈ N, se obtiene que

−1 −1
TF δk + W δk − W TF∗ SF

(gk )k∈N = SF TF δk k∈N
−1 −1
TF δk + hk − W TF∗ SF

= SF fk k∈N

−1 −1
= SF fk + hk − W hSF fk , fj i j∈N
k∈N
∞
X
−1 −1
= SF fk + hk − hSF fk , fj ihj .
j=1 k∈N
Corolario 7.18. Sea F = (fk )k∈N ⊆ H un marco de H. Entonces F es no sobrecompleto

(es una base de Riesz) si y sólo si su único marco dual es el dual canónico.
Demostración.
−1
⇒) Sea F una base de Riesz, luego del Corolario 7.7 se tiene que F y (SF fk )k∈N son biorto-
gonales. Entonces, utilizando el Teorema 7.17 con (hk )k∈N ⊆ H una sucesión de Bessel se tiene
que
X∞ ∞
X
−1 −1 −1 −1
SF fk + hk − hSF fk , fj ihj = SF fk + hk − δkj hj = (SF fk )k∈N .
j=1 k∈N j=1 k∈N
Consecuentemente el dual canónico es el único marco dual de F.

⇐) La necesidad está de hecho enunciada en el Lema 7.11.

Finalizando esta sección, recopilando resultados y considerando la Proposición 6.5 pueden

caracterizarse las bases de Riesz como los marcos exactos. Existen otras caracterizaciones que
no se describirán en el teorema a continuación. Éstas pueden verse en el Teorema 6.1.1 de [2].
Teorema 7.19. Sea F = (fk )k∈N ⊆ H un marco de H. Entonces, las siguientes condiciones
son equivalentes:
1) F es una base de Riesz.
2) TF ∈ Gl(H).
−1
4) F y su marco dual canónico (SF fk )k∈N son biortogonales.

−1
5) hfk , SF fk i = 1 para todo k ∈ N.
6) F posee una sucesión biortogonal.

7) F es una base de Schauder de H.
−1
8) F posee un único marco dual, su marco dual canónico, (SF fk )k∈N .
Demostración.

1 ⇔ 2 Fue probado en el Teorema 7.9.

1 ⇒ 4 Es el enunciado del Corolario 7.7.

3 ⇔ 4 ⇔ 5 Fue demostrado en la Proposición 6.5.

4 ⇒ 6 Es trivial.

6 ⇒ 2 En primer lugar, del Lema 3.8 ya se tiene que TF es un epimorfismo acotado. Sea
(gk )k∈N ⊆ H una sucesión biortogonal a F, y sea (ck )k∈N ∈ N (TF ). Por un lado, utilizando que
hfk , gj i = δkj para todos k, j ∈ N, resulta que
∞ ∞ ∞

DX E X X
TF (ck )k∈N , gj = ck fk , gj = ck hfk , gj i = ck δkj = cj , ∀j ∈ N.
k=1 k=1 k=1
Sin embargo,

TF (ck )k∈N , gj = h0, gj i = 0 , ∀j ∈ N,
luego (ck )k∈N = 0. Entonces, al ser TF un monomorfismo, se tiene que TF ∈ Gl(H).

1 ⇒ 7 Se encuentra enunciado en el Lema 7.3.
7 ⇒ 2) Asúmase que F es una base de Schauder. Sea (ck )k∈N ∈ N (TF ), luego
∞
X
ck fk = TF (ck )k∈N = 0,
k=1
y al ser F una base resulta que (ck )k∈N = 0. Consecuentemente, TF es un monomorfismo, y

dado que el Lema 3.8 asevera que es un epimorfismo acotado, resulta que TF ∈ Gl(H).

1 ⇔ 8 Fue probado en el Corolario 7.18.

8. Caracterización de Marcos
Se procede en esta sección a estudiar las diversas caracterizaciones de los marcos, primor-
dialmente en función de los operadores de análisis, de sı́ntesis y el operador de marco. Asimismo
se analizan las condiciones análogas para caracterizar las sucesiones de marco. Por último, se
mostrará que todo marco se corresponde con un operador acotado sobreyectivo.
A priori, para poder verificar que una dada sucesión (fk )k∈N es un marco debe probarse la
existencia de una cota superior y de una inferior de marco. Heurı́sticamente, se observa que
será la cota inferior el factor crı́tico en la demostración. Mientras que malas estimaciones de la
cota superior sólo requeriran utilizar cotas superiores quizás mayores a la óptima, hallar una
adecuada estimación de la cota inferior puede presentarse como un problema más complicado.
El siguiente teorema establece una caracterización de los marcos en función del operador de
análisis, sin involucrar explı́citamente a las cotas de marco.

Teorema 8.1. Sea F = (fk )k∈N ∈ H, F es un marco de H si y sólo si está bien definido
el operador T : `2 (N) −→ H dado por
∞
X
T (ck )k∈N = ck f k , ∀(ck )k∈N ∈ `2 (N),
k=1
y T es un epimorfismo. De cumplirse esto T = TF , el operador de sı́ntesis de F.
Demostración.
La necesidad está de hecho enunciada en el Lema 4.3. Con respecto a la suficiencia, ésta fue
probada tácitamente en la demostración del Lema 7.15, sin embargo el fragmento pertinente se
repite aquı́ para explicitar el resultado. Asúmase que el operador T está bien definido y que es
un epimorfismo. Luego, el Lema 2.2 asegura que T es acotado, y en consecuencia del Teorema
2.3 F es una sucesión de Bessel. Del Teorema 1.1 se tiene que T T † es la proyección ortogonal
sobre R(T ) = H, luego sea f ∈ H,
∞
X
f = T T †f = (T † f )k f,
k=1
donde (T † f )k denota el k-ésimo componente de T † f . Entonces, aplicando la desigualdad de

Cauchy-Schwarz y el que T † es acotado, también del susodicho teorema, se tiene que
∞
D X E2 X∞ 2
4 2
kf k = |hf, f i| = (T † f )k fk , f = (T † f )k hfk , f i

k=1 k=1
∞ ∞ ∞
(T f )k 2 ·
X † X 2 2 X 2
|hf, fk i| = T † f `2 ·

≤ |hf, fk i|
k=1 k=1 k=1
∞
2 2
X 2
≤ T † kf k |hf, fk i| ,
k=1
y consecuentemente
∞
† −2 X
T kf k2 ≤ 2
|hf, fk i| .
k=1
−2
Ergo F posee una cota inferior de marco T † , y al ser una sucesión de Bessel es un marco
de H.

De este teorema se obtiene inmediatamente el siguiente corolario, que expresa el resultado

análogo correspondiente a las sucesiones de marco.
Corolario 8.2. Una sucesión F = (fk )k∈N ⊆ H es una sucesión de marco si y sólo si
está bien definido el operador T : `2 (N) −→ H dado por
∞
X
T (ck )k∈N = ck f k , ∀(ck )k∈N ∈ `2 (N),
k=1
y T posee rango cerrado. De cumplirse esto T = TF , el operador de sı́ntesis de F.

Demostración.
La necesidad está desarollada en el Lema 4.3. Para la suficiencia, considérese que el operador
T está bien definido y es de rango cerrado. Luego, observando que F ⊆ R(T ) el resultado
deseado se obtiene de aplicar el Teorema 8.1 en el espacio de Hilbert R(T ), ası́ F resulta un
marco de R(T ), y asimismo una sucesión de marco en H.

Otra forma de expresar estos dos resultados es a partir del adjunto del operador de análisis,
obteniendo ası́ las condiciones necesarias y suficientes en base al operador de sı́ntesis.
Corolario 8.3. Sea F = (fk )k∈N ⊆ H, entonces se tiene que:
1) F es una sucesión de marco si y sólo si está bien definido el operador U : H −→ `2 (N)

dado por
U f = hf, fk i k∈N , ∀f ∈ H,
y U es de rango cerrado. De cumplirse esto, U = TF∗ , el operador de análisis de F.
2) Si F es una sucesión de marco, luego es un marco de H si y sólo si TF∗ es un mono-
morfismo.
Demostración.
1) ⇒) Sea F una sucesión de marco, luego del Corolario 8.2 se tiene que el operador de T :
`2 (N) −→ H dado por
∞
X
T (ck )k∈N = ck fk , ∀(ck )k∈N ∈ `2 (N) , (8.1)
k=1
está bien definido y es de rango cerrado, y es de hecho el operador de análisis TF . Entonces el

Lema 2.2 asegura que U = TF∗ , por lo que éste está bien definido. Por último, por el Teorema
del Rango Cerrado R(U ) = R(TF∗ ) es cerrado ya que R(TF ) lo es.
⇐) Asúmase ahora que el operador U éstan bien definido y que es de rango cerrado. Defı́nase
Un : H −→ `2 (N) dado por Un f = hf, fk i k=1 para cada n ∈ N, luego, sea f ∈ H, utilizando la
desigualdad de Cauchy-Schwarz se tiene que |hf, fk i| ≤ kf k · kfk k, entonces
n
X n
X
2 2 2 2
kUn f k`2 = |hf, fk i| ≤ kfk k kf k ,
k=1 k=1
y ası́ Un es acotado para todo n ∈ N. Por otro lado,

n
Un f = hf, fk i k=1 −−−−→ hf, fk i k∈N = U f ∈ `2 (N) ,

∀f ∈ H,
n→∞
entonces por el Teorema de Banach-Steinhauss U es acotado. Luego, existe B > 0 tal que
∞
X 2 2 2
|hf, fk i| = kU f k`2 ≤ B kf k ,
k=1
y en consecuencia F es una sucesión de Bessel con cota B. Por el Teorema 2.3 resulta entonces
que está bien definido el operador T : `2 (N) −→ H dado por (8.1), y el Lema 2.2 asevera luego
que U = T ∗ . Por el Teorema del Rango Cerrado R(T ) es cerrado ya que R(U ) = R(T ∗ ) lo es,
y entonces el Corolario 8.2 asevera que F es una sucesión de marco.

2) Dado que F es un marco de spanF, el resultado deseado se obtiene a partir de que del Lema
4.3 se tiene que N (TF∗ ) = (span F)⊥ , y de que del Lema 3.3 si F es un marco de H entonces es
completo.

A partir del Teorema 8.1 la cuestión de la existencia de las cotas de marco es reemplazada
∞
X
por el estudio de la convergencia de una serie: debe verificarse que ck fk converge para todo
k=1
(ck )k∈N ∈ `2 (N) y que todo f ∈ H puede representarse de esta manera. El siguiente lema
presenta condiciones similares pero involucrando a las cotas de marco.
Lema 8.4. Sea F = (fk )k∈N ⊆ H, entonces F es una sucesión de marco con cotas A, B
si y sólo si está bien definido el operador T : `2 (N) −→ H dado por
∞
X
T (ck )k∈N = ck f k , ∀(ck )k∈N ∈ `2 (N),
k=1
y además se cumple que

∞
X ∞
X
2
A |ck |2 ≤ kT (ck )k∈N k ≤ B |cn |2 , ∀(ck )k∈N ∈ N (T )⊥ . (8.2)
k=1 k=1
De cumplirse esto, T = TF , el operador de sı́ntesis de F.
Demostración.
⇒) Asúmase que F es una sucesión de marco con cotas A, B. El Teorema 8.2 asevera que el
operador T está bien definido y es el operador de sı́ntesis, i.e. T√= TF , y además del Lema 4.3,
éste es de rango cerrado con R(TF ) = spanF, y kTF k = BF ≤ B. Consecuentemente
∞
X
2 2 2
kTF (ck )k∈N k ≤ B k(ck )k∈N k`2 =B |ck | , ∀(ck )k∈N ∈ `2 (N).
k=1
Dado que R es cerrado, R(TF∗ ) es también cerrado y entonces ⊥ ∗

N (TF ) = R(TF ) = R(TF ).
∗
⊥
Luego, sea (ck )k∈N ∈ N (TF ) , se tiene que (ck )k∈N = hf, fk i k∈N con f ∈ H. Ahora, obsérvese
que
∞
X

TF (ck )k∈N = TF hf, fk i k∈N = hf, fk ifk = SF f. (8.3)
k=1
Por otro lado, mediante la desigualdad de Cauchy-Schwarz y la desigualdad de marco se tiene
que
X∞ 2 ∞
2 1
2 2 2 2
X 2
|hf, fk i| = |hSF f, f i| ≤ kSF f k kf k ≤ kSF f k |hf, fk i| ,
A
k=1 k=1
que implica que
∞
X 2 2
A |hf, fk i| ≤ kSF f k . (8.4)
k=1
Finalmente, haciendo uso de (8.3) y (8.4) se obtiene que

∞
X ∞
X
2 2 2 2
A |ck | = A |hf, fk i| ≤ kSF f k = kTF (ck )k∈N k .
k=1 k=1

⇐) Supóngase ahora que el operador T está bien definido y además cumple la desigualdad (8.6).
El Lema 2.2 asegura que T es acotado por lo que N (T ) es cerrado. Se procederá ahora a probar
que R(T ) es cerrado. Sea f ∈ R(T ), luego existe (gn )n∈N ⊆ R(T ) tal que gn −→ f . Dado que
N (T ) es cerrado, mediante la descomposición H = N (T ) ⊕ N (T )⊥ existe (xn )n∈N ⊆ N (T )⊥ tal
que gn = T xn para todo n ∈ N. Sean n, m ∈ N, utilizando la desigualdad (8.6) se tiene que
2 2 2
A kxn − xm k`2 ≤ kT (xn − xm )k = kgn − gm k ,
por lo que al ser (gn )n∈N de Cauchy, (xn )n∈N es de Cauchy, y entonces existe x ∈ N (T )⊥ tal
que xn −→ x. Finalmente, al ser T acotado se tiene que
T x = lı́m T xn = lı́m gn = f,
n→∞ n→∞
por lo que f ∈ R(T ), y entonces R(T ) es cerrado. Consecuentemente, el Corolario 8.2 asevera
que F es una sucesión de marco y que T es el operador de sı́ntesis de F, es decir T = TF .
Resta verificar que A y B son las cotas inferior y superior de marco de F, respectivamente.
La cota superior en (8.6) también es válida para todo (ck )k∈N ∈ N (TF ), y dado que H =
N (TF ) ⊕ N (TF )⊥ , (8.6) implica que
2 2
kTF (ck )k∈N k ≤ B k(ck )k∈N k`2 , ∀(ck )k∈N ∈ `2 (N),
2
y consecuentemente, mediante el Lema 3.8, se tiene que BF = kTF k ≤ B, y entonces B es
una cota superior de marco de F. Ahora, utilizando que del Teorema 1.1 se tiene que TF† TF =
PN (TF )⊥ y además TF TF† TF = TF , la cota inferior en (8.6) puede reexpresarse como
2 2
A TF† TF (ck )k∈N ≤ TF TF† TF (ck )k∈N = kTF (ck )k∈N k
2
, ∀(ck )k∈N ∈ `2 (N),

`2
y asimismo, considerando que R(TF ) = spanF, como

2
A TF† f ≤ kf k
2
, ∀f ∈ spanF. (8.5)

2 `
Por otro lado, del Teorema 1.1, se cumple que N (TF† ) = R(TF )⊥ = (span F)⊥ . Entonces,
mediante la descomposición
H = N (TF† ) ⊕ N (TF† )⊥ resulta que (8.5) se cumple para todo
f ∈ H, es decir, TF† ≤ A−1 . También por el Teorema 1.1, (TF† )∗ = (TF∗ )† , y ası́ se obtiene

2
que (TF∗ )† ≤ A−1 . Ahora, del mediante el mismo teorema se tiene que (TF∗ )† TF∗ = PN (TF∗ )⊥
y observando que N (TF∗ )⊥ = R(TF ) = spanF, resulta que (TF∗ )† TF∗ es la proyección ortogonal
sobre spanF. Entonces, sea f ∈ spanF,
∞
2 2 1 2 1 X 2
kf k = (T ∗ )† T ∗ f ≤ kTF∗ f k =

|hf, fk i| ,
A A
k=1
probando finalmente que A es una cota inferior de marco, y que F es una sucesión de marco.

Mediante este lema, se obtiene trivialmente la caracterización de los marcos que se enuncia
por completitud estética en el siguiente teorema.
Teorema 8.5. Una sucesión F = (fk )k∈N ⊆ H es un marco de H con cotas A, B si y sólo
si se cumplen las siguientes condiciones:
1) F es completo en H.

2) Está bien definido el operador T : `2 (N) −→ H dado por

∞
X
T (ck )k∈N = ck fk , ∀(ck )k∈N ∈ `2 (N),
k=1
y además se cumple que

∞
X ∞
X
2
A |ck |2 ≤ kT (ck )k∈N k ≤ B |cn |2 , ∀(ck )k∈N ∈ N (T )⊥ . (8.6)
k=1 k=1
De cumplirse esto, T = TF , el operador de sı́ntesis de F.
Otra caracterización más elemental se obtiene a partir del operador de marco, a saber:
Teorema 8.6. Sea F = (fk )k∈N ⊆ H, F es un marco de H con cotas A y B si y sólo si el

operador lineal S : H −→ H definido por
∞
X
Sf = hf, fk ifk , ∀f ∈ H,
k=1
cumple que S ∈ L(H)+ y además AI ≤ S ≤ BI. De cumplirse esto, S = SF , el operador

de marco de F.
Demostración.
⇒) Si F es un marco de H, S = SF , y el Lema 3.8 asegura que SF ∈ Gl(H)+ y que además
AF ≤ SF ≤ BF I, y consecuentemente, dado que A ≤ AF y BF ≤ B, se tiene que AI ≤ SF ≤
BI.
⇐) Asúmase ahora que SF ∈ L(H)+ y además que AI ≤ SF ≤ BI. Esta última expresión
puede reescribirse como
hAIf, f i ≤ hSf, f i ≤ hBIf, f i , ∀f ∈ H,
que asimismo es equivalente a

∞
X
2 2 2
A kf k ≤ |hf, fk i| ≤ B kf k , ∀f ∈ H,
k=1
por lo que F es un marco de H con cotas A, B, y además S = SF .

Similar al Teorema 2.7, al Teorema 7.1 y a la definición de las bases de Riesz, el siguiente
teorema provee una caracterización de los marcos correspondiéndolos con los operadores acotados
sobreyectivos.
Teorema 8.7. Sea H un espacio de Hilbert separable y sea (ek )k∈N una base ortonormal de
H. Los marcos de H son las familias (U ek )k∈N , tales que U : H −→ H es un epimorfismo
acotado.

Demostración.
Sea U ∈ L(H) un epimorfismo, a la luz de que
∞
X 2
hf, ek iek = kf k , ∀f ∈ H,
k=1
(ek )k∈N es un marco ajustado de H con AF = BF = 1 (y además es exacto). Luego, el Corolario

−2 2
5.2 asegura que (U ek )k∈N es un marco de H con cotas U † , kU k .
Asúmase ahora que F = (fk )k∈N ⊆ H es un marco de H. Sea (δk )k∈N ⊆ `2 (N) la base
ortonormal canónica de `2 (N), y sea φ : H −→ `2 (N) el isomorfismo isométrico definido por
φek = δk para todo k ∈ N. Defı́nase U : H −→ H dado por U = TF φ, luego
U ek = TF φek = TF δk = fk ∀k ∈ N. ,

Del Lema 3.8, TF es un epimorfismo, luego R(U ) = TF `2 (N) = H y asimismo U es un
epimorfismo. Por otro lado, al ser φ una isometrı́a se tiene que kφk = φ−1 = 1, luego
kU k = kTF φk ≤ kTF k kφk = kTF k ,
y considerando que TF = U φ−1 ,
kTF k = U φ−1 ≤ kU k φ−1 = kU k .

√
Entonces, mediante el Lema 3.8 se tiene que kU k = kTF k = BF .

Observación 8.8. A partir del Teorema 2.7, de la Definición 7.2, del Teorema 7.1 y el Teorema
8.7 puede enunciarse lo siguiente. Sea (ek )k∈N ⊆ H una base ortonormal de H, y considérese las
sucesiones (U ek )k∈N ⊆ H con U : H −→ H un operador. Luego, se tiene que:
1) Las sucesiones de Bessel quedan caracterizadas como las familias (U ek )k∈N tales que U es
un operador acotado.
2) Los marcos de H quedan caracterizados como las familias (U ek )k∈N tales que U es un epi-
morfismo acotado.
3) Las bases de Riesz quedan caracterizadas como las familias (U ek )k∈N tales que U es un
isomorfismo acotado.
4) Las bases ortonormales de H quedan caracterizadas como las familias (U ek )k∈N tales que U
es un operador unitario.
9. Enfoque Alternativo sobre la Construcción de Marcos

En esta sección se analiza un enfoque alternativo para la obtención de marcos propuesto
por Aldroubi. Asumiendo que F = (fk )k∈N es un marco de H, se desea estudiar las condiciones
sobre los coeficientes (ulk )l,k∈N bajo las cuales los elementos
∞
X
gl = ulk fk , l ∈ N,
k=1

están bien definidos y constituyen un marco de H. Es claro del Teorema 3.10 que todo marco de
H puede obtenerse de esta manera ya que si (gl )l∈N es un marco, pueden escribirse sus elementos
X∞
como gl = ulk fk mediante los coeficientes del marco (fk )k∈N ,
k=1
−1
ulk = hgl , SF fk i , ∀l, k ∈ N.
En el caso de que (gl )k∈N sea un marco de H la siguiente proposición afirma que el operador
−1
definido por los coeficientes hgl , SF fk i l,k∈N es acotado.
Proposición 9.1. Sean F = (fk )k∈N y G = (gk )k∈N marcos de H. Entonces la matriz bi-
−1
infinita U , donde el l, k-ésimo componente es ulk = hgl , SF fk i, define un operador acotado
2
en ` (N).
Demostración.
Sea b una cota superior de marco de G y A una cota inferior de marco de F. En primer lugar,
−1 −1
que 2(SF fk )k∈N es un marco de H con cota superior A . Luego, se tiene
el Lema 3.8 asevera
−1
que hgl , SF fk i k∈N ∈ ` (N) para todo l ∈ N, ya que es el resultado de aplicar el operador de
∞
X
−1 −1
análisis de (SF fk )k∈N a gl , y además ck SF fk es convergente para todo (ck )k∈N ∈ `2 (N),
k=1
−1
ya que es el resultado de aplicar el operador de sintesis de (SF fk )k∈N a (ck )k∈N . Por último,
−1
utilizando que del Lema 3.8 la norma del operador de sı́ntesis de (SF fk )k∈N es A−1/2 , se obtiene
2
que para todo (ck )k∈N ∈ ` (N),
2
E2

X∞ X∞ X∞ D X∞
2 −1 −1
kU (ck )k∈N k`2 = hgl , SF fk ick = gl , ck SF fk

l=1 k=1 l=1 k=1
∞ 2
X
−1
b 2
≤ b ck SF fk ≤ k(ck )k∈N k`2 .

A
k=1
La proposición a continuación provee una condición necesaria y suficiente para que un marco
pueda ser obtenido de esta manera mediante un operador acotado en `2 (N).
Proposición 9.2. Sea F = (fk )k∈N ⊆ H un marco de H, y asúmase que la matriz bi-
infinita U = (ulk )l,k∈N define un operador acotado en `2 (N). Entonces se cumple que:
1) Está bien definida la sucesión (gk )k∈N ⊆ H dada por
∞
X
gl = TF (ulk )k∈N = ulk fk , ∀l ∈ N, (9.1)
k=1
y además es una sucesión de Bessel.

2) La sucesión (gk )k∈N es un marco de H si y sólo si existe C > 0 tal que

∞
X ∞
X
2 2
|hf, gl i| ≥ C |hf, fk i| , ∀f ∈ H. (9.2)
l=1 k=1
Demostración.
1) Dado que U es acotado, se tiene que
∞
∞ X
2
X
2 2 2
ulk ck = kU (ck )k∈N k`2 ≤ kU k k(ck )k∈N k`2 , ∀(ck )k∈N ∈ `2 (N). (9.3)

l=1 k=1
Luego, considérese para cada l ∈ N, el funcional ϕl ∈ `2 (N)0 dado por

∞
X
ϕl (ck )k∈N = ulk ck .
k=1
En vista de que para todo l ∈ N,

∞ 2 ∞
∞ X
2
X X
2
|ϕl (ck )k∈N | = ulk ck ≤ umk ck , ∀(ck )k∈N ∈ `2 (N),

k=1 m=1 k=1
∗
mediante (9.3) se tiene que ϕl es acotado para todo l ∈ N. Entonces, dado que `2 (N) ∼ = `2 (N),
a través de la unicidad del Teorema de Representación de Riesz se obtiene que (ulk )k∈N ∈ `2 (N)
para todo l ∈ N. Entonces, a la luz de que F es un marco el Teorema 8.1 asegura que gl está bien
definido en (9.1) para todo l ∈ N.
Para verificar que (gl )l∈N es una sucesión de Bessel, obsérvese que
∞
D X E X ∞

hgl , f i l∈N = ulk fk , f = ulk hfk , f i = U hfk , f i k∈N , ∀f ∈ H.
k=1 l∈N k=1 l∈N
Luego, si B es una cota superior del marco F, se tiene que

∞
X 2 2 ∞
X
2 2 2 2
|hf, gl i| = U hfk , f i k∈N ≤ kU k hfk , f i k∈N = kU k |hf, fk i|

`2 `2
l=1 k=1
2 2
≤ B kU k kf k , ∀f ∈ H,
y en consecuencia (gl )l∈N es una sucesión de Bessel con cota B.
2) ⇐) Ahora, asúmase que se satisface la condición (9.2), entonces, si A es una cota inferior de
marco de F, se tiene que
∞
X ∞
X
2 2 2
AC kf k ≤ C |hf, fk i| ≤ |hf, gl i| ,
k=1 l=1
y ası́ AC es una cota inferior de marco, y al ser (gl )l∈N también una sucesión de Bessel resulta
ser un marco de H.
⇒) Si (gl )l∈N es un marco de H con cota inferior a, entonces
∞ ∞
X 2 a X 2 2
|hf, gl i| ≥ a kf k ≥ |hf, fk i| , ∀f ∈ H,
B
l=1 k=1
y la condición (9.2) se satisface con C = a/B.


Observando que
E2 X
∞
∞
∞ D X
∞
∞ X
2
X X
2
|hgl , li| = ulk fk , f = ulk hfk , f i , ∀f ∈ H,

l=1 l=1 k=1 l=1 k=1
la condición (9.2) puede reexpresarse de la siguiente forma,

2
∞ X
X ∞ ∞
X 2
ulk hfk , f i ≥ C |hfk , f i| , ∀f ∈ H.

l=1 k=1 k=1
Sin embargo, de esta expresión no es claro qué coeficientes podrán proveer la constitución de
un marco. Una condición suficiente sobre los coeficientes (ulk )l,k∈N está dada por la siguiente
proposición.
Proposición 9.3. Sea F = (fk )k∈N ⊆ H un marco de H con cotas A, B, y sea (ul,k )l,k∈N ∈
2
CN tal que se satisfacen las siguientes tres condiciones
∞ X
X ∞
2
1) |ulk | < +∞,
l=1 k=1

∞ X
X ∞
2) b := sup ulk ulj < +∞,

k∈N
j=1 l=1

∞
X X X∞
2
3) a := ı́nf |ulk | − ulk ulj > 0,

k∈N
l=1 j6=k l=1
entonces la sucesión (gl )l∈N ⊆ H dada por

∞
X
gl = TF (ulk )k∈N = ulk fk , ∀l ∈ N,
k=1
está bien definida y es un marco de H con cotas aA, bB.
Demostración.
Se demostrará en primer lugar que la matriz bi-infinita U con ul,k como componente l, k-
ésimo define un operador acotado en `2 (N). De hecho, esto es la prueba de que un operador en
`2 (N) que es Hilbert-Schmidt es acotado. En primer lugar, obsérvese que (ulk )k∈N ∈ `2 (N) para
todo l ∈ N, a saber,
∞
X ∞ X
X ∞
2 2 2
k(ulk )k∈N k`2 = |ulk | ≤ |ulk | , ∀l ∈ N.
k=1 l=1 k=1
Entonces, sea (ck )k∈N ∈ `2 (N), mediante la desigualdad de Cauchy-Scwharz se tiene que
∞
∞ X
2 ∞ X ∞ X∞
X X
2 2 2
kU (ck )k∈N k`2 = ulk ck ≤ |ul,k | |ck |

l=1 k=1 l=1 k=1 k=1
X ∞ X∞
2 2
≤ |ulk | k(ck )k∈N k`2 .
l=1 k=1

Consecuentemente, el operador U : `2 (N) −→ `2 (N) es acotado, y luego de la Proposición 9.2 se

tiene que están bien definidos los elementos (gl )l∈N .
Ahora, sea f ∈ H, obsérvese que
E2 X
2
∞
X X ∞
∞ D X ∞ X∞
2
|hgl , f i| = ulk fk , f = ulk hfk , f i

l=1 l=1 k=1 l=1 k=1
∞ X
X ∞ X
∞
= ulk ulj hfk , f ihf, fj i (9.4)
l=1 k=1 j=1
Se procederá
a ver que es posible intercambiar el orden de las series en (9.4). Utilizando que
hf, fk i k∈N ∈ `2 (N), y que (ulk )k∈N ∈ `2 (N) para todo l ∈ N, usando la desigualdad triangular
y nuevamente la desigualdad de Cauchy-Schwarz resulta que

∞ X ∞ X ∞ ∞ X∞ X ∞
X X

u u hf
lk lj k , f ihf, f i
j
≤ |ulk ulj hfk , f ihf, fj i|
l=1 k=1 j=1 l=1 k=1 j=1
∞ X
X ∞ 2
≤ |ulk | |hfk , f i|
l=1 k=1
X ∞
∞ X ∞
X
2 2
≤ |ulk | |hfk , f i|
l=1 k=1 k=1
X ∞ X∞
2 2
≤ |ulk | B kf k . (9.5)
l=1 k=1
Entonces, la triple serie en (9.4) es absolutamente convergente, y puede intercambiarse el orden

de las sumas. Nótese que (9.5) ya afirma que (gl )l∈N es una sucesión de Bessel, sin embargo se
obtendrá una menor cota superior. Intercambiando el orden de las sumas en (9.4) se tiene que
∞
X ∞ X
X ∞ X
2
|hgl , f i| = ulk ulj hfk , f ihf, fj i (9.6)
l=1 k=1 j=1 l=1
X∞ X ∞ ∞ XX
X ∞
2 2
= |ulk | |hfk , f i| + ulk ulj hfk , f ihf, fj i. (9.7)
l=1 k=1 k=1 j6=k l=1
Ahora, considérese el segundo término de (9.6), mediante la desigualdad triangular y la de

Cauchy-Schwarz resulta que

∞ X ∞ X
∞ X X
X X ∞

u u
lk lj khf , f ihf, f i
j
=
u u
lk lj hf k , f ihf, f i
j ≤

l=1 k=1 j6=k k=1 j6=k l=1
∞ X X
∞

X
≤ ulk ulj |hfk , f ihf, fj i| =

k=1 j6=k l=1
1/2 ! 1/2 !
X∞ X X ∞ X ∞
= |hfk , f i| ulk ulj |hf, fj i| ulk ulj ≤

k=1 j6=k l=1 l=1
∞ X
∞ !1/2 ∞ ∞ !1/2
X X XX X
2 2
≤ |hfk , f i| ulk ulj |hf, fj i| ulk ulj . (9.8)

k=1 j6=k l=1 k=1 j6=k l=1

Los dos factores en (9.8) son de hecho iguales, a saber,

∞ X
∞ ∞ X
∞
X X X X
2 2
|hf, fj i| ulk ulj = |hf, fj i| ulk ulj

k=1 j6=k l=1 j=1 k6=j l=1
∞ X
∞

X X
2
= |hfk , f i| ulk ulj . (9.9)

k=1 j6=k l=1
Luego, mediante (9.8) y (9.9) se obtiene una cota superior para el segundo término de (9.6),

∞ X ∞ X ∞ X ∞
X X X
2
ulk ulj hfk , f ihf, fj i ≤ |hfk , f i| ulk ulj . (9.10)

l=1 k=1 j6=k k=1 j6=k l=1
Insertando la cota de (9.10) en (9.6), utilizando que todas las series son absolutamente
convergentes y la condición 2) en las hipótesis se obtiene que
∞ ∞ X ∞ ∞ X
∞
X X X X
2 2 2 2
|hgl , f i| ≤ |ulk | |hfk , f i| + |hfk , f i| ulk ulj

l=1 l=1 k=1 k=1 j6=k l=1
∞ ∞
∞
!
X 2
X 2
X X
≤ |hfk , f i| |ulk | + ulk ulj

k=1 l=1 j6=k l=1
∞

∞ X ∞

X X
2
≤ |hfk , f | ulk ulj

k=1 j=1 l=1
X∞
2 2
≤b |hfk , f i| ≤ bB kf k .
k=1
Entonces bB es una cota superior de marco de (gl )l∈N . Análogamente, haciendo uso de la con-
dición 3) de las hipótesis resulta que
∞ ∞ X ∞ ∞ X
∞
X X X X
2 2 2 2
|hgl , f i| ≥ |ulk | |hfk , f i| − |hfk , f i| ulk ulj

l=1 l=1 k=1 k=1 j6=k l=1

∞ ∞ ∞
!
X 2
X 2
X X
≥ |hfk , f i| |ulk | − ulk ulj

k=1 l=1 j6=k l=1
X∞
2 2
≥a |hfk , f i| ≥ aA kf k .
k=1
Finalmente, aA es una cota inferior de marco, y la sucesión (gl )l∈N es un marco de H.

∞
X
Obsérvese que ulk ulj es el producto interno en `2 (N) entre la columna k-ésima y la j-ésima
l=1
en la matriz bi-infinita U . Esto permite interpretar geométricamente las dos últimas condiciones
en las hipótesis de la Proposición 9.3. La primera, la condición 2) expresa que para cualquier
columna la suma de los valores absolutos de todos los productos internos entre ella y las demás
debe ser finito. Mientras que la condición 3) expresa que el producto interno de toda columna
consigo misma debe ser mayor que la suma de los valores absolutos del producto interno entre
esta columna y todas las demás.
Otro resultado que caracteriza la construcción de marcos se debe a Casazza. Este enunciado
afirma que todo marco de un espacio de Hilbert complejo puede obtenerse como un múltiplo de
la suma de tres bases ortonormales, aunque se requiere el conocimiento del operador de análisis
para saber cuáles son las tres bases ortonormales.

Teorema 9.4. Sea H un espacio de Hilbert complejo y separable, y sea F = (fk )k∈N ⊆ H un
(1)
marco de H. Entonces, para todo ε ∈ (0, 1) existen tres bases ortonormales de H, ek k∈N ,
(2) (3)
ek k∈N y ek k∈N , tales que
√
BF (1) (2) (3)
fk = ek + ek + ek , ∀k ∈ N.
1−ε
Demostración.
Sea (ek )k∈N ⊆ H una base ortonormal de H, y sea (δk )k∈N ⊆ `2 (N) la base ortonormal
canónica de `2 (N). Sea φ : H −→ `2 (N) el isomorfismo isométrico tal que φek = δk para todo
k ∈ N. Considérese el operador acotado T : H −→ H dado por T = TF φ, entonces
T ek = TF φek = TF δk = fk , ∀k ∈ N. (9.11)
Ahora defı́nase el operador acotado U : H −→ H dado por

1 1−ε T
U= I+ . (9.12)
2 2 kT k
Observando que

1 1−ε T ≤ 1 I + 1 − ε T = 1 + 1 − ε < 1,

kI − U k = I −
2 2 kT k 2 2 kT k 2 2
se tiene por el Teorema 6.1.4 en [5] que U es invertible. Luego, la descomposición polar de U es
U = V P con V ∈ U(H) y P ∈ L(H)+ . Por otro lado, obsérvese que
1 1−ε
kP k = V −1 U ≤ V −1 kU k ≤ +

< 1.
2 2
Entonces, es fácil ver que I − P 2 ≥ 0, a saber, dado que kP k < 1 se tiene que para todo f ∈ H
P f ≤ kP k2 kf k < kf k, y entonces mediante la desigualdad de Cauchy-Scwharz,
2
2 2
(I − P 2 )f, f = kf k − hP 2 f, f i ≥ kf k − P 2 f kf k = kf k kf k − P 2 f ≥ 0.

En consecuencia, definiendo W := P + i(I − P 2 )1/2 se tiene que W ∈ U(H) y se obtiene la

W + W∗
descomposición P = . Mediante ésta y la descomposición polar de U , a partir de (9.12)
2
se tiene que
2 kT k 1 2 kT k 1 kT k
V W + V W∗ − I .

T = U− I = VP − I =
1−ε 2 1−ε 2 1−ε
Luego, utilizando (9.11) resulta que
kT k
(fk )k∈N = (T ek )k∈N = (V W ek )k∈N + (V W ∗ ek )k∈N − (ek )k∈N
1−ε
(1)
En vista de que V W y V W ∗ son ambos operadores unitarios, se tiene que ek k∈N = (V W ek )k∈N
(2) (3)
y ek k∈N = (V W ∗ ek )k∈N son bases ortonormales, y asimismo ek k∈N = (−ek )k∈N . Final-
mente,
√ el resultado deseado se obtiene observando que del Lema 3.8, resulta que kT k = kTF k =
B.

Debe mencionarse que no se puede concluir que a partir de toda suma de tres bases ortonor-
males es posible obtener un marco. Considérese por ejemplo el espacio de Hilbert unidimensional

2πi 4πi
C; cada uno de los tres números complejos 1, e 3 , e 3 constituye una base ortonormal de este
2πi 4πi
espacio, y sin embargo 1 + e 3 + e 3 = 0.
En el caso de que el espacio de Hilbert H sea real, no puede descomponerse toda contracción
positiva como la semisuma de dos operadores unitarios, sin embargo una representación similar
con la suma de 16 operadores unitarios es posible, por lo que se obtiene ası́ que todo marco
puede expresarse como un múltiplo de la suma de 16 bases ortonormales.
El Teorema 9.4 es óptimo en el sentido de que dos bases ortonormales no son suficientes para
la representación de todos los marcos, como se ilustra en el siguiente ejemplo:
Ejemplo 9.5. Sea (ek )k∈N ⊆ H una base ortonormal de H, y defı́nase (fk )k∈N ⊆ H como
f1 = 0 , fk = ek−1 , ∀k ≥ 2.
Dado que
∞
X ∞
X
2 2 2
|hf, fk i| = |hf, ek i| = kf k , ∀f ∈ H,
k=1 k=1
entonces (fk )k∈N es un marco de H. Asúmase ahora que existen dos bases ortonormales de
(1) (2) (1) (2)
H, ek nn y ek k∈N , y constantes a y b tales que fk = aek + bek para todo k ∈ N. En
(1) (2) (1) (2)
particular, se tiene que f1 = 0 = ae1 + be1 , que implica que span e1 = span e1 . Luego, en
vista de la ortonormalidad se cumple que
⊥
(1) (1) ∞ (2) ∞
span e1 ⊆ span ek k=2
∪ ek k=2
. (9.13)
Sin embargo, por otro lado se tiene que
H = span(ek )k∈N = span(fk )∞

k=2

(1) (2) ∞ (1) ∞ (2) ∞
= span aek + bek k=2 ⊆ span ek k=2 ∪ ek k=2 ,
⊥
(1) ∞ (2) ∞
lo que es una contradicción, ya que (9.13) asevera que span ek k=2 ∪ ek k=2 6= ∅.

Bibliografı́a y Referencias
[1] A. Ben-Israel, T. N. E. Greville [2003], “Generalized Inverses: Theory and Applications”,
Springer-Verlag, New York.
[2] O. Christensen [2003], “An Introduction to Frames and Riesz Bases”, Birkhäuser, Boston.
[3] O. Christensen [2008], “Frames and Bases: An Introductory Course”, Birkhäuser, Boston.
[4] C. E. Heil,“Lecture Notes: Frames in Hilbert Spaces”.
[5] D. Stonajoff , “Un Curso de Análisis Funcional”.

[6] K. Yosida [1979], “Functional Analysis”, Narosa, New Delhi.

Analisis Funcional

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Analisis Funcional

Cargado por

Copyright:

Formatos disponibles

Departamento de Matemática

Trabajo Práctico Final

Marcos en Espacios de Hilbert

Profesor: Dr. Demetrio Stojanoff

2. Sucesiones de Bessel en Espacios de Hilbert 4

3. Marcos y sus Propiedades Básicas 10

6. Más Propiedades de los Marcos 26

7. Bases de Riesz y Marcos Duales 31

9. Enfoque Alternativo sobre la Construcción de Marcos 49

1.1. Terminologı́a y Notación

Gonzalez Zerbo 3 2o cuatrimestre 2016

otro espacio de Hilbert, el conjunto de los operadores lineales y acotados de H en K será

El conjunto correspondiente a los operadores positivos será

y por último el de los unitarios como

1.2. Inversa Generalizada de Moore Penrose

2. Sucesiones de Bessel en Espacios de Hilbert

Gonzalez Zerbo 4 2o cuatrimestre 2016

es acotado, i.e. T ∈ L(`2 (N), H).

3) Además, se tiene que

1) Considérese la sucesión de operadores Tn : `2 (N) −→ H, tal que si c = (ck )k∈N ∈ `2 (N),

Gonzalez Zerbo 5 2o cuatrimestre 2016

2) Se procede ahora a verificar la forma del operador adjunto T ∗ . Sean f ∈ H y c ∈ `2 (N),

3) Para la última desigualdad basta considerar que kT ∗ k = kT k, luego sea f ∈ H,

Gonzalez Zerbo 6 2o cuatrimestre 2016

ergo, (fk )k∈N es de Bessel con cota B.

Gonzalez Zerbo 7 2o cuatrimestre 2016

luego existe F ⊆ N finito tal que

Por otro lado, de la desigualdad de Cauchy-Schwarz

|hg − hε , fk i| ≤ kg − hε k kfk k < ε kfk k (2.6)

y mediante la desigualdad triangular

|hhε , fk i| ≤ |hhε − g, fk i| + |hg, fk i| < ε kfk k + |hg, fk i| (2.7)

Gonzalez Zerbo 8 2o cuatrimestre 2016

Luego, de (2.5) y (2.8) se observa que escogiendo ε > 0 tal que

lo que es una contradicción ya que hε ∈ V .

El lema a continuación provee otra caracterización de las sucesiones de Bessel asociándolas

Lema 2.6. Todo operador acotado U : `2 (N) −→ H es de la forma

Defı́nase (fk )k∈N ⊆ H dada por fk = U δk para todo k ∈ N, luego,

Por otro lado, se tiene que

Gonzalez Zerbo 9 2o cuatrimestre 2016

es acotado por el Teorema 2.3.

Finalmente, se expone una última caracterización de las sucesiones de Besel relacionándolas

3. Marcos y sus Propiedades Básicas

Gonzalez Zerbo 10 2o cuatrimestre 2016

para cualquier permutación σ ∈ NN . Luego, todo reordenamiento de un marco es también un

Una primera consecuencia elemental es que todo marco es un sistema completo:

Corolario 3.4. Un espacio de Hilbert es separable si y sólo si posee un marco.

Gonzalez Zerbo 11 2o cuatrimestre 2016

Ahora se definirán algunas clases particulares de marcos:

1) Se dice que un marco F es ajustado si AF = BF .

En el siguiente ejemplo se construyen y analizan diversos marcos, que si bien parecerán

Ejemplo 3.6. Sea (ek )k∈N ⊆ H una base ortonormal de H.

por lo que (fk )k6=l no es un marco.

Gonzalez Zerbo 12 2o cuatrimestre 2016

Ahora, removiendo el primer elemento f1 = e1 , y haciendo uso de que mediante la desigualdad

3) (fk )k∈N = {e1 , e1 , e2 , e3 , ...} es un marco no ajustado y no exacto con cotas A = 1 y B = 2.

Puede verse que no es ajustado ya que

Por último, claramente no es un marco exacto ya que (fk )∞

y ası́ nuevamente (fk )k6=l no es un marco.

Gonzalez Zerbo 13 2o cuatrimestre 2016

Para ver que no es exacto, basta considerar que

luego se tiene que

y entonces (fk )k6=2 es un marco con cotas A = 1/2 y B = 1.