Tema 8

El Teorema de Banach-Steinhaus
Tras una amplia discusin del Teorema de Hahn-Banach, presentamos ahora el segundo de
los principios fundamentales del Anlisis Funcional, llamado Principio de Acotacin Uniforme
o tambin Teorema de Banach-Steinhaus. Su demostracin se deducir muy fcilmente de un
resultado puramente topolgico, cuya historia merece un comentario.
En los primeros aos del siglo XX sola hacerse con frecuencia en espacios de funciones un
tipo de razonamiento que reciba el nombre de mtodo de condensacin de singularidades. Es-
tos razonamientos se consideran hoy da como precedentes del Teorema de Banach-Steinhaus.
Paralelamente, en Topologa haban empezado a usarse los llamados mtodos de categora,
que permitan discernir de forma provechosa entre subconjuntos grandes y pequeos de
un espacio topolgico. Estos mtodos tienen al parecer su origen en un trabajo de W. Osgood
(1897), donde se prueba que la interseccin de una sucesin de abiertos densos en R tambin
es densa en R. Dos aos despus, R. Baire observa que el mismo resultado es cierto en R
N
y lo
aprovecha en su estudio de las funciones que se obtienen como lmites puntuales de sucesiones
de funciones continuas (llamadas funciones de la primera clase de Baire). Una caracterizacin
de las propiedades de continuidad que tienen tales funciones se conoce como el Gran Teorema
de Baire y los mtodos de categora juegan un papel clave en su demostracin.
S. Banach observ que el mencionado resultado de Osgood y Baire no slo es cierto en
R
N
sino tambin, con la misma demostracin de Baire, en cualquier espacio mtrico com-
pleto y en cualquier espacio topolgico localmente compacto, dando as forma denitiva a lo
que hoy da conocemos como Teorema de Baire, o con ms propiedad, Lema de Categora de
Baire. Al mismo tiempo, Banach observ que usando este lema se podan simplicar y claricar
enormemente los resultados basados en el mtodo de condensacin de singularidades, dejando
as establecida la utilidad de los mtodos de categora en Anlisis Funcional. En particular dio
una demostracin muy sencilla de un teorema probado previamente por H. Steinhaus, llamado
Teorema de cierre de Steinhaus, que desde entonces ha quedado como una fcil consecuencia
del Teorema de Banach-Steinhaus.
72
8. El Teorema de Banach-Steinhaus 73
8.1. Lema de Categora de Baire
Empezamos introduciendo la nocin topolgica en que se basan los mtodos de categora.
Sea E un espacio topolgico y A E. Se dice que A es de primera categora en E cuando A
est contenido en una unin numerable de subconjuntos cerrados de E que tienen todos interior
vaco. En otro caso se dice que A es de segunda categora en E.
Para que la intuicin ayude a entender la denicin anterior, pensemos que un cerrado con
interior vaco es topolgicamente muy pequeo. Por ejemplo, los subconjuntos nitos de un
espacio normado tienen esta propiedad. A partir de esta idea bsica, los subconjuntos de un
espacio topolgico E se han clasicado en dos tipos: los de primera categora, que podramos
ver como topolgicamente pequeos, y los de segunda categora, que seran topolgicamente
grandes. Observemos que todo subconjunto de un conjunto de primera categora en E es de
primera categora en E , as como que una unin numerable de conjuntos de primera categora
en E es de primera categora en E.
Tambin conviene precisar que las nociones de categora son relativas, dependen del espacio
ambiente E. Por ejemplo, R visto como subconjunto de C es cerrado con interior vaco, luego
es de primera categora en C, pero veremos enseguida que R es de segunda categora en s
mismo. En general, si F es un espacio topolgico y E es un subconjunto de F en el que
consideramos la topologa inducida, es fcil ver que todo conjunto de primera categora en
E es tambin de primera categora en F, pero el recproco no es cierto, como acabamos de
comentar.
Lema de Categora de Baire. Si E es un espacio mtrico completo, o un espacio topolgico
localmente compacto, entonces todo subconjunto abierto no vaco de E es de segunda categora
en E. En particular, E es de segunda categora en s mismo.
Antes de entrar en la demostracin, observemos que la tesis del teorema anterior puede re-
formularse equivalentemente de diversas formas. Decir que todo abierto no vaco es de segunda
categora en E equivale evidentemente a cualquiera de las siguientes armaciones:
Todo conjunto con interior no vaco es de segunda categora en E.
Todo conjunto de primera categora en E tiene interior vaco.
Si {F
n
} es una sucesin de subconjuntos cerrados de E , todos ellos con interior vaco,
entonces

n=1
F
n
tiene interior vaco.
Si {F
n
} es una sucesin de subconjuntos cerrados de E tal que

n=1
F
n
tiene interior no
vaco, entonces algn F
n
tiene interior no vaco.
Si {G
n
} es una sucesin de abiertos densos en E, entonces

n=1
G
n
es denso en E.
8. El Teorema de Banach-Steinhaus 74
Demostracin. Sea E un espacio mtrico completo y {G
n
} una sucesin de abiertos densos
en E. Probaremos que

n=1
G
n
es denso en E, es decir, si G es otro abierto no vaco de E,
deberemos ver que
_

n=1
G
n
_
G = / 0. El caso en que E es un espacio localmente compacto
tiene una demostracin bastante anloga, que queda como ejercicio.
Puesto que G
1
es un abierto denso en E, GG
1
es un abierto no vaco que contendr una
bola cerrada B
1
de radio > 0 y podemos tomar < 1/2, con lo que el dimetro de B
1
ser
menor que 1. En suma B
1
es una bola cerrada de radio estrictamente positivo y verica:
B
1
GG
1
; diam(B
1
) < 1.
La correspondiente bola abierta tendr interseccin no vaca con el abierto denso G
2
, luego
dicha interseccin es un abierto no vaco que contendr una bola cerrada B
2
de radio estricta-
mente positivo, que podemos tomar menor que 1/4, con lo que B
2
tendr dimetro menor que
1/2. Anotamos que B
2
es una bola cerrada de radio estrictamente positivo vericando:
B
2
B
1
G
2
; diam(B
2
) <
1
2
.
Hemos arrancado obviamente un proceso de induccin y es claro cmo se construye la bola
B
n+1
a partir de B
n
. As pues, podemos construir por induccin una sucesin {B
n
} de bolas
cerradas en E que verica:
B
1
GG
1
; B
n+1
B
n
G
n+1
; diam(B
n
) <
1
n
(n N).
Todo est preparado para usar la complitud de E. Puesto que {B
n
} es una sucesin decreciente
de subconjuntos cerrados de E con dimetro tendiendo a cero, su interseccin es un punto:

n=1
B
n
= {x
0
}. Por ser x
0
B
1
tenemos x
0
G y x
0
G
1
. Adems, para n N tenemos
x B
n+1
G
n+1
, luego x
0

_

n=1
G
n
_
G y hemos probado que este ltimo conjunto no es
vaco, como se quera.
Resaltemos que la tesis del lema anterior es puramente topolgica, nos da una condicin
necesaria para que la topologa de un espacio sea la generada por una distancia completa. Por
ejemplo, no existe una distancia completa en Q que genere su topologa usual (la inducida
por R), ya que evidentemente Q es de primera categora en s mismo. Por otra parte, vemos
tambin, como ya habamos anunciado, que R es de segunda categora en s mismo, luego
R\Q es de segunda categora en R y en particular R\Q no es numerable. En la misma lnea
obtenemos la siguiente consecuencia para espacios de Banach:
Corolario. La dimensin algebraica de un espacio de Banach es nita o no numerable.
En efecto, si X es un espacio de Banach de dimensin innita y U = {u
n
: n N} un
conjunto innito y numerable de vectores linealmente independientes en X, bastar probar que
U no puede ser una base algebraica de X, es decir que Lin(U) =X. En efecto, para cada n N
8. El Teorema de Banach-Steinhaus 75
sea F
n
= Lin({u
1
, u
2
, . . . , u
n
}) y recordemos que, como consecuencia del Teorema de Tihonov,
F
n
es cerrado en X. Adems, por ser un subespacio propio de X, F
n
tiene interior vaco, luego
Lin(U) =

n=1
F
n
es un conjunto de primera categora en X y el Lema de Categora de Baire
nos asegura que Lin(U) = X, como queramos.
Comentemos, sin dar la demostracin, un aplicacin clsica y muy vistosa del Lema de
Categora de Baire. A lo largo del siglo XIX aparecieron diversos ejemplos (el primero y ms
famoso se debe a Weierstrass) de funciones continuas en un intervalo compacto, digamos [0, 1],
que no son derivables en ningn punto. Pues bien, considerando el espacio de Banach C[0, 1],
no es difcil comprobar que el subconjunto formado por las funciones que admiten al menos una
derivada lateral en algn punto, es de primera categora en C[0, 1], luego el Lema de Categora
de Baire nos asegura que el conjunto de las funciones continuas en [0, 1] que no son derivables
en ningn punto de [0, 1] es de segunda categora en C[0, 1]. Podramos decir que la gran
mayora de las funciones continuas en [0, 1] no son derivables en ningn punto. Obsrvese la
fuerza del lema de Baire: nos asegura la abundancia de un cierto tipo de funciones, a pesar de
que no es fcil dar un slo ejemplo concreto de una funcin de ese tipo.
Expliquemos la forma en que vamos a usar en lo que sigue los mtodos de categora. Sea
E un espacio topolgico y ={
i
: i I} una familia arbitraria de funciones continuas de E
en R. En determinadas condiciones, podremos pasar de una acotacin puntual de la familia a
una acotacin uniforme. Empezamos concretando en qu consisten ambos tipos de acotacin.
Dado un punto x E, es natural decir que la familia est acotada en el punto x cuando
el conjunto de nmeros reales {
i
(x) : i I} est acotado, es decir,
sup{|
i
(x)| : i I} < .
Si esto ocurre para cada punto x de un cierto conjunto G E, decimos que la familia est
puntualmente acotada en G. Naturalmente hay un mximo conjunto en el que esto ocurre,
concretamente el conjunto:
A =
_
x E : sup{|
i
(x)| : i I} <
_
. ()
Para cada x A tenemos pues una constante M
x
> 0 tal que |
i
(x)| M
x
para todo i I, y es
lgico preguntarse hasta qu punto podemos conseguir que la constante M
x
sea independiente
de x en algn subconjunto (lo ms grande posible) de A.
Ms concretamente, decimos que la familia est uniformemente acotada en un conjunto
G E cuando el conjunto de nmeros reales {
i
(x) : i I, x G} est acotado:
sup{|
i
(x)| : i I, x G} < .
Es obvio que entonces G A, es decir, la acotacin uniforme en un conjunto implica obvia-
mente la acotacin puntual, pero nos estamos preguntando por la implicacin recproca. Veamos
cmo nos ayudan las nociones de categora.
Para cada n N consideremos el conjunto de puntos de E en los que la familia est
acotada por n, esto es:
F
n
=
_
x E : sup{|
i
(x)| : i I} n
_
=

iI
{x E : |
i
(x)| n}.
8. El Teorema de Banach-Steinhaus 76
Observamos que F
n
es un subconjunto cerrado de E, y es evidente que A =

n=1
F
n
. Por tanto,
si A es de segunda categora en E, deducimos que algn F
n
tiene interior no vaco, con lo que
la familia estar uniformemente acotada en un abierto no vaco de E. Hemos probado lo
siguiente:
Sea E un espacio topolgico y = {
i
: i I} una familia de funciones continuas de E
en R. Si est puntualmente acotada en un conjunto de segunda categora en E, entonces
est uniformemente acotada en un subconjunto abierto no vaco de E.
En general, comprobar la hiptesis del enunciado anterior, equivalentemente, comprobar
que el conjunto A denido en () es de segunda categora en E no va a ser fcil, pero aqu
viene en nuestra ayuda el Lema de Baire: podemos por ejemplo suponer que E es un espacio
mtrico completo y que la familia est puntualmente acotada en E, es decir, que A = E. El
resultado que as obtenemos es el siguiente:
Principio de acotacin uniforme. Sea E un espacio mtrico completo y una familia
de funciones continuas de E en R. Si est puntualmente acotada en E, entonces est
uniformemente acotada en un subconjunto abierto no vaco de E.
A la vista del principio anterior se puede comprender ahora por qu los precedentes del
mismo trataban sobre condensacin de las singularidades. Imaginemos que nuestra familia
no verica la tesis del enunciado anterior, es decir, es singular en el sentido de que, para cada
x E , no est uniformemente acotada en ningn entorno de x. Deducimos que existe un punto
x E en el que la familia no est acotada, con lo que en cierto modo la singularidad de la familia
se ha condensado en el punto x. De hecho, el conjunto de puntos x E que verican lo
anterior es de segunda categora en E.
La tesis del principio anterior no nos da informacin alguna sobre el conjunto abierto donde
se consigue la acotacin uniforme. Este inconveniente se salvar con facilidad cuando trabaje-
mos con operadores lineales, como vamos a hacer a partir de ahora.
8.2. Teorema de Banach-Steinhaus
Sean X e Y espacios normados y = {T
i
: i I} L(X,Y) una familia de operadores
lineales y continuos de X en Y. Podemos entonces denir
i
(x) =T
i
(x) para x X e i I,
obteniendo una familia ={
i
: i I} de funciones continuas en X, a la que podemos aplicar
las ideas del apartado anterior. A tal efecto, incluso podramos permitir que cada operador T
i
tomara valores en un espacio normado diferente Y
i
, pero esta generalizacin no tiene demasiada
utilidad. Las nociones de acotacin puntual o uniforme de se trasladan fcilmente a :
est acotada en un punto x X cuando sup{T
i
(x) : i I} < , es decir, cuando
{T
i
(x) : i I} es un subconjunto acotado de Y
est puntualmente acotada en un conjunto GX, cuando est acotada en cada punto
x G, es decir, sup{T
i
(x) : i I} < para todo x G.
8. El Teorema de Banach-Steinhaus 77
est uniformemente acotada en un conjunto G X cuando existe M > 0 tal que
T
i
(x) M para todo x G y todo i I, es decir, sup{T
i
(x) : x G, i I} < .
El caso en que G = B es la bola unidad de X (abierta o cerrada, da igual) tiene especial inters.
En tal caso, es claro que sup{T
i
(x) : x B, i I} = sup{T
i
: i I}, por tanto:
La familia de operadores est uniformemente acotada en la bola unidad de X cuando
es un subconjunto acotado del espacio normado L(X,Y), es decir, sup{T
i
: i I} < .
Razonando de manera anloga a como hemos hecho en el apartado anterior o, si se preere,
aplicando los resultados conseguidos, obtenemos fcilmente lo siguiente:
Teorema (de Banach-Steinhaus, versin preliminar). Sea = {T
i
: i I} L(X,Y) una
familia de operadores lineales continuos de un espacio normado X en un espacio normado Y.
Consideremos el conjunto de puntos de X en los que est puntualmente acotada, es decir:
A =
_
x X : sup{T
i
(x) : i I} <
_
.
Si A es de segunda categora en X, entonces est uniformemente acotada en la bola unidad
de X: sup{T
i
: i I} < .
Demostracin. El razonamiento hecho en el apartado anterior es tan sencillo que no cuesta
nada repetirlo. Para cada n N, consideramos el conjunto
F
n
=
_
x X : sup{T
i
(x) : i I} n
_
=

iI
{x X : T
i
(x) n},
que es un subconjunto cerrado de X, y tenemos claramente que A =

n=1
F
n
. Deducimos de
la hiptesis sobre A que existe un m N tal que F
m
tiene interior no vaco, luego est
uniformemente acotada en un abierto no vaco de X. Pero ahora entra en juego la linealidad de
nuestros operadores, para pasar de dicho abierto a la bola unidad. En efecto, F
m
contendr una
bola abierta, digamos de centro x
0
X y radio r > 0, con lo cual tenemos:
x X, x x
0
< r T
i
(x) m i I.
Pero entonces, jado u X con u < 1 y tomando x = x
0
+r u tenemos, para todo i I:
T
i
(u) =
_
_
_
_
T
i
_
x x
0
r
__
_
_
_

1
r
(T
i
(x)+T
i
(x
0
))
2m
r
.
Puesto que la constante M = 2m/r es independiente del ndice i I, hemos probado que
sup{T
i
: i I} M < como se quera.
Nuevamente, la hiptesis sobre el conjunto A en el teorema anterior no es fcil de compro-
bar. De hecho esta versin del teorema suele usarse por la negativa: si es un subconjunto no
acotado del espacio de operadores L(X,Y), entonces el conjunto A ser de primera categora
en X. Enseguida veremos un ejemplo importante, pero pongmonos en condiciones favorables
para aplicar el enunciado anterior: si X es un espacio de Banach y A =X, el Lema de Categora
de Baire nos asegura que A es de segunda categora en X, y hemos probado lo siguiente:
8. El Teorema de Banach-Steinhaus 78
Teorema (de Banach-Steinhaus). Sea X un espacio de Banach, Y un espacio normado y
= {T
i
: i I} L(X,Y) una familia de operadores lineales continuos. Supongamos que
est puntualmente acotada en X: sup{T
i
(x) : i I} < para cada x X. Entonces est
uniformemente acotada en la bola unidad de X: sup{T
i
: i I} < .
8.3. Series de Fourier de funciones continuas
Resaltemos que el Teorema de Banach-Steinhaus tiene una demostracin muy sencilla: la
versin preliminar se deduce directamente de la denicin de conjuntos de primera y segunda
categora, con un sencillo argumento de linealidad. La versin nal involucra el Lema de Cate-
gora de Baire, cuya prueba es tambin sencilla. Por tanto, cuando usamos el teorema en algn
ejemplo concreto, hacemos un razonamiento sencillo y elegante. Vamos a presentar aqu algu-
nas aplicaciones que histricamente tuvieron repercusin y son responsables de la notoriedad
que el teorema adquiri rpidamente. La primera da informacin sobre las series de Fourier
de funciones continuas y, para exponerla con claridad, conviene precisar algunas nociones que
deben ser conocidas.
En realidad trabajaremos con funciones denidas en la circunferencia: T={z C: |z| =1},
de hecho con el espacio de Banach C(T) de las funciones continuas de T en C. Sin embargo, en
Anlisis de Fourier es ms cmodo ver tales funciones, y otras en espacios ms generales, como
funciones de variable real. Concretamente, dada una funcin g : TC, pensamos en la funcin
f : RC denida por f (t) = g(e
it
) para todo t R, que es claramente una funcin peridica
de periodo 2. La correspondencia entre las funciones g y f es biunvoca, as que podemos
identicarlas y no hacer distincin entre funciones de T en C y funciones 2-peridicas de
R en C, sin que ello d lugar a confusin. As pues, podemos ver C(T) como el espacio de
Banach de las funciones continuas y 2-peridicas de R en C. La norma de una tal funcin f
viene dada por:
f

= m ax{| f (t)| : t R} = m ax{| f (t)| : t [, ]}.

En la misma lnea, se denota por L
1
(T) al espacio de Banach de todas las funciones medibles
2-peridicas de R en C tales que

| f (t)| dt < , identicando funciones que coincidan

c.p.d., cuya norma viene dada por:
f
1
=
1
2

| f (t)| dt ( f L
1
(T)).
Para encontrar este espacio entre los ejemplos de espacios de Banach presentados en su mo-
mento, basta observar que L
1
(T) es isomtricamente isomorfo al espacio L
1
[, ], pero tiene
inters verlo como espacio de funciones denidas en la circunferencia.
Pues bien, para f L
1
(T), los coecientes de Fourier de f vienen dados por:

f (n) =
1
2

f (t)e
int
dt (n Z),
8. El Teorema de Banach-Steinhaus 79
y la serie trigonomtrica

nZ

f (n)e
int
es la serie de Fourier de la funcin f , cuya sucesin de
sumas parciales viene dada por:
S
n
( f ; t) =
n

k=n

f (k)e
ikt
(t R, n N{0}).
El estudio de la convergencia de series de Fourier consiste obviamente en dilucidar bajo qu
condiciones y en qu sentido la serie de Fourier de una funcin f converge a f . Aqu slo vamos
a considerar la posible convergencia puntual para una funcin continua f C(T). Du Bois-
Reymond dio un ejemplo en 1876 de una funcin continua cuya serie de Fourier no converge
puntualmente, pero no es fcil construir este tipo de ejemplos. El Teorema de Banach-Steinhaus
permite probar con facilidad que tales ejemplos abundan, sin dar explcitamente ninguno.
Asociemos a cada funcin f C(T) el valor en el origen de una suma parcial de la serie de
Fourier, ms concretamente, para cada n N consideramos el funcional lineal
n
denido en
C(T) por:

n
( f ) = S
n
( f ; 0) =
n

k=n

f (k) =
1
2

f (t)
_
n

k=n
e
ikt
_
dt
=
1
2

f (t)D
n
(t)dt ( f C(T))
donde claramente D
n
C(T) L
1
(T). La sucesin de funciones {D
n
} se conoce como ncleo
de Dirichlet y naturalmente la posible convergencia de una serie de Fourier guarda estrecha
relacin con las propiedades de dicha sucesin. Para 0 =t [, ], tenemos claramente:
D
n
(t) =
n

k=n
e
ikt
=
e
i(n+1)t
e
int
e
it
1
=
sin
_
n+
1
2
_
t
sin
t
2
,
mientras que D
n
(0) = 2n+1. La desigualdad
|
n
( f )|
1
2

| f (t)D
n
(t)| dt
_
1
2

|D
n
(t)| dt
_
f

=D
n

1
f

( f C(T)),
nos dice que
n
C(T)

con
n
D
n

1
. No es difcil comprobar que esta estimacin es
ptima, es decir, que se tiene de hecho:
n
= D
n

1
. La expresin del ncleo de Dirichlet
anteriormente obtenida permite hacer una estimacin de su norma en L
1
(T), para concluir que
lm
n

n
= +.
En resumen, tenemos una sucesin {
n
} de funcionales lineales continuos en el espacio
de Banach C(T) que no est uniformemente acotada en la bola unidad. Aplicando el Teorema
de Banach-Steinhaus, obtenemos que la sucesin {
n
} no puede estar puntualmente acotada,
es decir, existen funciones f C(T) tales la sucesin {
n
( f )} = {S
n
( f ; 0} no est acotada,
en particular la serie de Fourier de f no converge en el origen. De hecho, mirando la versin
preliminar del teorema obtenemos, no slo la existencia, sino la abundancia de tales funciones:
Corolario. Las funciones cuya serie de Fourier tiene sumas parciales acotadas en el origen
forman un conjunto de primera categora en C(T).
8. El Teorema de Banach-Steinhaus 80
As pues, podemos decir que la convergencia puntual de las series de Fourier es atpica: la
serie de Fourier de la gran mayora de funciones continuas no converge puntualmente. Merece
la pena comentar aqu un importante resultado obtenido por el matemtico sueco L. Carleson en
1966: Para cualquier funcin f C(T) la serie de Fourier de f converge a f casi por doquier.
De hecho Carleson obtuvo el mismo resultado para cualquier funcin f L
2
(T) y R. Hunt lo
extendi posteriormente a funciones f L
p
(T) con p > 1.
8.4. Nuevas consecuencias
En el apartado anterior slo hemos usado el Teorema de Banach-Steinhaus para funcionales.
Destaquemos este caso particular, del que vamos a obtener aplicaciones interesantes.
Corolario (Teorema de Banach-Steinhaus para funcionales). Sea X un espacio de Banach
y = { f
i
: i I} X

una familia de funcionales lineales continuos en X. Supongamos que

est puntualmente acotada: sup{| f
i
(x)| : i I} < para todo x X. Entonces es un
subconjunto acotado de X

: sup{ f
i
: i I} < .
Recordemos que, mediante la inyeccin cannica J de un espacio normado X en su bidual,
los vectores de X se convierten en funcionales lineales continuos en X

, con la ventaja de que

X

siempre es un espacio de Banach. Dado un conjunto de vectores A X, decir que la familia

de funcionales J(A) est acotada en un punto f X

equivale a decir que el conjunto f (A)

est acotado. Si esto ocurre para todo f X

, el corolario anterior nos dice que J(A) es un

subconjunto acotado de X

. Pero J es isomtrica, as que lo que obtenemos es que A es un

subconjunto acotado de X. As pues, el dual de un espacio normado nos permite dilucidar si un
subconjunto del espacio est acotado o no:
Corolario. Un subconjunto A de un espacio normado X est acotado si, y slo si, para
cada f X

, el conjunto de escalares f (A) est acotado .

Volviendo al ambiente general, la familia de operadores que se presenta ms frecuentemente
es una sucesin, y la convergencia puntual de la sucesin asegura desde luego su acotacin
puntual. Aplicando el teorema de Banach-Steinhaus obtenemos fcilmente lo siguiente:
Corolario (Teorema de cierre de Steinhaus). Sea X un espacio de Banach, Y un espacio
normado y {T
n
} una sucesin de operadores lineales y continuos de X en Y que converge
puntualmente en X, es decir, tal que la sucesin {T
n
(x)} converge en Y para cada x X.
Entonces, deniendo
T(x) = lm
n
T
n
(x) (x X),
se obtiene un operador lineal y continuo: T L(X,Y).
Demostracin. La linealidad de T es evidente y, como habamos comentado, la familia de
operadores {T
n
: n N} est puntualmente acotada, as que el Teorema de Banach-Steinhaus
nos dice que sup{T
n
: n N} = M < . Fijado x X, la desigualdad
T
n
(x) T
n
x Mx,
vlida para todo n N, implica claramente que T(x) Mx, y en vista de la arbitrariedad
de x, hemos probado que T L(X,Y), con T M.
8. El Teorema de Banach-Steinhaus 81
En relacin con este ltimo resultado, conviene resaltar que, aunque T L(X,Y) y {T
n
}
converge puntualmente a T en todo el espacio X, en general no podemos asegurar que la
sucesin {T
n
} converja a T en el espacio L(X,Y), ms concretamente, no tiene por qu ocurrir
que {T
n
T} 0. Por ejemplo, tomando X = c
0
e Y =K, la sucesin { f
n
} de funcionales
lineales continuos en c
0
denida por
f
n
(x) = x(n) (x c
0
, n N)
converge puntualmente (a cero) en c
0
pero f
n
=1 para todo n N. Merece la pena comentar
que la situacin anterior no slo se presenta en c
0
, sino a plena generalidad. Esto es lo que arma
el Teorema de Josefson-Nissenzweig: Si X es un espacio normado de dimensin innita, existe
una sucesin { f
n
} en X

tal que { f
n
(x)} 0 para todo x X y f
n
= 1 para todo n N.
8.5. Aplicaciones en teora de sumabilidad
Concluimos este tema con otro bloque de aplicaciones del Teorema de Banach-Steinhaus
que permiten obtener fcilmente diversos criterios de convergencia de sucesiones y series. Em-
pezamos recordando la descripcin del dual de c
0
. Cada sucesin y l
1
se identica con el
funcional Ty c

0
dado por
[Ty](x) =

n=1
x(n)y(n) (x c
0
).
Sabemos que, para todo x c
0
, la serie anterior es absolutamente convergente y que T acaba
siendo un isomorsmo isomtrico de l
1
sobre c

0
. Sin embargo, dada una sucesin de escalares
y K
N
, cabe preguntarse si la convergencia (absoluta o no) de la serie

k1
x(n)y(n) para todo
x c
0
implica ya que y l
1
, lo que nos dara un criterio de convergencia absoluta para series
de escalares. La respuesta es armativa, e incluso podemos armar algo ms:
Corolario. Para y K
N
, las siguientes armaciones son equivalentes:
(i) La serie
n1
y(n) es absolutamente convergente.
(ii) Para cada x c
0
, la serie
n1
x(n)y(n) es absolutamente convergente.
(iii) Para cada x c
0
, la serie
n1
x(n)y(n) es convergente.
(iv) Para cada x c
0
, la serie
n1
x(n)y(n) tiene sumas parciales acotadas.
Demostracin. Basta evidentemente probar que (iv) (i). Para cada n N consideramos
el funcional f
n
c

0
denido por
f
n
(x) =
n

k=1
x(k)y(k) (x c
0
),
obteniendo una sucesin { f
n
} de funcionales lineales continuos en el espacio de Banach c
0
que, por hiptesis, est puntualmente acotada en c
0
. El Teorema de Banach-Steinhaus nos dice
entonces que la sucesin { f
n
} est acotada, pero es claro que f
n
=
n
k=1
|y(k)| para todo
n N, luego y l
1
como se quera.
8. El Teorema de Banach-Steinhaus 82
Enunciados anlogos al anterior, con idntica demostracin, permiten discutir la posibilidad
de que una sucesin y K
N
pertenezca a alguno de los espacios l
p
con 1 < p <. El papel de
c
0
lo jugar entonces l
p
. Por ejemplo, y l
2
si, y slo si, la serie
n1
x(n)y(n) tiene sumas
parciales acotadas para cada x l
2
.
Dando un paso ms en este tipo de resultados, vamos a considerar algunos mtodos de
sumabilidad. Como motivacin, consideramos el criterio de la media aritmtica: si una sucesin
{x
n
} de nmeros reales o complejos converge, entonces la sucesin de las medias aritmticas
_
x
1
+x
2
+. . . +x
n
n
_
converge al mismo lmite. Es bien sabido que el recproco no es cierto, de
forma que hacer la media aritmtica de los primeros trminos de una sucesin puede verse como
un mtodo que facilita la convergencia, un ejemplo muy sencillo de mtodo de sumabilidad.
Esta terminologa se justica por el hecho de que la sucesin de partida {x
n
} puede y suele ser
a su vez la sucesin de sumas parciales de una serie, con lo que el mtodo de la media aritmtica
proporciona una especie de suma de la serie, que coincide con la autntica suma cuando la
serie converge, pero que puede existir y ser til en condiciones ms generales.
El ejemplo paradigmtico de esta situacin se presenta con las series de Fourier. Hemos
visto que la serie de Fourier de una funcin continua f C(T) rara vez converge siquiera
puntualmente a la funcin f . Sin embargo, vamos a considerar la sucesin de medias aritmticas
de las sumas parciales de la serie de Fourier. Concretamente, para cada N N denimos:

N
( f ; t) =
1
N+1
N

n=0
S
n
( f ; t) =
1
N+1
N

n=0
n

k=n

f (k)e
ikt
(t R).
Se dice que {
N
} es la sucesin de sumas de Csaro de la serie de Fourier de f . El criterio de
la media aritmtica nos proporciona, para cualquier t R, la siguiente implicacin:
{S
n
( f ; t)} f (t) {
N
( f ; t)} f (t),
pero el recproco est muy lejos de ser cierto. Concretamente, el resultado bsico en el estudio
de la sumabilidad de series de Fourier es el llamado Teorema de Fjer: Para f C(T), la
sucesin de sumas de Csaro de la serie de Fourier de f converge a f uniformemente en R.
Pues bien, nos proponemos generalizar el criterio de la media aritmtica, sustituyendo dicha
media por una combinacin lineal arbitraria de los trminos de la sucesin de partida, admi-
tiendo incluso combinaciones lineales innitas. Para ello consideramos una matriz innita de
escalares A = {a
nk
: n, k N}. En puridad se trata de una aplicacin de NN en K, pero es
ms intuitivo usar notacin matricial. Dada una sucesin de escalares x K
N
, podemos pensar
en multiplicar formalmente la matriz A por el vector columna (innito) x es decir, considerar
la sucesin Ax denida por:
[Ax](n) =

k=1
a
nk
x(k) (n N),
suponiendo, claro est, que las series del segundo miembro convergen, por lo que denimos:
D(A) =
_
x K
N
:

k1
a
nk
x(k) converge para todo n N
_
.
8. El Teorema de Banach-Steinhaus 83
Claramente D(A) es un subespacio de K
N
que contiene al menos al espacio c
00
de las
sucesiones casi-nulas. Se dice que D(A) es el dominio de la matriz A, ya que tenemos un
operador lineal en D(A) con valores en K
N
, el operador x Ax, al que tambin denotamos por
A sin que ello d lugar a confusin. Cuando este operador conserva el espacio de las sucesiones
convergentes, se dice que la matriz A es conservativa. Ms concretamente, una matriz A es
conservativa cuando verica lo siguiente:
c D(A), Ac c.
Si adems la sucesin transformada Ax tiene el mismo lmite que la sucesin de partida x c,
decimos que A es regular. As pues, una matriz A es regular cuando verica:
x c = x D(A), Ax c, lm
n
[Ax](n) = lm
n
x(n).
Cualquier matriz regular A da lugar a un mtodo admisible de sumabilidad, puesto que
cuando una sucesin de partida x D(A) converge, Ax converge al mismo lmite, pero puede
perfectamente ocurrir que Ax converja sin que lo haga x. Como ejemplo, para conseguir que
Ax sea la sucesin de las medias aritmticas de los trminos de la sucesin x, basta tomar
a
nk
= 1/n si k n y a
nk
= 0 si k > n. Es claro que en este caso D(A) =K
N
y el criterio de la
media aritmtica arma precisamente que dicha matriz A es regular.
El esquema general que hemos introducido admite obviamente muchas ms posibilidades y
es natural buscar de una caracterizacin cmoda de las matrices conservativas y regulares.
8.5.1. Condiciones de Silverman-Toeplitz
Algunas condiciones necesarias para que una matriz A sea conservativa o regular son muy
fciles de obtener, pero vamos directamente a analizar lo que nos da el Teorema de Banach-
Steinhaus:
Supongamos que la matriz A = {a
nk
: n, k N} es conservativa, con lo que c D(A) y
en particular c
0
D(A). Fijado n N, tenemos que la serie

k1
a
nk
x(k) es convergente para
todo x c
0
, con lo que el ltimo corolario nos asegura que la serie

k1
a
nk
es absolutamente
convergente:

k=1
|a
nk
| < . Naturalmente esta convergencia absoluta nos da un funcional lineal
continuo en c
0
, el funcional f
n
c

0
denido por:
f
n
(x) =

k=1
a
nk
x(k) = [Ax](n) (x c
0
),
y sabemos que f
n
=

k=1
|a
nk
|.
Usemos ahora que, siendo A conservativa, no slo se tiene c
0
D(A) sino tambin Ac
0
c.
Esto nos dice que, para cada x c
0
la sucesin {f
n
(x)} es convergente, luego la sucesin de
8. El Teorema de Banach-Steinhaus 84
funcionales { f
n
} converge puntualmente en c
0
y, en particular, est puntualmente acotada en
dicho espacio de Banach. El Teorema de Banach-Steinhaus nos asegura entonces que dicha
sucesin de funcionales es un conjunto acotado en c

0
, es decir:
sup
_

k=1
|a
nk
| : n N
_
< (ST1)
Esta es la primera de las condiciones de Silverman-Toeplitz que nos darn las caracteriza-
ciones de las matrices conservativas y regulares que vamos buscando. De momento, el Teorema
de Banach-Steinhaus ha permitido probar que una matriz conservativa verica (ST1). Intuitiva-
mente, cada la de una matriz conservativa es el trmino general de una serie absolutamente
convergente y la suma de los valores absolutos (o mdulos) de los trminos de cada la es
menor o igual que una constante que no depende de la la considerada.
Las dems condiciones son muy fciles de obtener. Consideremos la sucesin de vectores
unidad {e
k
}, es decir, e
k
( j) = 1 y e
k
( j) = 0 para j = k. Es claro que, para cada k N, Ae
k
es
precisamente la sucesin {a
nk
}
nN
. Por tanto, si la matriz A es conservativa deber vericar:
Para cada k N, existe lm
n
a
nk
(ST2)
Intuitivamente, las columnas de una matriz conservativa son sucesiones convergentes.
Si adems A es regular, sus columnas debern tender a cero:
lm
n
a
nk
= 0 k N (ST3)
Sea ahora u la sucesin constantemente igual a 1 y observemos que la condicin (ST1) ya
nos asegura que u D(A), pero si A es conservativa se deber tener Au c, es decir:
Existe lm
n

k=1
a
nk
(ST4)
Si adems A es regular, deber cumplir:
lm
n

k=1
a
nk
= 1 (ST5)
En resumen, hemos probado que una matriz conservativa verica las condiciones (ST1),
(ST2) y (ST4), mientras que una matriz regular debe vericar (ST1), (ST3) y (ST5). Queda
recorrer el camino inverso.
8.5.2. Suciencia de las condiciones
Empecemos suponiendo que la matriz A verica la condicin (ST1). Entonces es claro que
c
0
D(A) y tambin que u D(A), luego c = c
0
+Ku D(A) simplemente porque D(A) es
un subespacio de K
N
. Para que A sea conservativa falta conseguir que Ac c.
8. El Teorema de Banach-Steinhaus 85
De momento, jada una sucesin x c podemos ver que Ax es una sucesin acotada. En
efecto, para todo n N tenemos:
|[Ax](n)| =

k=1
a
nk
x(k)

k=1
|a
nk
|
_
x

Mx

,
donde M es el supremo que aparece en (ST1). As pues, Ac l

, pero tenemos algo ms,

puesto que de la desigualdad anterior deducimos claramente que
Ax

Mx

(x c).
Esta desigualdad nos dice que cuando el operador A, denido inicialmente en D(A), se restringe
a c, se obtiene un operador lineal y continuo de c en l

. En resumen, la condicin (ST1) nos

ha dado c D(A) y A L(c, l

). Nuestro problema es la imagen de este operador.

Aadimos ahora la condicin (ST2), que nos dice que Ae
k
c para todo k N, y por
linealidad, Ac
00
c. Puesto que c
00
es denso en c
0
, la continuidad de A implica que Ac
0
est
contenido en el cierre de Ac
00
, pero c es un subespacio cerrado de l

, luego Ac
0
c. Si ahora
aadimos tambin (ST4), que nos da Au c, concluimos claramente por linealidad que Ac c,
con lo que hemos probado que (ST1), (ST2) y (ST4) son sucientes para que la matriz A sea
conservativa.
Si en lugar de (ST2) hubiramos aadido (ST3), habramos sabido que Ae
k
c
0
para todo
k N, luego la linealidad de A nos hubiera dado que Ac
00
c
0
, y la continuidad nos hubiera
dado que Ac
0
c
0
, ya que c
0
tambin es un subespacio cerrado de l

. Dada una sucesin x c,

podemos escribir x = x
0
+u donde x
0
c
0
y = lm
n
x(n). Sabemos que Ax
0
c
0
y la
condicin (ST5) nos da lm
n
[Au](n) = 1, con lo cual:
lm
n
[Ax](n) = lm
n
[Ax
0
](n) + lm
n
[Au](n) = = lm
n
x(n),
que nos asegura la regularidad de la matriz A.
Hemos probado el siguiente teorema, que es una amplia generalizacin del criterio de la
media aritmtica y caracteriza los que podramos llamar mtodos lineales de sumabilidad:
Teorema (Silverman-Toeplitz). Dada una matriz innita de escalares A ={a
nk
: n, k N},
se tiene:
A es conservativa si, y slo si, verica las condiciones (ST1), (ST2) y (ST4).
A es regular si, y slo si, verica las condiciones (ST1), (ST3) y (ST5).