Beruflich Dokumente
Kultur Dokumente
discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/31673620
Article
Source: OAI
CITATIONS READS
0 1,012
2 authors:
All content following this page was uploaded by Berta Gamboa de Buen on 04 August 2014.
QA320
F488
2 Preliminares 7
2.1 Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.2 Conjuntos y funciones . . . . . . . . . . . . . . . . . . . 7
2.2.1 Conjuntos . . . . . . . . . . . . . . . . . . . . . . 7
2.2.2 Funciones . . . . . . . . . . . . . . . . . . . . . . 8
2.2.3 Orden . . . . . . . . . . . . . . . . . . . . . . . . 9
2.3 Algebra lineal . . . . . . . . . . . . . . . . . . . . . . . . 10
2.3.1 Espacios vectoriales . . . . . . . . . . . . . . . . . 10
2.3.2 Funciones lineales . . . . . . . . . . . . . . . . . . 13
2.4 Espacios Topologicos . . . . . . . . . . . . . . . . . . . . 14
2.4.1 Espacios metricos . . . . . . . . . . . . . . . . . . 17
2.4.2 Convergencia . . . . . . . . . . . . . . . . . . . . 18
3 Espacios de Hilbert 21
3.1 Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.2 Denicion y propiedades elementales . . . . . . . . . . . 22
3.3 Ortogonalidad . . . . . . . . . . . . . . . . . . . . . . . . 29
3.4 Conjuntos ortonormales . . . . . . . . . . . . . . . . . . 34
3.4.1 Los espacios L2 y l2 . . . . . . . . . . . . . . . . . 44
3.5 Operadores en espacios de Hilbert . . . . . . . . . . . . . 51
3.5.1 Funcionales lineales . . . . . . . . . . . . . . . . . 51
3.5.2 El dual de un espacio de Hilbert . . . . . . . . . . 53
3.5.3 Operadores entre espacios de Hilbert . . . . . . . 59
3.6 Operadores positivos . . . . . . . . . . . . . . . . . . . . 66
3.7 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . 71
iii
iv CONTENIDO
vii
Introduccion
ix
x
1
2 1. Una Ojeada a la Historia
del espacio dual de L2 , y dos anos mas tarde prueba el famoso teo-
rema de representacion que ahora lleva su nombre y que caracteriza el
espacio dual de C ([a, b]) . Entre otras de sus muchas contribuciones,
se cuentan la introduccion de los espacios Lp y lp y la caracterizacion
de sus espacios duales, temas sin los cuales hoy en da no podramos
concebir el analisis funcional.
Debemos mencionar a otro matematico cuyo trabajo dio un gran im-
pulso al desarrollo del analisis funcional, el austriaco E. Helly, quien en
1921 fue el primero en trabajar con espacios normados de sucesiones
en lugar de considerar unicamente espacios concretos, lo cual motivo
posteriormente a Hahn y a Banach a denir el concepto de normas en
espacios vectoriales generales.
Preliminares
2.1 Introduccion
Como el analisis funcional es el estudio de ciertas estructuras topologico-
algebraicas y de los metodos que nos permiten aplicar el conocimiento
de dichas estructuras a problemas analticos, entre los requisitos para
la lectura de este libro se encuentran cierta familiaridad con el algebra
lineal y con la topologa general, ademas de conocimientos basicos de
la teora de conjuntos.
En este captulo recordaremos las nociones y resultados necesarios
para el desarrollo ulterior del libro y nos pondremos de acuerdo en la
notacion que usaremos.
7
8 2. Preliminares
la union por
A = {x S : x A para alguna I}
I
2.2.2 Funciones
Si A y B son conjuntos, f : A B denotara una funcion f con dominio
A y contradominio B.
Si C A y D B, la imagen de C bajo f es el conjunto
para toda x A.
Una funcion f : A B es invertible si existe g : B A tal que
para toda x A y y B,
g f (x) = x y f g (y) = y.
b a si y solo si bRa
2.2.3 Orden
Un orden (parcial) en un conjunto X es una relacion binaria, usual-
mente denotada por , reexiva, transitiva y antisimetrica. A la pareja
(X, ) la llamaremos conjunto ordenado. Escribiremos x y o y x
indistintamente y x < y o y > x signicara x y pero x
= y.
Si (X, ) es un conjunto ordenado, diremos que un subconjunto
A X esta acotado superiormente si existe x X tal que a x para
toda a A , en este caso a x la llamaremos cota superior; diremos que
10 2. Preliminares
Lema 2.1 (de Zorn) Todo conjunto ordenado no vaco en el que todo
subconjunto totalmente ordenado posee una cota superior, tiene un ele-
mento maximal.
+:X X X
dada por
(x, y) x + y
y la multiplicacion por escalares de K X en X dada por
(, x) x,
(1) (x + y) + z = x + (y + z) .
(2) x + y = y + x.
(5) (x + y) = x + y.
(6) ( + ) x = x + x.
(7) (x) = () x.
(8) 1x = x.
x + A = {x + a : a A} , x A = {x a : a A} ,
A + B = {a + b : a A, b B} , A = {a : a A} .
Diremos que C X es un conjunto convexo si
tC + (1 t)C C
convA = i xi : i R, i 0, i = 1, xi A, i = 1, ..., n
i=1 i=1
(x, y) = (x, y)
donde x, x1 , x2 X, y, y1 , y2 Y y K.
Si Y y Z son subespacios de un espacio vectorial X con Y Z =
{0} y toda x X se puede escribir como x = y + z con y Y y
z Z, entonces escribiremos tambien X = Y a Z , ya que X se puede
identicar con la suma directa algebraica de Y y Z mediante la funcion
x (y, z) .
Bases de Hamel
Sea X un espacio vectorial sobre K. Se dice que {xi X : i I} genera
a X, si todo elemento y de X se puede representar de la forma
con i K e im I.
Si {yj : j J} X, el conjunto
k
Y = uX:u= i yji con i K, ji J, i = 1, ..., k, k N
i=1
T (x + y) = T x + T y.
ker T = T 1 (0).
(i) S ,
(ii) Si A, B , entonces A B
(iii) Si Ai para i I, entonces iI Ai .
2.4. Espacios Topologicos 15
entonces
C
= .
A
Un conjunto A S es denso en S si A = S.
Un espacio topologico S es separable si contiene un subconjunto
denso numerable.
Un espacio topologico S es de Hausdor si y solo si para cualesquiera
x, y S, x
= y, x y y tienen vecindades ajenas.
Un subconjunto es una base de la topologa si todo abierto
es una union de elementos de .
16 2. Preliminares
a x = x
mas abiertos tal que la funcion q sea continua. Se puede ver que esta
topologa esta dada por la coleccion
q = A S/R : q 1 (A) .
2.4.2 Convergencia
Diremos que D es un conjunto dirigido si tiene un orden (parcial), ,
tal que dados , D existe D con y . Un ejemplo de
conjunto dirigido es la coleccion P (S) de subconjuntos de un conjunto
S con E F si y solo si E F.
Una red en un conjunto S es una funcion : D S, donde D es
un conjunto dirigido; en general la denotaremos por {x }D , donde
para cada D, x = (). Claramente toda sucesion en S es una
red en S.
Una red {y }B es una subred de una red {x }D si y solo si
existe una funcion : B D tal que:
Espacios de Hilbert
3.1 Introduccion
Los espacios de Hilbert tienen su origen en los trabajos de David Hilbert
(1862-1943) sobre la equivalencia de ecuaciones integrales y sistemas
innitos de ecuaciones algebraicas con una innidad de incognitas. Esta
obra, motivada por los trabajos de I. Fredholm, aparecio en el libro
Grundzuge einer allgemeinen Theorie der linearen Integralgleichungen
en 1912. En ella para obtener la equivalencia, Hilbert usa el espacio
de funciones de cuadrado integrable L2 y el espacio de las sucesiones
de cuadrado sumable l2 . Sin embargo Hilbert nunca considero a dichos
espacios bajo su aspecto geometrico; esto lo hizo por primera vez en el
caso de l2 Erhard Schmidt en 1908. Por otra parte F. Riesz y E. Fischer
en 1907 haban probado que L2 esta en correspondencia uno a uno con
algun espacio l2 . Estos fueron los primeros dos ejemplos de espacios de
Hilbert, como los conocemos actualmente.
Posteriormente los espacios de Hilbert fueron usados en la teora de
la mecanica cuantica y para dar una presentacion rigurosa de esta rama
de la fsica, J. von Neumann en 1927 presento una axiomatizacion de
los espacios de Hilbert separables.
21
22 3. Espacios de Hilbert
Demostracion:
(1) Se sigue de la denicion 3.1 (i) y (iii) pues
(x y, z) = 0
(x y, x y) = 0
Ejemplos
Todos los espacios denidos a continuacion son prehilbertianos:
2. Sea
H2 = {{an }
n=1 R : existe N N tal que an = 0 si n > N }
Si a, b H2 , a = {an }
n=1 , b = {bn }n=1 , (a, b) = n=1 an b n .
3. Sea H3 = {f : [a, b] C donde f es una funcion continua}.
b
Si f, g H3 , (f, g) = a f (x)g(x)dx.
4. Sea H4 = f C0 () : es un conjunto abierto en R3 .
Aqu C0 () representa al conjunto de las funciones innitamente
diferenciables de soporte compacto en con valores complejos.
Si f, g H4 , denimos
f g f g f g
(f, g) = fg + + + dx1 dx2 dx3
x1 x1 x2 x2 x3 x3
para todo x, y H.
Ejemplos
Sean H1 , H2 , H3 y H4 como antes.
n 1
1. En H1 tenemos que x = ( i=1 | xi |2 ) 2 y la desigualdad de
Cauchy-Schwarz nos dice que
n n 1 n 1
2 2
2 2
xi yi | xi | | yi | .
i=1 i=1 i=1
1
2. En H2 , a = ( 2 2
n=1 an ) y la desigualdad de Cauchy-Schwarz en
este caso nos da:
1 1
2 2
2 2
an b n an bn .
n=1 n=1 n=1
1
3. En H3 , f = b
a |f (x)|2 dx 2
y obtenemos que
1 1
b b 2 b 2
2 2
f (x)g(x) dx |f (x)| dx |g(x)| dx .
a a a
1
4. En H4 , f = |f (x)|2 + |f |2 dx1 dx2 dx3 2 donde f
representa al laplaciano de f. En este caso la desigualdad de
Cauchy-Schwarz nos dice que
f g f g f g
fg + + + dx1 dx2 dx3
x1 x1 x2 x2 x3 x3
3.2. Denicion y propiedades elementales 27
1 1
2 2 2 2 2 2
|f (x)| + |f | dx1 dx2 dx3 |g(x)| + |g| dx1 dx2 dx3 .
Ejemplos
Sean H1 , H2 , H3 y H4 como antes.
1
si 1 m n
a(n)
m = m
0 si n < m
1/2
Entonces si n < k, a(n) a(k) = k
m=n+1 (1/m)2 y con-
(n)
secuentemente a es una sucesion de Cauchy. Por otro
n=1
1
lado es claro que para cada m lim n a(n)
m = , pero la sucesion
m
{1/n}n=1 no pertenece a H2 .
La completacion de este espacio es el espacio de Hilbert l2 de las
sucesiones reales {an }
n=1 tales que
2
n=1 an < .
3.3 Ortogonalidad
La estructura de producto interior en un espacio de Hilbert nos permite
introducir una generalizacion del concepto de ortogonalidad conocido
en Rn .
Aunque varios de los resultados a continuacion son validos para
espacios prehilbertianos, de aqu en adelante trabajaremos solo con
espacios de Hilbert.
El teorema que sigue es una de las piedras fundamentales que dis-
tinguen a los espacios de Hilbert de otros espacios de Banach.
x = {y H : (x, y) = 0},
H = M M ,
x = x1 + x2
con x1 M y x2 M .
Esta propiedad de hecho caracteriza a los espacios de Hilbert: si un
espacio normado completo X, tambien llamado espacio de Banach, es
32 3. Espacios de Hilbert
x P x = inf {x y : y M } .
Ademas si
x = x1 + x2
con x1 M y x2 M , entonces x1 = P x y x2 = Qx.
Px M
y por denicion
z y = x (P x + y) x + M
y por esto
Por lo tanto
0 (y, z) (z, y) + ||2 .
Si tomamos ahora = (z, y) obtenemos
En consecuencia
(z, y) = 0.
Sea ahora y cualquier elemento de M diferente de cero. Entonces
y 1
0 = z, = (z, y)
y y
y por lo tanto (z, y) = 0 y
Qx = z M .
P x x1 = x2 Qx,
De aqu
x + y = P x + Qx + P y + Qy = P (x + y) + Q(x + y)
y por ende
P (x + y) P x P y = Qx + Qy Q(x + y).
( , ) = 0 para = y ( , ) = 1.
(x"
+ y)() = x!() + y!()
y si ademas C, entonces
#
x() = x!().
M= ci i : ci C ,
i=1
tal que x0 x ki=1 di i x para cualesquiera d1 , d2, ..., dk C.
La respuesta a esto es armativa y para probarlo necesitamos primero
el siguiente lema:
36 3. Espacios de Hilbert
|n m | <
2
y esto demuestra que {n } n=1 es una sucesion de Cauchy en C cuyo
lmite llamaremos .
Ademas se tiene que si n, m > N,
M= ci i : ci C
i=1
es un subespacio cerrado de H.
3.4. Conjuntos ortonormales 37
Ademas, como x x0 x0 ,
x x0 2 = (x x0 , x x0 ) = (x x0 , x) =
k k
= x2 i=1 (x, i ) (i , x) = x2 i=1 |(x, i )|2 .
Resumiendo obtenemos el siguiente teorema que nos garantiza la exis-
tencia de la mejor aproximacion de x en el espacio generado por {i }ki=1 .
Teorema 3.21 Sea {1 , 2, ..., k } un conjunto ortonormal de vectores
en H y sea x H. Entonces para cualesquiera 1, 2 , ..., k C
k
k
x (x, i ) i x i i
i=1 i=1
(iv) Para toda x, y H, (x, y) = A x!()y!().
i=1
es decir, dado
> 0 existe J A nito tal que si I es nito y J I,
entonces
x x!() <
.
I
Demostracion: Sean x H y
> 0. Por (ii) del teorema anterior
existen J A nito y { }J C tales que
x <
.
J
Por otro lado, si J I es claro que J x!() = I donde
x!() si J
=
0 si no
esto signica que las combinaciones lineales nitas de las son densas
en H y aplicando el teorema 3.24 obtenemos la segunda conclusion.
Es claro que si x = A c , entonces c = x!(), ya que
(x, ) = c ( , ) = c .
A
x= x!() .
A
a 2 = (a , a ) = a 2 + 2 = 2.
Esto quiere decir que las bolas con radio 2/3 y centro en a para
A, son ajenas entre s, si
= . Como H es separable, esto signica
que hay solo una cantidad numerable de dichas bolas.
Si {i }
i=1 es un conjunto ortonormal maximo, a partir del teorema
3.24 es facil ver que el conjunto de las combinaciones lineales nitas de
las i con coecientes de la forma u + iv con u, v racionales es denso en
H, lo cual termina la demostracion.
(x2 , y1 ) (x2 , y1 )
(y2 , y1 ) = = 0.
x2 (x2 , y1 ) y1
44 3. Espacios de Hilbert
(xn , yj ) (xn , yj )
(yn , yj ) = =0
xn (xn , y1 ) y1 (xn , y2 ) y2 ... (xn , yn1 ) yn1
2
2
l (A) = {x }A : x C y |x | <
A
con la norma
1
2
2
{x }A = |x | ,
A
{x }A + {y }A = {x + y }A ,
y la multiplicacion
c {x }A = {cx }A .
1 1
2 2
A |x |
2
+ A |y |
2
< .
1 1
2 2
A |x |
2
A |y |
2
= x y < ,
46 3. Espacios de Hilbert
x {x!n }
n=1 .
y & '
2
L (X, , A) = f : f F y 2
|f | d <
X
con las operaciones dadas para cada f, g F y para cada c C por:
f
+ g = f + g y cf
= cf.
es decir g 1. Esto a su vez signica que g (x) < para casi toda
x X, de manera que la serie
fn1 (x) + fni+1 (x) fni (x) (3.4)
i=1
m1
fn1 + fni+1 fni = fnm ,
i=1
un (t) = eint ,
Demostracion:
1 i(nm)t
(un , um ) = e dt =
2
1 si m = n 1 si m = n
= 1 i i(nm)t =
2 nm
e |t= si m
= n 0 si m
= n
de manera que {un }n= es un conjunto ortonormal. Veremos ahora
que si T es el conjunto de todas las funciones dadas por
n
g (t) = ck eikt
k=n
j () = j () y j h2
/3.
j2
/3.
f 2
,
x
Sean x X y
> 0 cualesquiera. Entonces < y por
(x +
)
X X
lo tanto
x
L < 1,
(x +
)
X Y
o equivalentemente,
1
LxY < |(xX +
)| .
1
Como esto es cierto para toda
> 0, resulta que si c = , entonces
para cualquier x X
LxY c xX .
Al reves, supongamos que existe c tal que se satisface la desigualdad
anterior para toda x X. Claramente si c = 0, L 0. Si c
= 0 y
> 0,
h
L = sup L :hH
h
F : H H
(Lx , Ly )1 = (y, x)
h
x (Ly ) = (x, y)
h
x = sup |(x, y)| = sup |(y, x)| = Lx = x . (3.8)
Ly =1 y=1
y de aqu
Sx K x . (3.9)
y en consecuencia S 1 1/K.
(2) T = T .
(3) (T + S) = T + S .
(4) (T ) = T .
(5) (S T ) = T S .
(6) T = T.
60 3. Espacios de Hilbert
= (x, (S + T ) y) ,
(T x, y) = (T x, y) = (x, T y) = (x, T y) ,
(ST x, y) = (T x, S y) = (x, T S y) ,
obtenemos (5), y de
(T x, y) = (x, T y) = (T y, x) = (y, T x) = (T x, y)
para x, y H, aplicando nuevamente el teorema 3.2 (5), obtenemos
(6).
3.5. Operadores en espacios de Hilbert 61
Ademas, de
T T T T = T 2 ,
T T = T 2 .
y = LT y ,
ker T = {x H : T x = 0}
ker(T ) = R (T ) y ker(T ) = R (T ) .
62 3. Espacios de Hilbert
(T x, y) = 0 para toda x H
y esto demuestra la primera armacion.
Por otro lado
T x = 0 (T x, y) = 0 para toda y H
i) autoadjunto o hermitiano si T = T,
ii) normal si T T = T T ,
iii) unitario si T T = I = T T donde I es el operador identidad
en H.
T T = T1 T1 + T2 T2 + i (T1 T2 T2 T1 ) =
= T1 T1 + T2 T2 + i (T1 T2 T2 T1 )
y
T T = T1 T1 + T2 T2 + i (T2 T1 T1 T2 ) =
= T1 T1 + T2 T2 + i (T2 T1 T1 T2 ) ,
entonces T T = T T si y solo si T1 T2 = T2 T1 .
a) T es unitario
o sea que
0 = (x, Sy) + (y, Sx) . (3.16)
Restando (3.15) y (3.16) deducimos que (x, Sy) = 0 para toda x, y H
y por lo tanto, si tomamos x = Sy, tenemos que Sy = 0 para toda
y H.
En el caso real, como (y, Sx) = (Sx, y) , de (3.15) obtenemos para
toda x, y H
T T y = y (3.17)
T T y = T (T T u) = T u = y.
T
Demostracion: Podemos suponer que T
= 0. Sean S1 = y
T
Sn+1 = Sn Sn2 para n = 1, 2, ...; entonces por induccion sobre n y
m es claro que Sn Sm = Sm Sn y que Sn es un polinomio en T con
coecientes reales. Veremos ahora, nuevamente por induccion, que
0 Sn I, (3.19)
y
Sm (I Sm )2 x, x = (Sm (I Sm ) x, (I Sm ) x) 0
2
se sigue que Sm (I Sm ) 0 y Sm (I Sm )2 0 y consecuentemente
2
Sm+1 = Sm (I Sm ) + Sm (I Sm )2 0
y
2
I Sm+1 = I Sm + Sm 0
lo cual prueba (3.19).
3.6. Operadores positivos 69
n 2
De m=1 Sm = S1 Sn+1 S1 , se sigue que
n
(Sm x, Sm x) (S1 x, x)
m=1
n 2
0. Entonces
y por lo tanto Sm x n m=1 Sm S1 x. Tomando
x n
(
Tn = T Sn , obtenemos la proposicion.
Corolario 3.64 Si T y S son operadores positivos y ST = T S, en-
tonces ST es positivo.
Demostracion: Sea Tn como en el teorema anterior. Entonces clara-
mente Tn S = STn y
(ST x, x) = STn2 x, x = (STn x, Tn x) 0.
n=1 n=1
I Tn+1 = I Tn + 12 Tn2 12 T =
(3.21)
1 2 1
= (I Tn ) + (I T ) ;
2 2
1
Sx = Sx + T x S 2x ,
2
es decir S 2 = T. Ademas, como Tn conmuta con todo operador que
conmuta con T, S tambien lo hace.
En el caso general sea
> 0 tal que
2 T < 1. Entonces
2 T I
(ver ejercicio 19) y consecuentemente existe S1 B (H) positivo que
satisface S12 =
2 T. Sea S = 1 S1 .
Supongamos ahora que L B (H) positivo satisface L2 = T. En-
tonces LT = LL2 = L2 L = T L, por lo tanto LT = T L y en conse-
cuencia LS = SL.
3.7. Ejercicios 71
Sean x H y y = (S L) x. Entonces
(Sy, y) + (Ly, y) = ((S + L) y, y) = ((S + L) (S L) x, y) =
= ((S 2 L2 ) x, y) = 0.
y de ah S = L.
3.7 Ejercicios
1. Demuestre que el espacio H3 denido en los ejemplos no es un
espacio completo.
2. Demuestre que si H es un espacio de Hilbert complejo con un
producto interior (, ) y x, y H, entonces
1$ %
(x, y) = x + y2 x y2 + i x + iy2 i x iy2 .
4
3. Sea H un espacio normado completo en el cual la norma satisface
la ley del paralelogramo. Demuestre que H es un espacio de
Hilbert.
4. Sea A un conjunto innito y {y }A C tal que A y es
convergente. Demuestre que el conjunto de ndices para los cuales
y es distinto de cero es a lo mas numerable.
5. Demuestre que si y 0 para A, entonces A y = y si y
solo si dado
> 0 existe J A nito tal que si I A es nito y
J I, se tiene que | I y y| <
.
72 3. Espacios de Hilbert
(a) X Y = {0} .
(b) X + Y es denso en H pero no es un conjunto cerrado.
16. Sea {n }
n=1 una base ortonormal en H y sea {n }n=1 C una
sucesion acotada con M = sup {|n | : n = 1, 2, ...}. Demuestre
que existe un operador lineal T unico tal que T n = n n para
n = 1, 2, .... Ademas T es tal que T = M y T T = T T .
Espacios normados y de
Banach
4.1 Introduccion
En 1910 y 1913 Riesz, al estudiar las ecuaciones integrales y el pro-
blema de momentos, introdujo los espacios Lp y lp , con 1 < p < .
Demostro que son espacios normados completos reexivos tales que no
son isomorfos a su dual, si p
= 2. Posteriormente, Banach dio las
deniciones abstractas de espacio vectorial y de norma y por eso los
espacios normados completos llevan su nombre.
75
76 4. Espacios normados y de Banach
(a) (0) = 0
(c) (x) 0
Demostracion:
(a) Se obtiene directamente de (x) = || (x) tomando = 0.
(b) Como es subaditiva tenemos que
(x) = (x y + y) (x y) + (y),
0 (x + y) || (x) + || (y) = 0,
es abierto.
El siguiente resultado dio pie a que se generalizara la nocion de
espacio normado a la de espacio vectorial topologico.
Demostracion:
(a) Sean x, y X; como para toda z1 , z2 X,
z1 + z2 (x + y) z1 x + z2 y ,
obtenemos la continuidad de la suma.
(b) La continuidad del producto es consecuencia de la desigualdad si-
guiente:
z x || z x + | | x .
A+B A+B
e
intA + intB int (A + B) .
Ejemplos
1. Sea X un espacio topologico no vaco, entonces
x y x + y.
1 1 |xi |p |yi |q
= , = , ui = n p y vi = n q.
p q i=1 |xi | i=1 |yi |
80 4. Espacios normados y de Banach
n n
Entonces i=1 ui = i=1 vi = 1 y con ayuda del lema 4.6 obtenemos
que
n n n
|xi | |yi |
n p 1/p n q 1/q
= ui vi (ui + vi ) =
i=1 ( i=1 |xi | ) ( i=1 |yi | ) i=1 i=1
n
n
= ui + vi = + = 1,
i=1 i=1
tenemos
1/p 1/p 1/p
p
p
p
|xi + yi | |xi | + |yi | .
i=1 i=1 i=1
1 1
Por otro lado si q es tal que + = 1 entonces (p 1) q = p, y usando
p q
la desigualdad de Holder se sigue que
n
n 1/q n 1/p
p1
(p1)q
p
|xi + yi | |xi | |xi + yi | |xi | =
i=1 i=1 i=1
(4.3)
n 1/q n 1/p
p
= |xi + yi | |xi |p .
i=1 i=1
4.2. Denicion y propiedades elementales 81
n 1/q
de donde, dividiendo por ( i=1 |xi + yi |p ) , se llega a
n 1/p n 1/p n 1/p
p
p
p
|xi + yi | |xi | + |yi | .
i=1 i=1 i=1
{x X : x1 < 1}
4.2. Denicion y propiedades elementales 83
{x X : x2 <
} {x X : x1 < 1} .
x2
Aplicando el lema 4.10 a (x) = y (x) = x1 , deducimos que
1
x1 x2 .
Ejemplo
Sea l con la norma el espacio del ejemplo 3.
(i) |x|1 = x + |x1 | dene una norma en el espacio de las suce-
siones escalares acotadas y es facil ver que es equivalente a la
norma .
|xi |
(ii) |x|2 = supi dene otra norma en el espacio de las sucesiones
i
escalares acotadas. Claramente |x|2 x , pero no son nor-
mas equivalentes, pues si en = (0, ..., 0, 1, 0, ...), nen = n, pero
) *+ ,
n
|nen |2 = 1 para toda n.
(a) T es continuo.
(b) T es continuo en 0.
(d) Existe una constante C > 0 tal que T x C x para toda x X.
T = inf {C : T x C x , x X}
o, equivalentemente,
T = sup T x . (4.6)
x1
(i) f es continua.
(ii) El espacio nulo de f, ker f, es cerrado.
(iii) ker f no es denso en X.
Demostracion:
(i) (ii) Supongamos que f es continua. Como {0} es un conjunto
cerrado en K, ker f = f 1 (0) es un conjunto cerrado en X.
(ii) (iii) Es una consecuencia directa de que ker f
= X.
(iii) (i) Supongamos que ker f no es denso en X. Entonces existen
x X y r > 0 tales que
Br (x) ker f = . (4.7)
Veremos que existe C > 0 tal que |f (y)| < C para toda y Br (x).
Si no fuera ese el caso, dado n N existira yn Br (x) con
|f (yn )| n + |f (x)| .
Como Br (x) = x + Br (0) , esto implica que existe zn Br (0) tal
que yn = x + zn y |f (zn )| n. Sea w K con |w| < n. Entonces
|w| < |f (zn )| y existe K con || 1 tal que w = f (zn ) . Por lo
tanto w = f (zn ) y de aqu se concluye que Bn (0) f (Br (0)) . Como
esto se cumple para cada n, tenemos que f (Br (0)) = K y tambien
f (Br (x)) = K,
lo cual contradice a (4.7).
r
Finalmente, dado
> 0, si = obtenemos que |f (x) f (y)| <
2C
para toda y B (x), es decir, f es continua en x. El teorema 4.13 (c)
nos da la continuidad de f.
Demostracion:
(a) Se deja como ejercicio probar que (4.9) dene una seminorma. Para
completar la demostracion, supongamos que x = 0, donde x = x + Y.
1
Entonces para toda n N existe yn Y tal que x yn < , es decir
n
{yn }
n=1 converge a x y como Y es cerrado, x Y, o sea x = 0.
(b) Como q(x) = inf {x + y : y Y } x para toda x X,
obtenemos que q 1 y q es continua.
(c) Sea {xn }
n=1 una sucesion de Cauchy en X/Y. Se puede extraer una
subsucesion {xnk }k=1 de ella tal que
1
xnk x
nk+1 = xnk xnk+1 < k .
2
Construiremos una sucesion de Cauchy en X de la siguiente manera:
Sea y1 = 0; por la denicion de norma cociente existe y2 Y tal que
1
xn1 xn2 + y2 xn1
xn2 + < 1.
2
Podemos elegir y Y tal que
1
xn2 xn3 + y xn2
xn3 +
22
y entonces si y3 = y2 y obtenemos
1 1
(xn2 + y2 ) (xn3 + y3 ) xn2
xn3 + < .
22 2
4.4. Cocientes y sumas directas 89
q 1 (q(V )) = V + Y X
o
(x, y) = max (x , y) .
Se puede probar que en este caso ambas normas inducen la topologa
producto y consecuentemente son equivalentes (ejercicio 8).
ji (xi ) =
0, ..., 0, xi , 0, ... ,
) *+ ,
i1
y para p = , como
(X1 X2 ) = x = (xi )
i=1 Xi : x = sup xi i < .
i=1 i
Demostracion:
(a) Se deja al lector vericar que X es normado y que Pi es lineal.
Sea x = (xi ) i=1 X; entonces Pi (x) = xi i x y por lo tanto
Pi 1. Por otra parte, si xi Xi con xi i = 1, entonces ji (xi ) = 1
y Pi (ji xi ) = 1, lo que prueba que Pi = 1 y que Pi es continua.
Veremos ahora que Pi es abierta con respecto a la topologa inducida
en ji Xi por la topologa de X. Sean
> 0 y x = (xi ) i=1 X; entonces
si 1 p < ,
Pi yX: xi yi pi p
<
= {ji (yi ) ji Xi : xi yi i <
} =
i=1
1
x |x| Mm x . (4.10)
Mm
Para m = 1 esto es inmediato, tomando como
& '
1
M1 = max Ci , , i = 1, 2, ..., n : |ei | = Ci .
Ci
Sea
J = { = (j1 , ..., jm+1 ) : ji N y 1 j1 < j2 < ... < jm+1 n}
Supongamos que es cierto (4.10) para m < n. Esto implica que para
cualquier (j1 , j2 , .., jm ) , el espacio generado por {eji }m i=1 es cerrado en
la norma || , porquees cerrado en la norma .
m+1
Sea ahora Y () = i=1 a e
i ji : a i K (Kn , ||). Considere-
()
mos para r = 1, ..., m + 1 las funcionales Pjr : Y () K dadas por
m+1
()
Pjr ai eji = ar .
i=1
()
Es claro que ker Pjr es el subespacio de Y () generado por {eji }i =r ,
que, como ya mencionamos es cerrado. Aplicando la proposicion 4.15,
()
esto implica que Pjr es continua para r = 1, 2, ..., m + 1. Entonces, si
m+1
x = i=1 ai eji ,
m+1
m+1
Pji x eji ()
()
x = Pji |x| K1 |x|
i=1 i=1
m+1 ()
donde K1 = max i=1 Pji : = (j1 , ..., jm+1 ) J . Este numero
existe, ya que J es un conjunto nito. Por otro lado tenemos
m+1
m+1 12 m+1 12
2
2
|x| |ai | |eji | |ai | |eji |
i=1 i=1 i=1
4.5. Subespacios de dimension nita 93
m+1 12 n 1
2
2
2
|ai | |ei | = K2 x ,
i=1 i=1
1
donde K2 = n
i=1 |ei |2 2
, de manera que si Mm+1 = max {K1 , K2 }
1
x |x| Mm+1 x
Mm+1
y esto prueba el teorema.
es un isomorsmo.
Otra consecuencia del teorema 4.22 es que todo operador lineal
de un espacio normado de dimension nita en un espacio normado
cualquiera es continuo.
Corolario 4.24 Sean X y Y espacios normados con X de dimension
nita. Si T : X Y es un operador lineal entonces es continuo.
Demostracion: Supongamos que dimX = n y sea {i }ni=1 una base de
Hamel de X; como todas las normas en X son equivalentes es suciente
probar que T es continuo si equipamos a X con la norma denida para
x = nk=1 ak k X por x = max1kn |ak | . Entonces
n
n
T x = ak T k
|ak | T k C x ,
k=1 k=1
n
donde C = k=1 T k , y por lo tanto T es continuo.
El teorema 4.22 tambien nos permite probar que los subespacios de
dimension nita son cerrados. Recordemos que si Y X, entonces spY
es el subespacio lineal generado por Y y denotemos por [Y ] la cerradura
de spY.
94 4. Espacios normados y de Banach
y + x0 1 = y + || .
BX = {x X : x 1}
y
SX = {x X : x = 1}
denotaran a la bola cerrada unitaria y a la esfera unitaria en X respec-
tivamente.
1 1 1
B 1 (0) BX Y + B 1 (0) = Y + B 1 (0),
2 2 2 2 2 4
y por lo tanto
w = y1 + x0
para alguna y1 Y, K,
= 0.
Tambien si x X, x = y + x0 con y Y y K. Consecuente-
mente
x = y y1 + (y1 + x0 ) = y y1 + w,
es decir X = Y a sp {w} W X.
X = Y a sp {w0 } = W a sp {y0 } .
x = y + w0 = w + y0 .
Por lo tanto y y0 = w w0 Y W y x = (y y0 ) + y0 + w0 ,
es decir
X = (Y W ) a sp {y0 } a sp {w0 } .
(y + x0 ) + (z x0 );
de donde f (z) (z x0 ) (y + x0 ) f (y) y por ende
sup {f (z) (z x0 ) : z F } k
(4.11)
inf {(y + x0 ) f (y) : y F } .
4.6. Teoremas de Hahn-Banach 99
para toda x X .
Como una aplicacion del teorema 4.35, obtenemos una forma dual,
semejante a (4.14), para la norma en X.
Corolario 4.36 Sean X un espacio normado y x X. Entonces
x = sup |x (x)| . (4.15)
x 1
Ejemplos:
Son conjuntos densos en ninguna parte:
r
Como U2 es denso y abierto, existen 2 Br1 (1 ) U2 y 0 < r2 <
4
tales que
Br2 (2 ) Br1 (1 ) U2 Br U1 U2 .
Continuando de esa manera construimos una sucesion {n }
n=1 en y
r
una sucesion de reales {rn }n=1 tales que 0 < rn < n y
2
Brn (n ) Brn1 (n1 ) Un Br U1 U2 Un .
La sucesion {n }
n=1 es una sucesion de Cauchy en y como es
completo existe
Bri (i ) Ui Br
i=1 i=1
tener dimension nita. Como {yi }iI es una base de Hamel, tenemos
que X = n=1 Yn y ya que por el teorema de Baire sabemos que X
es un espacio de Baire, existe n N tal que int Yn
= . Por lo tanto,
por el lema 4.40, Yn = X y X tiene dimension nita, lo que contradice
nuestra suposicion.
sup T x k. (4.16)
T G
106 4. Espacios normados y de Banach
An = f Y : sup |f (T x)| n .
T G
Es facil ver que An es cerrado y que Y = nN An . Como Y es
un espacio de Banach y consiguientemente un espacio de Baire, existe
k N tal que intAk
= . Por lo tanto existen f0 Ak y > 0 tales
que f f0 < implica que
sup |f (T x)| k. (4.17)
T G
Demostracion:
Supongamos
que A es de la segunda categora. Si
An = x X : sup T x n , entonces como en (ii) (i) , se ve
T G
que existe k con intAk
= . Como claramente A es un subespacio de
X, por el lema 4.40, A = X, lo cual es una contradiccion.
4.7. Teorema de Baire y operadores continuos 107
T x T x Tn x + Tn x T x Tn x + M
es decir
0 intT Br/2 (0) . (4.19)
Probaremos ahora que
T Br/2 (0) T (Br (0)) , (4.20)
Sea x1 Br/2 (0) tal que T x1 y1 T (B22 r (0)) y sea y2 T (B22 r (0))
con T x1 = y1 y2 . Procediendo inductivamente, obtenemos sucesiones
{xn }
n=1 X y {yn }n=1 Y tales que
Entonces xn < 2n r, de donde n=1 xn < r y por lo tanto existe
x X con x = x
n=1 n y x < r. Ademas, yn T 2n r y por
ende yn 0. Finalmente de
n
n
T xk = (yk yk+1 ) = y1 yn+1 ,
k=1 k=1
obtenemos que y1 = k=1 T xk = T x T (Br (0)) , lo que prueba
(4.20).
gra T = {(x, T x) X Y : x X} .
(ii) Si {xn }
n=1 es una sucesion en X tal que existen los lmites
x = lim xn y y = lim T xn , entonces T x = y.
n n
Demostracion:
(i) (ii) Supongamos que G es un conjunto cerrado. Sea {xn }
n=1 una
sucesion en X tal que existen x = lim xn y y = lim T xn . Como
n n
j(x), x = x (x),
|j(x), x | x x ,
Ejemplo
Todo espacio de Hilbert es reexivo. Esto es consecuencia del corolario
3.46.
El ejemplo anterior implica que l2 es reexivo. Veremos que tambien
es cierto para lp con 1 < p < .
y (x) = an b n .
n=1
1/q 1/p
q
p
|an bn | |bn | |an | yq xp .
n=1 n=1 n=1
y yq . (4.22)
1 1
y usando que p(q 1) = q y que 1 = , obtenemos
p q
m 1/q
q
|bn | f
n=1
yq f . (4.23)
m
Por otra parte, si x = (an ) p
n=1 l , sea x
(m)
= n=1 an en ; entonces
claramente,
1/p
x x(m) = |an |p 0.
m
(4.24)
p
n=m+1
Como f es continua, f (x(m) ) = m f (x) y se sigue que
n=1 an bn m
f (x) = n=1 an bn , es decir, (y) = f . Ademas por (4.22) y (4.23)
f = yq , lo que concluye la prueba de que el espacio dual de lp es
lq .
La demostracion de que lp es reexivo es analoga a la del corolario
3.46 y se deja como ejercicio al lector.
con x1 , x2 , ..., xk X y
> 0, donde x , x signica lo mismo que
x (x).
V (x0, x1 , x2 , ..., xk ,
) U.
V (x1 , x2 , ..., xk ,
).
V (x0, x1 , x2 , ..., xk ,
) = x0 + V (x1 , x2 , ..., xk ,
), (4.26)
V (x0, x1 , x2 , ..., xk ,
) = V (x0, x1 , x2 , ..., xk ,
) si > 0 (4.27)
y que la topologa debil es de Hausdor (ejercicio 17).
Lo anterior muestra que las vecindades debiles son las traslaciones
de las vecindades debiles del 0. Al principio de este captulo, en la
proposicion 4.4, probamos que las operaciones de espacio vectorial son
norma continuas; se deja como ejercicio demostrar que de las propieda-
des (4.26) y (4.27) se deduce que las operaciones de espacio vectorial
son w continuas.
4.8. Dualidad y topologas debiles 115
Por lo tanto,
k
ker xi ker g.
i=1
k
Pero curiosamente, si ker xi ker g, resulta que g es una combi-
i=1
nacion lineal de x1 , x2 , ..., xk .
Lema 4.55 Sean X un espacio vectorial sobre K y f1 , f2 , ..., fn y g
funcionales lineales en X. Si
K = {x X : f1 (x) = f2 (x) = = fn (x) = 0}
son equivalentes:
116 4. Espacios normados y de Banach
(ii) Existe C < tal que |g(x)| C max |fi (x)| para toda x X.
1in
con x1 , x2 , ..., xk X y
> 0.
La topologa debil estrella es tambien de Hausdor (ejercicio 17) y
las vecindades w tienen propiedades analogas a las propiedades (4.26) y
(4.27). Entonces las operaciones de espacio vectorial en X son tambien
w continuas.
Proposicion 4.58 Sea X un espacio normado. Las funcionales w
continuas son aquellos elementos de X de la forma j (x) para alguna
x X, es decir son los elementos de X vistos como funcionales en X .
Demostracion: Es claro que toda funcional de la forma j (x) es w
continua. Supongamos que f : X K es w continua. Entonces
dado
> 0 existen > 0 y x1 , ..., xk X tales que si |j (xi ) , x | =
|x (xi )| < para i = 1, ..., k, se tiene que |f (x )| <
. Como en la
demostracion del corolario 4.56 se obtiene que ki=1 ker j (xi ) ker f.
Por el lema 4.55 existen 1 , ..., k K tales que
k
k
f= i j (xi ) = j i xi .
i=1 i=1
Entonces para toda vecindad debil W de 0, existen n1 < n2 < ... < nk
y
Q con V (xn1 , xn2 , ..., xnk ,
) W y por lo tanto
Ejemplo
Sea X un espacio normado y sea A = {x X : x 1} . Entonces
A = A, pero como las bolas abiertas no son w abiertas, se sigue que
w
X\A no es w abierto y por lo tanto A
= A.
(iii) A es acotado.
si y solo si
sup |j (x) , x | = sup |x , x| <
xA xA
para toda x X .
Ejemplo
Sean {en }
n=1 la sucesion de vectores unitarios en c0 y {en }n=1 la
sucesion de vectores unitarios en l1 . Entonces {en }n=1 es biortogonal a
{en }
n=1 , es decir
0 si n
= m
en (em ) =
1 si n = m
Para n N, sea sn = e1 + e2 + ... + en . El conjunto {sn } n=1 es un
conjunto acotado, pues sn = 1 para cada n N. Veremos que es w
cerrado pero que no es w compacto.
Sea x0 = n=1 an en c0 \ {sn }n=1 , entonces se satisface uno de los
tres casos siguientes:
1. x0 = 0.
en el segundo sea
V = x c0 : ei0 (x0 x) < min {|ai0 | , |1 ai0 |}
y en el tercero sea
V = x c0 : ei0 ei0 +1 (x0 x) < 1 .
D = { K : || 1} .
F (x ) (x) = x , x
es claro que
n
F (V ) = {F (x ) : x BX y |F (x0 ) , xi F (x ) , xi | <
}
i=1
(4.31)
y este conjunto es abierto en F (BX ) D. De aqu se sigue que F es
un homeomorsmo.
Probaremos ahora que F (BX ) es un conjunto cerrado en D y por
ende compacto: Sea f0 F (BX ) D; entonces
6 7
1 x1 + 2 x2 F (x ) , 11 xx11 +2 x2
+2 x2
f0 1 x1 +2 x2
1 x1 +2 x2
<
.
Por lo tanto
(x ) f
f0 (1 x1 + 2 x2 ) 1 f0 1 2 0 (x2 )
6 7 6 7
f0 F (x ) , 1 x1 + 2 x2 + 1 F (x ) f0 , x1 +
6 7
+ 2 F (x ) f0 , x2 < (1 + |1 | + |2 |)
.
4.8. Dualidad y topologas debiles 125
(ii) BX es (X , X) metrizable.
(iii) X es separable.
(iv) BX es w separable.
Demostracion:
(i)(ii) Es obvio.
(ii)(iii) Supongamos que BX es (X , X) es metrizable. Entonces
tiene una base local de 0 numerable, {Un }
n=1 . Como en la demostracion
126 4. Espacios normados y de Banach
de la proposicion 4.60, sea A = {yn } n=1 una sucesion tal que para toda
w vecindad de 0, U, existen k y
Q con V (y1 , ..., yk ,
) U . En-
tonces, si x BX es tal que x (yn ) = 0 para toda yn A, obtenemos
que x n=1 Un = {0} . Por lo tanto el espacio lineal generado por A
es denso en X y por ende X es separable (ver ejercicios 18 y 19).
(iii)(i) Supongamos que X es separable y sea {xn } n=1 una sucesion
densa en BX . Sean x , y X . Si x , xn = y , xn para toda n, de
la densidad de {xn }
n=1 en BX obtenemos que x = y , lo cual signica
que si x
= y , existe N tal que
x , xN = y , xN .
W (xn , I) = {x BX : x , xn I} (4.33)
x X y
> 0, sean a, b > 0 con max (a, b) < , tales que
2
x0 (x) a, x0 (x) + b Q.
x0 W (xn , I) V (x0 , x,
) = {x BX : |x x0 , x| <
} .
4.8. Dualidad y topologas debiles 127
Ejemplo
Sea l el espacio denido al principio de este captulo. Entonces l
es un espacio normado no separable, ya que el conjunto de sucesiones
de la forma ={n } n=1 , donde n = 1 o n = 0 para n = 1, 2, ..., es
no numerable y si 1
= 2 , entonces 1 2 = 1. Del teorema
de Banach-Alaoglu, obtenemos que la bola unitaria B(l ) es debil es-
trella compacta, y del teorema 4.67 obtenemos que no es debil estrella
metrizable. Veremos que tampoco es debil estrella secuencialmente
compacta. Sea fn (l ) la enesima funcional coordenada, es decir
fn (x) = xn . Entonces |fn (x)| x para toda x l y si {ei } i=1 es
la sucesion de vectores unitarios enl , en = 1 y |fn (en )| = 1; por
lo tanto fn = 1 para toda n. Si fnj es cualquier subsucesion,
j=1
sea x = (xn )n l dado por xn2j = 1 y xn = 0 si n
= n2j , j N.
128 4. Espacios normados y de Banach
Entonces fn2j (x) = 1 y fn2j1 (x) = 0, y fnj no es debil estrella
j=1
convergente.
(x ) = x |Y (4.35)
g(y + x) = x0 (y) +
2
y sea x1 X una extension de g. Entonces x1 x0 Y , de donde
x0 = Q(x1 ).
Supongamos ahora que x Y , x X . Si y = x , entonces
6 7
y , x = x , x = x |Y , x = x , x ,
6 7
{y Y : |y , y| <
} = y Y : x , y <
=
4.8.3 Reexividad
En esta subseccion daremos varias caracterizaciones de la reexividad
de espacios de Banach.
De aqu en adelante, cuando haga falta, identicaremos a BX con
su imagen j (BX ) en X , llamandola de la misma forma. Esto se puede
gracias al teorema 4.50. Como ademas
{x X : |x , x | <
} j (X) =
(i) X es reexivo.
(iii) (X , X) = (X , X ).
(iv) X es reexivo.
Ejemplo
Construiremos una funcional en c0 que no alcanza su norma. Recor-
1
demos que c0 = l1 y sea y = (yn )
n=1 dado por yn = . Entonces
2n
y l1 , y = 1 y para toda x = (xn )
n=1 Bc0 como existe n0 tal
1
que |xn0 | < 1, tenemos que y(x) = n=1 n xn < 1. Por lo tanto y no
2
alcanza su norma.
136 4. Espacios normados y de Banach
T (V (x, x1 , ..., xk ,
)) V (T x, y1 , ..., yk ,
).
Es decir T es w continuo.
Supongamos ahora que T es w continuo; entonces de la proposicion
4.54 se sigue que para toda y Y , y T es w continua. Aplicando
la proposicion nuevamente, y T X . Ahora bien, si x BX , para
toda y Y
|y (T x)| = |(y T )x| y T ,
y por el lema 4.64 T (BX ) es norma acotado. Esto prueba que T es
norma continuo.
T y , x = y T, x = y , T x ,
T (1 y1 + 2 y2 ), x = 1 y1 + 2 y2 , T x = 1 y1 , T x + 2 y2 , T x
= 1 T y1 , x + 2 T y2 , x ,
Ejemplo
Si IX denota la identidad en X, IX = IX .
(b) (S T ) = T S .
(c) T es invertible si y solo si T es invertible y (T 1 ) = (T )1 .
4.9. Continuidad debil y operadores adjuntos 139
Demostracion:
(a) Para toda x X y toda y Y ,
T x C x . (4.38)
Si no fuera cierto, existira una sucesion {xn }
n=1 X tal que xn = 1
1
y tal que T xn < 2 para n = 1, 2, ... Pero entonces
n
1
nxn = n y T nxn < .
n
Por otro lado, como T es suprayectiva, si x X existe y Y tal
que T y = x y por lo tanto
y
x , nxn = T y , nxn = y , T nxn < ,
n
lo cual implica que {nxn } n=1 es w convergente a 0 y de aqu se de-
duce que {nxn }n=1 es norma acotada (ver ejercicio 26), lo cual es una
contradiccion.
De (4.38) obtenemos que T es inyectiva y que R(T ) es un conjunto
cerrado. En efecto, si {T xn }
n=1 es una sucesion en R(T ) que converge
a y Y, entonces como
1
xn xm T xn T xm ,
C
140 4. Espacios normados y de Banach
Ejemplo
Sea T : l1 R dado por
Tx = xi
i=1
para x = (xi ) 1
i=1 l . Claramente T es norma continuo y por la
proposicion 4.80 es w continuo. Sin embargo, si vemos a l1 como el
espacio dual de c0 , y {ei } 1
i=1 l es la sucesion de elementos que tienen
un 1 en la i-esima coordenada y 0 en las demas, entonces ei 0 pero
w
T ei = 1 para i N. Consecuentemente T no es w continuo.
Demostracion: Sean y Y ,
> 0, x1 , ...xk X, y yi = T xi para
toda i = 1, ..., k. Entonces T y , xi = y , yi para toda i = 1, ..., k y
por lo tanto
T (V (y , y1 , ..., yk ,
)) V (T y , x1 , ..., xk ,
),
es decir T es w continuo.
4.10 Ejercicios
1. Demuestre que los espacios c0 , lp para 1 p y C(X), donde
X es un espacio topologico, son espacios de Banach.
4.10. Ejercicios 141
2. Sean p, q, r (1, ) .
1
a) Pruebe la desigualdad generalizada de Holder: si p
+ 1q = 1r ,
entonces para toda (xi )ni=1 , (yi )ni=1 C
n 1/r n 1/p n 1/q
r
p
q
|xi yi | |xi | |yi | .
i=1 i=1 i=1
29. Si {en } 2
n=1 es la sucesion de vectores unitarios en l y
34. Si T B(X, Y ) es tal que dim T (X) < , es decir T tiene rango
nito, entonces T K(X, Y ).
Espacios Vectoriales
Topologicos
5.1 Introduccion
Una de las propiedades importantes de la topologa inducida por la
norma es que la suma y el producto por un escalar resultan ser fun-
ciones continuas, caracterstica que comparten las topologas debil y
debil estrella. La abstraccion de esta propiedad da pie a la denicion
de espacio vectorial topologico, objeto de estudio de este captulo.
145
146 5. Espacios Vectoriales Topologicos
Ejemplo
Sean
2
A= x, ex R2 : x [0, )
y
2
F = x, ex R2 : x (, 0] .
Demostracion:
(a) Sea : X X X dada por (x, y) = x + y. es continua por la
denicion de espacio vectorial topologico y entonces A + B = (A, B)
es un conjunto compacto por ser la imagen continua de un conjunto
compacto.
(b) Sea {x }aD una red en A+B convergente a x; entonces x = y +z
con y A y z B. Como B es compacto, {z }aD tiene una subred
convergente, digamos z z B. Por la continuidad de la suma y el
producto por escalares, y = x z x z = y y y A pues A es
cerrado. Entonces x A + B, de donde A + B es un conjunto cerrado.
(x + V ) + (y + V ) x + y + U,
x + V + V x + U.
Ejemplos
1. Los espacios normados y los espacios que se obtienen de los espa-
cios normados, al dotarlos de la topologa debil o de la topologa
debil estrella, son espacios vectoriales topologicos.
n
r
V = p K [x] : |i | <
,
i=0
entonces {V :
> 0} es una base local de cero para una topologa
de espacio vectorial topologico, cuyos elementos son balanceados.
1 p
p
Vn = x l : |xn | <
n=1 n
(i) X es de Hausdor.
(ii) {0} es cerrado.
(iii) Todos los puntos de X son cerrados.
(iv) {0} = {V : V es una vecindad de 0} .
Demostracion:
(i)(ii) Supongamos que X es de Hausdor. Entonces todo punto
x X, x
= 0 tiene una vecindad U con 0 / U, de donde X \ {0} es
abierto y entonces {0} es cerrado.
(ii)(iii) Supongamos que {0} es cerrado. Sea x X y Tx y = x + y
para toda y X. De la proposicion 5.2, Tx es un homeomorsmo y
como x = Tx (0), se sigue (iii).
(iii)(iv) Sea x X, x
= 0 y supongamos que {x} es cerrado. En-
tonces x / {V : V es una vecindad de 0} ya que X\ {x} es una
vecindad de 0.
(iv)(i) Si {0} = {V : V es una vecindad de 0} y x X, x
= 0,
sea V una vecindad de 0 tal que x / V. Por el teorema 5.6 existe
una vecindad U de 0, simetrica y tal que U + U V. Veremos que
U (x + U ) = . Para ello supongamos que y U (x + U ); entonces
existe z U con y = x + z, de donde x = y z U U V. Esta
contradiccion demuestra el resultado deseado.
Cualquier espacio vectorial topologico satisface la siguiente propiedad
de separacion:
(C + U ) (F + U ) = .
x + Ux + Ux + Ux X F,
5.2. Espacios vectoriales topologicos 153
es decir
(x + Ux + Ux + Ux ) F = ,
y como Ux = Ux , obtenemos
(x + Ux + Ux ) (F + Ux ) = .
y nalmente (C + U ) (F + U ) = .
(b) Si A, B X entonces A + B A + B.
Demostracion:
(a) x A si y solo si para toda V vecindad de 0, (x + V ) A
= y esto
a su vez se satisface si y solo si x A V para toda V. Como existe
154 5. Espacios Vectoriales Topologicos
Y + Y = Y + Y Y + Y Y .
(d) La prueba de que la cerradura de B es balanceada es como la de (c).
Supongamos que 0 intB y sea K tal que 0 <| | 1, entonces
por la proposicion 5.2, int(B) = intB y como B es balanceado
intB B B.
intB intB.
A U = || U || V.
Demostracion:
(i) Se sigue directamente de la denicion de conjunto acotado.
(ii) Sea V una vecindad de 0. Por la proposicion 5.7 existe U, vecindad
de 0, con U V. Sea K tal que A U entonces A U V
y A V. Es evidente que los subconjuntos de A son acotados.
(iii) Sea V una vecindad de 0. Por el teorema 5.6 existe U, vecindad
balanceada de 0, tal que U + U V ; sean , K con A U y
B U . Como U es balanceada, si | | || tenemos que U U
y entonces
A B U V.
Ademas
A + B U + U V,
156 5. Espacios Vectoriales Topologicos
X= rn V.
n=1
Demostracion:
(i) Sea x X, y sea U una vecindad absorbente y balanceada de 0 con
U V ; entonces existe K tal que x U. Si n es sucientemente
grande para que | | |rn | ,
U |rn | U = rn U rn V.
(i) T es continua.
(x + V ) ker T = .
T K A.
K x0 + rW. (5.3)
1 1
z = (1 )x0 + x K.
r r
1
Ademas z x0 = (x x0 ) y como de (5.3) x x0 rW , obtenemos
r
que z x0 W y entonces, por (5.2), z nB.
Finalmente, como por (5.1), T (nB) nU para toda T G y como
x = rz (r 1)x0 y U es balanceada, deducimos que
y y0 = (y x) + (x y0 ) V + V U.
{W : 0 W V }
T (1 , ..., n ) = 1 y1 + ... + n yn ,
(T ) (1 , ..., n ) = 1 y1 + ... + n yn
x + (1 )y C
convA = i xi : xi A, 0 i , i = 1, ..., k, i = 1, k N .
i=1 i=1
Demostracion:
(a) Sean x intC, y C y 0 < < 1. Por la proposicion 5.2 las
traslaciones son homeomorsmos y ademas son lineales; consecuente-
mente podemos suponer que x+(1)y = 0 y entonces y = x, donde
5.5. Espacios localmente convexos 165
= . Como intC es una vecindad de x y la funcion S x = x
1
es un homeomorsmo, resulta que S (intC) es una vecindad de x.
Entonces y S (intC) y como y C tenemos
C S (intC)
=
y por ende existe z intC con z C. Como = ,
1
z + (1 )z = z+ z = 0.
1 1
Ahora bien, la funcion F : X X dada por F (v) = v + (1 )z
es un homeomorsmo y por lo anterior F (z) = 0. Por consiguiente
V = {v + (1 )z : v intC} es una vecindad de 0. Ademas como
C es convexo y z C, resulta que V C y entonces 0 intC.
(b) Sea C convexo; como C = C, el teorema 5.10 implica que
C + (1 ) C = C + (1 ) C C + (1 ) C = C
intC + (1 )intC C
n
Demostracion: Basta probar que si x conv Ci , entonces x
n n i=1
se puede expresar como tx
nj j
j=1 donde
j=1 tj = 1, ti 0, xi
Ci , i = 1, ..., n. Sea x conv Ci , entonces existen s1 , ..., sm reales
i=1
m n
positivos con j=1 sj = 1 y y1 , ..., ym pertenecientes a Ci tales que
m i=1
x= j=1 sj yj . Para r = 1, ..., n sean
r1
Ir = 1 j m : yj Cr , yj
/ Ci ,
i=1
tr = jIr sj si Ir
= y xr = jIr t1 r sj yj si Ir
= . Como Cr es
convexo entonces xr Cr para toda r = 1, ..., m con Ir
= . Es claro
que {r:Ir =} tr = 1 y que x = {r:Ir =} tr xr . Esto prueba el lema.
ru = ru + (1 r) 0 U.
Ejemplos
1. Los espacios del ejemplo 1 de la seccion 5.2 son localmente con-
vexos.
Demostracion:
(a) Si > A (x) , por denicion de A existe > A (x) tal que
1
x A. Como A es absorbente, 0 A y como A es convexo,
1 1
x= x+ 1 0 A.
y por lo tanto
B es convexo. Sea ahora x E; si > A (x) por (c)
1
se tiene A x < 1, de donde B es absorbente. Analogamente, C
es convexo y absorbente y tiene sentido hablar de sus funcionales de
Minkowski.
Ahora bien, si x E es tal que A (x) < 1, por (a) obtenemos que
x A. Por otro lado, si x A, entonces A (x) 1. Por lo tanto
B A C, de donde para toda x E
1
Supongamos ahora que C (x) < < A (x) . Entonces por (a), xC
1
y de la denicion de C se sigue que A ( x) 1. Esto implica que
A (x) < A (x) , lo cual es una contradiccion. Por lo tanto
A (x) C (x) .
B (x) A (x)
y nalmente obtenemos
B = {x E : (x) < 1} .
Demostracion:
(a) Si B = {x X : A (x) < 1} , del teorema 5.33 tenemos que B A.
Supongamos que A es abierto y sea x A. Por la continuidad de la
funcion f () = x, existe > 1 tal que x A. De ah obtenemos
1
que A (x) < 1 y A B. Consecuentemente A = B.
(b) Si C = {x X : A (x) 1} el teorema 5.33 nos dice que A C.
Ahora bien, sea A cerrado y supongamos que x / A, nuevamente la
172 5. Espacios Vectoriales Topologicos
P = {U : U V} ,
|U (x) U (y)| U (x y) ,
Ejemplo
Sean X = R2 y P = {1 , 2 } , donde i (x1 , x2 ) = |xi | es claramente
una seminorma. Se comprueba facilmente que P separa puntos de X
1
y que la bola unitaria en X no contiene ningun conjunto V i , .
n
Entonces, como todas&lastopologas
Hausdor
' de espacio vectorial son
2 1
equivalentes en R , V i , : i = 1, 2 no puede ser base local
n n=1
de 0 para una de estas topologas.
Ejemplos
1. En el espacio vectorial real
C (R) = {f : R R : f es continua}
Demostracion:
(a) Sean A un subconjunto acotado de X y P. Como V (, 1) es
una vecindad de 0, existe > 0 tal que A V (, 1); es decir (x) <
para toda x A. Por lo tanto, (A) es acotado para toda P.
Recprocamente, si toda P esta acotada en A y U es unavecin-
1
dad de 0, sean 1 , ..., k P y n1 , ..., nk N con ki=1 V i , U
ni
y m1 , ..., mk R tales que i (x) < mi para toda x A y para toda
i = 1, ..., k. Entonces si =max (n1 m1 , ..., nk mk ) , tenemos que
k
1
A V i , U
i=1 ni
y A esta acotado.
(b) Supongamos que xa x con respecto a la topologa . Sean P
1
y n N; entonces V , y por lo tanto existe a0 D tal que
n
1 1
xa x V , para toda a a0 , es decir (xa x) < y por
n n
consiguiente (xa x) 0 en R.
176 5. Espacios Vectoriales Topologicos
& '
1
(ii) Sea S. Por la continuidad de T y como V , :P
n n=1
es una base local de 0, existen P y M N tales que
1
T V , V (, 1) .
M
1
Esto quiere decir que si (x) < , entonces (T x) < 1. Por lo tanto
M
para toda > 0
x
(T x) = T M ((x) + ) =
M ((x) + )
x
= M ((x) + ) T M ((x) + )
M ((x) + )
y como esto es cierto para toda > 0, obtenemos el resultado deseado.
d (nx, 0) nd (x, 0) .
(b) Si {xn }
n=1 X es tal que xn 0, entonces existe {n }n=1 R
tal que n y n xn 0.
178 5. Espacios Vectoriales Topologicos
Demostracion:
(a) Es consecuencia de que la metrica es invariante:
n
d (nx, 0) d (ix, (i 1)x) = nd (x, 0) .
i=1
1
(b) Como d (xn , 0) 0, dado k existe nk tal que d (xn , 0) < 2 si
k
n nk . Podemos elegir las nk tales que nk < nk+1 para toda k = 1, 2, ...
Sea
1 si n < n1
n =
k si nk n < nk+1
Entonces n , y por (a), si nk n < nk+1 ,
1
d (n xn , 0) = d (kxn , 0) kd (xn , 0) < ,
k
de donde obtenemos que n xn 0 cuando n .
Proposicion 5.41 Sea X un espacio vectorial topologico cuya topologa
esta dada por una sucesion de seminormas P = {i }i=1 , que separa
+
puntos de X. Entonces d : X X R denida de la siguiente
manera:
2i i (x y)
d(x, y) =
i=1 1 + i (x y)
es una metrica invariante compatible con , es decir la topologa gene-
rada por la metrica d es precisamente .
Demostracion: Se comprueba facilmente que d es una metrica inva-
riante (ejercicio 11). Como claramente
{y X : d (x, y) < r} = x + {u : d (u, 0) < r} ,
basta ver que cada bola
Br(0) = {u : d (u, 0) < r} es abierta y vi-
1
ceversa, que cada V i , es un conjunto abierto en la topologa
n
inducida por d.
En efecto, si 0 < r < 2, existe N tal que
2i i (x) r
2i <
i=N +1 1 + i (x) i=N +1 2
5.6. Espacios metrizables y normables 179
Ejemplo
En el espacio C(R) = {f : R R : f es continua} con la topologa
inducida por las seminormas n (f ) = sup |f (x)| , la metrica denida
x[n,n]
por la proposicion anterior es
2n n (f g)
d(f, g) = .
n=1 1 + n (f g)
Se deja como ejercicio comprobar que las funciones
f +g
h= ,
2
1 50 1 50 1
satisfacen: d(f, 0) = , d(g, 0) = y d(h, 0) = + > lo
2 101 6 102 2
1
que prueba que las bolas de radio no son convexas. Sin embargo el
2
siguiente teorema nos garantiza para este ejemplo la existencia de otra
metrica compatible tal que sus bolas s son convexas.
180 5. Espacios Vectoriales Topologicos
y el abierto,
nI Un si I
=
U (rI ) =
si I =
que obviamente es balanceado. Sean I y J dos subconjuntos nitos de
N tales que rI +rJ < 1. Sea N = max {n N : n I J}; probaremos
usando induccion sobre N que
B1 = {x X : x < 1}
Ejemplo
Sea lp , 0 < p < 1, el espacio denido en el ejemplo 3 de la seccion 5.2.
Veremos que lp es un espacio metrico con la metrica invariante denida
por
d(x, y) = |xn yn |p .
n=1
184 5. Espacios Vectoriales Topologicos
(a + b)p ap + bp . (5.12)
1
que efectivamente es una norma pues > 1 (ver proposicion 4.8).
p
Entonces para (u1 , v1 ) , (u2 , v2 ) K2
p p p
|u1 + u2 |1/p + |v1 + v2 |1/p |u1 |1/p + |v1 |1/p + |u2 |1/p + |v2 |1/p .
zi = k 1/p n(p1)/p ei
Sabemos que para los operadores entre espacios normados son equi-
valentes la continuidad y el ser acotados. Esta propiedad se conserva
5.6. Espacios metrizables y normables 185
(a) T es continuo.
(b) T es acotado.
(c) Si {xn }
n=1 X es tal que xn 0, entonces {T xn }n=1 es acotado.
(d) Si {xn }
n=1 X es tal que xn 0, entonces T xn 0.
Demostracion:
(a)(b) Sean A un subconjunto acotado de X y U una vecindad de 0
en Y. Como T es continua T 1 (U ) = V es una vecindad de 0 en X y
entonces existe > 0 tal que A V ; por lo tanto
T (A) T (V ) U,
T xn = 1
n T (n xn ) 0.
186 5. Espacios Vectoriales Topologicos
Demostracion:
(a) Sean F = [x0 ] y h : F K denida por h(x0 ) = (x0 ). Clara-
mente h satisface las hipotesis del teorema 4.32 en el caso real y 4.34
en el caso complejo y entonces tiene una extension f : X K con
|f | en X. Sea
> 0; como es continua existe V vecindad de 0 en
X con (V ) (
,
) . En consecuencia |f | (V ) (
,
) , de donde f
es continua en 0 y por el teorema 5.16 f es continua.
5.7. Teoremas de Hahn-Banach 187
Ejemplo
Sea Rp [0, 1] , 0 < p < 1, el espacio vectorial de todas las funciones
Lebesgue medibles f : [0, 1] R, tales que
1
(f ) = |f (t)|p dt < . (5.13)
0
(f g) = 0
B = {f Lp [0, 1] : (f ) <
}
Si denimos
nf (t) si xi1 < t xi
gi (t) =
0 en los demas casos,
entonces (gi ) = np1 (f ) <
y por lo tanto gi B V para toda
i = 1, ..., n. Como V es convexo, obtenemos que
1
f= (g1 + ... + gn ) V
n
y hemos demostrado que Lp [0, 1] = V.
Supongamos ahora que F : Lp [0, 1] R es lineal y continua y sea
> 0. Entonces F 1 ((
,
)) es un conjunto abierto convexo no vaco en
Lp [0, 1] , es decir es igual a Lp [0, 1] . Por lo tanto F (Lp [0, 1]) (
,
)
para toda
> 0 y por ende F = 0. Es decir la unica funcional lineal y
continua en Lp [0, 1] es la funcion identicamente 0.
A = {x X : (x) < 1}
y como x0
/A
(x0 ) 1. (5.14)
Sean Y = [x0 ] y f : Y R denida para R por
f (x0 ) = (x0 ) .
y H = {x X : f (x) = } .
190 5. Espacios Vectoriales Topologicos
para toda a A y b B.
(c) Supongamos que X es localmente convexo, A es compacto y B
es cerrado. Por la proposicion 5.9 existe una vecindad U de 0, tal
que (A + U ) (B + U ) = . Como X es localmente convexo, podemos
suponer que U es convexa. Entonces A + U y B + U son conjuntos
abiertos y convexos y aplicando la parte (b), sabemos que existe f
lineal y continua tal que f (A + U ) y f (B + U ) son intervalos abiertos
ajenos. Como ademas f (A) es compacto, f (A) es un intervalo cerrado
y acotado contenido en f (A + U ) y de ah tenemos el resultado deseado.
Ejemplos
1. Si E = R2 y C = (x, y) R2 : x2 + y 2 1 , entonces
E(C) = (x, y) C : x2 + y 2 = 1 .
2. Si E = R2 y C = (x, y) R2 : x 0 , entonces E(C) = .
3. Si E = R2 y C = (x, y) R2 : x < 0 {(0, 0)} , entonces
5. Si E = c0 , entonces E(Bco ) = .
5.8. Puntos extremos 195
Fx = x F : Rex (x) = sup Rex (z) = ,
zF
entonces Fx F.
F0 H = . (5.15)
i m
m i
Sean m tal que = max y i = i . Entonces i 0,
m 1ir+1 i m
r+1
i=1 = r+1 = 1, = 0 y
i i=1 i m
r+1
x= i x i
i=1,i =m
Ki conv(F ) = K
200 5. Espacios Vectoriales Topologicos
k
y por lo tanto es compacto y convexo. Ademas F Ki . De lo
i=1
anterior y por la proposicion 5.27 tenemos que
5.9 Dualidad
Si X es un espacio vectorial topologico, denimos su dual X , de la
misma manera que para espacios normados, es decir X es el espacio
vectorial de todas las funcionales lineales y continuas en X. Cuando X
es un espacio normado, X es tambien un espacio normado de mane-
ra natural. Que pasa con el dual de un espacio vectorial topologico?
Tendra una topologa de espacio vectorial topologico relacionada con
la de X? La respuesta nos la proporcionan las topologas debiles, objeto
central de esta seccion.
Si X es un espacio vectorial topologico denotaremos por X a su
dual algebraico, es decir al espacio vectorial de todas las funcionales
lineales en X no necesariamente continuas. Entonces X es un subes-
pacio vectorial de X .
Deniremos en X varias topologas a partir de los distintos subespa-
cios de X , en particular la topologa debil, que se dene de la misma
manera que para el caso de espacios normados.
donde f1 , ..., fk Y y
> 0.
5.9. Dualidad 201
donde x1 , ..., xk X y
> 0.
V (f1 , ..., fk ,
1 ) x0 + V (f1 , ..., fk ,
) ,
|fi (x x0 )| <
max |fi (x0 )| + |fi (x0 )| <
1ik
k
= {f Y : |Fxi (f )| <
} ,
i=1
Notemos que el teorema 5.64 nos dice que el dual de (X, (X, X ))
es X y el de (X , (X , X)) es X.
para toda a A.
204 5. Espacios Vectoriales Topologicos
Ejemplo
Si A es un subespacio vectorial de X y Y = X , entonces Ao = A y
si B es un subespacio de Y, o B = B .
(a) Ao = {{x}o : x A} .
(a) o B = {o {x} : x B} .
(d) Si B B1 Y, entonces o B1 o B.
(e) Ao = (o Ao )o .
o o o
(e) B= ( Bo) .
(f ) Si A X , entonces ( A )o = Ao .
o
o
(f ) Si B Y, entonces ( B ) = B .
1 o
(g) Si
= 0, entonces (A)o = A.
1 o
(g) Si
= 0, entonces o (B) = ( B) .
(h) Ao es (Y, X) cerrado.
1
En particular, como 0 C, 0 = Re f, 0 < . Por lo tanto si f1 = f,
tenemos que para toda x C
r
Es facil ver que si r Q es tal que r < n
(i) , entonces
max j=1 j
1im
Demostracion:
(a) La continuidad se deduce directamente de la denicion de q . Sea
ahora U ; como q 1 (q(U )) = U + Y y U + Y es tambien un abierto
en , obtenemos que q(U ) q y entonces q es abierta.
(b) Es consecuencia directa de que q es una funcion abierta y lineal.
El que un espacio cociente X/Y sea de Hausdor, depende exclusi-
vamente de Y y no de X:
Demostracion:
(a) Por (b) del lema 5.79 tenemos que si X tiene una base local nu-
merable, X/Y tambien tiene una base local numerable y entonces el
resultado se sigue del teorema 5.42.
(b) Sea q : X X/Y la funcion cociente. Por el teorema 5.44, X tiene
una vecindad de 0 convexa y acotada U ; por el lema 5.79 y el teorema
5.45 q(U ) es una vecindad convexa y acotada de 0 en X/Y y entonces,
otra vez por el teorema 5.44, es normable.
5.11 Ejercicios
1. Sea f una funcional lineal distinta de cero en un espacio vectorial
topologico de Hausdor X. f es continua si y solo si la imagen
bajo f de algun subconjunto abierto no vaco es un subconjunto
propio de K.
convA = convA.
5.11. Ejercicios 215
(X, X ) = (X, XR ),
Geometra de espacios de
Banach
(n)
zn = ai x i
iA
(n)
donde ai R vale cero excepto para un conjunto nito de i A
(n)
y limn zn = x, en general no es cierto que la sucesion ai
n=1
converge a ai lo cual sera deseable. Por ejemplo, si X es el espacio
de Banach l denido en el captulo 4 y denotamos por {fn } n=1 a la
217
218 6. Geometra de espacios de Banach
sucesion:
6.1.1 Generalidades
Las bases en espacios de Banach que vamos a denir a continuacion,
se llaman bases de Schauder, aunque en el resto de este captulo seran
llamadas bases a secas, pues seran las unicas que manejaremos. Es
importante notar, que a diferencia de las bases de Hamel, no es cierto
que todo espacio de Banach tenga una base de Schauder, lo cual veremos
mas adelante.
Hay otras maneras equivalentes para denir una base, pero para
poder hacerlo, primero necesitamos el lema siguiente:
220 6. Geometra de espacios de Banach
Lema 6.3 Sea {xn } n=1 una sucesion en un espacio de Banach X tal
que xn
= 0 para toda n y sea
Y = {an }
n=1 K: an xn es convergente .
n=1
Entonces Y equipado con la norma {an }nN = supN N
n=1 an xn
es un espacio de Banach.
Demostracion: Si y = {an } n=1 Y, por la denicion de este espacio,
dada
> 0 existe L N tal que si m, n > L,
m
ai xi <
,
i=n
Entonces dado
> 0, existe M N tal que si r, m > M,
N
sup an an xn <
.
(r) (m)
N
n=1
2
En particular se tiene que para cada n, a(r) (m)
n an < siempre
xn
que r, m > M, y por consiguiente an(m) es una sucesion de Cauchy
m=1
que converge a un lmite que llamaremos an .
Sea y = {an } .Entonces si m
n=1 > M y M1 > M es tal que para
k (m)
p, k > M1 tenemos n=p+1 an xn <
,
k
n=p+1 an xn kn=1 an an
(m)
xn +
+ k
n=p+1 an(m) xn + p
n=1 an an(m) xn 3
,
6.1. Bases de Schauder 221
Corolario 6.4 Sean (X, ) un espacio de Banach con base {xn } n=1
yx= n=1 an xn X. Sea || la norma denida en el lema anterior
como
N
|x| = sup ai xi .
N
i=1
Observemos que si P
= 0 y x X, P x = P P x P P x ,
es decir
P 1. (6.1)
x = lim Pn x.
n
n
o sea que Pn M. Si x = i=1 ai xi , por denicion x = n
lim i=1 ai x i ,
lo cual prueba la ultima armacion.
Lema 6.8 Sea {xn } n=1 una sucesion basica en un espacio de Banach
con constante de base K. Entonces si x = n=1 an xn [xn ] n=1 ,
Si {xn }
n=1 ademas es seminormalizada y para cada n
1
xn M,
M
entonces
sup |an | 2KM x .
n
Demostracion: Sea x = n=1 an xn . Entonces para cada n 1, si
0
convenimos que i=1 ai xi = 0,
n1 n
|an | xn n
i=1 ai x i i=1 ai xi i=1 ai xi + n1
i=1 ai xi =
fn ai xi = an ,
i=1
o equivalentemente mediante
1 si i = n
fn (xi ) =
0 si i
= n
Recprocamente, si {xn }
n=1 es tal que se satisfacen 1., 2. y 3., sea
y = rn=1 an xn sp {xn }
n=1 = Y . Es facil ver, usando 1. y 2., que la
expresion de y es unica. Si para cada m N denimos Qm : Y Y
como
Qm y = an x n ,
nm
Nk
con an(k) K y tal que lim zk = x. Por lo tanto lim Qm zk = Qm x
n=1 k k
para cada m y si convenimos que Q0 0, entonces
lim (Qm Qm1 ) zk = (Qm Qm1 ) x [xm ] ,
k
De (6.3) obtenemos
Qm (x zk ) M x zk . (6.5)
Sean
> 0 y k0 tales que para k k0
x zk < . (6.6)
2M
Ademas por la denicion de zk0 , si m Nk0 , entonces
entonces de 2. tenemos
n1 n
|an | xn = n
i=1 ai x i i=1 ai xi
i=1 ai xi +
n1
i=1 ai xi
2M i=1 ai x i = 0
y esto por 1. implica que an = 0 para cada n.
6.1. Bases de Schauder 227
Corolario 6.11 Sea {xn }n=1 una sucesion basica en un espacio de Ba-
nach X. Entonces toda subsucesion {xkn }
n=1 de {xn }n=1 es tambien una
sucesion basica.
A partir de una sucesion basica dada se pueden construir otras suce-
siones basicas llamadas bases bloque.
Corolario 6.12 Sean X un espacio de Banach y {xn }
n=1 una sucesion
basica en X con constante de base K. Sean 0 = m1 < m2 < ...,
{an }n=1 K y uj
= 0 dada por
mj+1
uj = ai x i .
i=mj +1
Ejemplos
Los ejemplos mas faciles de espacios de Banach con base son los espacios
lp para 1 p < y el espacio c0 , que se denieron en el captulo 4.
En estos espacios es trivial
la sucesion {en }n=1 de vectores
vericar que
unitarios, donde en = 0, ..., 0, 1, 0, ... , es una base monotona. A dicha
n
sucesion se le suele llamar la base canonica del espacio en cuestion.
Denotemos por X ya sea al espacio lp con 1 < p < o al espacio c0 .
Sea {en }
n=1 X la sucesion de funcionales biortogonales asociadas a
{en }n=1 . Como
1 si m = n
en (em ) =
0 si m
= n
por la proposicion 4.52, en se puede identicar con el elemento
0, ...0, 1, 0, .... lq ,
n
1 1
donde + = 1 si X = lp y q = 1 si X = c0 . Por lo tanto {en }
n=1
p q
q
resulta ser la base canonica de l .
228 6. Geometra de espacios de Banach
Mas adelante estudiaremos otros espacios con base, como por ejem-
plo el espacio C [0, 1] de las funciones continuas en el intervalo [0, 1] y
el espacio de James.
entonces {xn }
n=1 es una sucesion basica.
Demostracion: Sea m > n. Entonces
n m
m
ai xi = Pn ai xi M ai xi
i=1 i=1 i=1
3. [xn ]
n=1 = X.
m
i=1 ai x i =
1 n 1 m
= n i=1 ai xi + n i=n+1 ai xi ni=1 ai xi
i=1 ai xi i=1 ai xi
n
K i=1 ai x i .
n
Si por otro lado i=1 ai xi = 0, se tiene
m n
ai xi ai xi = 0.
i=1 i=1
230 6. Geometra de espacios de Banach
Lema 6.15 Sea {x1 , x2 , ..., xn } una sucesion nita de vectores lineal-
mente independientes con constante de base M en un espacio de Banach
X de dimension innita. Entonces dada
> 0 existe xn+1 X tal que
/ [xi ]ni=1 y tal que la sucesion {x1, ..., xn , xn+1 } tiene constante de
xn+1
base menor o igual que M (1 +
) .
donde B (z,
) representa a la bola abierta con centro en z y radio
N
la dimension de X es innita, existe xn+1 ker Ti tal que xn+1
= 0
i=1
y xn+1 = 1. Por otro lado, siempre que z B (zi ,
) se tiene que
1 |Ti z| |Ti zi Ti z|
y consecuentemente
1
|Ti z| 1
=
. (6.8)
1+
i=1
y obtenemos (6.9).
Sean ahora r y m con r < m n + 1. Si m < n + 1,
r m
ai x i M ai x i
i=1 i=1
y si m = n + 1,
r n n+1
ai xi M ai xi M (1 +
) ai xi ,
i=1 i=1 i=1
1
(por ejemplo
n = e n2 1). A continuacion tomamos un elemento
x1 X, x1
= 0; claramente {x1 } tiene constante de base igual a 1.
Por el metodo descrito en el lema anterior, encontramos x2 linealmente
independiente de x1 , de manera que la constante de base de {x1 , x2 }
es menor o igual a 1 +
1 . Suponiendo que ya tenemos a {x1 , x2 , ..., xn }
.
con constante de base menor o igual a n1 i=1 (1 +
i ) , aplicando nue-
vamente el lema anterior obtenemos xn+1 linealmente independiente
de x1 , x2 , ..., xn tal que la constante de base de {x1 , x2 , ..., xn , xn+1 } es
.
menor o igual a ni=1 (1 +
i ) . As encontramos una sucesion {xn } n=1
que satisface
m r
ai xi M ai xi
i=1 i=1
siempre que m < r, y esto por el teorema 6.10 implica que {xn }
n=1 es
una sucesion basica.
Una vez que ya se sabe que un espacio de Banach tiene una base, es
natural preguntarse si esta es unica salvo equivalencias en el siguiente
sentido:
1 m m m
ai yi ai xi
K ai yi .
(6.10)
K
i=1 Y i=1 X i=1 Y
T an x n = an y n
n=1 n=1
para cada
n=1 an xn [xi ]i=1 . Veremos que la graca de T es cerrada.
Supongamos que
(i) n=1 an x n , n=1 a(m)
n xn [xi ]i=1 ,
(ii) n=1 an(m) yn , n=1 bn yn [yi ]
i=1 ,
(iii) n=1 an(m) xn m
n=1 an x n y n=1 a(m)
n yn m n=1 bn yn .
(m) (m)
Entonces por el lema 6.9, limm aj = aj y limm aj = bj lo
cual signica que aj = bj para cada j.
Podemos pues aplicar el teorema de la graca cerrada, concluyendo
que T es un operador continuo. De la misma manera se obtiene que
T 1 es un operador continuo y esto nos da el resultado deseado.
Ejemplo
Ya mencionamos que la sucesion de vectores unitarios {en }
n=1 , donde
& '
en = 0, 0, 0, ... 1, 0, 0, ...
n
Ademas, si Y = X, IX T es un isomorsmo de X en X.
Supongamos ahora que Y = X ysea Sn = nk=0 T k , donde para
n > 1, T n = T n1 T y T 0 = IX . Como T n T n , para toda
n > m,
n
Sn Sm T k .
k=m+1
1
xn yn < . (6.12)
n=1 2KM
Entonces {yn }
n=1 es una sucesion basica equivalente a {xn }n=1 . Es
mas, si {xn }
n=1 es una base de X, tambien {yn }n=1 lo es.
(ii) Supongamos que existe una proyeccion acotada sobre [xn ]n=1
P : X [xn ]
n=1 .
Si {yn }
n=1 es una sucesion en X tal que
1
xn yn < , (6.13)
n=1 8KM P
y entonces
r r r
n=m xn (x) yn n=m xn (x) (yn xn ) + n=m xn (x) xn
r r
n=m |xn (x)| yn xn + n=m xn (x) xn
r r
2KM x n=m yn xn + n=m xn (x) xn .
Como por hipotesis tanto
n=1 xn (x) xn como
n=1 yn xn con-
r
vergen, { n=1 xn (x) yn }
r=1 es una sucesion de Cauchy que por lo
tanto converge. Observemos que T [xn ] n=1 [y ]
n n=1 y que
x T x |xn (x)| xn yn 2KM x xn yn . (6.14)
n=1 n=1
Consecuentemente de (6.12), I[xn ] n=1
T < 1 y por el lema anterior
existe T 1 : T ([xn ]
n=1 ) [xn ]n=1 y es continuo. Ademas
T < 1 + I[xn ]
n=1
= 2. (6.15)
Tenemos entonces
1 1
an xn T an yn T T an x n , (6.16)
n=1 n=1 n=1
{xn }
n=1 es una base, {yn }n=1 tambien lo es ya que en este caso el lema
anterior implica que T es suprayectivo. Con esto queda demostrado
(i) .
Supongamos ahora que P : X [xn ] n=1 es una proyeccion y que se
cumple (6.13). Si y Y = [yn ]n=1 X,
y= an y n = T an x n = T P an x n .
n=1 n=1 n=1
Si x = n=1 an xn , usando el hecho de que supn |an | 2KM x y
usando (6.15), obtenemos que
T P y y = T P n=1 an (yn xn )
T P n=1 |an | yn xn (6.17)
1
2KM T P x n=1 yn xn x .
2
Por otro lado, de (6.14) y (6.13) y como la norma de una proyeccion es
mayor o igual a 1, resulta
1
x T x x (6.18)
4
y de aqu
4 4
x T x = y . (6.19)
3 3
Juntando (6.17) y (6.19), deducimos
2
T P y y y .
3
Entonces si S = T P |Y e IY denota la identidad en Y, S IY < 1
y por lo tanto, como T P (X) Y, usando nuevamente el lema 6.19, se
tiene que S : Y Y tiene inverso.
Si consideramos ahora Q = S 1 T P, Q es un operador con dominio
X y con rango Y tal que para x X,
Q2 x = S 1 T P S 1 T P x = S 1 T P x,
238 6. Geometra de espacios de Banach
Supongamos que esto es falso. Entonces existe n N tal que para toda
y F, y
= 0 se tiene que Pn y
= 0, donde Pn : X [xj ]nj=1 es la
proyeccion asociada a la base {xn } n=1 denida en la proposicion 6.7.
Por lo tanto Pn |F es inyectiva, o sea que F es isomorfo a un subespacio
de [xj ]nj=1 contradiciendo el hecho de que F tiene dimension innita.
Sean 0 <
< 1, m1 = 0 y y1 F con y1 = 1, y1 = (1)
n=1 an xn .
Como esta serie es convergente, existe m2 > m1 tal que
(1)
a x
n < 3 .
n
n=m2 +1 2 K
an xn < 4 .
n=m3 +1 2K
De esta manera construimos inductivamente una sucesion {yj } j=1 F
con yj = 1, y una sucesion {mj }j=1 N tales que 0 < m1 < m2 < ...,
(j)
(j)
yj =
an x n y an xn < j+2 . (6.21)
n=mj +1 n=mj+1 +1 2 K
m
Denamos para j = 1, 2, ... vj = n=m j+1
a(j) xn ; como yj = 1, por
j +1 n
(6.21) vj
= 0. Sea
vj
uj = .
vj
Entonces por (6.21)
yj uj < .
j=1 2K
Como {uj }
j=1es una base bloque de {xn } n=1 , por el corolario 6.12 es
una sucesion basica con constante de base K. Usando el teorema
6.20 tenemos que {yn }
n=1 es una sucesion basica equivalente a {uj }j=1
y tomando G = [yn ]n=1 termina la demostracion del teorema.
mi+1
Si ui = j=mi +1 xj (yni ) xj , entonces por las hipotesis y (6.24) ,
1 1
M M i ui M + i M +
2KM 2KM
y
1
yni ui i < .
i=1 i=1 2KM
Como por el corolario 6.12 {ui }
es una sucesion basica con constante
i=1
de base menor o igual que K, podemos aplicar el teorema 6.20, para
obtener que {yni }
i=1 es equivalente a {ui }i=1 .
Lema 6.23 Sea {xn } n=1 una base en un espacio de Banach X con
constante de base K. Entonces la sucesion de funcionales biortogonales
{xn }
n=1 X , es una sucesion basica con constante de base menor o
igual a K y las proyecciones asociadas a esta sucesion son Pn |[x ] ,
i i=1
n = 1, 2, ..., donde Pn es el operador adjunto a la proyeccion Pn .
Ademas, si {xn }n=1 es monotona, es decir si K = 1, se tiene que
para x X ,
x = n
lim Pn x = sup Pn x .
n
242 6. Geometra de espacios de Banach
es decir,
Pn (X ) [xi ]
i=1 . (6.27)
En particular, si
i=1 bi xi [xn ]
n=1 , de (6.26) se deduce que
n
Pn bi xi = bi xi ,
i=1 i=1
Consecuentemente
6.1. Bases de Schauder 243
(1
) x < |x (x)| |(Pn x ) (x)| +
i=n+1 ai x (xi )
(6.30)
Pn x +
x .
(1 2
) x < Pn x x .
Ejemplo
Consideremos el espacio c0 con la base sumante {n } n=1 , denido en el
ejemplo anterior al lema 6.19, cuyo dual es el espacio l1 que es separable.
Es facil ver que n = en en+1 , donde {en }
n=1 es la sucesion de fun-
cionales biortogonales asociadas a la base canonica de c0 . Como vimos
en el ejemplo posterior al teorema6.10, {en } n=1 es labase canonica de
l1 . Por lo tanto n es el elemento 0, ..., 0, 1, 1, 0, ... l1 y su norma
n
es 2.
Veremos que e1 / [n ]
n=1.
Supongamos que e1 =
i=1 ai i . Entonces 1 = e1 (e1 ) = a1 y si
n>1
0 = e1 (en ) = an an1 ,
de donde an = 1 para n = 1, 2, ...; pero por el lema 6.2, la sucesion
{an }
n=1 debera converger a 0.
Hemos demostrado as que {n } 1
n=1 no es base de l .
Teorema 6.24 Sea X un espacio de Banach con una base {xn } n=1 .
Entonces la sucesion de funcionales biortogonales {xn }
n=1 es una base
de X si y solo si para cada x X
lim x |[xi ]
n i=n
= 0. (6.31)
Demostracion: Si {xn }
n=1 es una base de X , entonces para cada
x X ,
lim x Pn x = 0.
n
(6.32)
Sea y [xi ]
i=n . Entonces, como Pn1 y = 0,
y de (6.32) se obtiene
lim x |[xi ]
n i=n
= 0.
Viceversa, si {xn }
n=1 es tal que se satisface (6.31) y x X , en-
tonces para toda x X con x = 1,
6 7
|x Pn x , x| = |x , (I Pn ) x| = x |[xi ]
i=n+1
, (I Pn ) x
x |[xi ]
i=n+1
I Pn x |[xi ]
i=n+1
(1 + K) ,
Ejemplos
El ejemplo posterior al teorema 6.10 muestra que las bases canonicas
en c0 y en lp , 1 < p < , son reductoras.
Observemos que
1 si n = i
J (xi ) , xn = xn (xi ) =
0 si n
= i
es decir n
Qn y = y (xi ) J (xi )
i=1
n
y i=1 J (xi ) y (xi ) Qn y K y . De esto y (6.34) se tiene
n
y (xi ) xi K 2 y .
i=1
Como la base es acotadamente completa, x =
i=1 y (xi ) xi X y
claramente Jx = J ( i=1 y (xi ) xi ) = y . Con esto probamos que J es
suprayectiva y que X es isomorfo a Y .
Ejemplos
La base canonica en c0 no es acotadamente completa, ya que por ejem-
plo
m
sup ei = 1,
n
i=1
pero esta serie no converge en c0, pues la sucesion {1, 1, 1, ...} no perte-
nece al espacio. Sin embargo es facil ver que la base canonica de lp para
1 p < s es acotadamente completa.
Teorema 6.26 Sea {xn } n=1 una base reductora en un espacio de Ba-
nach X. Entonces el espacio X es isomorfo al espacio X de suce-
siones {an }
n=1 K tales que
n
sup ai xi <
n i=1
con la norma n
{an }
n=1 X
= sup ai xi .
n i=1
Si ademas {xn }
n=1 es monotona, entonces x = xX .
Sea {Pn }
n=1 la sucesion de las proyecciones asociadas a {xn }n=1 .
Entonces por ser {xn }n=1 base reductora, {xn }n=1 es una base de X .
Sea j la inyeccion canonica; recordemos que j es una isometra y que
{j (xn )}n=1 es la sucesion de funcionales biortogonales asociada a la
base {xn }n=1 (ver teorema 6.25).
Por el lema 6.23 la base {xn }
n=1 es monotona y para cada x
X ,
n
Pn x = x (xi ) j (xi )
i=1
y
sup Pn x = x .
n
lim y (x ) = x (x ) . (6.35)
n n
Por el teorema de Banach-Alaoglu, la sucesion { ni=1 ai j (xi )}
n=1 esta
contenida en un conjunto (X , X ) compacto y por lo tanto tiene un
subsucesion w convergente. Supongamos que x X es tal que
mn
ai j (xi ) x .
w
i=1
x (xn ) = an ,
6.1. Bases de Schauder 249
Teorema 6.27 Sea X un espacio de Banach con base {xn } n=1 . En-
tonces X es reexivo si y solo si la base es a la vez reductora y aco-
tadamente completa.
a) yn = 1
b) x (yn ) >
para n = 1, 2, ....
base de X , de donde x se puede expresar como x = n=1 bn j (xn )
y claramente an = bn para toda n. Por ende a
n=1 n n x converge en X
y {xn }n=1 es acotadamente completa.
Viceversa, supongamos que {xn } n=1 es una base reductora y aco-
tadamente completa de X. Para ver que X es reexivo hay que probar
que si x X , existe x X tal que j (x) = x . Sea pues x X ;
entonces por el teorema 6.26,
n
sup x (xi ) xi < ,
n i=1
y por ser {xn }
n=1 acotadamente completa, n=1 x (xn ) xn X. Por
lo tanto
y = x (xn ) j (xn ) X ,
n=1
y como y
= x (xn ) para cada n, y {xn }
(xn )
n=1 es base de X ,
y = x , o sea que
x =j x (xn ) xn ,
n=1
Ejemplos
Como ya sabemos que los espacios lp con 1 < p < son reexivos, el
teorema anterior nos dice que la base canonica y cualquier otra base en
estos espacios es a la vez reductora y acotadamente completa.
1 (n ) = {pn , pn + 1, ..., pn + rn } .
n
Pero entonces obviamente la sucesion k=1 x(k) n=1 no es de Cauchy.
(ii) (iii) Esto es trivial, pues (ii) implica que { m i=1 xni }m=1 es
una sucesion de Cauchy.
(iii) (iv) Supongamos que i=1 xni converge para cualquier
sucesion de naturales n1 < n2 < ... y sea {n } n con n = 1 para
n = 1, 2, .... Sea
{ni : i = 1, 2, ...} = {n N : n = 1}
252 6. Geometra de espacios de Banach
{mi : i = 1, 2, ...} = {n N : n = 1} .
xnk < y xmk < .
k=j 2 k=j 2
Corolario 6.30 Si n=1 xn es una serie incondicionalmente conver-
gente en un espacio de Banach X, entonces existe x X tal que para
toda permutacion de N,
x(n) = x.
n=1
M = max {i : (i) N } .
Entonces si n > M
n
n
xi x(i) = xi x(i) 2
,
i=N +1
i=1 {iM :(i)>N }
Teorema 6.32 Sea {xn } n=1 una sucesion basica en un espacio de Ba-
nach. Entonces las siguientes armaciones son equivalentes:
(i) {xn }
n=1 es una sucesion basica incondicional.
(ii) Para todo subconjunto de N la convergencia de n=1 an xn im-
plica la convergencia de i ai xi .
(iii) Si n=1 an xn converge, entonces
n=1 n an xn converge para toda
sucesion {n }n=1 , donde n = 1 para n = 1, 2, ...
254 6. Geometra de espacios de Banach
(iv) Si |bn | |an | para toda n, la convergencia de n=1 an xn implica
la convergencia de n=1 bn xn .
G= j bn xn : |bn | |an | para n N y es nito ,
n
donde j es la inyeccion canonica de [xn ]
n=1 en ([xn ]n=1 ) , implica que
B = sup bn xn : |bn | |an | para n N y es nito < .
n
(6.37)
Si para n=1 an xn X denimos
an xn = B, (6.38)
n=1 1
T an x n = an x n ,
n=1 n=1
seminormalizada en
xn
un espacio de Banach X, entonces es una base equivalente
xn n=1
a {xn }
n=1 .
xn
Demostracion: Es claro que es tambien una base incondi-
xn n=1
cional de X, ya que si n=1 an xn X,
xn
an x n = an xn .
n=1 n=1 xn
1
Supongamos que si n N, xn M y que n=1 an xn X.
M
a
n
Entonces n=1 M an xn X, y como M |an | y {xn }n=1 es
xn
incondicional,
xn
an X.
n=1 x n
6.1. Bases de Schauder 257
xn xn
Viceversa, si an X, entonces M an X y como
n=1 xn
n=1 xn
xn
|an xn | M |an | y es incondicional,
xn n=1
xn
an x n = an xn X.
n=1 n=1 xn
Ejemplos
Los ejemplos mas sencillos de bases incondicionales son las bases cano-
nicas {ei } p
i=1 de los espacios l , 1 p < y de c0 .
Sin embargo la base sumante {n } n=1 en c0 donde
n = ni=1 ei , no
es incondicional, pues por ejemplo ni=1 i = n y ni=1 (1)i i = 1
de manera que para toda K R, K > 0, si n K
n n n
i
K = K (1) i n = i sup i i ,
i =1 i=1
i=1 i=1
no es reductora.
Viceversa, que {xn }n=1 no es reductora.
supongamos
Como x [xi ]i=n
es decreciente, existen
> 0 y x X , que
1 n
podemos suponer tiene norma 1, tal que
x [xi ]i=k >
> 0. (6.41)
1
Veremos que esto implica que existen una sucesion creciente {nk } k=1
y una sucesion {yk } nk+1 1
k=1 con yk [xi ]i=nk , |yk |1 = 1 y tal que x (yk )
es real y x (yk ) .
2
Pero entonces si {ai }m
i=1 R,
m m m
m
m
|ai | ai yi = |ai | yi x |ai | yi |ai | ,
2 i=1
i=1 i=1 1 i=1 1 i=1
a x
i < .
i
i=n2 2
1
Sea n2 1 (1)
ei1 i=n1 i
a xi
y1 = n2 1 ,
a x
(1)
i i
i=n1 1
6.1. Bases de Schauder 259
Como la serie para znk+1 es convergente, existe nk+2 > nk+1 tal que
(n )
ai k+1
xi < .
i=nk+2 2
1
Sea nk+2 1 (n )
eik+1
i=n
ai k+1
xi
yk+1 = n 1 k+1 ,
(n )
ai k+1 xi
k+2
i=n k+1 1
donde k+1 es tal que x (yk+1 ) 0.
nj+1 1 (n )
Como znj = 1, se tiene que 0 < i=n ai j xi 1 para
1 j 1
toda j natural.
Ya que yk [xi ]ni=n
k+1 1
k
, |yk |1 = 1, usando (6.42), (i) y (ii) obte-
nemos
1
x (yk ) = nk+1 1 (nk ) x
(nk ) (nk )
i=nk ai xi
i=nk+1 ai xi
i=nk ai xi
1
1
xi
= .
(nk )
nk+1 1 (nk )
x i=nk+1 ai
i=nk ai xi 2 2
1
entonces r
yk = ai xi < 1.
(6.45)
k=1 1 iA 1
6.2. Subespacios complementados 261
1. F G = {0} .
2. F + G = X.
(I P ) (I P ) = (I P ) (I P ) P = I P P + P = I P,
x = P x + (I P ) x.
P x = P P z1 + P (I P ) z2 = P z1 = x1 .
P x = x1 si x = x1 + x2 con x1 F y x2 G,
Tx
Sea P : X X la funcion dada por P x = x x0 . Entonces
T x0
Tx
(I P ) x = x0 .
T x0
Claramente, si x H, como T x = 0, tenemos que P x = x. Ademas
Tx
TPx = Tx T x0 = 0.
T x0
Por lo tanto P es una proyeccion sobre H. Como
T x T x
(I P ) x = x0 = < (1 +
) T x ,
T x0 T x0
ker P = R (P ) = {0} ,
= x , iP P x = x , iP x = (iP ) x , x
i x , f = x , if = f , f ,
(iP ) X = P i X = P F = Y.
X = (iP ) X (I iP ) X
Ejemplos
Veremos mas adelante que los espacios c0 y lp son primos si 1 p < .
Si H es un espacio de Hilbert, entonces H es primario. En efecto,
supongamos que H = H1 H2 . Entonces claramente H1 y H2 con la
norma heredada de H son espacios de Hilbert ya que son cerrados. Si
{ }A es una base ortonormal de H1 y { }B es una base orto-
normal de H2 , entonces{ }A { }B es una base ortonormal de
H y por el teorema 3.33, H es isomorfo a l2 (A B) , H1 es isomorfo a
l2 (A) y H2 es isomorfo a l2 (B) .
No es muy difcil ver que l2 (A) es isomorfo a l2 (B) si y solo si la
cardinalidad de A es igual a la cardinalidad de B. Pero se sabe que si
A B es un conjunto innito y A B = ,
(F F ...)p (G G ...)p
p
F (F F ...)p (F F ...)p
T {{xn , yn }}
n=1 = {xn }n=1 , {yn }n=1 =
1
p p
({xn }
n=1 + {yn }n=1 ) =
p
1 1
=( i=1 xi pF + yi pG ) p = ( i=1 {xi , yi }p ) p = {{xn , yn }}
n=1 .
T {x, {xn }
n=1 } = {x, x1 , x2 , ...}
(i) {uj }
j=1 es una sucesion basica equivalente a {en }n=1 y [uj ]j=1 es
p
un espacio isometrico a l .
mj+1
(j) p
Demostracion: (i) Por hipotesis i=mj +1 ai = 1 para cada j. Por
lo tanto para toda k N y para {bj }kj=1 K tenemos que
mj+1
k k (j)
j=1 bj uj = j=1 bj i=mj +1 ai ei =
(6.49)
mj+1 1 1
k p (j) p p k p p
= j=1 |bj | i=mj +1 ai = j=1 |bj | .
(ii) Sea uj [ei ]m p q
i=mj +1 (l ) = l tal que uj = uj (uj ) = 1.
j+1
Claramente uj (uk ) = 0 si k
= j y el operador P : lp [uj ]j=1 denido
por
Px = uj (x) uj
j=1
mj+1 (j)
Ademas si x = i=1 bi ei lp , y uj =
i=mj +1 ci ei , usando la des-
q mj+1 (j) q
igualdad de Holder y como 1 = uj = i=m j +1
ci , para cada j
tenemos que
p p
p mj+1 mj+1 mj+1 q q mj+1
(j) p
(j)
uj (x) =
bi c i |bi | c i = |bi |p .
i=mj +1 i=mj +1 i=mj +1 i=mj +1
0 = l
= (l1 ) y este espacio no es separable, mientras que
lp , (lp ) y (lp ) s lo son. Hasta estos momentos parecera que todos
los espacios lp para 1 < p < podran ser iguales, aunque siempre
pensamos en ellos como espacios diferentes y efectivamente lo son. Sin
embargo, la demostracion de este hecho no es nada trivial y requiere
de una buena parte de las herramientas que hemos desarrollado hasta
ahora.
y claramente an = x en(p) . Consecuentemente, ya que en(p) = 1,
aplicando el lema 6.2 obtenemos que
x en(p) n
0
y por lo tanto en(p) tiende debilmente a cero. La proposicion 4.80
n=1
nos dice que T es debilmente continuo y por ende T en(p) tambien
n=1
converge
debilmente
a
cero. Del lema 6.22 obtenemos una
subsucesion
T en(p)i de T en(p) y una base bloque {yi } i=1 de e (r)
n tales
i=1 n=1 n=1
que
T en(p)i es equivalente a {yi }i=1 . (6.50)
i=1
Por otra parte, como en(p) es incondicional y de la proposicion 6.46
n=1
en(p) es equivalente a en(p)i . (6.52)
n=1 i=1
Tambien T en(p)i y {yi }
i=1 son incondicionales y podemos aplicar el
i=1
lema 6.35 obteniendo que
yi
{yi }
i=1 es equivalente a . (6.53)
yi i=1
yi
Como tambien es una base bloque de en(r) , por la
yi i=1 n=1
proposicion 6.46
yi
es equivalente a en(r) . (6.54)
yi i=1
n=1
1 2r 2p
2/(p+r)
en(r) no converge en lr , pues <1< y esto naliza
n=1 n p+r p+r
la prueba.
x = sup {|x (x )| : x BX } ,
f = sup {|f (x )| : x BX }
{f (xn )}
n=1 f .
Sea
> 0 y supongamos que x K es tal que
|f (x)| > f .
2
Como f es continua en K y {xn } n=1 es un conjunto denso en K, existe
n0 tal que
yn (y) = (T y)n .
Tenemos que
Sx = {xn (x)}
n=1 .
Claramente Sy = T y si y Y y
|Sx| = sup |xn x| sup xn x = sup yn x T x ,
n n n
F = {x BX : x (c0 ) = {0}} .
Si xnk es una subsucesion de {xn }
n=1 tal que
k=1
xnk x , (6.55)
w
d (x , y ) = 2n |(x y ) (xn )| ,
n=1
dn = inf {d (xn , y ) : y F } ,
toda subsucesion de {dn } n=1 tiene a su vez una subsucesion que con-
verge a 0, es decir limn dn = 0.
1
Para cada n sea zn F tal que d (xn , zn ) < dn + . Como
n
dn d (xn , zn ) obtenemos
lim d (xn , zn ) = 0
n
280 6. Geometra de espacios de Banach
o, equivalentemente
xn zn 0. (6.56)
w
Denamos P : X c0 mediante
P x = {(xn zn ) x}
n=1 .
es decir P 2.
Qen = xn .
6.3. Los espacios lp y c0 281
Q esta bien denido pues claramente si y l1 , y = n=1 an en , se tiene
que
r r
an xn |an |
n=k n=k
y por lo tanto
Qy y .
Si x BX , sea xn1 tal que
1
x xn1 .
22
Ahora sea n2 > n1 tal que
1 1 1
2 (x xn1 ) xn2 , es decir x xn1 xn2 4 .
222 2 2
Continuamos inductivamente, hallando nk > nk1 > ... > n1 tales que
1
k1
2 (x xn1 ) 2k2 xn2 ... xnk ,
2 2k
o equivalentemente
1 1
x 21k xn 22k xn ... x x
n1 2k .
k k1 n2
2 2
1
Entonces si y = k=1 en , obtenemos que y l1 y Qy = x o sea Q
2k1 k
es suprayectivo.
T : X/ ker T l1
ST ST = S (T S) T = ST,
T an xn = T an Sen
n=1 n=1
T S an en = T S |an | ,
n=1 1 n=1
Y l1 .
c, xn = cm x(n) 0.
m n (6.57)
m=1
284 6. Geometra de espacios de Banach
& '
En particular tomando ek = 0, 0, ..., 0, 1, 0, ... l , resulta que
k
(n)
xk 0 para cada k N.
n
(6.58)
m=1
y
(n1 )
xm < .
m=r1 8
Si ya elegimos n1 < n2 < ... < nk y r1 < r2 < ... < rk , escogemos nk+1
y rk+1 como sigue: Por (6.58) existe N tal que si n > N y m = 1, ..., rk ,
(n)
xm < . (6.59)
8rk
Sea nk+1 > max {nk , N } tal que
xnk+1 >
. (6.60)
1
x m < . (6.61)
m=1 8
Sea rk+1 > rk tal que
(nk+1 )
x m < . (6.62)
m=rk+1 8
x m >
> . (6.63)
m=rk +1 4 2
6.4. El espacio C [0, 1] 285
y de (6.57),
(nk )
c m xm 0.
k
m=1
Pero de (6.63),
rk rk1
(nk )
(nk ) (nk )
(nk )
c m xm = c m xm + c m xm + c m xm
m=rk1 +1
m=1 m=1 m=rk +1
rk r
k1
(nk ) (nk )
(nk )
c m xm cm xm c m xm
m=rk1 +1 m=1
m=rk +1
rk
r
k1
2
0 (t) 1
1 (t) = t
: ;
n+1 2k 2 2k 2 2k 1
2 t n+1 si t , n+1
2 : 2n+1 2;
2n +k (t) = 2k 2k 1 2k
2n+1 t si t ,
2n+1 2n+1 2n+1
0 en el resto
donde
a1 = f (1) f (0)
y para n = 0, 1, 2, ... y k = 1, ..., 2n
1 2k 1 2k 2 2k 2k 1
a2n +k = f f f +f ,
2 2n+1 2n+1 2n+1 2n+1
(6.64)
converge uniformemente a f en [0, 1] .
En el intervalo [0, 1] ordenamos a los racionales diadicos, es decir a
m
los de la forma n , como sigue: s0 = 0, s1 = 1 y para m = 2n + k con
2
n 2k 1
1 k 2 , sm = n+1 . Denotemos por 0 a la funcion denida en
2
[0, 1] mediante 0 (t) = f (0) y por m a la funcion poligonal dada por
6.4. El espacio C [0, 1] 287
gx (t) = F (t) , x .
t0 en [0, 1] , como F es
gx efectivamente es continua ya que si tn n
continua en la topologa (X , X) , para cada x X
|gx (t0 )| = |F (t0 ) , x| = |f (t0 ) , x| = |T x| = x . (6.66)
290 6. Geometra de espacios de Banach
x nk >
.
zk = ei , zk ei
i=nk
tal que
x (zk ) >
,
donde {en }
n=1 es la sucesion de funcionales biortogonales asociadas a
{en }n=1 . Construiremos a partir de {zk }
k=1 una sucesion {yk }
k=1 de
manera que k=1 yk /k converja en J pero x ( y
k=1 k /k) no converja
y esto nos proporcionara la contradiccion deseada.
292 6. Geometra de espacios de Banach
n
Sea m1 = n1 . Como i=n1 ei , z1 ei z1 , existe nr > m1 tal que
n
n
r 1
x ei , z1 ei >
.
i=m1
m2 1
i=m1 ei , z1 ei m2 1
Si m2 = nr y y1 = m , de i=m1 ei , z1 ei 1,
2 1
i=m 1
ei , z1 ei
Supongamos que hemos construido m1 < m2 < ... < mk+1 y y1 , ..., yk
tales que {mi }k+1
i=1 {ni }i=1 y
mk+1 1
yk = ei , yk ei , yk = 1 y x (yk ) >
.
i=mk
n
Si mk+1 = nj , como i=nj ei , zj ei n
zj , existe nj > nj tal que
nj 1
x
ei , zj ei
>
.
i=nj
mk+2 1
i=m ei , zj ei
Sean mk+2 = nj y yk+1 = mk+2k+1 . Es claro que yk+1 = 1
e , z e
1
i=mk+1 i j i
y x (yk+1 ) >
.
Veremos que k=1 yk /k converge en J. En efecto, al calcular una
suma para aproximar la norma de este elemento, cada termino es de
uno de los tres tipos siguientes:
Pero n n
yk 1
x >
,
k=1 k k=1 k
de manera que x ( k=1 yk /k) no converge. Con esto nalizamos la
prueba de que {en }n=1 es reductora, lo cual implica que {en }
n=1 es una
base de J .
es una isometra.
Procedemos a continuacion a la prueba de que j (J) tiene codi-
mension 1 en J .
Si x = n=1 an en pertenece a J y si denimos U : J X mediante
U x = (a1 , a2 , ...) ,
m
U esta bien denida dado que supm i=1 ai ei x < . Ademas
T 1 U = j.
T 1 U x (x ) = x (x ) = bn x (en ) = b n an =
n=1 n=1
= x (x) = j (x) , x .
Es evidente que si x = (a1 , a2 , ...) X y si limn an = 0, en-
tonces, como x = supm m i=1 ai ei < , por la denicion 6.62,
x = n=1 an en pertenece a J, es decir x =U x.
Sea x X con limn x (en ) = . Podemos escribir
x = (x ) +
x = j(x).
6.6 Ejercicios
1. Demuestre que una sucesion basica normalizada {xn } n=1 es equi-
valente a la base canonica de c0 si y solo si existe una constan-
te K tal que para toda m N y para cualesquiera escalares
a1 , a2 , ..., am
m
ai xi K sup |ai | .
1im
i=1
7. Sea {xn }
n=1 una base acotadamente completa en un espacio de
Banach X. Entonces X es isomorfo a ([xn ]
n=1 ) .
8. Sea X un espacio de Banach tal que X tiene una base {xn } n=1 .
Si {yn }
n=1 X es una sucesion acotada y existe y X tal que
para toda m N xm (yn ) n
xm (y) , entonces yn w
y.
298 6. Geometra de espacios de Banach
sn = e1 + e2 + ... + en
{sn }
n=1 tambien es una base en J. Dicha base se llama la base
sumante.
6.6. Ejercicios 299
301
302 Bibliografa
304
Indice 305
308
Simbologa 309
x , x, 114
V (x0, x1 , x2 , ..., xk ,
), 114
V (x1 , x2 , ..., xk ,
), 114
(X , X), 116
V (x0, x1 , x2 , ..., xk ,
), 117
x x0 , 118
w
x x0 , 118
w
w
A , 119, 203
w
A , 119
E (espacios de Banach), 128
F (espacios de Banach), 128
T (espacios normados), 137
IX , 137
c, 144
lp , 0 < p < 1, 151
A , 168
Lp [0, 1], 0 < p < 1, 187
convF , 199
X , 200
(X, Y ), 200
Ao , 204
o
B, 204
||, 220
||1 , 254
P , 255
M , 255
||0 , 255
F G, 268
F G, 268
C [0, 1], 286
J, 290