PROPOSICIN 1.8 Sea X un espacio vectorial de dimensin finita.

Entonces dos normas cualquieras en X son equivalentes.

DEMOSTRACIN. Suponemos X= Kn y consideramos en la norma 1

otra norma cualquiera

Si

n
i 1

( e ) 1

es la base cannica de Kn, se

tiene

||x||= x i ei xi| ei

()

Esto nos da una de las desigualdades buscadas y nos dice que

Id : ( X,

( X,

es continua, de donde
Puesto que S( X,
delante), la funcin

1)

es una funcin continua sobre ( X,

).

es un compacto (probamos este hecho ms

, que es estrictamente positiva en S( X,

alcanza su mnimo ah al que llamamos

y se tiene

1)

> 0. Por tanto

que era la otra desigualdad buscada.

Slo resta por tanto comprobar que efectivamente S( X,

1)

es una

compacto. Consideremos la sucesin _ donde para todo_

_
1. ESPACIOS NORMADOS. ESPACIOS DE BANACH
Se tiene que _ y por lo tanto para todo_ la sucesin_ est acotada.
Podemos entonces, tomando subsucesiones repetidas veces, extraer
una sucesin de ndices_ de manera que para todo_ la sucecin_
converge_ . Entonces
_
y por lo tanto, llamando _ , se tiene que
_
Adems puesto que _ para todo _, se tiene que _ , de donde se concluye
que efectivamente _ es compacto.

TEOREMA 1.11 Sea _ un espacio normado. Entonces son equivalentes:

1. Todo conjunto cerrado y acotado de X es compacto.
2. Bx es compacto
3. X tiene dimensin finita.
DEMOSTRACIN. Claramente (1) implica (2). Para ver que (2) implica (3),
supongamos que X es una dimensin infinita. Usando el Lema de Riesz e
induccin construimos una sucesin _ tal que _ para todo _ .Entonces,
para todo _ , por lo que la sucecin _ no puede tener subsucesiones
convergentes.
Veamos finalmente que (3) implica (1). Supongamos que _ un conjunto
cerrado y acotado y sea _ .Sea _ una base de X y para todo _ . Usando
que _ y que est acotado es fcil ver que para todo _ la sucesin _ est
acotada. As, existe una subsucesin _ tal que para todo _ la sucesin_
tiende a _ cuando _ tiene a infinito. Entonces _ tiende a _ (esto se puede
ver estableciendo un isomorfismo entre _ que lleve los _ los elementos
de la base cannica). Por ser E cerrado, se tiene que _ y con eso
acabamos.
Continuamos el captulo dando una caracterizacin a menudo til de los
espacios de Banach en trminos de la convergencia de series. En [16,
Chapter 1. Notes and Remarks] aparece una gran cantidad de
informacin acerca de resultados profundos aunque elementales en su
formulacin relacionados con la sumabilidad en espacios normados,
incluso en espacios finito-dimensinales.
Dado un espacio normado y una sucesin _ podemos definir la serie _
como
_
al igual que hacamos con las series numricas si ese lmite existe y vale
x, decimos que la serie es convergente. Decimos que la serie _ es
absolutamente convergente si la serie numrica _ convergente. Parece
obvio que la convergencia absoluta debera implicar.