Sunteți pe pagina 1din 11

Tema 8

Teorema de Banach-Steinhaus
Tras el Teorema de Hahn-Banach, presentamos en este tema el segundo de los principios
fundamentales del Anlisis Funcional, llamado 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, haban empezado a usarse los llamados mtodos de categora, que per-
mitan 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 fun-
ciones 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.
61
8. Teorema de Banach-Steinhaus 62
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 de primera categora en E 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.
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.
8. Teorema de Banach-Steinhaus 63
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 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 de X, es decir que Lin(U) = X. En efecto, para cada n N sea
F
n
= Lin({u
1
, u
2
, . . . , u
n
}) y recordemos que, como consecuencia del Teorema de Hausdorff,
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
8. Teorema de Banach-Steinhaus 64
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.
8.2. Teorema de Banach-Steinhaus
Este resultado se conoce tambin a veces como Principio de Acotacin Uniforme, porque
permite pasar de una acotacin de tipo puntual a una acotacin de tipo uniforme para
una familia de operadores lineales y continuos. Expliquemos con precisin estos dos tipos de
acotacin:
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. Es natural decir que la familia est acotada en un punto
x X cuando {T
i
(x) : i I} es un subconjunto acotado de Y, es decir, cuando
sup{T
i
(x) : i I} <
Lgicamente, decimos que la familia est puntualmente acotada en un conjunto G X,
cuando est acotada en cada punto x G. En tal caso, para cada x G podemos encontrar
una constante M
x
> 0 tal que T
i
x M
x
para todo i I, pero en principio la constante M
x
depende del punto x G considerado. Hablamos de acotacin uniforme cuando podemos evitar
esa dependencia, es decir, cuando la misma constante vale para todos los puntos del conjunto.
As pues, la familia est uniformemente acotada en un conjunto GX 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} <
Obsrvese que, salvo en el caso trivial ={0}, la condicin anterior exige que el conjunto
G est acotado, es decir, contenido en una bola que, salvo una homotecia, puede ser la bola
unidad. Por tanto, el caso en que G = B es la bola unidad de X (abierta o cerrada, da igual)
tiene especial inters. En tal caso, recordando la denicin de la norma de operadores, tenemos
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): sup{T
i
: i I} < . En
tal caso, es claro que la familia est uniformemente acotada en cada subconjunto acotado de
X y, en particular, est puntualmente acotada en todo el espacio X. Pues bien, cuando el espacio
X sea completo va a ser cierta la implicacin recproca, podremos pasar de la acotacin puntual
a la uniforme.
8. Teorema de Banach-Steinhaus 65
Teorema de Banach-Steinhaus. Sea ={T
i
: i I} L(X,Y) una familia de operadores
lineales continuos de un espacio de Banach 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} <
_
.
Entonces, las siguientes armaciones son equivalentes:
(i) A es de segunda categora en X
(ii) A = X, es decir, la familia est puntualmente acotada en todo el espacio X:
sup{T
i
x : i I} < x X
(iii) est uniformemente acotada en la bola unidad de X:
sup{T
i
: i I} <
Demostracin. Ya hemos comentado que (iii) (ii). El Lema de categora de Baire nos
asegura que X es de segunda categora en s mismo, luego (ii) (i). Basta por tanto probar
que (i) (iii).
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.
Naturalmente, la parte ms til del teorema anterior es la armacin (ii) (iii) que permite,
como habamos anunciado, pasar de la acotacin puntual a la uniforme. La armacin (i) tiene
inters cuando usamos el teorema por la negativa: si la familia no est acotada en norma, la
equivalencia entre (ii) y (iii) slo nos da la existencia de algn punto de X en el que no
est acotada, mientras que la equivalencia entre (i) y (iii) nos asegura la abundancia de tales
puntos. Enseguida veremos un ejemplo concreto de esta situacin.
8. Teorema de Banach-Steinhaus 66
8.3. Series de Fourier de funciones continuas
Resaltemos que el Teorema de Banach-Steinhaus tiene una demostracin muy sencilla: se
deduce fcilmente del Lema de Categora de Baire, cuya prueba tampoco es difcil. Por tanto,
cuando usamos el teorema en algn ejemplo concreto, hacemos un razonamiento muy sencillo y
elegante. Vamos a presentar aqu algunas aplicaciones que histricamente tuvieron repercusin
y son responsables de la notoriedad que el teorema adquiri rpidamente. La primera da in-
formacin 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. Su 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),
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
8. Teorema de Banach-Steinhaus 67
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
. Como ya se coment en un tema anterior, cuando
vimos que L
1
[0, 1] se identica con un subespacio de C[0, 1]

, no es difcil comprobar que la


estimacin que acabamos de hacer 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, usando la primera de las
armaciones equivalentes del teorema obtenemos 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).
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.
8. Teorema de Banach-Steinhaus 68
8.4. Nuevas consecuencias
En el apartado anterior slo hemos usado el Teorema de Banach-Steinhaus para funcionales.
Destaquemos en este caso particular la parte que ms nos interesa del teorema, de la 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 de operadores, es claro que una sucesin puntualmente con-
vergente est puntualmente acotada. Aplicando el teorema de Banach-Steinhaus obtenemos f-
cilmente 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.
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) para cualesquiera x c
0
y n N, converge puntualmente (a
cero) en c
0
pero f
n
= 1 para todo n N.
8. Teorema de Banach-Steinhaus 69
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 Sy c

0
dado por
[Sy](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 S 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.
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
8. Teorema de Banach-Steinhaus 70
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
_
.
Claramente D(A) es un subespacio de K
N
que contiene al menos al espacio c
00
de las suce-
siones de soporte nito. 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. 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
8. Teorema de Banach-Steinhaus 71
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 una caracterizacin cmoda de las matrices regulares. La siguiente es una
respuesta satisfactoria a ese problema:
Teorema (Silverman-Toeplitz). Una matriz innita de escalares A = {a
nk
: n, k N} es
regular si, y slo si, verica las siguientes condiciones:
(1) sup
_

k=1
|a
nk
| : n N
_
<
(2) lm
n
a
nk
= 0 k N
(3) lm
n

k=1
a
nk
= 1
No vamos a presentar la demostracin del teorema anterior. Mencionemos solamente que
el paso ms importante consiste en probar que una matriz regular ha de vericar la condicin
(1), y este es el punto en el que se aplica el Teorema de Banach-Steinhaus. El resto de la
demostracin es bastante rutinaria.

S-ar putea să vă placă și