Escolar Documentos
Profissional Documentos
Cultura Documentos
y l
2
2
son topolgicamente isomorfos, pero se
puede probar sin dicultad que no existe un isomorsmo isomtrico entre ellos. Basta observar
que la esfera unidad de l
2
k=1
x(k)y
k
Observamos que T = T
1
+T
2
+. . . +T
N
donde, para cada k 1, 2, . . . , N, el operador lineal
T
k
: K
N
Y viene dado por T
k
x = x(k)y
k
para todo x K
N
. Bastar pues comprobar que cada
operador T
k
es continuo, pero esto es fcil, ya que T
k
se obtiene componiendo la proyeccin
x x(k) de K
N
en K, que es continua porque en K
N
tenemos la topologa producto, y la
aplicacin y
k
de K en Y, que es continua como hemos visto en el caso N = 1.
El siguiente resultado, clave en lo que sigue, fue obtenido por F. Hausdorff en 1932:
[2] Fijado N N, todas las normas en K
N
son equivalentes.
Para probar este hecho bastar ver que cualquier norma | | en K
N
es equivalente a una
dada, pongamos por ejemplo la norma eucldea | |
2
. Puesto que sta ltima genera la topologa
producto en K
N
, el lema anterior nos asegura que la identidad en K
N
, vista como una aplicacin
de K
N
con la norma | |
2
en K
N
con la norma | |, es un operador lineal continuo. Por tanto,
existir una constante > 0 tal que |x| |x|
2
para todo x K
N
y tenemos hecha la mitad
del trabajo.
Para la otra mitad, consideramos la esfera unidad eucldea: S = x K
N
: |x|
2
= 1. El
Teorema de Heine-Borel-Lebesgue nos asegura que S es un subconjunto compacto de K
N
con la
topologa usual, que es la asociada a la norma | |
2
. Pero entonces, la continuidad de la funcin
identidad antes comentada nos dice que S tambin es un subconjunto compacto de K
N
con la
topologa asociada a la norma | |, como imagen de un compacto por una funcin continua.
Puesto que cualquier norma es una funcin continua para la topologa que genera, deducimos
que la norma | | alcanza su mnimo en el conjunto compacto S. Poniendo =mn|x| : x S
es claro que >0 y que |x|
2
|x| para todo x K
N
. En resumen, existen constantes , >0
tales que
|x|
2
|x| |x|
2
x K
N
lo que concluye la demostracin.
4. Espacios normados de dimensin nita 28
Pasamos ahora a generalizar formalmente el resultado anterior para liberarnos del sistema
de coordenadas que inevitablemente tenemos presente en K
N
. En un primer paso tenemos:
[3] Si Y es un espacio normado de dimensin N y consideramos en K
N
la topologa usual,
toda biyeccin lineal T : K
N
Y es un isomorsmo topolgico
En efecto, deniendo |x| = |Tx| para todo x K
N
, es claro que obtenemos una norma en
K
N
que, por lo que ya sabemos, ser equivalente a la norma eucldea | |
2
. Por tanto existirn
constantes positivas y tales que
|x|
2
|Tx| |x|
2
x K
N
La segunda desigualdad nos dice directamente que T es continuo. Pero dado y Y, tomando
en la primera desigualdad x = T
1
(y) obtenemos |T
1
(y)|
2
1
|y|, que nos asegura la
continuidad de T
1
. Siguiendo en la misma lnea de generalizacin formal, podemos ya probar
lo siguiente:
[4] Si X e Y son espacios normados de dimensin nita, toda biyeccin lineal T : X Y es
un isomorsmo topolgico
En efecto, si X tiene dimensin N, existe una biyeccin lineal de K
N
sobre X, con lo que
=T es una biyeccin lineal de K
N
sobre Y. Poniendo en K
N
la topologa usual, deducimos
de [3] que tanto como son isomorsmos topolgicos, luego tambin lo es T =
1
.
Por supuesto, el ltimo enunciado nos asegura que dos espacios normados de la misma
dimensin nita son topolgicamente isomorfos, pero nos dice ms: no slo existe un isomor-
smo topolgico entre los dos espacios, sino que cualquier biyeccin lineal entre ellos es un
isomorsmo topolgico. Esto es lo nos permite decir que en un espacio vectorial de dimensin
nita hay una topologa de la norma que est determinada de manera nica, independientemente
de cualquier sistema de referencia. Pasamos ya a establecer la versin denitiva del Teorema de
Hausdorff:
Teorema. Todo operador lineal denido en un espacio normado de dimensin nita, con
valores en cualquier otro espacio normado, es continuo.
Demostracin. Sea X un espacio normado de dimensin nita N, Y un espacio normado
arbitrario y S : X Y un operador lineal. Pongamos en K
N
la topologa usual y sea : K
N
X
cualquier biyeccin lineal. Aplicando [1] sabemos que el operador T = S : K
N
Y es
continuo. Por otra parte, de [3] deducimos que es un isomorsmo topolgico, con lo cual,
S = T
1
es continuo, como queramos demostrar.
Obsrvese que el teorema anterior incluye las cuatro armaciones que habamos probado
previamente. Para deducir la armacin [4] basta pensar que si T es una biyeccin lineal entre
dos espacios normados de dimensin nita, el teorema anterior nos asegura que T y T
1
son
continuas. Las armaciones [3] y [2] son casos particulares de [4], mientras que la armacin
[1] est obviamente incluida en el Teorema anterior.
4. Espacios normados de dimensin nita 29
En Anlisis Funcional, los espacios de dimensin nita suelen aparecer como subespacios
de espacios de dimensin innita. En esa situacin, los razonamientos anteriores nos darn en-
seguida informacin relevante. Resaltemos para ello un hecho ya comentado: los isomorsmos
topolgicos entre espacios normados conservan la complitud, es decir, un espacio normado que
sea topolgicamente isomorfo a un espacio de Banach es tambin completo. Como la norma
eucldea en K
N
es completa, deducimos que todo espacio normado de dimensin nita es un
espacio de Banach. Por tanto,
Corolario. Todo subespacio de dimensin nita de un espacio normado es cerrado.
Baste un sencillo ejemplo para poner de maniesto la utilidad del corolario anterior. Dicho
de una manera sugerente, los polinomios de grado menor o igual que un nmero natural N jo,
forman un subespacio cerrado de cualquier espacio normado que los contenga, pongamos por
caso, L
p
[0, 1] con 1 p . Tomando N =1, p =2 y K=R, obtenemos el siguiente resultado
nada evidente: si f : [0, 1] R es una funcin medible y existen dos sucesiones de nmeros
reales, a
n
y b
n
, tales que
lm
n
1
0
[ f (t) a
n
b
n
t[
2
dt = 0,
entonces existen a, b R tales que f (t) = a+bt para casi todo t [0, 1].
Para obtener nuevas consecuencias interesantes del Teorema de Hausdorff, necesitamos las
nociones de producto y cociente de espacios normados que estudiamos a continuacin.
4.2. Producto de espacios normados
Sean X e Y dos espacios normados y consideremos el espacio vectorial producto X Y. Es
fcil adivinar cmo podemos denir en X Y toda una gama de normas. Para (x, y) X Y
escribimos
|(x, y)|
p
= (|x|
p
+|y|
p
)
1/p
(1 p <); |(x, y)|
= m ax|x|, |y|.
Se comprueba sin ninguna dicultad que, para 1 p , | |
p
es una norma en X Y. Las
desigualdades
|(x, y)|
|(x, y)|
p
|(x, y)|
1
2|(x, y)|
(x, y) X Y
nos hacen ver que todas las normas recin denidas son equivalentes, todas generan la topologa
producto en X Y. Es costumbre llamar espacio normado producto de X por Y al espacio
vectorial X Y, dotado de cualquier norma que genere la topologa producto, por ejemplo,
cualquiera de las normas | |
p
con 1 p . Obsrvese que este espacio normado slo es nico
salvo isomorsmos topolgicos. Para estudiar propiedades que se conserven por isomorsmos
topolgicos esa ambigedad no causa ningn problema. Tal cosa ocurre por ejemplo con la
complitud y la siguiente caracterizacin se comprueba de forma rutinaria:
El espacio normado producto X Y es completo si, y slo si, X e Y son completos.
Resaltemos que X e Y pueden verse como subespacios cerrados de X Y, sin ms que
identicarlos respectivamente con X 0 y 0Y, lo cual explica que la complitud de X Y
implique la de X e Y.
4. Espacios normados de dimensin nita 30
4.3. Cociente de espacios normados
Para motivar la denicin de la norma adecuada en el cociente de un espacio normado
por un subespacio, podemos pensar que en un producto X Y de espacios vectoriales, cada
factor se identica de forma natural con el cociente por el otro. Ms concretamente, si notamos
Y.
La ltima expresin tiene sentido para cualquier cociente, salvo que el mnimo puede no alcan-
zarse, pero siempre tendremos el nmo. Esto explica la prxima denicin.
Sea X un espacio normado cualquiera y M un subespacio de X. Por razones que se vern
enseguida debemos suponer que M es cerrado en X. Consideramos el espacio vectorial cociente
X/M y para cada clase de equivalencia x +M X/M denimos
|x +M| = nf |x +m| : m M = nf |x m| : m M = d(x, M).
Se comprueba sin ninguna dicultad que de esta forma obtenemos una norma en X/M a la que
llamamos norma cociente. Resaltamos que de la condicin |x +M| = d(x, M) = 0 se deduce
que x M = M y por tanto x +M = 0, pero este razonamiento exige que M sea cerrado en X.
De no ser as, habramos obtenido una seminorma en X/M, pero no una norma.
Para familiarizarse con la topologa asociada a la norma cociente, que obviamente podemos
llamar topologa cociente, conviene usar la aplicacin cociente
: X X/M; (x) = x +M x X
que sabemos es lineal y sobreyectiva. De la denicin de la norma cociente deducimos que
|(x)| |x| x X,
luego es un operador lineal continuo con || 1. De hecho, considerando la bola abierta
unidad U = x X : |x| < 1 es inmediato que (U) es la bola abierta unidad en X/M. Esto
implica que || = 1 (salvo en el caso trivial M = X) pero, lo que es ms importante, tam-
bin implica que es un aplicacin abierta. En efecto, si G es un subconjunto abierto de X
y tomamos v (G), existir un x G tal que v = (x) y un r > 0 tal que x +rU G, pero
entonces (G) contiene a (x +rU) = v +r(U), que es la bola abierta en X/M de centro v y
radio r, lo que prueba que (G) es abierto, como queramos.
Sabiendo que es continua y abierta tenemos una til caracterizacin de la topologa co-
ciente: un conjunto V X/M es abierto si, y slo si,
1
(V) es abierto en X. Deducimos
que un conjunto E X/M es cerrado si, y slo si,
1
(E) es cerrado en X, pero no debe-
mos pensar que es una aplicacin cerrada. Por ejemplo, tomando X = R
2
, M = R0 y
C =(x, y) R
2
: xy = 1, es claro que C es cerrado en X, pero (C) no es cerrado en X/M.
4. Espacios normados de dimensin nita 31
Podemos ahora obtener un criterio de continuidad para aplicaciones denidas en el espacio
cociente. Sea Y un espacio topolgico arbitrario, F : X/M Y cualquier funcin y considere-
mos la composicin F : X Y. Vamos a comprobar que F es continua si, y slo si, lo es F.
La continuidad de F implica la de F , simplemente porque es continua. Recprocamente, si
F es continua, dado un conjunto abierto W Y tenemos que (F )
1
(W) =
1
(F
1
(W))
es abierto en X, luego F
1
(W) es abierto en X/M y hemos probado que F es continua.
Ntese que, para la caracterizacin recin probada, Y no tiene por qu ser un espacio vec-
torial y, aunque lo fuese, F no tiene por qu ser lineal. No obstante el caso ms interesante se
presenta cuando X e Y son espacios normados, T L(X,Y) es un operador lineal continuo y
tomamos M = ker T, que es un subespacio cerrado de X, para hacer la factorizacin cannica
del operador T. Sabemos que existe un nico operador lineal
T : X/ker T Y tal que T =
T
y la caracterizacin probada nos dice que
T es continuo por serlo T.
Discutimos nalmente la complitud de un cociente. Supongamos que X es un espacio de
Banach y M un subespacio cerrado de X. Usando la caracterizacin de la complitud en trminos
de series, probaremos que X/M es un espacio de Banach.
Sea pues
n1
v
n
una serie absolutamente convergente en X/M y, para cada n N, usemos la
denicin de la norma cociente para encontrar x
n
X tal que
v
n
= x
n
+M; |x
n
| |v
n
|+
1
2
n
Se tiene entonces
n=1
|x
n
|
n=1
|v
n
|+
n=1
1
2
n
<
luego la serie
n1
x
n
es absolutamente convergente y, por la complitud de X, convergente. Usan-
do que la aplicacin cociente es un operador lineal continuo, deducimos que
n=1
x
n
n=1
(x
n
) =
n=1
v
n
es decir, la serie
n1
v
n
converge, como queramos demostrar.
En la direccin recproca, es un buen ejercicio comprobar que la complitud de X/M implica
la de X, siempre que M sea completo. En resumen, con respecto a la complitud de un cociente
de espacios normados se verica lo siguiente:
Sea X un espacio normado, M un subespacio cerrado de X y consideremos el espacio
normado cociente X/M. Entonces X es completo si, y slo si, M y X/M son completos.
4.4. Sumas topolgico-directas
Estrechamente ligada a las nociones de producto y cociente de espacios vectoriales est
la descomposicin de un espacio vectorial como suma directa de dos subespacios. Vamos a
recordar dicha descomposicin para luego analizarla en el ambiente de los espacios normados.
4. Espacios normados de dimensin nita 32
Dado un subespacio Y de un espacio vectorial X, siempre existe otro subespacio Z de X tal
que X =Y +Z con Y Z =0. En efecto, dada una base A del subespacio Y, A es un conjunto
de vectores linealmente independientes en X, que estar contenido en una base B, con lo que
basta tomar Z =Lin(BA). Decimos que X es suma directa de Y con Z, escribimos X =Y Z
y decimos tambin que Z es un complemento algebraico de Y en X. Obviamente, la relacin
es simtrica, Y es un complemento algebraico de Z en X.
La suma directa es la forma correcta de descomponer un espacio vectorial: recuperamos
la estructura de X a partir de las inducidas en sus dos subespacios, ya que X resulta ser isomorfo
al espacio vectorial producto Y Z. Ms concretamente, deniendo
: Y Z X ; (y, z) = y +z (y Y, z Z) (1)
tenemos una biyeccin lineal de Y Z sobre X. Las expresiones X = Y Z y X = Y Z son
en esencia equivalentes, la primera enfatiza una construccin, mientras la segunda resalta una
descomposicin.
La inversa de la biyeccin lineal denida en (1) nos lleva a considerar las proyecciones
lineales en X asociadas a la suma directa. Recordemos que una proyeccin lineal en un espacio
vectorial X es un operador lineal P : X X que verica PP = P. Pues bien, puesto que
1
toma valores en el producto Y Z tendr dos componentes a las que, vistas como aplicaciones
de X en s mismo, vamos a denotar por P y Q. As pues, escribimos
1
(x) = (Px, Qx) (x X) (2)
y es claro que obtenemos as dos proyecciones lineales en X, cada una de las cuales deter-
mina a la otra, ya que P +Q = I donde I es la aplicacin identidad en X. Resumiendo, la
descomposicin X = Y Z determina una proyeccin lineal P en X, la nica que verica
Y = P(X) y Z = ker P. Recprocamente, si P es cualquier proyeccin lineal en X, es claro
que X = P(X) ker P.
La misma forma en que hemos visto que un subespacio Y siempre admite un complemento
algebraico Z, muestra que Z est lejos de ser nico (salvo los casos triviales Y = X, Y = 0).
Sin embargo, consideremos la aplicacin cociente de X sobre X/Y o, ms concretamente, su
restriccin a un complemento algebraico Z:
: Z X/Y ; (z) = z +Y (z Z). (3)
Se comprueba inmediatamente que es una biyeccin lineal. De hecho
1
(x +Y) = x Px x X. (4)
As pues, todos los complementos algebraicos de Y en X son isomorfos al espacio vectorial
cociente X/Y, que se convierte en una especie de complemento cannico, pues no usamos
ninguna base algebraica en X o en Y para construir X/Y; cualquier descomposicin de X como
suma directa algebraica de Y con otro subespacio nos lleva simplemente a observar que X es
isomorfo a Y X/Y.
4. Espacios normados de dimensin nita 33
Pues bien, ya est todo preparado para trabajar con estas nociones en espacios normados
y veremos que la situacin se complica (o se enriquece, segn se mire). Sea X un espacio
normado, descompuesto como suma directa de dos subespacios: X = Y Z. Queremos saber
cundo podemos decir que tenemos una descomposicin correcta de X como espacio normado
y no slo como espacio vectorial.
Es evidente que en general no vamos a saber recuperar la norma de X a partir de las de Y
y Z, simplemente porque en el producto Y Z disponemos de muchas posibilidades distintas
para denir una norma. Pensemos por ejemplo lo que ocurre cuando X = R
2
, Y = R0,
Z = 0 R, todas las normas | |
p
en R
2
, con 1 p , coinciden obviamente tanto en Y
como en Z, sin coincidir en X.
Pero volviendo al caso general, lo que s podemos esperar es que a partir de Y y Z podamos
al menos recuperar la topologa de X, es decir, que al identicar X con el espacio vectorial
Y Z la topologa de X se convierta en la topologa producto. Puesto que dicha identicacin
se hace mediante la biyeccin lineal denida en (1), lo que nos preguntamos es si es un
isomorsmo topolgico del espacio normado producto Y Z sobre X.
La cosa no empieza mal, porque es continua, por ser la restriccin a Y Z de la operacin
suma, que sabemos es continua en X X. Para la continuidad de
1
la cosa se complica:
1
ser continua cuando lo sean sus dos componentes y, segn (2), la primera componente es la
proyeccin lineal P de X sobre Y, con ncleo Z; la segunda componente es Q = I P donde I
denota la identidad en X. Evidentemente, P ser continua si, y slo si, lo es I P, pero en general
no est nada claro que estas proyecciones tengan que ser continuas. Por ejemplo, para que P
sea continua es claramente necesario que Z =ker P sea cerrado, y anlogamente Y =ker (I P)
deber ser cerrado, pero en principio no habamos supuesto que Y y Z fuesen cerrados.
Continuemos pues nuestra discusin, suponiendo a partir de ahora que Y y Z son subespa-
cios cerrados de X. Sabemos que, como espacio vectorial, Z se identica con el cociente X/Y
mediante la biyeccin lineal denida en (3). Considerando en X/Y la norma cociente, es
lgico pedir que sea al menos isomorsmo topolgico, de forma que Z sea topolgicamente
isomorfo a X/Y. De nuevo es claro que es continua, por ser la restriccin a Z de la aplicacin
cociente : X X/Y que es continua. Aplicando el criterio de continuidad para aplicaciones
denidas en el espacio normado cociente,
1
ser continua cuando lo sea
1
, y en vista
de (4) tenemos que
1
= I P. Por tanto, de nuevo nos encontramos con que es un
isomorsmo topolgico si, y slo si, las proyecciones P e I P son continuas.
Podemos ya recapitular toda la discusin anterior: Sea X un espacio normado, descompuesto
como suma directa de dos subespacios cerrados: X =Y Z. Las siguientes armaciones son
equivalentes:
La biyeccin lineal , denida en (1), es un isomorsmo topolgico del espacio normado
producto Y Z sobre X.
La proyeccin lineal P : X X que verica Y = P(X) y Z = ker P es continua
La biyeccin lineal , denida en (3), es un isomorsmo de Z sobre el espacio normado
cociente X/Y.
4. Espacios normados de dimensin nita 34
Cuando se verica una cualquiera de la condiciones anteriores (y por tanto todas), decimos
que el espacio normado X es suma topolgico-directa de Y con Z. Decimos tambin que
Z es un complemento topolgico de Y en X. Obviamente tambin Y ser un complemento
topolgico de Z en X.
La discusin anterior pone de maniesto que descomponer un espacio normado como suma
directa de dos subespacios slo tiene utilidad cuando la suma es topolgico-directa. Por la mis-
ma razn, los complementos algebraicos de un subespacio, que sabemos siempre existen, tienen
poca utilidad si no son complementos topolgicos, pero no est claro que siempre existan com-
plementos topolgicos. Decimos que un subespacio cerrado Y de un espacio normado X est
complementado en X cuando existe un complemento topolgico de Y en X, o equivalente-
mente, cuando existe una proyeccin lineal continua P en X tal que P(X) =Y.
Ms adelante aparecern en abundancia ejemplos de sumas topolgico-directas y, por tanto,
de subespacios complementados. Para citar un ejemplo concreto de subespacio no complemen-
tado, no es demasiado difcil probar, pero tampoco es nada fcil, que c
0
no est complementado
en l
k=1
k
u
k
donde el nmero natural N, los escalares
1
,
2
, . . . ,
N
y los vectores
de la base u
1
, u
2
, . . . , u
N
, dependen de x, pero estn determinados en forma nica. Si denimos:
|x|
1
=
N
k=1
[
k
[ ; |x|
= m ax[
k
[ : k = 1, 2, . . . , N,
y hacemos todo esto para cada x X, obtenemos dos normas en X. Es claro que | |
| |
1
,
pero mirando solamente a los vectores de la base, la suma de n de ellos tiene norma 1 segn
4. Espacios normados de dimensin nita 36
| |
y norma n segn | |
1
, luego una desigualdad del tipo | |
1
M| |
, para alguna
constante M > 0, implicara que el nmero de elementos de la base E no puede exceder de M,
contra la hiptesis de que X tiene dimensin innita. As pues, las dos normas denidas no son
equivalentes, las topologas que generan son comparables pero distintas.
Respecto a la continuidad de las aplicaciones lineales que parten de un espacio normado de
dimensin nita tenemos:
(b) En todo espacio normado de dimensin innita existe un funcional lineal discontinuo.
En efecto, dada una base E de un espacio normado de dimensin innita X, como E es
un conjunto innito, contendr un subconjunto innito numerable u
n
: n N. Para denir
un funcional lineal f en X basta decidir los valores de f en E y podemos hacerlo con entera
libertad, as que podemos tomar f (u
n
) = n|u
n
| y, por ejemplo, f (u) = 0 para cualquier u E
que no est en la sucesin u
n
. Es obvio que el nico funcional lineal f que cumple esas
condiciones no est acotado en la esfera unidad de X, luego no es continuo.
Usando el funcional del ejemplo anterior conseguimos otro ejemplo instructivo. En efecto,
jamos un x
0
X tal que f (x
0
) = 1 y denimos T(x) = x 2 f (x)x
0
para todo x X. Es fcil
ver que T es una biyeccin lineal de X sobre s mismo tal que T no es continua y T
1
tampoco.
De hecho T
1
= T y es claro que, si T fuese continua, tambin lo sera f . Esta biyeccin
lineal T tiene clara interpretacin geomtrica: viendo X como suma directa del ncleo de f
con Kx
0
, cuando escribimos un vector x X en la forma x = y +x
0
, con y ker f y K,
tenemos claramente que T(x) = y x
0
, as que T se interpreta como la simetra con respecto
al hiperplano ker f , claro que es difcil imaginarse esta simetra, pues dicho hiperplano es denso
en X. En cualquier caso, hemos comprobado lo siguiente:
(c) En todo espacio normado de dimensin innita existe una biyeccin lineal discontinua.
4.7. El Teorema de Riesz
El segundo resultado fundamental de este tema asegura que, prescindiendo de la estructura
de espacio vectorial, la topologa de un espacio normado es capaz por s sola de decirnos si
el espacio tiene o no dimensin nita. Establece por tanto la equivalencia entre una propiedad
puramente topolgica y una propiedad puramente algebraica.
Es sabido que en cualquier espacio mtrico un subconjunto compacto es cerrado y acotado.
En un espacio normado de dimensin nita, es decir, en K
N
con cualquier norma, el Teorema
de Heine-Borel-Lebesgue nos asegura que el recproco tambin es cierto, todo subconjunto
cerrado y acotado de K
N
es compacto. En particular la bola cerrada unidad de cualquier espacio
normado de dimensin nita es compacta y, por tanto, toda bola cerrada es compacta, luego todo
punto tiene un entorno compacto, es decir, el espacio es localmente compacto. Recprocamente,
si cada punto tiene un entorno compacto es claro que las bolas cerradas sern compactas, de
donde deducimos que cualquier conjunto cerrado y acotado es compacto. Pues bien, cualquiera
de las propiedades comentadas caracteriza a los espacios normados de dimensin nita:
4. Espacios normados de dimensin nita 37
Teorema (F. Riesz, 1918). Para un espacio normado X, la siguientes armaciones son
equivalentes:
(i) Todo subconjunto cerrado y acotado de X es compacto
(ii) La bola cerrada unidad de X es compacta
(iii) X es localmente compacto
(iv) X tiene dimensin nita.
Demostracin. Ya se ha comentado la equivalencia entre las tres primeras armaciones y
que la cuarta implica cualquiera de ellas, luego basta probar, por ejemplo, que (ii) (iv).
Sea pues B la bola cerrada unidad de X, supongamos que B es compacta y sea 0 < < 1.
Las bolas abiertas centradas en puntos de B y con radio forman un recubrimiento de B por
abiertos, del cual se podr extraer un subrecubrimiento nito. Deducimos que existe un conjunto
nito F B tal que B F +B. Llamando M al subespacio engendrado por F, es claro que M
tiene dimensin nita y verica:
B M+ B. ()
La demostracin se concluir probando que X =M. Para ello empezamos por iterar la inclusin
anterior:
B M+B M+(M+B) = M+M+
2
B M+
2
B,
de donde deducimos claramente, por induccin sobre n, que
B M +
n
B,
para todo n N. Dado x B, la inclusin anterior nos dice que d(x, M)
n
para todo n N,
luego d(x, M) = 0 y x est en el cierre de M. As pues, B M, pero M es cerrado en X, por ser
un subespacio de dimensin nita de un EVT separado, luego B M y esto implica claramente
que X = M, como se quera.
Merece la pena resaltar la ltima parte de la demostracin anterior, pues el hecho de que
M tiene dimensin nita slo se ha usado para asegurarnos de que M es cerrado en X. Dicho
de otra forma, si suponemos que un subespacio cerrado M de X verica la inclusin (), de-
ducimos igualmente que M = X. Enunciada por el contra-recproco, esta armacin se conoce
como Lema clsico de Riesz: dado un un espacio normado X, un subespacio cerrado propio M
(M = M ,= X) y 0 < < 1, existe x X tal que |x| = 1 y d(x, M) >. Cuando M tiene dimen-
sin nita, un sencillo argumento de compacidad permite conseguir incluso |x| = 1 = d(x, M).
Esta observacin permite poner de maniesto cun lejos est de ser compacta la bola cerrada
unidad B de un espacio normado de dimensin innita X: existe una sucesin x
n
en B tal
que |x
n
x
m
| 1 para cualesquiera n, m N con n ,= m; cualquier sucesin parcial de x
n
verica la misma condicin, luego est muy lejos de ser convergente. En espacios concretos se
puede encontrar sucesiones cuyos trminos estn an ms separados unos de otros. Por ejem-
plo, la sucesin e
n
de los vectores unidad en l
p
, con 1 p < , verica evidentemente que
|e
n
e
m
|
p
= 2
1/p
para n ,= m; el caso extremo se presenta para p = 1.