Tema 9

Teoremas de la aplicacin abierta y de la

grca cerrada
El ttulo de este tema alude a dos teoremas que son en realidad versiones equivalentes de
un mismo principio, el tercero de los principios fundamentales del Anlisis Funcional. Vere-
mos hasta cuatro formulaciones equivalentes del mismo principio. Empezaremos estudiando
los operadores lineales que pueden considerarse como morsmos en la categora de espacios
normados, o incluso en la categora ms general de EVT, a los que llamaremos homomorsmos
topolgicos, en consonancia con la nocin de isomorsmo topolgico que ya hemos manejado
anteriormente. Conseguiremos una cmoda caracterizacin de los homomorsmos topolgicos
entre espacios de Banach (Teorema del Homomorsmo de Banach), que tiene especial inters
cuando trabajamos con operadores sobreyectivos (Teorema de la Aplicacin Abierta) o biyec-
tivos (Teorema de los Isomorsmos de Banach). El Teorema de la Grca Cerrada, equivalente
a los tres anteriores, nos dar una muy til caracterizacin de la continuidad de un operador
lineal entre espacios de Banach. El Lema de Categora de Baire seguir siendo un instrumento
clave en las demostraciones.
9.1. Motivacin
Los operadores lineales son los morsmos en la categora de espacios vectoriales. Recorde-
mos el primer teorema de isomorfa en esa categora, o ms intuitivamente, la factorizacin
cannica de un operador lineal. Si X e Y son espacios vectoriales y T : X Y un operador
lineal (un homomorsmo), dicha factorizacin se resume en el diagrama:
X
T
-
Y
X/ker T

?

T
-
T(X)
I
6
86
9. Teoremas de la aplicacin abierta y de la grca cerrada 87
La aplicacin cociente es sobreyectiva (un epimorsmo) y la inclusin natural I es inyectiva
(un monomorsmo). El operador lineal

T, bien denido por la igualdad

T(x +ker T) = T(x),
que hace el diagrama conmutativo, es biyectivo (un isomorsmo). As pues, cada homomors-
mo T se factoriza como composicin de un epimorsmo, un isomorsmo y un monomorsmo,
siendo fcil comprobar que esta factorizacin es nica (salvo isomorsmos).
Tratemos de dar contenido topolgico a la discusin anterior, es decir: consideremos sendas
topologas en X e Y que les conviertan en EVT, y pensemos qu condicin debe cumplir T para
que

T sea un isomorsmo topolgico, es decir, para que

T y

T
1
sean continuos, considerando
lgicamente en X/ker T la topologa cociente y en T(X) la inducida por Y.
La conocida caracterizacin de la continuidad de aplicaciones que parten de un espacio
cociente nos dice que

T es continuo si, y slo si, T es continuo. Que debamos exigir la con-
tinuidad de T no es ninguna sorpresa, pero an as, la continuidad de

T
1
no est nada clara.
Que

T
1
sea continuo es lo mismo que decir que

T es una aplicacin abierta y, puesto
que la aplicacin cociente siempre es abierta, esto implicar que

T tambin sea abierta.
Recprocamente, si

T es abierta, dado un abierto G X/ker T tenemos, por denicin de
la topologa cociente, que
1
(G) es abierto en X, luego [

T ]

1
(G)

=

T(G) es abierto
en T(X), y vemos que

T es una aplicacin abierta o, lo que es lo mismo, que

T
1
es continuo.
En resumen,

T es un isomorsmo topolgico si, y slo si, T es continuo y

T es una
aplicacin abierta. Observemos nalmente que

T no es otra cosa que el propio operador T,
slo que visto como aplicacin de X en T(X). Hemos justicado la siguiente denicin:
Si X e Y son dos EVT, un homomorsmo topolgico de X en Y es un operador lineal y
continuo T : X Y tal que, visto como aplicacin de X sobre T(X), es una aplicacin abierta,
es decir, T(A) es abierto relativo a T(X) para todo conjunto abierto A X. Naturalmente un
homomorsmo topolgico inyectivo recibe el nombre de monomorsmo topolgico y un ho-
momorsmo topolgico sobreyectivo ser un epimorsmo topolgico. Observemos nalmente
que un homomorsmo topolgico biyectivo es precisamente lo que ya venamos llamando iso-
morsmo topolgico.
Para volver a la factorizacin cannica, observemos que si E es un EVT y F es un subespa-
cio de E, considerando en E/F la topologa cociente y en F la topologa inducida, tenemos que
la aplicacin cociente : E E/F es un epimorsmo topolgico, porque es continua y abierta,
y que la inclusin natural I : F E es un monomorsmo topolgico, ya que obviamente es
continua y, vista como aplicacin de F en I(F) = F, es la identidad en F.
Por tanto, si X e Y son dos EVT y T : X Y es un homomorsmo topolgico, entonces T
se factoriza segn el diagrama anterior, en la forma T = I

T , donde es un epimorsmo
topolgico,

T es un isomorsmo topolgico y, nalmente I es un monomorsmo topolgico.
Es fcil comprobar que esta factorizacin es nica salvo isomorsmos topolgicos y tenemos
lo que podemos llamar el primer teorema de isomorfa en la categora de EVT.
Naturalmente todo lo anterior es aplicable cuando X e Y son espacios normados y conviene
observar que la factorizacin no nos hace salir de la categora de espacios normados. Por una
parte, T(X) es obviamente un espacio normado con la norma que hereda de Y , que genera
la topologa inducida. Por otra, la continuidad de T nos asegura que ker T es un subespacio
cerrado de X, luego en X/ker T disponemos de la norma cociente, que sabemos genera la
9. Teoremas de la aplicacin abierta y de la grca cerrada 88
topologa cociente. Los resultados de este tema nos harn ver que la nocin de homomorsmo
topolgico se maneja con mucha ms comodidad cuando trabajamos con espacios de Banach.
9.2. Teorema de la aplicacin abierta
De acuerdo con la discusin anterior, si X e Y son espacios normados, T L(X,Y) y
T(X) =Y, entonces T es un epimorsmo topolgico si, y slo si, T es una aplicacin abierta.
Pues bien, esta ltima condicin es automtica cuando X e Y son espacios de Banach. Este es
el contenido del siguiente resultado, tambin conocido como Teorema de Banach-Schauder:
Teorema de la aplicacin abierta de Banach. Sean X e Y espacios de Banach y T : X Y
un operador lineal, continuo y sobreyectivo. Entonces T es una aplicacin abierta.
Dividiremos la demostracin en varias etapas, dosicando las hiptesis de forma que quede
claro lo que se consigue en cada paso.
9.2.1. Primera etapa: aplicaciones casi-abiertas
Empezamos la demostracin suponiendo solamente que X e Y son espacios normados,
T : X Y un operador lineal y denotamos por B =x X : |x| < 1 a la bola abierta unidad
en X. El primer paso es una observacin ya conocida: para que T sea una aplicacin abierta es
suciente (y obviamente tambin necesario) que T(B) sea un entorno de cero en Y. Recorde-
mos la sencilla prueba de esta observacin. Para cualquier abierto A X y cualquier y
0
T(A),
escribimos y
0
= T(x
0
) con x
0
A y tomamos r > 0 tal que x
0
+rB A. Entonces, si T(B)
es entorno de cero en Y, usando que las traslaciones y homotecias son homeomorsmos de
Y tendremos que y
0
+rT(B) es entorno de y
0
, pero y
0
+rT(B) = T(x
0
+rB) T(A), luego
T(A) tambin es entorno de y
0
y hemos probado que T(A) es entorno de todos sus puntos, es
decir, es abierto.
Pues bien, echemos un vistazo al conjunto T(B), lo que nos llevar de forma natural a usar
las nociones de conjuntos de primera o segunda categora. Es evidente que X =

n=1
nB, con lo
que la linealidad de T implica claramente que T(X) =

n=1
nT(B). Nadie nos asegura que T(B)
sea cerrado en Y, de hecho rara vez lo ser, pero siempre podemos cerrarlo y escribir:
T(X)

n=1
nT(B). ()
Si ahora suponemos que T(X) es de segunda categora en Y, de la inclusin () deducimos
que para algn n N el conjunto nT(B) ha de tener interior no vaco, luego T(B) tiene interior
no vaco. Usando la continuidad de la suma en Y junto con la linealidad de T, veremos que de
hecho T(B) es entorno de cero. En efecto, si y
0
Y es un punto interior de T(B) el conjunto
9. Teoremas de la aplicacin abierta y de la grca cerrada 89
T(B) T(B) es entorno de cero, pero es claro que:
T(B) T(B) T(B) T(B) = T(BB) = T(2B) = 2T(B).
Deducimos que 2T(B) es entorno de cero en Y, luego lo mismo le ocurre a T(B). Pretendemos
probar que T(B) es entorno de cero y casi lo hemos conseguido.
Para enunciar explcitamente lo demostrado hasta ahora, es til el siguiente concepto: si X e
Y son espacios normados, se dice que una aplicacin lineal T : X Y es casi-abierta cuando
T(B) es un entorno de cero en Y, donde B denota la bola abierta unidad de X. En realidad el
papel de B lo puede hacer cualquier entorno de cero en X, pues es fcil comprobar lo siguiente:
dado un entorno de cero U en X, T es casi-abierta si, y slo si, T(U) es entorno de cero en Y.
En la primera etapa de la demostracin hemos probado lo siguiente:
Sean X e Y espacios normados y T : X Y una aplicacin lineal. Si T(X) es de segunda
categora en Y, entonces T es casi-abierta.
9.2.2. Segunda etapa: Aproximaciones sucesivas
Queremos sustituir en el ltimo enunciado casi-abierta por abierta, usando el resto de
hiptesis del Teorema conforme se vayan necesitando.
Expliquemos intuitivamente el tipo de razonamiento que vamos a hacer. Para y Y con
norma sucientemente pequea, nos gustara probar que y T(B), es decir, que la ecuacin
y =T(x) admite una solucin x B. Siendo T casi-abierta, podemos tener de entrada y T(B),
luego podemos conseguir x B de forma que T(x) est tan cerca de y como se quiera, es decir,
tenemos soluciones aproximadas de nuestra ecuacin y queremos conseguir una solucin
exacta.
Para ello usamos un mtodo de aproximaciones sucesivas, es decir, construimos iterativa-
mente una sucesin de soluciones aproximadas cada vez mejores, que converger a la solucin
exacta que buscamos. La complitud de X, que an no hemos utilizado, nos permitir conseguir
la convergencia de la soluciones aproximadas y la continuidad de T, que tampoco se ha usa-
do hasta ahora, asegurar que el lmite de las soluciones aproximadas es una solucin exacta.
Veamos cmo se desarrolla este mtodo.
De entrada suponemos solamente lo conseguido en la primera etapa, es decir, X e Y son
espacios normados y T : X Y es lineal y casi-abierta. Existe entonces un > 0 tal que T(B)
contiene a la bola abierta en Y de centro cero y radio .
Observemos lo que ocurre cuando el radio de B se va dividiendo sucesivamente por 2. Para
cada n N, es claro que si tomamos y Y con |y| < 2
n
tendremos |2
n
y| < , luego
2
n
y T(B), de donde y 2
n
T(B) = T(2
n
B); cualquiera que sea > 0 podremos pues
encontrar x X con |x| < 2
n
tal que |yT(x)| <. Destaquemos esta informacin, que es
la que vamos a usar iterativamente:
n N, y Y, |y| <

2
n
, > 0 = x X : |x| <
1
2
n
, |y Tx)| < . ()
Arrancamos nuestra iteracin jando y Y con |y| < /2. Aplicando (), con n = 1 y
9. Teoremas de la aplicacin abierta y de la grca cerrada 90
= /4, encontramos un vector x
1
que verica:
x
1
X, |x
1
| <
1
2
, |y T(x
1
)| <

4
.
La ltima desigualdad nos dice que podemos aplicar de nuevo () al vector y T(x
1
) Y ,
con n = 2 y = /8, para encontrar un vector x
2
que verica:
x
2
X, |x
2
| <
1
4
, |y T(x
1
) T(x
2
)| <

8
.
Est ya muy claro cmo, una vez construidos x
1
, x
2
, . . . , x
n
, encontramos x
n+1
. En resumen,
hemos construido por induccin una sucesin x
n
de vectores de X que verican:
|x
n
| <
1
2
n
,

y
n

k=1
T(x
k
)

<

2
n+1
(n N).
La ltima desigualdad nos dice que:
y = lm
n
n

k=1
T(x
k
) =

n=1
T(x
n
),
as que,

n

k=1
x
k

es la sucesin de soluciones aproximadas de la que hablbamos, que ha apare-

cido como sucesin de sumas parciales de la serie

n1
x
n
.
Por otra parte, tambin tenemos:

n=1
|x
n
| <

n=1
1
2
n
= 1, luego nuestra serie

n1
x
n
es
absolutamente convergente.
Si X es un espacio de Banach, dicha serie ser convergente y podemos denir x =

n=1
x
n
,
obteniendo un vector x B, ya que claramente: |x|

n=1
|x
n
| < 1.
Usamos ahora la linealidad y continuidad de T para obtener:
T(x) = T

lm
n
n

k=1
x
k

= lm
n
n

k=1
T(x
k
) =

n=1
T(x
n
) = y,
luego x es la solucin exacta que buscbamos y tenemos que y T(B).
Puesto que y era cualquier vector de Y vericando |y| < /2, hemos probado que T(B)
es entorno de cero en Y, luego T es una aplicacin abierta. Enunciamos explcitamente lo
conseguido mediante el mtodo de aproximaciones sucesivas:
Sea X un espacio de Banach, Y un espacio normado y T : X Y una aplicacin lineal,
continua y casi-abierta. Entonces T es una aplicacin abierta.
9. Teoremas de la aplicacin abierta y de la grca cerrada 91
9.2.3. Fin de la demostracin
Podemos ya completar fcilmente la demostracin del Teorema de la Aplicacin Abierta.
Si X e Y son espacios de Banach y T L(X,Y) es sobreyectivo, el Lema de Categora de
Baire nos asegura que T(X) es de segunda categora en Y, con lo que la primera etapa de la
demostracin nos dice que T es una aplicacin casi-abierta. Este hecho, junto con la complitud
de X y la continuidad de T, nos permite aplicar lo conseguido con el mtodo de aproximaciones
sucesivas para concluir que T es una aplicacin abierta.
Merece la pena hacer una disquisicin nal sobre esta demostracin. Si se observa el ltimo
razonamiento, la complitud de Y y la sobreyectividad de T slo se usan para asegurar que
T(X) es de segunda categora en Y, cosa que directamente no ser fcil de comprobar en la
prctica. Sin embargo, para no perder informacin, podemos enunciar literalmente lo que se
obtiene encadenando las dos primeras etapas de la demostracin, que es lo siguiente:
Sea X un espacio de Banach, Y un espacio normado y T L(X,Y). Si T(X) es de se-
gunda categora en Y, entonces T es una aplicacin abierta. Como consecuencia, se tiene que
T(X) =Y y que Y es un espacio de Banach.
La primera parte de este enunciado est clara. La segunda puede resultar sorprendente,
puesto que dos hiptesis del Teorema de la Aplicacin Abierta, la sobreyectividad de T y la
complitud de Y, no slo no se suponen como hiptesis, sino que aparecen como tesis.
Sin embargo, la validez de esta segunda parte del enunciado es clara: una aplicacin abierta
tiene que ser sobreyectiva, luego Y = T(X); adems T es un epimorsmo topolgico, luego la
factorizacin cannica de T nos dice que Y es topolgicamente isomorfo a X/ker T, que es
completo por ser el cociente del espacio de Banach X por un subespacio cerrado, as que Y es
completo.
As pues, el enunciado anterior parece incluso ms til que el Teorema de la Aplicacin
Abierta. Ocurre, como hemos dicho, que en la prctica la hiptesis de que T(X) sea de segunda
categora en Y no es fcil de comprobar, algo similar a lo que tambin ocurra con el Teorema
de Banach-Steinhaus. Nuevamente, el enunciado anterior suele usarse por la negativa: si X es
un espacio de Banach, Y un espacio normado, T L(X,Y) y T(X) ,=Y, entonces T(X) es de
primera categora en Y.
Ms adelante veremos la utilidad de este ltimo enunciado con un ejemplo ms interesante
pero, de momento, el siguiente puede ser ilustrativo: para 1 p < q , l
p
es un conjunto
de primera categora en l
q
. En efecto, sabiendo que como conjuntos, l
p
l
q
, basta denir
T(x) = x para todo x l
p
y comprobar sin dicultad que T L(l
p
, l
q
), un operador lineal y
continuo que no es sobreyectivo.
9.3. Dos versiones equivalentes
Si X e Y son espacios de Banach y T L(X,Y) es biyectivo, decir que T es una aplicacin
abierta equivale a decir que el operador T
1
es continuo, luego del Teorema de la Aplicacin
Abierta deducimos:
9. Teoremas de la aplicacin abierta y de la grca cerrada 92
Teorema de los isomorsmos de Banach. Toda biyeccin lineal continua entre dos espa-
cios de Banach es un isomorsmo topolgico.
El Teorema anterior es en realidad equivalente al Teorema de la Aplicacin Abierta: si X
e Y son espacios de Banach y T L(X,Y) es sobreyectivo, la factorizacin cannica de T
nos da una biyeccin lineal continua

T de X/ker T sobre T(X) =Y tal que T =

T donde
: X X/ker T es la aplicacin cociente. Por el Teorema de los Isomorsmos de Banach, el
operador

T
1
es continuo, es decir,

T es una aplicacin abierta y, puesto que tambin es
abierta, deducimos que T es abierta.
En la direccin contraria, en vez de fortalecer la hiptesis de sobreyectividad del operador
T en el Teorema de la Aplicacin Abierta, como hemos hecho al suponerlo biyectivo, podemos
omitir dicha hiptesis y obtenemos la siguiente informacin:
Teorema del homomorsmo de Banach. Sean X e Y espacios de Banach y T L(X,Y).
Entonces T es un homomorsmo topolgico si, y slo si, T(X) es cerrado en Y.
En efecto, T(X) es un espacio de Banach, por ser un subespacio cerrado de Y, y viendo T
como operador de X en T(X), es sobreyectivo, luego es un aplicacin abierta y esto signica,
por denicin, que T es un homomorsmo topolgico de X en Y. Recprocamente, si T es un
homomorsmo topolgico, entonces T(X) es topolgicamente isomorfo al espacio de Banach
X/ker T, luego es completo y, por tanto, ha de ser cerrado en Y.
De este ltimo enunciado se deduce tambin evidentemente el Teorema de la Aplicacin
Abierta. Tenemos pues tres formulaciones equivalentes de un mismo principio.
9.4. Proyectividad de l
1
Como primera consecuencia interesante del Teorema de la Aplicacin Abierta, ms concre-
tamente de la informacin conseguida en la demostracin del mismo, obtenemos:
Corolario. Todo espacio de Banach separable es isomtricamente isomorfo al cociente de
l
1
por un subespacio cerrado.
Demostracin. Sea X un espacio de Banach separable y denotemos por S a la esfera unidad
de X, es decir, S =x X : |x| = 1. A partir de un conjunto numerable denso en X, mediante
una obvia normalizacin, conseguimos un conjunto numerable A =x
n
: n N tal que A = S.
Entonces, dada una sucesin y l
1
, podemos considerar la serie

n1
y(n)x
n
, que es absolu-
tamente convergente, ya que

n=1
|y(n)x
n
| =

n=1
[y(n)[ =|y|
1
< .
La complitud de X nos asegura que dicha serie es convergente y podemos denir:
Ty =

n=1
y(n)x
n
(y l
1
),
9. Teoremas de la aplicacin abierta y de la grca cerrada 93
obteniendo un operador lineal y continuo de l
1
en X, ya que, segn hemos visto, |Ty| |y|
1
para todo y l
1
, as que T L(l
1
, X) y |T| 1.
Considerando ahora la sucesin e
n
de los vectores unidad en l
1
, es claro que Te
n
= x
n
para todo n N. Por tanto, jado un nmero con 0 < < 1, se tendr x
n
= T(e
n
) T(B)
para todo n N, donde B es ahora la bola abierta unidad de l
1
. As pues, A T(B), de
donde S = A T(B). Siendo B un conjunto convexo, T(B) y T(B) tambin son convexos
y deducimos que toda la bola cerrada de centro 0 y radio ha de estar contenida en T(B). Esto
nos asegura que T(B) es entorno de cero en X, luego T es una aplicacin casi-abierta.
Podemos ahora aplicar el resultado que obtuvimos con el mtodo de aproximaciones sucesi-
vas: siendo l
1
un espacio de Banach y T un aplicacin lineal continua y casi-abierta, deducimos
que T es abierta y, en particular, T(l
1
) = X. La factorizacin cannica de T nos da entonces
un isomorsmo topolgico

T de l
1
/ker T, que es el cociente de l
1
por un subespacio cerrado,
sobre X.
La demostracin se concluye probando que

T es isomtrico, cosa que no es difcil. Fijada
una clase de equivalencia w = y +ker T l
1
/ker T, para z ker T aplicamos que |T| 1
obteniendo:
|

Tw| = |Ty| =|T(y +z)| |y +z|,

y la denicin de la norma cociente nos permite claramente concluir que |

Tw| |w|, con lo

que |

T| 1. Para probar que tambin |

T
1
| 1 observamos en primer lugar que:
|

T
1
(x
n
)| = |e
n
+ker T| |e
n
|
1
= 1 =|x
n
| (n N).
Por tanto, la desigualdad |

T
1
(x)| |x| se verica para todo x A. Por continuidad dicha
desigualdad tambin se verica para x A = S y una obvia normalizacin nos permite concluir
que tambin se verica para todo x X como se quera.
9.5. Aplicacin a series de Fourier
El Teorema de los isomorsmos de Banach nos va dar informacin sobre la posibilidad de
que una serie trigonomtrica sea la serie de Fourier de una funcin integrable.
Recordemos que una serie trigonomtrica es una serie de funciones de la forma

nZ
c
n
e
int
donde c
n
C para todo n Z. Recordemos tambin que los coecientes de Fourier de una
funcin f L
1
(T) vienen dados por

f (n) =
1
2

f (t)e
int
dt para todo n Z y que la serie
trigonomtrica

nZ

f (n)e
int
es la serie de Fourier de f . Cabe preguntarse cundo una serie
trigonomtrica es una serie de Fourier, es decir, dada una sucesin de coecientes c
n
: n Z
nos preguntamos si existe una funcin f L
1
(T) tal que

f (n) = c
n
para todo n Z.
Usaremos dos resultados bsicos en la teora de series de Fourier. El primero nos da una
condicin necesaria para que la respuesta a nuestra pregunta sea armativa, los coecientes de
Fourier de una funcin tienden a cero en el siguiente sentido:
9. Teoremas de la aplicacin abierta y de la grca cerrada 94
Lema de Riemann-Lebesgue. Para f L
1
(T) se tiene:
lm
n+

f (n) = lm
n

f (n) = 0.
As pues, la sucesin

f , a la que a veces se denomina bisucesin de coecientes de Fourier
de f , pertenece al espacio de Banach c
Z
0
de sucesiones convergentes a cero, slo que denidas
en Z. Concretamente, para x K
Z
, decir que lm
n
x(n) =0 equivale a decir que, para cada
>0, el conjunto n Z: [x(n)[ es nito, que es por denicin lo mismo que decir x c
Z
0
.
Es bien fcil comprobar, usando cualquier biyeccin entre Z y N, que c
Z
0
es isomtricamente
isomorfo a c
0
.
En cierto sentido, el lema anterior es inmejorable, se sabe que la convergencia a cero de
los coecientes de Fourier puede ser tan lenta como se quiera. El otro resultado bsico que
usaremos nos dice que la funcin f L
1
(T) que buscamos, si existe, es nica:
Teorema de Unicidad. Si f L
1
(T) y

f (n) = 0 para todo n N, entonces f = 0.
As pues, una funcin integrable est determinada por sus coecientes de Fourier. Lgi-
camente, hay que saber entender esta armacin, no olvidemos que L
1
(T) est formado por
clases de equivalencia, luego la tesis f = 0 del teorema anterior signica que la funcin f se
anula casi por doquier.
Podemos considerar el operador, claramente lineal, que a cada funcin f L
1
(T) hace
corresponder sus coecientes de Fourier:
T f =

f ( f L
1
(T)).
El Lema de Riemann-Lebesgue nos dice que T toma valores en c
Z
0
y el Teorema de Unici-
dad que T es inyectivo. Adems, comprobamos inmediatamente que T es continuo, es decir,
que T L

L
1
(T), c
Z
0

, incluso con |T| = 1. En efecto, para f L

1
(T) y n Z, tenemos
claramente:
[

f (n)[
1
2

[ f (t)e
int
[ dt =
1
2

[ f (t)[ dt = | f |
1
,
luego |T f | = |

f |

| f |
1
y T es continuo con |T| 1. La igualdad se consigue usando la
funcin h(t) =1 para todo t R, para la que se tiene claramente |

h|

= 1 = |h|
1
. Obsrvese
que aqu ha aparecido una explicacin del factor de normalizacin 1/2 que introdujimos en la
denicin de la norma de L
1
(T): ese factor hace que la funcin constantemente igual a 1 tenga
norma 1 y, de paso, que |T| = 1; sin ese factor hubiramos tenido |h|
1
= 2 y |T| = 1/2.
Pues bien, nuestra pregunta sobre la relacin entre series trigonomtricas generales y series
de Fourier de funciones de L
1
(T) equivale claramente a preguntarse cul es la imagen del ope-
rador T. Empezamos viendo que T no es sobreyectivo, es decir: existen series trigonomtricas
cuyos coecientes tienden a cero en el sentido del Lema de Riemann-Lebesgue, que no son
series de Fourier:
En efecto, si fuese T(L
1
(T)) = c
Z
0
, entonces T sera una biyeccin lineal isomtrica entre
dos espacios de Banach y el Teorema de los Isomorsmos de Banach hara que T fuese un
isomorsmo topolgico entre dichos espacios. Pues bien, no slo esto no puede ocurrir, es
que los espacios L
1
(T) y c
Z
0
no son topolgicamente isomorfos, as que, ni T ni ningn otro
operador puede ser un isomorsmo topolgico entre ellos.
9. Teoremas de la aplicacin abierta y de la grca cerrada 95
Una forma de comprobar que dichos espacios no son topolgicamente isomorfos es mirar
a sus duales, que sabemos seran tambin topolgicamente isomorfos de serlo los espacios.
Recurdese que el operador transpuesto de un isomorsmo topolgico tambin es un isomor-
smo topolgico. Sabemos que L
1
(T)

(T), mientras que, de ser c

Z
0
c
0
deducimos que
(c
Z
0
)

0
l
1
. Queda ver que L

(T) no puede ser topolgicamente isomorfo a l

1
, pero esto
no es difcil: l
1
es separable y L

(T) no lo es, ya que es fcil comprobar que L

(T) contiene
un subespacio isomtricamente isomorfo a l

, que no es separable como sabemos.

Una vez demostrado que nuestro operador T : L
1
(T) c
Z
0
no es sobreyectivo, podemos
aplicar la versin del Teorema de la Aplicacin Abierta comentada al nal de su demostracin
para concluir que la imagen de T es de primera categora en c
Z
0
:
Corolario. El conjunto

f : f L
1
(T) es de primera categora en c
Z
0
.
Podramos decir que las series de Fourier son atpicas entre las series trigonomtricas:
incluso entre las series trigonomtricas que, segn el Lema de Riemann-Lebesgue, podran ser
en principio series de Fourier, la gran mayora no lo son. Por tanto, dicho Lema, aunque en
cierto sentido sea inmejorable, est muy lejos de caracterizar a las series de Fourier.
9.6. Una aplicacin a ecuaciones diferenciales
Sean una vez ms X e Y espacios de Banach y T L(X,Y). Si T es biyectivo, es decir, si
para cada y Y la ecuacin T(x) = y tiene solucin nica, el Teorema de los Isomorsmos de
Banach nos dice que T
1
es continuo, es decir, la solucin x X de la ecuacin depende de
manera continua del dato y Y. Este esquema abstracto se puede aplicar a problemas relaciona-
dos con ecuaciones diferenciales en situaciones muy diversas, de las que vamos a presentar un
ejemplo sencillo.
Consideremos el espacio Banach C[a, b] de todas las funciones continuas en un intervalo
compacto [a, b], con la norma del mximo, y jemos tres funciones u
0
, u
1
, u
2
C[a, b]. Consi-
deremos el espacio Y =C[a, b] K
2
, que tambin es un espacio de Banach cuando lo dotamos,
por ejemplo, de la norma:
|(u, , )| =|u|

+[[ +[[ (u C[a, b], , K).

Para cada terna (u, , ) Y, podemos considerar el problema de contorno:
u
0
x
//
+ u
1
x
/
+ u
2
x = u ; x(a) = , x(b) = .
Las posibles soluciones x de este problema pertenecern al espacio X = C
2
[a, b] de las fun-
ciones de clase C
2
en el intervalo [a, b]. Se comprueba sin dicultad que X es tambin un
espacio de Banach cuando le dotamos de la norma denida por:
|x| = |x|

+ |x
/
|

+ |x
//
|

(x X).
Asociado al problema de contorno anterior tenemos un operador lineal, T : X Y dado por:
Tx =

u
0
x
//
+ u
1
x
/
+ u
2
x, x(a), x(b)

(x X).
9. Teoremas de la aplicacin abierta y de la grca cerrada 96
Comprobamos sin dicultad que T es continuo. En efecto, tomado M|u
j
|

para j =0, 1, 2,
tenemos claramente:
|Tx| =|u
0
x
//
+u
1
x
/
+u
2
x|

+[x(a)[ +[x(b)[ M|x|+2|x|

(M+2)|x| (x X).
Que T sea biyectivo equivale evidentemente a que, para cualquier dato u C[a, b] y cua-
lesquiera valores de contorno , K, el problema de contorno tenga solucin nica. Si tal
cosa ocurre, el Teorema de los Isomorsmos de Banach nos informa de que, automticamente,
la solucin x C
2
[a, b] del problema de contorno depende de manera continua de los datos y
de los valores de contorno. Esto garantiza que los mtodos de perturbacin que suelen usarse
para aproximar numricamente la solucin del problema son vlidos. Evidentemente este tipo
de razonamiento puede usarse en situaciones muy variadas.
9.7. Inversin de operadores
El Teorema de los Isomorsmos de Banach puede usarse para caracterizar la posibilidad de
que un operador admita un inverso por la izquierda o por la derecha.
Slo para jar la notacin y aclarar ideas, recordemos cuestiones muy elementales de lge-
bra lineal. Denotando por Id
E
a la aplicacin identidad en cualquier conjunto E , es claro que
un operador lineal T : X Y, donde X e Y son espacios vectoriales, es biyectivo si, y slo si,
existe otro operador lineal S : Y X tal que ST = Id
X
y T S = Id
Y
. En tal caso desde luego
S es nico, le llamamos operador inverso de T y escribimos S = T
1
. Es natural decir que S
es un inverso por la izquierda de T cuando verica solamente que S T = Id
X
y un inverso
por la derecha de T cuando T S = Id
Y
. Se comprueba inmediatamente que el operador T
admite un inverso por la izquierda si, y slo si, es inyectivo, mientras que admite un inverso por
la derecha si, y slo si, es sobreyectivo. Es claro que si T es biyectivo, T
1
es el nico inverso
por la izquierda y el nico inverso por la derecha de T. En otro caso se pierde la unicidad, es
decir: cuando el operador T no es biyectivo, un inverso por la izquierda de T, si existe, nunca
es nico y lo mismo ocurre con los inversos por la derecha.
Pues bien, intentemos dar contenido topolgico a la discusin anterior, suponiendo lgica-
mente que X e Y son espacios de Banach y T L(X,Y). Sabemos que cuando T es biyectivo,
su nico inverso T
1
es continuo. Suponiendo solamente que T es inyectivo, es lgico pregun-
tarse si admite un inverso por la izquierda que sea continuo y anloga pregunta para un operador
sobreyectivo y un inverso por la derecha.
Pensando en la primera pregunta, supongamos que existe S L(Y, X) tal que S T = Id
X
.
Entonces podemos considerar el operador P = T S L(Y,Y) y, como ya hicimos en una
ocasin anterior, vemos que P es una proyeccin lineal en Y, es decir, P P = P. Para y Y
tenemos claramente P(y) = T(Sy) T(X) y recprocamente, si y = Tx T(X), tenemos
P(y) =T[S(Tx)] =Tx =y, luego y P(Y). En resumen, P(Y) =T(X) y deducimos que T(X)
es un subespacio complementado de Y, ya que la proyeccin lineal P es continua. As pues,
aunque T sea inyectivo, si T(X) no est complementado en Y, ningn inverso por la izquierda
de T puede ser continuo. Por ejemplo, si X es un subespacio cerrado de Y que no est com-
plementado en Y, entonces la inclusin natural de I L(X,Y) es obviamente inyectiva pero no
admite un inverso por la izquierda continuo.
9. Teoremas de la aplicacin abierta y de la grca cerrada 97
Recprocamente, supongamos que T es inyectivo y T(X) es un subespacio complementado
de Y mediante una proyeccin lineal continua P. En particular sabemos que T(X) es cerrado
en Y, luego es un espacio de Banach y, visto como operador de X en T(X), T es biyectivo
luego tiene un inverso S
0
que, por el Teorema de los Isomorsmos de Banach es continuo. Es
claro que S
0
(Tx) =x para todo x X, luego tomando S =S
0
P L(Y, X) tenemos claramente
S(Tx) = S
0
[P(Tx)] = S
0
(Tx) = x para todo x X, con lo que S es un inverso por la izquierda
continuo del operador T. Hemos probado la primera armacin del siguiente Corolario, la
segunda se demuestra de forma bastante anloga.
Corolario. Sean X e Y espacios de Banach y T L(X,Y). Entonces:
(a) Existe un operador S L(Y, X) tal que ST = Id
X
si, y slo si, ker T =0 y T(X) es
un subespacio complementado de Y.
(b) Existe un operador S L(Y, X) tal que T S = Id
Y
si, y slo si, ker T es un subespacio
complementado de X y T(X) =Y.
9.8. Teorema de la Grca Cerrada
Recordemos que la grca de una funcin f : X Y, donde X e Y son conjuntos cua-
lesquiera, es el conjunto Gr f = (x, f (x)) : x X X Y. Cuando X e Y tienen alguna
estructura adicional, es frecuente que ciertas propiedades de la funcin f puedan caracterizarse
en trminos de su grca. Por ejemplo, es muy fcil comprobar que, cuando X e Y son espacios
vectoriales, entonces f es lineal si, y slo si, Gr f es un subespacio vectorial de X Y.
Cuando X e Y son espacios topolgicos y consideramos en X Y la topologa producto,
es fcil establecer una relacin entre la continuidad de f y el hecho de que Gr f sea un subcon-
junto cerrado de X Y. Concretamente, si Y es un espacio de Hausdorff, toda funcin continua
f : X Y tiene grca cerrada. En efecto, dado (x, y) X Y suponemos que (x, y) / Gr f ,
es decir, que y ,= f (x), y deberemos ver que (x, y) / Gr f . Por ser Y de Hausdorff, tenemos en
Y un entorno W de f (x) y un entorno V de y tales que W V = / 0, y la continuidad de f nos
proporciona en X un entorno U de x tal que f (U) W. Entonces U V es un entorno de
(x, y) en la topologa producto que cumple (U V) Gr f = / 0, ya que si z X vericase que
(z, f (z)) U V se tendra por una parte que z U, luego f (z) W, y por otra que f (z) V,
luego f (z) W V = / 0, agrante contradiccin.
Ejemplos sencillos, incluso con X = Y = R, muestran que el recproco no es cierto. As
pues, en general, para una funcin entre espacios topolgicos, a poco que el de llegada sea de
Hausdorff, tener grca cerrada es ms dbil que ser continua.
Cuando X e Y son espacios mtricos, la relacin entre ambas propiedades se pone muy
claramente de maniesto. Para probar que f es continua bastar tomar una sucesin conver-
gente en X, digamos x
n
x, y demostrar que f (x
n
) f (x). Para demostrar que f tiene
grca cerrada, puesto que la topologa producto en X Y es metrizable, basta tomar una suce-
sin (x
n
, f (x
n
)) en Gr f , convergente a un (x, y) X Y y demostrar que (x, y) Gr f ,
es decir, que y = f (x). Igual que para la continuidad, tenemos una sucesin x
n
x en X,
pero ahora sabemos que f (x
n
) y y slo nos queda comprobar que y = f (x). As pues,
en ambos casos partimos de una sucesin x
n
x en X, para la continuidad debemos probar
9. Teoremas de la aplicacin abierta y de la grca cerrada 98
que f (x
n
) converge y que su lmite es f (x), mientras que para que la grca sea cerrada,
suponemos que f (x
n
) converge y slo nos queda ver que su lmite es f (x). Cualquiera que
haya trabajado con la convergencia de sucesiones, sabe que lo segundo suele ser mucho ms
fcil que lo primero. Los comentarios anteriores ponen de maniesto el inters del siguiente
resultado:
Teorema de la Grca Cerrada de Banach. Si X e Y son espacios de Banach y T : X Y
es un operador lineal, entonces T es continuo si, y slo si, la grca de T es cerrada.
Demostracin. Una implicacin se ha comentado de sobra, nos concentramos en la otra.
Considerando en X Y cualquiera de las normas usuales en un producto, por ejemplo podemos
tomar |(x, y)| = |x| +|y| para todo (x, y) X Y, es claro que X Y es un espacio de
Banach. Por hiptesis, la grca de T es un subespacio cerrado de X Y, luego tambin es
un espacio de Banach. La proyeccin en primera coordenada (x, y) x es un operador lineal
continuo de X Y en X, luego tambin lo ser su restriccin a la grca de T , es decir, el
operador : Gr T X denido por:
(x, Tx) = x (x X).
Es evidente que es biyectivo, luego el Teorema de los Isomorsmos de Banach nos dice que

1
es continuo, y es tambin evidente que

1
(x) = (x, Tx) (x X).
Como cualquier funcin que toma valores en un espacio con una topologa producto, la con-
tinuidad de
1
equivale a la de sus dos componentes, pero la segunda componente de
1
es
precisamente el operador T, as que T es continuo, como queramos demostrar.
Ha quedado claro que el Teorema anterior es una consecuencia casi inmediata del Teorema
de los Isomorsmos de Banach, pero recprocamente, admitiendo el Teorema de la Grca
Cerrada, vamos a ver que el de los Isomorsmos de Banach resulta casi evidente. En efecto, si
X e Y son espacios de Banach y T : X Y es un operador lineal biyectivo, observamos la
clara relacin entre las grcas de T y T
1
:
Gr T
1
=(y, T
1
y) : y Y =(Tx, x) : x X.
Vemos que Gr T
1
es la imagen de Gr T por la aplicacin (x, y) (y, x), que es obviamente
un homeomorsmo de X Y sobre Y X. Por tanto, T
1
tiene grca cerrada si, y slo si, la
tiene T. Por el Teorema de la Grca Cerrada, T
1
es continuo si, y slo si, lo es T.
La linealidad de un operador hace especialmente fcil discutir si su grca es cerrada o
no. Supongamos que X e Y son espacios normados cualesquiera y T : X Y un operador
lineal. Recordemos T tiene grca cerrada cuando verica lo siguiente: si x
n
x en X y
Tx
n
y en Y, entonces y = Tx. La hiptesis x
n
x equivale a x
n
x 0, mientras
que Tx
n
y equivale a T(x
n
x) y Tx; nalmente, la tesis y = Tx es lo mismo que
decir y Tx = 0. Por tanto, un evidente cambio de notacin nos permite concluir que T tiene
grca cerrada si, y slo si, verica la siguiente condicin ms sencilla: siempre que se tenga
x
n
0 en X y Tx
n
y en Y, se ha de tener y = 0.
9. Teoremas de la aplicacin abierta y de la grca cerrada 99
9.9. Subespacios complementados
Los resultados de este tema nos dan un criterio muy directo para decidir si una descom-
posicin de un espacio de Banach como suma directa de dos subespacios es o no una suma
topolgico-directa.
Recordemos esta nocin, aprovechando para jar la notacin. Sea X un EVT descompuesto
como suma directa algebraica de dos subespacios, X = Y Z. Tenemos una biyeccin lineal
: Y Z X dada por (y, z) = y +z para todo (y, z) Y Z, que sabemos es continua
cuando consideramos en Y Z la topologa producto. Tambin tenemos la proyeccin lineal P
en X determinada por las condiciones Y = P(X) y Z = ker P, que est relacionada con por
la igualdad
1
(x) = (Px, x Px), vlida para todo x X. Finalmente tenemos otra biyeccin
lineal : Z X/Y, denida por (z) =z+Y para todo z Z, que tambin es continua, por ser
la restriccin a Z de la aplicacin cociente, y que tambin est relacionada con P por el hecho
de ser
1
(x +Y) = x Px para todo x X. Recordamos que la suma es topolgico-directa
cuando
1
es continua, equivalentemente cuando P es continua, lo que a su vez equivale a que
Id
X
P sea continua o a que
1
sea continua. Cuando X es un EVT separado, para que todo
esto ocurra es claramente necesario que Y y Z sean subespacios cerrados de X, simplemente
porque 0 es cerrado en X, luego Y = (Id
X
P)
1
(0) y Z = P
1
(0) son cerrados, por
ser las imgenes inversas de un cerrado por sendas funciones continuas.
Pues bien, vamos a ver que en el caso de que X sea un espacio de Banach, esa condicin
evidentemente necesaria tambin es suciente:
Corolario. Sea X un espacio de Banach que se descompone como suma directa algebraica
de dos subespacios: X =Y Z. Entonces X es suma topolgico-directa de Y con Z si, y slo
si, Y y Z son cerrados en X.
Una implicacin ha quedado clara, incluso en un ambiente ms general. Para probar la
implicacin recproca, supongamos que Y y Z son subespacios cerrados en X, con lo que
tambin son espacios de Banach. Podemos razonar de varias formas:
Por una parte, como ya hemos usado anteriormente, Y Z es un espacio de Banach con
una norma que genera la topologa producto. Entonces : Y Z X es una biyeccin lineal
continua entre dos espacios de Banach y el Teorema de los Isomorsmos de Banach nos asegura
que
1
es continua, luego la suma es topolgico-directa.
Alternativamente, podemos pensar que X/Y es un espacio de Banach, como cociente de
un espacio de Banach por un subespacio cerrado, luego : Z X/Y es una biyeccin lineal
continua entre dos espacios de Banach y de nuevo el Teorema de los Isomorsmos de Banach
nos dice que
1
es continua, luego la suma es topolgico-directa.
Finalmente podemos aplicar el Teorema de la Grca Cerrada a la proyeccin P : X X,
y bastar ver que P tiene grca cerrada. Tomada una sucesin x
n
en X tal que x
n
0 y
Px
n
x X bastar ver que x = 0. Por ser Y cerrado y Px
n
Y para todo n N, tenemos
por una parte que x Y. Por otra, como Px
n
x
n
Z para todo n N y Px
n
x
n
x, de
ser Z cerrado deducimos que x Z, as que x Y Z =0, y x = 0 como queramos.
A la vista del Corolario anterior, un subespacio Y est complementado en un espacio de
Banach X si, y slo si, Y es cerrado y admite un complemento algebraico que tambin es
9. Teoremas de la aplicacin abierta y de la grca cerrada 100
cerrado en X. Cuando Y es cerrado en X pero no est complementado, lo que ocurre es que
ninguno de los complementos algebraicos de Y en X es cerrado.
9.10. Aplicaciones del Teorema de la Grca Cerrada
Concluimos este tema con algunos ejemplos que ponen de maniesto la utilidad del Teorema
de la Grca Cerrada para probar la continuidad de un operador lineal entre espacios de Banach.
Como ejemplo que sirve de motivacin, sea C(K) el espacio de Banach de todas las fun-
ciones continuas en un espacio topolgico compacto de Hausdorff K, con la norma del mximo,
sea X un espacio de Banach arbitrario y T : X C(K) un operador lineal. Probar directamente
que T es continuo (en cero) nos lleva a considerar una sucesin x
n
convergente a cero en X
e intentar probar que Tx
n
converge a cero en C(K), es decir, la sucesin de funciones Tx
n

debe converger uniformemente a cero en K. Supongamos, por ejemplo, que de la hiptesis

x
n
0 en X slo hemos conseguido deducir que la sucesin de funciones Tx
n
converge
puntualmente a cero en K. Esto es suciente para concluir que T tiene grca cerrada, y el
Teorema de la Grca Cerrada se encarga de asegurarnos la continuidad de T. En efecto, para
comprobar que T tiene grca cerrada, tomamos igualmente x
n
0 en X, pero podemos
suponer de entrada que Tx
n
converge en C(K), es decir, converge uniformemente en K, a
una cierta funcin f C(K), y slo nos queda probar que f = 0. Ahora bien, sabemos que
Tx
n
converge puntualmente a cero en K y por otra parte tambin converge uniformemente
(luego puntualmente) en K a la funcin f , con lo que no queda ms salida que f = 0, como
queramos. El siguiente enunciado explica y generaliza, como se ver, lo que ocurre en este
ejemplo.
Corolario. Sean X e Y espacios de Banach y E un subconjunto de Y

que separe los

puntos de Y, esto es, que verique
y Y , y

(y) = 0 y

E y = 0.
Entonces un operador lineal T : X Y es continuo si, y slo si, y

T es continuo para todo

y

E, es decir, y

T X

para todo y

E.
Demostracin. Si T es continuo, es obvio que y

T X

para todo y

E. Para probar
el recproco, siendo X e Y espacios de Banach, el Teorema de la Grca Cerrada nos dice
que basta comprobar que T tiene grca cerrada. Tomamos por tanto una sucesin x
n
con-
vergente a cero en X, suponemos que Tx
n
y Y, y hemos de ver que y = 0. En efecto,
para cada y

E, aplicando que y

T es continuo por hiptesis, tenemos que y

(Tx
n
) 0,
pero aplicando que y

es continuo tambin tenemos que y

(Tx
n
) y

(y), luego y

(y) = 0.
Aplicando que E separa los puntos de Y, deducimos que y = 0, como queramos.
El Teorema de Hahn-Banach nos asegura que Y

separa los puntos de Y, as que siempre

podemos tomar E = Y

en el Corolario anterior. Obtenemos que los duales X

e Y

son ca-
paces de caracterizar la continuidad de un operador lineal T : X Y entre espacios de Banach:
Sean X e Y espacios de Banach y T : X Y un operador lineal. Entonces T es continuo
si, y slo si, y

T X

para todo y

.
9. Teoremas de la aplicacin abierta y de la grca cerrada 101
Sin embargo, es claro que el ltimo Corolario es tanto ms til cuanto ms pequeo sea
el conjunto E que usemos. A plena generalidad, sin ms informacin sobre el espacio de Ba-
nach Y, la eleccin E =Y

es probablemente la nica disponible, pero en casos concretos es

frecuente que podamos utilizar conjuntos de funcionales mucho ms pequeos.
Esto es lo que ocurra en el caso Y =C(K) que hemos usado como motivacin. Para cada
t K jo, consideremos el funcional de evaluacin en el punto t, es decir, el funcional lineal

t
: C(K) K denido por
t
( f ) = f (t) para toda f C(K). Es claro que
t
C(K)

con
|
t
| = 1, y tomando E =
t
: t K, es evidente que E separa los puntos de C(K). Si X es
un espacio de Banach y T : X C(K) un operador lineal, decir que
t
T es continuo para
todo t K es lo mismo que decir que, para cada sucesin x
n
convergente a cero en X, la
sucesin de funciones Tx
n
converge puntualmente a cero en K. El ltimo Corolario nos dice
que entonces T es continuo, como habamos probado previamente.
Otros ejemplos muy interesantes se presentan cuando el espacio de Banach Y es un espacio
de sucesiones con una norma apropiada. Ms concretamente, un BK-espacio es un espacio
vectorial Y K
N
(es decir, un espacio vectorial Y formado por sucesiones de escalares) dotado
de una norma completa con la propiedad de que, para cada n N, el funcional lineal f
n
, denido
en Y por f
n
(y) = y(n) para todo y Y, es continuo.
Todos los espacios de sucesiones que venimos manejando son ejemplos de BK-espacios:
l
p
(1 p ), c
0
y c son BK-espacios. De hecho, si Y es cualquiera de estos espacios de
Banach, es claro que f
n
Y

y |f
n
| =1 para todo n N. Es claro adems que todo subespacio
cerrado de un BK-espacio es a su vez un BK-espacio, y conviene recordar que todo espacio de
Banach separable es isomtricamente isomorfo a un subespacio cerrado de l

as que todo
espacio de Banach separable es isomtricamente isomorfo a un BK-espacio. El recproco no es
cierto, ya que el propio l

es un BK-espacio no separable.
Para cualquier BK-espacio Y, es claro que el conjunto E = f
n
: n N Y

separa los
puntos de Y, con lo que el ltimo corolario nos permite deducir lo siguiente:
Corolario. Sea X un espacio de Banach, Y un BK-espacio y T : X Y un operador
lineal. Entonces T es continuo si, y slo si, para cada n N, el funcional lineal en X dado por
x [Tx](n) es continuo.
El Corolario anterior nos da un criterio muy til para estudiar la continuidad de operadores
lineales con valores en un BK-espacio. Cuando el espacio de partida tambin es un BK-espacio
podemos incluso obtener de forma automtica la continuidad de cualquier operador que venga
denido por una matriz, como vamos a explicar a continuacin.
En el estudio de los mtodos de sumabilidad considerbamos una matriz doblemente innita
A = a
nk
: n, k N y, dada una sucesin de escalares x K
N
, multiplicbamos formalmente
la matriz A por el vector columna innito x. Ms concretamente, denamos el dominio D(A)
de la matriz A como el subespacio de K
N
formado por las sucesiones x K
N
tales que la serie

k1
a
nk
x(k) converge para todo n N, lo que nos permita denir
[Ax](n) =

k=1
a
nk
x(k) (n N, x D(A)),
obteniendo un operador lineal x Ax, de D(A) en K
N
, que seguamos denotando por A.
9. Teoremas de la aplicacin abierta y de la grca cerrada 102
Pues bien, supongamos ahora que X e Y son BK-espacios, en particular son subespacios
de K
N
, y supongamos que la matriz A transforma las sucesiones de X en sucesiones de Y ,
es decir, X D(A) y Ax Y para todo x X. Entonces podemos ver A como un operador
lineal de X en Y, o con ms propiedad, considerar la restriccin del operador A al subespa-
cio X. Por ejemplo, cuando la matriz A era conservativa, tenamos c D(A) y Ac c, con
lo que podamos ver A como un operador lineal del espacio de Banach c en s mismo, y el
Teorema de Banach-Steinhaus nos permiti comprobar que este operador era continuo. Pues
bien, sumando el Teorema de Banach-Steinhaus con el de la Grca Cerrada, veremos que esta
misma continuidad sigue siendo cierta para dos BK-espacios cualesquiera:
Corolario. Sean X e Y dos BK-espacios y T : X Y el operador lineal denido por una
matriz innita A = a
nk
: n, k N, es decir, X D(A) y Tx = Ax para todo x X. Entonces
T es continuo: T L(X,Y).
Demostracin. Aplicando el ltimo corolario (aqu es donde se involucra el Teorema de
la Grca Cerrada), por ser Y un BK-espacio, basta probar que, jado un n N, el funcional
lineal
n
denido por:

n
(x) = [Tx](n) = [Ax](n) =

k=1
a
nk
x(k) (x X),
es continuo. De esto se encargar el Teorema de Banach-Steinhaus, o ms concretamente el
Teorema de Cierre de Steinhaus. En efecto, por ser X un BK-espacio, sabemos que, para cada
k N, el funcional x x(k) es continuo en X luego, jado un N N, tambin es continuo el
funcional lineal f
(N)
n
denido por
f
(N)
n
(x) =
N

k=1
a
nk
x(k) (x X).
Pero es evidente que
n
(x) = lm
N
f
(N)
n
(x) para todo x X, luego
n
es continuo por ser un
lmite puntual de funcionales lineales continuos en el espacio de Banach X.
Difcilmente encontraremos alguna vez un operador lineal entre dos BK-espacios que no
est denido mediante una matriz en la forma que hemos explicado. En la prctica, y de forma
muy coloquial, se puede entender que el Corolario anterior nos dice que, siempre que hayamos
conseguido denir explcitamente un operador lineal entre dos BK-espacios, ese operador es
continuo. Por supuesto, si X es un BK-espacio de dimensin innita e Y es un BK-espacio
cualquiera, existen operadores lineales de X en Y que no son continuos, pero no es posible
denirlos explcitamente, es decir, la prueba de que existen no puede ser constructiva, debe
involucrar de una u otra forma el Lema de Zorn.