Espacios de Banach

Bases en espacios de Banach
Pablo Calderón
Mayo de 2014
Resumen
En el presente trabajo estudiamos brevemente algunas bases en

espacios de Banach separables.
En la primer sección recordamos resultados de Análisis Funcional
y algunas notaciones. Las demostraciones de esta sección se pueden
ver de [3]. Asimismo, las que no aparecen a lo largo del trabajo tendrán
su correspondiente referencia bibliográfica.
El esqueleto de este trabajo es el capítulo 1 de [8]. Con el que em-
pezamos a hablar por bases de Schauder. En la misma sección hablamos
de sucesiones completas y vemos un criterio suficiente para que sean
bases de Schauder. Además aparecen los funcionales coeficiente.
En la sección 3 definimos sucesiones básicas e introducimos la no-
ción de biortogonalidad. Vemos el primer resultado donde los funcio-
nales coeficiente son base del espacio dual X∗ .
Bases incondicionales son la primera parte de la sección 4, tomadas
de [2]. Exhibimos algunos resultados que serán necesarios para la
última sección. Para introducir las bases menos conocidas, como bases
bloque, bases de Auerbach y de Markushevich, recurrimos a [4].
Dejamos la última sección, extraída mayormente de [2], para ver
bases de Riesz en espacios de Hilbert. Definimos minimalidad y suce-
siones de Bessel, para terminar el trabajo con un teorema que vincula
estos conceptos con los vistos en las secciones anteriores.
Índice
1. Preliminares 1
1.1. TIA y TFI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Hanh Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.3. Propiedades duales . . . . . . . . . . . . . . . . . . . . . . . . 2
i
Trabajo Final de Análisis Funcional Hanh Banach
1.4. PAU y Banach Steinhaus . . . . . . . . . . . . . . . . . . . . . 2

1.5. Propiedades de un espacio de Hilbert . . . . . . . . . . . . . 3
1.6. Teorema de representación de Riesz . . . . . . . . . . . . . . 3
1.7. Bases ortonormales . . . . . . . . . . . . . . . . . . . . . . . . 3
2. Bases de Schauder 4
2.1. Sucesiones completas . . . . . . . . . . . . . . . . . . . . . . . 9
2.2. Funcionales coeficiente . . . . . . . . . . . . . . . . . . . . . . 11
3. Dualidad 16
3.1. Biortogonalidad . . . . . . . . . . . . . . . . . . . . . . . . . . 18
4. Algunas bases en Espacios de Banach 19

4.1. Bases incondicionales . . . . . . . . . . . . . . . . . . . . . . . 19
4.2. Bases bloques . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
4.3. Bases de Auerbach . . . . . . . . . . . . . . . . . . . . . . . . 24
4.4. Bases de Markushevich . . . . . . . . . . . . . . . . . . . . . . 26
5. Biortogonalidad y bases de Riesz 27

5.1. Bases de Riesz . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Bibliografía 38
1. Preliminares
1.1. TIA y TFI
Teorema 1.1 Teorema de la imagen abierta: sean E y F dos espacios de

Banach. Si T ∈ L(E, F) es sobre, entonces T es abierto.
Corolario 1.2 Teorema de la función inversa: Sean E y F dos espacios de

Banach. Si T es biyectivo entonces T−1 es continua.
1.2. Hanh Banach
Teorema 1.3 Sea E un espacio normado. Sea S ⊆ E un subespacio y φ ∈ S∗ .

Entonces existe un funcional Φ ∈ E∗ que cumple
1. Φ extiende a φ, i.e. Φ(y) = φ(y) para todo y ∈ S.
Departamento de Matemática - UNLP 1

Trabajo Final de Análisis Funcional PAU y Banach Steinhaus

2. ||Φ||E∗ = φS∗ .
Recordamos la inmersión en el doble dual de un espacio normado E para

considerar la definición de espacio de Banach reflexivo:
Definición 1.4 La inmersión canónica JE : E → E∗∗ se define por
JE x = Jx ∈ E∗∗ con Jx (φ) = φ(x), para todo φ ∈ E∗ .
Definición 1.5 El espacio E se dice reflexivo si la isometría JE es sobre.
1.3. Propiedades duales
Proposición 1.6 Si T ∈ L(E, F) y S ∈ L(F, G), con E, F y G espacios norma-

dos.
1. (ST)∗ = T∗ S∗
2. Si T es un iso, entonces T∗ hace que E∗ y F∗ sean isomorfos, con
(T∗ )−1 = (T−1 )∗ .

3. y = supφ∈B∗F |φ(y)|, para todo y ∈ F.
4. ||T|| = ||T∗ ||
1.4. PAU y Banach Steinhaus
Teorema 1.7 (Principio de acotación uniforme)Sean E y F dos espacios de

Banach. Entonces toda familia (Ti )i∈I de operadores en L(E, F) tal que para
todo x ∈ E
Mx = supi∈I ||Ti x||F < ∞ (puntualmente acotada)
implica que supi∈I ||Ti ||L(E,F) < ∞ (uniformemente acotada en BE ).
Corolario 1.8 (Teorema de Banach Steinhaus)Sean E y F dos espacios de

Banach y (Tn )n∈N familia de operadores en L(E, F) tal que para todo x ∈ E
existe un yx ∈ F tal que
Tn x → y x ,
entonces valen las siguientes propiedades:

Trabajo Final de Análisis Funcional Bases ortonormales
1. La sucesión es acotada, o sea que M = supn∈N ||Tn || < ∞.

2. El operador T : E → F dado por
Tx = yx = lı́m Tn x
n→∞
es lineal, acotado y tiene ||T|| ≤ M.
1.5. Propiedades de un espacio de Hilbert
Teorema 1.9 Sea H un espacio de Hilbert y x, y ∈ H.

1. Cauchy-Schwarz:
|hx, yi| ≤ ||x|| y
2. ||x|| = sup||y||=1 |hx, yi|
1.6. Teorema de representación de Riesz
Teorema 1.10 (Riesz)Sea H un espacio de Hilbert. La aplicación R : H →

H∗ dada por
R(y) = φy
con
φy (x) = hx, yi
es un anti-isomorfismo isométrico de H sobre H∗ . Es decir, paratodo φ en
∗
H existe un único y ∈ H tal que φ = h., yi, que además cumple φ = y .
1.7. Bases ortonormales
Teorema 1.11 Sea H un espacio de Hilbert y B = {vi : i ∈ I} ⊂ H una

sucesión ortonormal de H. Son equivalentes:
1. {xn } es completa.
2. {xn } es una base ortonormal.
3. Cada x ∈ H se representa unívocamente como una serie de coeficien-
tes: X
x= hx, viivi , para todo x ∈ H
i∈I
donde la convergencia de la serie es con la norma de H.

Trabajo Final de Análisis Funcional Bases de Schauder
4. Para todo x ∈ H
X
||x||2 = |hx, vi i|2 (identidad de Parseval).
i∈I
2. Bases de Schauder
Introducidas por J. Schauder en 1927, las bases de Schauder no existen
en cualquier espacio de Banach separable, como lo demostró Enflo en 1972.
Sea X un espacio de Banach de dimensión infinita sobre el cuerpo de los
números reales o complejos.
Definición 2.1 Una sucesión de vectores {x1 , x2, x3 , ...} en un espacio de

Banach de dimensión infinita X se dice base de Schauder si para cada
vector x ∈ X le corresponde una única sucesión de escalares {c1 , c2, ...} tal
que
X∞
x= c n xn ,
n=1
es decir,
Xn
x − ci xi → 0 cuando n → ∞.
i=1

Reservamos el término base para referirnos a bases de Schauder a lo largo

del trabajo.
Observación 2.2 1. Es claro que un espacio de Banach con base debe

ser separable. Ya que si {xn } es una base para X, entonces el conjunto
de las combinaciones lineales finitas
X
c n xn ,
donde cn son escalares racionales (o de parte real e imaginaria racio-

nales, si los cn son complejos), es numerable y denso en X. Por esta
razón conjuntos como l∞ , que no es separable, no pueden tener una
base.
2. Notar que se puede relajar un poco la condición de la definición: si

P
cada vector x ∈ X tiene una descomposición única cn xn tal que
X
n
w
ci xi −→ x cuando n → ∞,
i=1
esto también implica que {xi } es una base (p 146, [7]). Recordar que
una sucesión converge débilmente si converge para cada φ del dual
(p. 155 de [3] ).
A continuación, definimos las proyecciones canónicas y vemos una re-

lación con las bases.
Definición 2.3 Sea {x1 , x2, x3 , ...} una base de X. Las proyecciones canóni-
cas Pn : X → X se definen para todo n = 1, 2, 3, ... como
 n 
X  X∞
Pn  ci xi  = c i xi .
i=1 i=1
Cada Pn es una proyección lineal sobre el span{xi , i = 1, 2, ..., n}.
Proposición 2.4 Sea {xi } un base para un normado X. Las proyecciones

canónicas satisfacen:
1. dim(Pn (X)) = n,
2. Pn Pm = Pm Pn = Pmin(m,n)
3. Pn (x) → x, para todo x ∈ X
Recíprocamente, si una sucesión de proyecciones {Pn }∞
n=1
en un norma-
do X cumplen los 3 ítems anteriores, entonces Pn son las proyecciones
canónicas asociadas a alguna base de X.
Demostración. Cada conjunto {xi }ni=1 es linealmente independiente, esto es

1., para 2. basta hacer la cuenta y 3. es consecuencia se sigue de la definición
de base.
Recíprocamente, si las proyecciones Pn satisfacen 1., 2. y 3. definiendo
P0 = 0,

x = lı́m Pn (x) = lı́m (Pn (x) − P0 (x))

n→∞ n→∞
X
n X
∞
= lı́m (Pi (x) − Pi−1 (x)) = (Pi (x) − Pi−1 (x)).
n→∞
i=1 i=1
Tomando 0 , ei ∈ Pi (X) ∩ Ker(Pi−1 ) para todo i = 1, 2, 3, ... y, como

dim(Pn (X)/Pn−1 (X)) = 1 (por 1. y 2.), para ciertos escalares αi se tiene que
X
∞ X
∞
(Pi (x) − Pi−1 (x)) = αi ei .
i=1 i=1
Obtenemos así una expansión de x con los ei . La unicidad de los αi está

P
∞ P
n
asegurada, ya que si x = βi ei , Pn (x) = βi ei (por 3.). Luego
i=1 i=1
βi ei = Pi (x) − Pi−1 (x) = αi ei .
Por lo tanto, {ei } es una base y Pn son sus proyecciones canónicas asociadas.
Dos ejemplos clásicos de espacios de Banach con base:
Ejemplo 2.5 El espacio de Banach lp (1 ≤ p < ∞) está formado por todas

las infinitas sucesiones de escalares c = {c1 , c2 , c2, ...} tales que
 ∞ 1/p
X p 
||c||p =  |cn |  < ∞.
n=1
En cada uno de estos espacios la base natural es {e1 , e2, e2 , ...}, donde
en = (0, 0, ..., 0, 1, 0, ...),

tiene un 1 en el lugar n-ésimo. Para convencerse que este conjunto es una
base, basta expresar a c como
X
∞
c= c n en .
n=1

Ejemplo 2.6 Consideremos ahora el espacio de Banach de las funciones

continuas en el intervalo cerrado [a, b] (C[a,b] ), con la norma
|| f || = max| f (x)|.
Por el teorema de aproximación de Weierstrass (p.172, [5]) sabemos que

los polinomios son densos en C[a,b] , es decir, dado una función continua
f ∈ [a, b] y ε un número positivo, existe un polinomio P tal que
| f (x) − P(x)| ≤ ε
se cumple para todo x ∈ [a, b].
Más aún, tomando a f en [0, 1] (por simplicidad), podemos considerar
los polinomios de Bernstein
X
n ! !
n k k
f x (1 − x)n−k , n = 1, 2, 3, ...
k n
k=0
Como se puede ver en [5],
f (x) = lı́m Bn (x)

n→∞
uniformemente en [0, 1].

Dado que a cada polinomio lo podemos aproximar uniformemente en
un intervalo cerrado por un polinomio con coeficientes racionales, estamos
diciendo que el espacio C[a,b] es separable. Lo que es coherente con la
Observación 2.2(que todo Banach con base es separable). Veamos entonces
que C[a,b] tiene una base.
Teorema 2.7 El espacio C[a,b] tiene una base.
Demostración. Construiremos una base para C[a,b] formada por funciones

lineales a trozos fn (n = 0, 1, 2, ...).
Sea {x0 , x1, x2 , ...} un conjunto denso numerable de [a, b] con x0 = a y
x1 = b. Sean
x−a
f0 (x) = 1 y f1 (x) = .
b−a

Para n ≥ 2, el conjunto de puntos {x0 , x1, ..., xn−1 } particiona el intervalo [a, b]
en intervalos abiertos disjuntos, uno de los cuales contiene a xn . Llamemos
I a ese intervalo abierto contenedor. Definamos para cada n = 2, 3, 4, ...


 0 si x<I


fn (x) = 
 1 si x = xn

 lineal caso contrario.
La sucesión { f0 , f1, f2 , ...} va a ser la base buscada.

Para cada f en C[a,b] , denotamos por L0 f a la función constante f (x0 ) y por
Ln f a la función poligonal que coincide con f en cada uno de los puntos
x0 , x1, ..., xn . Como f es uniformemente continua en [a, b] es claro que
Ln f → f uniformemente en [a,b].
Luego, pensando en series telescópicas, podemos escribir
X
∞ X
∞
f = L0 f − (Ln−1 f − Ln f ) = L0 f + (Ln f − Ln−1 f ).
n=1 n=1
| {z }
Lim(L0 f −Ln f )=L0 f − f
Mostraremos que para todo n = 1, 2, 3, ... existen escalares c1 , c2, c3 , ... tales
que
Ln f − Ln−1 f = cn fn . (1)
Para esto definimos, recursivamente, una sucesión de funciones {g0 , g1, g2 , ...}:
g0 = f (x0 ) f0 y gn = gn−1 + ( f − gn−1 )(xn ) fn (n = 1, 2, 3, ...)

Observamos, por inducción, que gn = Ln f : como gn es una función poligo-
nal, para ver que gn = Ln f alcanza con ver que coincide con f en x0 , x1 , ..., xn.
Es claro que esto vale para n = 0. Como fn (xn ) = 1,
gn (xn ) = gn−1 (xn ) + f (xn ) fn (xn ) − gn−1 (xn ) fn (xn ) = f (xn ).

Si i < n, fn (xi ) = 0 por definición y, junto con la hipótesis inductiva (gn (xi ) =
f (xi )), se cumple que
gn (xi ) = gn−1 (xi ) = f (xi ).

Por lo tanto, tomando

Trabajo Final de Análisis Funcional Sucesiones completas
cn = ( f − Ln−1 f )(xn )
tenemos (1) y podemos decir que toda función de C[a,b] admite una repre-
sentación de la forma
X
∞
f = c n fn .
n=0
P
∞ P
∞
Si hubiera dos representaciones, f = an fn y f = bn fn , sea N el menor
n=0 n=0
n para el cual an , bn . Luego, para todo x,
X
∞ X
∞
f (x) = an fn (x) = bn fn (x).
n=N n=N
Tomando x = xN , como fn (xN ) = 0 para n > N y fN (xN ) = 1, se sigue

que aN = bN , contradiciendo lo supuesto. Tenemos así la unicidad de la
representación de f .

2.1. Sucesiones completas
Una base para un espacio de Banach tiene la propiedad que cada vector
del espacio puede ser aproximado por combinaciones lineales finitas de
elementos de la base. A veces, para ver que algunas sucesiones de vectores
son base, alcanza con ver que cumplen esta propiedad.
Definición 2.8 Una sucesión de vectores {x1 , x2 , x3, ...} en un espacio vec-
torial normado X se dice completa si su span es denso en X, esto es,
span{xi } = X.
Observación 2.9 Se sigue de Hahn-Banach que la completitud de una

sucesión de vectores {xn } en X es equivalente a la siguiente condición: si µ
está en X∗ (el dual topológico de X) y µ(xn ) = 0 (n=1,2,3,...), entonces µ = 0.
Veamos algunos ejemplos que ilustran esta equivalencia.
Ejemplo 2.10 Sea (X, B, µ) un espacio de medida σ-finita y 1 ≤ p < ∞.

El teorema de representación de Riesz muestra que el dual de Lp (µ) puede

Trabajo Final de Análisis Funcional Sucesiones completas
ser identificado con Lq (µ), donde 1/p + 1/q = 1(esto se puede ver de las
pag. 22-23 de [3]). Con lo cual una sucesión { fn } de funciones en Lp (µ) será
completa si
Z
fn g dµ = 0 (n= 1, 2, 3,...) (2)
X
con g ∈ Lq (µ), implica que g = 0 en casi todo punto.

En el caso en que µ es una medida finita, como Lp(µ) ⊆ L1 (µ), si (2) implica
que g = 0 ctp para g ∈ L1 (µ), entonces la sucesión { fn } será completa para
todo p ≥ 1.
Ejemplo 2.11 En C[a,b] la sucesión {1, t, t2 , ...} es completa por el teorema de

Weierstrass de aproximación polinomial (citado anteriormente). Podemos
decir que si para g ∈ C[a,b] se cumple que
Z b
tn g(t) dµ = 0 (n= 0, 1, 2,...),
a
entonces g debe ser idénticamente cero. De hecho, si tomamos el funcional

lineal Z b
µ( f ) = f (t)g(t) dt,
a
éste resulta acotado en C[a,b] (i.e. µ ∈ C∗[a,b] ) y tal que µ(tn ) = 0 para todo n.
Dado que las potencias de t son completas, por la Observación 2.9 µ = 0 y
por lo tanto g tiene que ser idénticamente cero.
Ejemplo 2.12 La sucesión de potencias {1, t, t2 , ...} es completa en Lp [a, b]

para cualquier intervalo finito y 1 ≤ p < ∞. Esto se sigue fácil de los dos
ejemplos anteriores. Supongamos f ∈ L1 [a, b] y
Z b
tn f (t) dt = 0 (n= 0, 1, 2,...). (3)
a
Si definimos
Z t
F(t) = f (u) du, a ≤ t ≤ b,
a

Trabajo Final de Análisis Funcional Funcionales coeficiente
entonces F ∈ C[a,b] y F(a) = F(b) = 0(usando (3) con n = 0) . Integrando por

partes obtenemos que
Z b Z b
n
0= t f (t) dt = −n tn−1 F(t) dt = 0
a a
para n= 1, 2,.... Por lo tanto, F = 0 lo que implica f = 0 ctp.
2.2. Funcionales coeficiente
Sea {x1 , x2 , x3 , ...} una base para un espacio de Banach X. Cada vector x
del espacio tiene una expansión de la forma
X
∞
x= c n xn .
n=1
Es claro que cada coeficiente cn es una función lineal de x. Si la denotamos

por fn (x) = cn , podemos reescribir a x como
X
∞
x= fn (x)xn .
n=1
Definición 2.13 Los funcionales fn (n=1, 2, 3,...) se llaman funcionales

coeficiente asociados a la base {x1 , x2 , x3, ...}.
Los funcionales coeficiente son continuos, como se ve en el siguiente

teorema.
Teorema 2.14 Si {xn } es una base para el espacio de Banach X, los fun-
cionales coeficiente asociados { fn } son acotados, esto es, fn ∈ X∗ . Más aún,
existe una constante M tal que
1 ≤ ||xn ||.|| fn || ≤ M (n= 0, 1, 2,...).
Demostración. Consideremos el espacio vectorial Y que consiste de las su-

P
∞
cesiones de escalares {cn } para las cuales la serie cn xn converge en X. Si
n=1
consideramos el número


Xn
|||{cn }||| := supn ci xi ,
i=1
es claro que satisface las condiciones para ser norma. Veremos que Y dotado
con esta norma es un Banach isomorfo a X.
Primero, para tener a Y efectivamente como un Banach, vemos que
(Y, |||.|||) es completo: sea {gm }m sucesión de Cauchy en Y, es decir, para cada
P
∞
gm = (cm )∞
k k=1
, cm x converge para todo m y
k k
k=1
|||gl − gm ||| → 0.
Es claro que
X ∞ X∞
clk xk − cm x
k k ≤ |||gl − gm |||. (4)
k=1 k=1

Si fijamos k, la sucesión {clk }l es de Cauchy. Por lo que existe ck tal que clk → ck
cuando l → ∞. Dado ε > 0, para todo p ≤ q y para un l adecuado tal que
ε
|c j − clj | < (5)
2(q − p + 1)
se tiene que
q q
X X X q X q

ci xi ≤ c i xi − cli xi + cli xi
i=p i=p i=p i=p

X

X q q
l l
≤ |ci − c j | + ci xi
i=p
i=p

ε ε
< (q − p + 1) + = ε.
2(q − p + 1) 2
( )
P
n
La última desigualdad se consigue acotando usando (5) y que cli xi es
i=1 n
de Cauchy. Esto nos dice que la serie
X
∞
c i xi
i=1
es convergente y, tomando l, m → ∞ en (4), se ve que gm → {ci }.

Ahora, para ver que Y y X son iso se considera la función T : Y → X

definida por
X
∞
T({cn }) = c n xn .
n=1
T es obviamente lineal y por ser {xn } una base es inyectivo y suryectivo.

Dado que
X ∞ Xn
cn xn ≤ supn ci xi ,
n=1 i=1
se tiene que T es continua. El TFI(Corolario 1.2) nos asegura que T−1 es
también continua. Tenemos así a X y a Y isomorfos.
P
∞
Nos queda ver la doble desigualdad: si x = cn xn , para todo n,
n=1
n
P P
n−1

ci xi + ci xi
||cn xn || i=1 i=1
| fn (x)| = |cn | = ≤ (6)
||xn || ||x
nn ||
P
2supn ci xi
i=1 2||T−1 x|| 2||T−1 ||.||x||
≤ = ≤ .
||xn || ||xn || ||xn ||
−1
Es decir, cada fn es continuo y || fn || ≤ 2||T||xn ||
||
. Tomando M = 2||T−1 || tenemos
que
||xn ||.|| fn || ≤ M.
La otra desigualdad sale fácil de la definición y continuidad de fn :
1 = fn (xn ) ≤ || fn ||.||xn ||.

Observación 2.15 Algunos autores llaman base de Schauder a una base

cuyos funcionales coeficientes sean continuos, distinta a la considerada en
este trabajo. Este teorema muestra la equivalencia entras dichas definicio-
nes.

Damos ahora la definición de operador suma parcial, que luego utiliza-

mos al enunciar un criterio que determina cuando una sucesión completa
es base.
Definición 2.16 Sea {xn } una base para el espacio de Banach X y { fn }

los funcionales coeficiente asociados. Para n = 1, 2, 3, ... el operador suma
parcial Sn es el operador lineal definido por
X
n
Sn (x) = fi (x)xi .
i=1
Es clara la coincidencia de la proyección canónica Pn , de la definición2.3,

con el operador suma parcial Sn . El Teorema 2.14 implica que cada suma
parcial es acotada, y mirando la última desigualdad de (6) se tiene que
1 ≤ supn ||Sn || < ∞.

Sn (xn )
Observar que 1 = || xn
|| ≤ ||Sn ||.
Terminamos la sección con el criterio anunciado:
Teorema 2.17 Una sucesión completa {xn } de vectores no nulos en un

espacio de Banach X es una base para X si y sólo si existe una constante M
tal que
X n X
m
ci xi ≤ M ci xi
i=1
i=1

donde c1 , ..., cm son escalares arbitrarios y n ≤ m.
Demostración. ⇒) Tomemos M = supn ||Sn ||. Como Sn (xi ) = 0 si i > n, enton-

ces
 m 
X
n
X 
ci xi = Sn  ci xi  ;
i=1 i=1
resta tomar normas a ambos lados para tener la desigualdad deseada.

⇐)Consideramos un vector fijo x y escalares {cin }ni=1 (que existen por la
completitud) tales que

X
n
x = lı́m cin xi .
n→∞
i=1
Fijado k y para k < n < m tenemos por hipótesis

X n X
m
||(ckn − ckm )xk || ≤ M (cin − cim )xi ≤ M2 (cin − cim )xi
i=1
i=1
X n Xm
2
= M (cin xi − cim )xi .
i=1 i=1

Cuando m, n → ∞, la última expresión tiende a cero. Como xk , 0, podemos

decir que para cada k la sucesión {ckn }∞
n=1
es de Cauchy, por lo cual existe el
limite
ck = lı́m ckn .
n→∞
Una cuenta muy parecida a la que hicimos en el Teorema 2.14, al ver que
(Y, |||.|||) es completo, muestra que
X
∞
x= c k xk .
k=1
Terminamos la prueba mostrando que la representación es única. Para

esto es suficiente con ver que si
X
∞
x= c k xk = 0
k=1
entonces ck = 0 para todo k. Fijados k y n ≥ k tenemos nuevamente por

hipótesis que
X∞
||ck xk || ≤ M ck xk .
k=1
Tomar n → ∞ implica que ||ck xk || = 0 , y por lo tanto ck = 0 para todo k.

A la constante M del teorema se la suele llamar constante de base (basis

constant) y la notamos bc{xi }.

Trabajo Final de Análisis Funcional Dualidad
3. Dualidad
Supongamos que {xn } es una base para un espacio de Banach X y que
{ fn } son sus funcionales coeficiente. En principio, no podríamos afirmar
que { fn } son base de X∗ . Por ejemplo, si X∗ no es separable ni siquiera
tendría una base. Por lo tanto, a menos que la sucesión { fn } sea completa,
lo más que podemos esperar es que sea base de su span clausurado.
Definición 3.1 Una sucesión {xi } se dice sucesión básica si es una base
para span{xi }.
Observación 3.2 Algo similar al Teorema 5.4 sucede para sucesiones bá-
sicas: {xi } es una sucesión básica si y sólo si existe K ≥ 1 tal que para todo
p ≤ q y escalares ti

t1 x1 + t2 x2 + ... + xp tp ≤ K t1 x1 + t2 x2 + ... + xq tq .
Teorema 3.3 Sea {xn } una base para un espacio de Banach X y sea { fn } sus
funcionales coeficiente. Entonces { fn } es una sucesión básica y resulta que
X
∞
f = f (xn ) fn
n=1
para todo f ∈ span{ fn }.
Demostración. Observemos primero que el adjunto del operador Sn defini-

do en 2.16 es el operador
X
∞
S∗n f = f (xi ) fi , f ∈ X∗ .
n=1
Esto se ve claro de
 n   n 
 X   X 
  
(S∗n f )(x) = f (Sn x) = f  f (xi )xi  =  f (xi ) fi  (x).
i=1 i=1
Veamos que S∗n f → f , para todo f ∈ span{ fn }. Si f es combinación lineal

P
m
de los fi , es decir, f = ci fi , entonces para todo n ≥ m
i=1

Trabajo Final de Análisis Funcional Dualidad
X
n X
m
S∗n f = f (xi ) fi = f (xi ) fi = f. (7)
i=1 i=1
En este caso, trivialmente, S∗n f → f.
Ahora, si f es un elemento arbitrario de span{ fn }, dado ε > 0 podemos
Pm
ε
encontrar g = ci fi tal que f − g < M+1 , donde M = supn ||Sn || < ∞.
i=1
Luego, para todo n ≥ m

S∗n f − f ≤ S∗n f − S∗n g + S∗n g − g + g − f (8)

= S∗n f − S∗n g + g − f ≤ S∗n f − g + f − g

= (||Sn || + 1) f − g < ε.
Observando que por (7) S∗n g − g = 0 y por Proposición 1.6 ||Sn || = ||S∗n ||. Con
lo cual S∗n f → f .
Se tiene entonces que todo elemento de span{ fn } tiene al menos una
P
∞
expansión de la forma f = ci fi . Como f (xn ) = cn para cada n, la expansión
i=1
es única y { fn } resulta un sucesión básica.
Cuando X es un espacio de Banach reflexivo, { fn } es completo.
Teorema 3.4 Si {xn } es una base para un espacio de Banach reflexivo X,

entonces los funcionales coeficiente asociados { fn } son una base para X∗ .
Demostración. Por el teorema anterior, basta con ver que { fn } es completa

en X∗ . Supongamos que µ ∈ X∗∗ y que µ( fn ) = 0 para n = 1, 2, 3, .... Veremos
que µ = 0 (estamos usando que span{ fn }⊥ = {0} sii span{ fn } = X). Sea J la
inmersión canónica de X en X∗∗ , i.e.
(Jx)( f ) = f (x)
∗
para f ∈ X y x ∈ X. Como X es reflexivo, µ = Jx para algún x. Por
hipótesis, fn (x) = 0 para n = 1, 2, 3, .... Como {xn } es una base, tenemos que
P
∞
x= fn (x)xn = 0. Por lo tanto, µ = 0.
n=1
Definimos la noción de biortogonalidad, que comenzará a aparecer va-

rias veces en las siguientes secciones.

Trabajo Final de Análisis Funcional Biortogonalidad
3.1. Biortogonalidad
Definición 3.5 Si {xi } son vectores en un espacio de Banach X, una suce-

sión { fi } de funcionales en X∗ se llama biortogonal a {xi } si
fi (x j ) = δij
para todo i, j. Se dice que {xi , fi} son un sistema biortogonal en X × X∗ .
Teorema 3.6 Sea {xn } una sucesión en un espacio de Banach X. Son equi-
valentes:
1. {xn } es una base para X
2. existe una sucesión biortogonal {yn } ⊂ X∗ tal que para todo x ∈ X∗
X
x= yn (x)xn .
n
3. {xn } es completa y existe una sucesión biortogonal {yn } ⊂ X∗ tal que

para todo x ∈ X∗
supN ||SN x|| < ∞.
Demostración. 1. ⇒ 2.) Se sigue de lo visto en la sección 3.

2. ⇒ 1.) Tenemos que ver la unicidad de la representación
X
x= yn (x)xn .
n
P
Tomando x = cn xn , basta hacer la cuenta:
n
X X
ym (x) = cn ym (xn ) = cn δnm = cm .
n
P
2. ⇒ 3.) Ya que x = yn (x)xn , para todo x, la sucesión {xn } resulta
n
completa. Más aún, como
x = lı́m SN x,
N→∞
la sucesión {SN x} es convergente y por lo tanto acotada.

3. ⇒ 2.) Observar que, por el PAU, podemos decir que
supN ||SN || < ∞.

Trabajo Final de Análisis Funcional Bases incondicionales
Exactamente la misma cuenta del Teorema 3.3, con las ecuaciones (7) y (8)
(pero sin la estrella ∗) nos dice que
X
x= yn (x)xn .
n
4. Algunas bases en Espacios de Banach
4.1. Bases incondicionales
Como lo dijimos al principio, si {xn } es una base, para todo x existe una
una única sucesión de escalares {c1 , c2, ...} tal que
X
∞
x= c n xn .
n=1
Pero esta serie no necesariamente converge incondicionalmente. Recorda-

mos la definición de convergencia incondicional:
Definición
P 4.1 Sea {xn } una sucesión P
en un espacio de Banach. La serie
xn converge incondicionalmente si xσ(n) converge para cada permu-
tación σ de los números naturales.
Como vimos en la sección anterior, a cada base {xn } se le puede asignar

una única sucesión de funcionales coeficiente { fn }. En adelante, notaremos
este hecho como ({xn }, { fn }). Con esta notación damos la base incondicional.
Definición 4.2 ({xn }{ fn }) es una base incondicional si la serie

X
x= fn (x)xn
converge incondicionalmente para todo x ∈ X.
Lema 4.3 (p. 58 de [2])Sea {xn } una sucesión en un espacio de Banach X,

son equivalentes:
1. {xn } es una base incondicional.

Trabajo Final de Análisis Funcional Bases incondicionales
2. {xσ(n) } es una base para cualquier permutación σ de N.
Observación 4.4 Si H es un espacio de Hilbert, toda base ortonormal {en }

es una base incondicional.
Demostración. Sea σ un permutación de N. Tenemos que ver la sucesión

{eσ(n) } sigue siendo una bon. Sea x ∈ H, por Teorema 1.11,
X
||x||2 = |hx, en i|2 < ∞.
P
La serie de números reales |hx, en i|2 converge absolutamente y por lo
tanto converge incondicionalmente (p.292 de [5]). Luego
X X
2
||x|| = 2
|hx, eσ(n) i| = |hx, en i|2 = ||x||2 .
El Teorema 1.11 implica que {eσ(n) } es una base ortonormal. Como esto vale
para cualquier σ, por el lema anterior, {en } es una base incondicional.

Proposición 4.5 Sea {xn } una base incondicional. Si S : X → Y es un

isomorfismo, entonces {Sxn } es una base incondicional en Y. Además, si
{xn } es acotado, también lo será {Sxn }.
Demostración. Si σ es una permutación de N, sabemos que {xσ(n) } es una base

para X. Es fácil de ver que los isomorfismos preservan bases (p.30 de [8]),
con lo cual {Sσ(n) } resulta una base. Como esto vale para todo permutación
σ, {Sxn } es incondicional.
Si suponemos a {xn } acotada, {Sxn } es acotada pues

||xn || = S−1 Sxn ≤ S−1 ||Sxn || .
Proposición 4.6 (p.57 de [2]) Sea H un espacio de Hilbert. Entonces

({xn }{yn }) es una base, base incondicional o acotada si sólo si ({yn }, {xn })
es una base, base incondicional o acotada, respectivamente.

Trabajo Final de Análisis Funcional Bases bloques
4.2. Bases bloques
Definición 4.7 Sean {xi }, {wi } bases para un espacio de Banach P X. Decimos
que son equivalentes
P si para toda sucesión de escalares {ai }, ai xi converge
si y sólo si ai wi .
Damos la siguiente relación de bases equivalentes, que usaremos más

adelante:
Teorema 4.8 Sean {xi } y {yi } bases para un espacio de Banach X. Son
equivalentes si y sólo sí existe un operador T : X → X acotado e inversible
tal que Txn = yn .
Demostración. Si existe el operador T es fácil de ver que las bases son

equivalentes. Veamos que es suficiente que son equivalentes para que
existe ese T.
P
∞ P
∞
Dado x ∈ X, con x = cn xn , por hipótesis cn yn también converge, a
n=1 n=1
un vector que definimos como Tx. Es claro que la función T así definida
es lineal, biyectiva y que cumple Txn = yn . Para ver que es inversible
definimos las funciones
X
n
Tn x = c i yi ,
i=1
que son continuas por el Teorema 2.14. Se sigue de Banach-Steinhaus que

T es acotado.
Definición 4.9 Sea {xi } una sucesión básica en un espacio de Banach X.

Se llama base bloque(block basis) a una sucesión de vectores no nulos {u j }
de la forma
p j+1
X
uj = ai xi
i=p j +1
con pi escalares tales que p1 < p2 < ... .
Observar que toda base bloque no tiene constante de base mayor a su

constante de base original: para k ≤ l tenemos que

X k Xk Xp j+1 X k p j+1
X
α j u j = αj
ai xi = α j ai xi
j=1
j=1 i=p j +1
j=1 i=p j +1

X l p j+1
X Xl
≤ bc{xi } α j ai xi = bc{xi } α j u j .
j=1
j=1 i=p j +1
Enunciamos ahora un teorema cuya demostración se encuentra en [4](Teorema

4.23), que lo necesitaremos para los últimos dos resultados de esta sección.
Teorema 4.10 Sea {xi } una sucesión básica en un espacio de Banach X y

sea {x∗i } los funcionales coeficiente de la base {xi }. Supongamos que {gi } es
∞
P

una sucesión en X tal que xi − gi x∗i = C < 1. Entonces:
i=1
1. {gi } es una sucesión básica en X equivalente a {xi }.

2. Si span{xi } es complementado en X(i.e. existe un subespacio cerrado
T tal que span{xi } ⊕ T = X), entonces también lo es span{gi }.
3. Si {xi } es una base, también lo es {gi }. Más aún, si {g∗i } son los funcio-
nales coeficiente de {gi }, span{x∗i } = span{g∗i }.
Teorema 4.11 Sea X un espacio de Banach con base {xi }. Si Y es un subespa-

cio cerrado de X de dimensión infinita, entonces Y contiene un subespacio
cerrado Z de dimensión infinita con una base que es equivalente a una
base bloque de {xi }.
Demostración. Sea K = bc{xi }. Dado p ∈ N, sea Wp el subespacio de X:

 

 X
∞ 

 
Wp = 
 x ∈ X : x = a x  = span{xi }i>p .
i i
 
i=p+1
Como Wp ∩ Y tiene dimensión infinita, tomemos y ∈ SY ∩ Wp (SY es la

bola unitaria de Y). Construiremos las dos bases equivalentes en forma
inductiva.

P
∞
Elijamos cualquier y1 = a1i xi ∈ Y con y1 = 1. Como
i=1
X
n X
∞
a1i xi → a1i xi ,
i=1 i=1
P
p1
tomemos p1 ∈ N tal que para u1 = a1i xi se verifique que
i=1
1
y1 − u1 < .
4K
P
∞ P
p2
Tomemos y2 = a2i xi ∈ SY ∩ Wp1 y p2 ∈ N tal que para u2 = a2i xi se tenga
i=1 p1 +1
que
1
y2 − u2 < .
2.22 K
Continuando de esta manera, obtenemos una base bloque {ui } de la base
{xi }. Consideremos los funcionales coeficiente {u∗i } asociados a la base {ui }.
Como
X ∞ 1

yi − ui < y u∗i < 2bc{ui } ≤ 2K,
i=1
2K
por Teorema 4.10, {y j } es una base en Y equivalente a {u j }. Con lo cual, el
subespacio Z = span{y j } cumple la propiedad deseada.
Por su naturaleza de corolario, el siguiente resultado se puede deducir

de este teorema. Sin embargo, exponemos aquí la demostración expuesta
en el Teorema 3 de [1].
Corolario 4.12 Sea {xi } una base de un espacio de Banach X. Si la sucesión

{yi } satisface estas condiciones

1. in fn yn = ε > 0,
2. fi (yn ) → 0(i = 1, 2, ...);
entonces existe un subsucesión {ypn } que es una sucesión básica equi-
valente a una base bloque de {xi }.
Demostración. Como fi (yn ) → 0, podemos elegir sucesiones crecientes de

números enteros {pn }, {qn } tales que

Trabajo Final de Análisis Funcional Bases de Auerbach

4k X
∞ 1
fi (ypn )xi ≤ n+2 ,
ε i=q +1
n
2
q
4k X n
1
fi (ypn+1 )xi ≤ n+2 . (9)
ε i=1 2
Sea
qn+1
X
zn = fi (ypn+1 )xi . (10)
i=qn +1
Por 1., (9) y (10),
||zn || ≥ ε/2 (n=1, 2,...), (11)
X∞
4K 1
zn − ypn < . (12)
n=1
ε 2
Sea {hn } una sucesión biortogonal de {zn }. Por la desigualdad de la Ob-

servación 3.2 vemos de (11) que
2K
||hn || ≤ = 4K/ε.
1/2ε
Luego, por (12) y Teorema 4.10, {ypn } es una sucesión básica equivalente a
la base bloque {zn }.

4.3. Bases de Auerbach
Sabemos que todo espacio de Banach finito-dimensional X tiene una

base de Hamel, la cual puede ser normalizada (es decir que los vectores de
la base tengan norma 1). Sin embargo, no hay restricciones sobre la norma
de los funcionales coeficiente. El siguiente teorema muestra que se puede
elegir una base de Hamel tal que tanto sus vectores como sus funcionales
tengan norma 1.

Trabajo Final de Análisis Funcional Bases de Auerbach
Definición 4.13 Sea X un espacio de Banach. Un sistema biortogonal

{xi , fi }i∈I en X × X tal que para todo i ∈ I ||xi || = fi = 1 se llama base de
∗
Auerbach.
Teorema 4.14 Sea X un espacio de Banach

1. Si dim(X) = n existe un base de Auerbach {xi , fi }ni=1 de X.
2. Si Y es un subespacio de X con dim(Y) = n, entonces existe una
proyección P de X en Y tal que ||P|| ≤ n
Demostración. 1. Sea {x1 , ..., xn } una base de X. Para u1 , ..., un ∈ BX = {x ∈

X, ||x|| ≤ 1}, sea v(u1 , ..., un ) el determinante de la matriz cuya j-ésima
fila tiene las coordenadas de u j en la base {x1 , ..., xn }. La función |v|
es continua en el compacto BX × ... × BX , entonces existe (e1 , ..., en ) ∈
BX × ... × BX tal que
v(e1 , ..., en ) = max {|v(x1 , ..., xn)|: (x1 , ..., xn) ∈ BX × ... × BX }
Como los determinantes son homogéneos (v(αx) = αv(x), para todo
α ≥ 0 y x ∈ X) en cada coordenada, ei ∈ SX . Como v(e1 , ..., en ) , 0, los
vectores {ei } son linealmente independientes y resultan ser una base
para X. Para i = 1, ..., n, definimos fi ∈ X∗ por
v(e1 , ..., ei−1 , x, ei+1 , ..., en )

fi (x) = .
v(e1 , e2, ..., en )
Como fi (e j ) = δij , entonces {ei , fi } es un sistema biortogonal. Más aún,
sup{| f j (x)| : x ∈ BX } ≤ 1 para cada j. Luego f j = 1 y {ei , fi }ni=1 es una
base de Auerbach.
2. Sea {ei , fi }ni=1 una base de Auerbach en Y. Extendemos fi a funcionales
de norma 1 en X(por Hanh-Banach) y definimos el operador P : X →
Y por
X
n
P(x) = fi (x)ei .
i=1
P
Observar que para todo y = αi ei ∈ Y, se tiene que αi = fi (y). Por
P
n
lo que P(y) = fi (y)ei = y. Finalmente, si x ∈ X y ||x|| ≤ 1, entonces
i=1
P
n P
n
||P(x)|| ≤ | fi (x)| ||ei || ≤ 1 = n.
i=1 i=1


Trabajo Final de Análisis Funcional Bases de Markushevich
Observación 4.15 (de [6]) Este teorema nos dice, en particular, que en
espacios de dos dimensiones siempre existe una base monótona (i.e., bases
cuyas proyecciones canónicas tengan norma 1). Esto deja de ser cierto para
tres dimensiones; Bohnenblust probó que existe un espacio de Banach de
tres dimensiones que no admite bases monótonas. Todavía se desconoce si
todos los espacios de Banach de dimensión infinita contienen algún espacio
de Banach con base monótona.
Otros problemas abiertos de espacios de Banach separables, refieren a
la existencia de bases de Auerbach y de bases llamadas de Markushevich,
definidas en la siguiente subsección.
4.4. Bases de Markushevich
Definición 4.16 Sea X un espacio de Banach. Un sistema biortogonal

{xα , fα }α∈J en X se llama base de Markushevich de X si span{xα }α∈J = X
y { fα }α∈J separa puntos en X (para todo x, z ∈ X, z , x, existe fβ tal que
fβ (x) , fβ (z)).
Claramente, toda base de un espacio de Banach X es una base de Mar-

kushevich de X. Damos dos resultados vinculados a este tipo de bases.
Teorema 4.17 Sea X un espacio de Banach separable. Si {zi }i ⊂ X cumple

que span{zi }i = X y {gi }i ⊂ X∗ separa puntos de X, entonces existe una base
de Markushevich {xi , fi} de X tal que
span{xi } = span{zi } y span{ fi } = span{gi }.
Demostración. Sean x1 = z1 y f1 = gk1 /gk1 (z1 ), con k1 un número natural tal

que gk1 (z1 ) , 0. Sea h2 el menor entero tal que gh2 < span{ f1 }. Definimos
f2 = gh2 − gh2 (x1 ) f1 y x2 = (zk2 − f1 (zk2 )x1 )/ f2 (zk2 )
con k2 tal que f2 (zk2 ) , 0. Sea h3 el menor entero tal que zh3 < span{x1 , x2 }.
Tomemos
x3 = zh3 − f1 (zh3 )x1 − f2 (zh3 )x2 y f3 = (gk3 − gk3 (x1 ) f1 − gk3 (x2 ) f2 )/gk3 (x3 )
donde k3 es tal que gk3 , 0. Continuando inductivamente, en el paso 2n,

construimos primero f2n ; en el paso 2n + 1, empezamos construyendo x2n+1 .

Trabajo Final de Análisis Funcional Biortogonalidad y bases de Riesz
Se sigue que
span{zi }n1 ⊂ span{xi }2n n 2n

1 y span{gi }1 ⊂ span{ fi }1 .
Claramente fi (x j ) = δij , span{xi } ⊂ span{zi } y span{ fi } ⊂ span{gi }.
Teorema 4.18 Sea Z un subespacio cerrado de un espacio de Banach X.

Toda base de Markushevich {xi , fi} de Z se puede extender a una base de
Markushevich de X.
Demostración. Extendemos fi a X, a las que denotamos e

fi . Sea {b
y j , φ j } una
base de Markushevich de X/Z (que es separable).
Para todo j elegimos y j ∈ ybj y definimos ϕ j (x) = φ j (b
x) para
n x ∈ X. Obser-
o
var que ϕ j (xi ) = 0 para todo i. Tenemos entonces que span {xi } ∪ {y j } = X
y que {e
fi } ∪ {ϕ j } es una familia que separa puntos de X. Sean
X
j
∼ X
j
zj = yj − λij xi y ψi = fi − λij φ j ,
i=1 i=1
n o
donde λij = e
fi (y j ) para i , j y λii = 21 ( fi (yi )−1). Luego, {xi } ∪ {z j }, {ψi } ∪ {ϕ j }
es una base de Markushevich de X que extiende a {xi , fi }. De hecho, de las
definiciones de z j y ψi es claro que span = X, {ψi } ∪ {ϕ j } separan puntos
de X y que ψi extiende a fi en X. Una cuenta fácil muestra que forman un
sistema biortogonal.

5. Biortogonalidad y bases de Riesz

Para empezar, observemos que si tenemos en un espacio de Hilbert
(H, h, i) separable un sistema biortogonal {xi , fi }, por el Lema de Riesz exis-
ten yi ∈ H tales que
fi (x) = hyi , xi.
Luego, la condición de biortogonalidad de {xi , fi} se puede traducir a
hyi , x ji = δij .

Trabajo Final de Análisis Funcional Biortogonalidad y bases de Riesz
Definición 5.1 Una sucesión {xn } es minimal si para todo m

xm < span{xn }n,m
Proposición 5.2 Sea { fn } una sucesión en un espacio de Hilbert H.

1. { fn } tiene una sucesión biortogonal {gn } si y sólo si { fn } es minimal.
2. Si { fn } tiene una sucesión biortogonal, esta es única si y sólo si { fn } es
completa.
Demostración. 1. ⇒)Supongamos que { fn } tiene una sucesión biortogo-

nal {gn }, es decir, para cada j
h fi , g j i = δij .
Entonces f j < span{ fk }k,j y tenemos la minimalidad.

⇐)Supongamos que { fn } es minimal. Sea P j la proyección ortogonal
sobre el subespacio span{ fk }k,j . Como { fn } es minimal, f j − P j f j , 0.
Definimos
(I − P) f j
g j = 2 .

(I − P j ) f j
Obteniendo una sucesión biortogonal, ya que para i , j
* +
(I − P) f j
< fi , g j > = fi , 2

(I − P j ) f j
* +
1
= (I − P j ) fi , 2 f j = 0

(I − P j ) f j
y
* + * +
(I − P) f j (I − P) f j
< f j , g j >= f j , 2 = (I − P) f j , 2 = 1.
(I − P j ) f j
(I − P j ) f j
Ahora, vemos las implicaciones de 2. usando la contrarrecíproca.

2. ⇒) Si {gn } es una sucesión biortogonal y { fn } no es completa, entonces
existe h , 0 tal que
h ∈ spank { fk }⊥ .

Trabajo Final de Análisis Funcional Bases de Riesz
Entonces la sucesión {gn + h} es otra sucesión biortogonal, contradi-

ciendo la unicidad.
⇐)Si {gn } y {hn } son dos sistemas biortogonales distintos, existe j tal
que b = g j − h j , 0 y se tiene que b ∈ spank { fk }⊥ . Por lo tanto, { fk } no
es completo.

Teorema 5.3 En un espacio de Hilbert, bases equivalentes tienen sucesio-

nes biortogonales equivalentes.
Demostración. Sean {xn } y {yn } bases equivalentes y { fn } y {gn } sus respectivas

sucesiones biortogonales (únicas por Prop. 5.2). Por Teorema 3.4, { fn } y
{gn } también son bases de H. Aplicamos el Teorema 4.8 y tomamos T
un operador acotado e inversible tal que Txn = yn , n = 1, 2, 3, .... Por
Proposición 1.6, T∗ es acotado e inversible. Fijado n, para todo m se tiene
que
< T∗ gn , xm >=< gn , Txn >=< gn , ym >= δnm =< fn , xm > .
La Prop. 5.2, nos da la unicidad que nos permite asegurar que T∗ gn = fn .
Lo que prueba la equivalencia entre { fn } y {gn }.
En un espacio de Hilbert separable las bases más importantes son las

ortonormales. De segunda importancia son aquellas bases equivalentes a
alguna base ortonormal. Llamamos bases de Riesz a esas bases. Exhibimos
en la siguiente subsección algunas propiedades de ellas.
5.1. Bases de Riesz
Definición 5.4 una base para un espacio de Hilbert es una base de Riesz
si es equivalente a una base ortonormal, es decir, si es la imagen de una
base ortonormal por un operador acotado inversible.
Observación 5.5 Una base de Riesz { fn } para un espacio de Hilbert es

1. es necesariamente acotada, es decir,

0 < in fn fn ≤ supn fn < ∞.

En efecto, si { fn } proviene de una base ortonormal {en } por un operador

inversible T:

1 = T−1 Ten = T−1 fn ≤ T−1 fn .
Luego
1
≤ fn ≤ ||T|| .
||T−1 ||
2. minimal; si se supone que existe j tal que Te j ∈ spank,j {Tek } se llega a

contradecir la minimalidad de la base ortonormal {ei }.
Proposición 5.6 Sea ({xn }, {yn }) una base para un espacio de Hilbert H.
Son equivalentes:
1. {xn } es una base de Riesz.
2. {yn } es una base de Riesz.
3. {xn } y {yn } son equivalentes.
Demostración. Se deduce del Teorema 5.3.
Los siguientes dos teoremas los utilizaremos en el teorema final del

trabajo. En [1] se da una justificación para el Teorema de Orlicz; el teorema
que le sigue corresponde al Teorema 9.7 de [2].
Teorema 5.7 (Teorema de Orlicz)Si {xn } es una sucesión en un espacio de

Hilbert H, entonces
X
∞ X
∞
xn converge incondicionalmente ⇒ ||xn ||2 .
n=1 n=1
Teorema 5.8 Sea {xn } una sucesión completa en un espacio de Banach X

tal que xn , 0 para todo n, son equivalentes.
1. {xn } es una base incondicional para X.
2. existe C ≥ 1, tal que para cualesquieras escalares c1 , ..., cN y ε1 , ..., εN =
±1,
X N X
N
εn cn xn ≤ C cn xn .

n=1
n=1


Sucesiones de Bessel
Definición 6.9 Una sucesión {xn } en un espacio de Hilbert es una sucesión
de Bessel si existe B > 0 tal que para todo x ∈ H
X
|hx, xn i|2 ≤ B ||x||2
n
Teorema 6.10 Si {xn } es una sucesión en un espacio de Hilbert H, entonces

son equivalentes:
1. {xn } es una base de Riesz para H.
2. {xn } es una base incondicional para H.
3. {xn } es una base para H y
X X
cn xn converge ⇐⇒ |cn |2 < ∞
n n
4. {xn } es completa en H y existen constantes A, B > 0 tales que

2
X
N X N XN
2
A |cn | ≤ cn xn ≤ B |cn |2 .
n=1
n=1
n=1
5. Existe un producto interno [, ] de H equivalente a h, i tal que {xn } es

una base ortonormal para H con respecto a [, ].
6. {xn } es una sucesión de Bessel completa que posee una sucesión bior-
togonal {yn } completa que también es una sucesión de Bessel.
Demostración. 1. ⇒ 2.) Si {xn } es una base de Riesz, existe un operador

inversible S : H → H tal que Sen = xn , siendo {en } una base ortonormal.
Observar que {en } es una base incondicional, por Observación 4.4, y por
Prop. 4.5, los isomorfismos preservan bases incondicionales. Luego {xn } es
una base incondicional.
1. ⇐⇒ 3.) Supongamos que {xn }. Las siguientes equivalencias prueban
esta doble implicación: por Teorema 4.8, si {en } es alguna base ortonormal
de H
{xn } es base de Riesz ⇐⇒ {xn } es equivalente a {en };

por definición,
P P
{xn } es equivalente a {en } ⇐⇒ (ai ), ai xi converge si y sólo si ai ei ;
por Teorema 1.11:
P P
ai ei converge ⇐⇒ n |cn |2 converge.
1. ⇒ 4.) Supongamos {xn } es una base de Riesz, entonces tenemos un
isomorfismo S tal que Sen = xn y para cualesquieras escalares c1 , c2, ..., cN
2  2
X N X N
 XN
cn xn = S  cn en  ≤ ||S||2 |cn |2 ,
n=1 n=1 n=1
donde la última igualdad se deduce del Teorema 1.11). Análogamente,
2  N 2 2
XN XN X  2 X
N
|cn |2 = cn en = S−1  cn xn  ≤ S−1 cn xn .
n=1
n=1 n=1
n=1
−2
Entonces, se cumple 4. tomando A = S−1 y B = ||S||2 .
1. ⇒ 5.) Suponiendo que {xn } es una base de Riesz con operador inversi-
ble S y base ortonormal {en }, definamos
[x, y] = hSx, Syi y ||||x||||2 = (x, x) = hSx, Sxi = ||Sx||2 .

Es fácil de ver que [, ] es un producto interno con ||||.|||| la correspondiente
norma inducida. Se ve que estos productos internos son equivalentes de
las siguientes desigualdades:
||||x||||2 = ||Sx||2 ≤ ||S||2 ||x||2 y ||x||2 = ||||S−1 x||||2 ≤ ||||S−1 ||||2 ||||x||||.
Resta que veamos que {xn } es una base ortonormal. La ortogonalidad

sale de la siguiente cuenta
[xm , xn ] = hSxm , Sxn i = hem , en i = δmn .
Para ver que {xn } es completo, supongamos que existe x ∈ X tal que [x, xn ] =
0 para todo n. Entonces
0 = [x, xn ] = hSx, Sxn i = hSx, en i.

Como {en } es completo, Sx = 0. Con lo cual x = 0, porque S era un iso.

1. ⇒ 6.) Si {xn } es una base de Riesz, {xn } tiene una sucesión biortogonal
{yn } que también es una base de P Riesz, por Prop. 5.6. Por Teorema 3.6, para
todo x ∈ H tenemos que x = hx, yn ixn . Como ya vimos que 1. implica 3.,
la convergencia de la serie implica que
X
|hx, yn |2 < ∞.
n
Por lo tanto {yn } es una sucesión de Bessel. Por Proposición 4.6, {yn } es
completa. Un argumento simétrico implica que {xn } es una sucesión de
Bessel completa.
2. ⇒ 6.) Supongamos que ({xn }, {yn }) es una base P incondicional acotada.
Recordar que {yn } es la única sucesión tal que x = hx, yn ixn , para x ∈ H.
Por Proposición
P 4.6, ({yn }, {xn }) también es una base incondicional acotada.
Luego, x = hx, xn iyn . Como consecuencia del Teorema de Orlicz, tenemos
que X 2
x= |hx, xn i|2 yn < ∞.
Pero como {yn } es acotada, existen C1 , C2 tales que

0 < C1 < yn < C2 para todo n.
P
Entonces x = |hx, xn i|2 < ∞, es decir, es Bessel. Algo análogo se hace para
ver que {xn } es completa y de Bessel.
4. ⇒ 1.) Sea {en } una base ortonormal para H. Para x ∈ X tenemos que
X X
x= hx, en ien y |hx, en i|2 = ||x||2 .
Elijamos M < N y definamos c1 = ... = cM = 0 y cn = hx, en i para n =

M + 1, ..., N. Por hipótesis,
2 2
XN XN XN XN
hx, en ixn = cn xn ≤ B |cn |2 = B |hx, en i|2 .
n=M+1 n=1 n=1 n=M+1
P
N
Como |hx, en i|2 es una serie de números reales de Cauchy, tenemos que
n=M+1
P
N
hx, en ixn es una serie de Cauchy en H, por lo que deberá converger.
n=M+1
Podemos definir entonces el operador lineal S : H → H,
X
Sx = hx, en ixn .

Por hipótesis y tomando N → ∞ tenemos que

X X
A ||x||2 = A |hx, en i|2 ≤ ||Sx||2 ≤ B |hx, en i|2 = B ||x||2 . (13)
De lo cual deducimos que S es continua e inyectiva. Restringiéndonos al
rango, por el TFI, también tenemos que S−1 : R(S) → H es continua. Por
otro lado, como X
Sem = hem , en ixn = xn ,
el rango de S contiene a cada xm . A fin de cuentas, estamos diciendo que
contiene al span{xn }, que es denso en H por la completitud de {xn }. Por esto,
para ver que R(S) = H alcanza con ver que el rango de S es cerrado.
Tomamos una sucesión {yn } ⊂ R(S) que converja a cierto y ∈ H. Si xn ∈ H
son tales que Sxn = yn , {Sxn } es de Cauchy. Por (13)
A ||xm − xn || ≤ Sxm − Sxn ,

con lo cual {xn } también es de Cauchy, por lo que debe ser convergente a
algún x ∈ X. La continuidad de S nos dice que Sxn = yn → Sx. Concluimos
que y = Sx y R(S) es cerrado.
Obtuvimos un operador inversible S que hace de {xn } una base de Riesz.
4. ⇒ 2.) Sea N > 0. Defino an = δNn . Por lo supuesto,
2 2
X
N X N X N XN
2 2
A=A |an | ≤ an xn = ||xN || = ≤ B |an |2 = B.
n=1
n=1
n=1
n=1
Tenemos así que {xn } está acotada por abajo y por arriba. En particular, esto
nos dice que cada xn es no nulo.
Tomemos escalares c1 , ..., cN y ε1 , ..., εN = ±1. Por hipótesis,
2 2
X N XN XN
B X
N
εn cn xn ≤ B |εn cn |2 = B |cn |2 ≤ cn xn .
n=1 n=1 n=1
A n=1
Combinando esto, con la completitud de {xn } y el Teorema 5.8, implican

que {xn } es una base incondicional.
4. ⇒ 3.) Como en el caso anterior, tomamos N > 0 y definimos an = δNn .
Cada xn es no nulo pues se tiene la cota inferior

2
X
N XN
A=A |an |2 ≤ an xn = ||xN ||2 .
n=1
n=1
Para ver que {xn } es base, tomamos M < N y escalares c1 , ..., cN . Por 4.,
2 2
X M XM XN
B XN
cn xn ≤ B |cn |2 = B |cn |2 ≤ cn xn .
n=1 n=1 n=1
A n=1
Análogamente a la implicación anterior, que la sucesión {xn } sea completa,
con cada xn no nulo, por el Teorema 3.6 implica que {xn } es una base.
P P
Nos falta ver que cn xn converge si y sólo si |cn |2 < ∞. Para esto,
tomamos una sucesión de escalares (cn ), y eligiendo M < N, definimos
a1 = ... = aM = 0 y an = cn para n = M + 1, ..., N. Por hipótesis,
2
X
N XN XN
A |an |2 ≤ an xn ≤ B |an |2 .
n=1
n=1 n=1
Por la definción de an
2
X
N X
N XN
2
A |cn | ≤ cn xn ≤ B |cn |2 .
n=M+1
n=M+1 n=M+1
P P
Por lo tanto, cn xn es una serie de Cauchy en H si sólo si |cn |2 es una
serie de Cauchy de números reales.
5. ⇒ 4.) Supongamos que (, ) es un producto interno en H con respecto al
cual {xn } es una base ortonormal. Las normas inducidas por este producto
y el que ya teníamos son equivalentes, i.e. existen A, B > 0 tales que
A||||x||||2 ≤ ||x||2 ≤ B||||x||||2 (14)
para todo x ∈ H.
Como {xn } es completo con la norma ||||.|||| y esta norma es equivalente a
||.||, en consecuencia {xn } será completa con ||.||. Para verlo tomemos x ∈ H
y ε > 0. Como
span{xn } = H,
clausurando con la norma ||||.||||, existe y ∈ span{xn } tal que
||||y − xn |||| < ε.

Por (14), tenemos que

y − xn < B1/2 ε.
Por lo tanto, el span{xn } también es denso con respecto a ||.||. Para ver las
desigualdades, usamos la identidad de Parseval de 1.11 para ||||.|||| junto
con (14).
6. ⇒ 3.) Como {xn } y {yn } son Bessel, existen constantes C, D > 0 tales que
X X
|hx, xn i|2 ≤ C ||x||2 y |hx, yn i|2 ≤ D ||x||2 , (15)
n n
Veamos que ({xn }{yn }) es una base para H. Por Teorema 3.6 alcanza con ver
P
N
que sup ||SN || < ∞, siendo SN la suma parcial Sn x = hx, yn ixn .
n=1
||SN x||2 = sup||y||=1 |hSN x, yi|2 por 1.9

2
X N
= sup||y||=1 hx, yn ihxn , yi
n=1
 N  N 
X  X 
≤ sup||y||=1  |hx, yn i|2   |hxn , yi|2 por Cauchy-Schwartz
n=1 n=1
2
≤ sup||y||=1 D ||x||2 C y por (15)
= CD ||x||2 .
Por lo tanto, sup ||SN ||2 ≤ CD < ∞.

P P 2
Por último veamos
P que c n x n converge si y sólo si |cn | < ∞. Supon-
gamos que x = cnP xn converge. Como ({xn }{yn }) es una base, cn = hx, yn i.
La convergencia de |cn |2 se deduce de (15):
X X
|cn |2 = |hx, yn i|2 ≤ D ||x||2 < ∞.
n
P
Recíprocamente, si |cn |2 converge, para todo M < N,

2 2
XN X N
cn xn = sup||y||=1 h cn xn , yi
n=M+1 n=M+1
2
X N
= sup||y||=1 cn hxn , yi
n=M+1
 N  N 
 X   X 
≤ sup||y||=1  |cn |2   |hxn , yi|2  por Cauchy-Schwartz
n=M+1 n=M+1
 N 
 X  2
≤ sup||y||=1  |cn |2  C y
n=M+1
X
N
= C |cn |2
n=M+1

Trabajo Final de Análisis Funcional Bibliografía
Bibliografía
[1] Bessaga C. and Pelczyński A. On bases and unconditional convergence
of series in banach spaces. Studia Math, 17:152–164, 1958. (citado en
páginas 23 y 30)
[2] Heil C. A basis theory primer. School of Matematics, Georgia Institute
of Technology, 1997. (citado en páginas i, 19, 20 y 30)
[3] Stojanoff D. Un Curso de Análisis Funcional. 2011. (citado en páginas i,
5 y 10)
[4] Hájek P. Montesinos V. Fabian M., Habala P. and Zizler V. The Basis for
Linear and Nonlinear Analysis. Springer, 2011. (citado en páginas i y 22)
[5] Bartle R. G. The elements of real analysis. John Wiley & Sons, Inc, 1976.
(citado en páginas 7 y 20)
[6] Vanderwerff J. Hájek P., Montesinos V. and Zizler V. Biorthogonal Sys-
tems in Banach Spaces. Springer, 2008. (citado en página 26)
[7] Singer I. Bases in Banach Spaces I. Springer-Verlag Berlin, Heidelberg,
1970. (citado en página 5)
[8] Young R. M. An introduction to nonharmonic Fourier series. Academic
Press, Inc, 1980. (citado en páginas i y 20)

Espacios de Banach

Cargado por

Información del documento

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

Espacios de Banach

Cargado por

Copyright:

Formatos disponibles

Bases en espacios de Banach

En el presente trabajo estudiamos brevemente algunas bases en

1.4. PAU y Banach Steinhaus . . . . . . . . . . . . . . . . . . . . . 2

4. Algunas bases en Espacios de Banach 19

5. Biortogonalidad y bases de Riesz 27

1.1. TIA y TFI

Teorema 1.1 Teorema de la imagen abierta: sean E y F dos espacios de

Corolario 1.2 Teorema de la función inversa: Sean E y F dos espacios de

1.2. Hanh Banach

Teorema 1.3 Sea E un espacio normado. Sea S ⊆ E un subespacio y φ ∈ S∗ .

Departamento de Matemática - UNLP 1

Recordamos la inmersión en el doble dual de un espacio normado E para

Definición 1.4 La inmersión canónica JE : E → E∗∗ se define por

JE x = Jx ∈ E∗∗ con Jx (φ) = φ(x), para todo φ ∈ E∗ .

Definición 1.5 El espacio E se dice reflexivo si la isometría JE es sobre.

1.3. Propiedades duales

Proposición 1.6 Si T ∈ L(E, F) y S ∈ L(F, G), con E, F y G espacios norma-

1.4. PAU y Banach Steinhaus

Teorema 1.7 (Principio de acotación uniforme)Sean E y F dos espacios de

Mx = supi∈I ||Ti x||F < ∞ (puntualmente acotada)

implica que supi∈I ||Ti ||L(E,F) < ∞ (uniformemente acotada en BE ).

Corolario 1.8 (Teorema de Banach Steinhaus)Sean E y F dos espacios de

Departamento de Matemática - UNLP 2

1. La sucesión es acotada, o sea que M = supn∈N ||Tn || < ∞.

es lineal, acotado y tiene ||T|| ≤ M.

1.5. Propiedades de un espacio de Hilbert

Teorema 1.9 Sea H un espacio de Hilbert y x, y ∈ H.

2. ||x|| = sup||y||=1 |hx, yi|

1.6. Teorema de representación de Riesz

Teorema 1.10 (Riesz)Sea H un espacio de Hilbert. La aplicación R : H →

1.7. Bases ortonormales

Teorema 1.11 Sea H un espacio de Hilbert y B = {vi : i ∈ I} ⊂ H una

Departamento de Matemática - UNLP 3

Definición 2.1 Una sucesión de vectores {x1 , x2, x3 , ...} en un espacio de

Reservamos el término base para referirnos a bases de Schauder a lo largo

Observación 2.2 1. Es claro que un espacio de Banach con base debe

donde cn son escalares racionales (o de parte real e imaginaria racio-

Departamento de Matemática - UNLP 4

A continuación, definimos las proyecciones canónicas y vemos una re-

Cada Pn es una proyección lineal sobre el span{xi , i = 1, 2, ..., n}.

Proposición 2.4 Sea {xi } un base para un normado X. Las proyecciones

Demostración. Cada conjunto {xi }ni=1 es linealmente independiente, esto es

Departamento de Matemática - UNLP 5

x = lı́m Pn (x) = lı́m (Pn (x) − P0 (x))

Tomando 0 , ei ∈ Pi (X) ∩ Ker(Pi−1 ) para todo i = 1, 2, 3, ... y, como

Obtenemos así una expansión de x con los ei . La unicidad de los αi está

βi ei = Pi (x) − Pi−1 (x) = αi ei .

Dos ejemplos clásicos de espacios de Banach con base:

Ejemplo 2.5 El espacio de Banach lp (1 ≤ p < ∞) está formado por todas

en = (0, 0, ..., 0, 1, 0, ...),

Departamento de Matemática - UNLP 6

Ejemplo 2.6 Consideremos ahora el espacio de Banach de las funciones

Por el teorema de aproximación de Weierstrass (p.172, [5]) sabemos que

Como se puede ver en [5],

f (x) = lı́m Bn (x)

uniformemente en [0, 1].

Teorema 2.7 El espacio C[a,b] tiene una base.

Demostración. Construiremos una base para C[a,b] formada por funciones

Departamento de Matemática - UNLP 7

La sucesión { f0 , f1, f2 , ...} va a ser la base buscada.

Luego, pensando en series telescópicas, podemos escribir

g0 = f (x0 ) f0 y gn = gn−1 + ( f − gn−1 )(xn ) fn (n = 1, 2, 3, ...)

gn (xn ) = gn−1 (xn ) + f (xn ) fn (xn ) − gn−1 (xn ) fn (xn ) = f (xn ).