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.