Captulo 1

Espacios de Banach
1.1

Definiciones y ejemplos

Sea E un espacio vectorial sobre K (K = R o C)

Definici
on 1.1.1 E es un espacio vectorial topol
ogico si
1. E es un espacio vectorial,
2. E es espacio topol
ogico, y
3. las operaciones,
(x, y) E E x + y E,
and,
(, y) K E y E,
son continuas.
En este caso, tambien decimos que la topologa de E y su estructura
vectorial son compatibles.
Definici
on 1.1.2 E es un espacio normado si E es espacio vectorial y existe
una norma, o sea, una funcion k k : E R que satisface
1. Para todo x E, kxk 0 y ( kxk = 0 x = 0)
1

2. Para todo x E y K, kxk = || kxk

3. Para todo x E, y E, se tiene que
kx + yk kxk + kyk (Desigualdad triangular)
Definici
on 1.1.3 Un espacio de Banach es un espacio normado completo,
vale decir, un espacio vectorial, premunido de una norma k k, en el cual
toda sucesi
on {xn } de Cauchy ( kxn xm k 0, cuando n, m ) es
convergente ( existe x E tal que kxn xk 0).
Todo espacio normado E es un espacio vectorial topologico. En efecto,
por la desigualdad triangular, se tiene que,
k(x + y) (x0 + y0 )k kx x0 k + ky y0 k,
lo que demuestra que la adicion es una operacion continua. Asimismo, de
la desigualdad,
kx 0 x0 k k 0 k kxk + |0 |kx x0 k,
sigue de inmediato que la multiplicacion por escalar es una operacion continua.
Si E es un espacio normado con norma k k, entonces, claramente,
d(x, y) kx yk,
define una distancia (o metrica) en E. As, todo espacio normado es tambien un espacio metrico. De manera natural se tiene entonces todos los
conceptos topologicos usuales. Por ejemplo, una sucesion {xn } en E converge a x E (escribimos xn x ) si kxn xk 0. La bola abierta de
centro x0 ( E) y de radio r ( 0)es B(x0 , r) {x E/kx x0 k < r}. Como en cualquier espacio metrico, estas bolas permiten definir los conjuntos
abiertos, los conjuntos cerrados, la clausura, el interior, la continuidad, etc.
Ejemplo 1.1.1
E = Cn con la norma euclideana,
k(x1 , x2 , , xn )k2

n
X

! 21
|xi |2

i=1
n

Es facil ver que C , k k2 es un espacio de Banach (Ejercicio)

Ejemplo 1.1.2
Sea 1 6 p < Considere E = Cn con,

k(x1 , x2 , , xn )kp

n
X

! p1
|xi |p

i=1

Entonces Cn , k kp es un espacio de Banach.

Problema 1.1.1
1. Demuestre la desigualdad de Minkowski,
n
X

! p1
|xi + yi |2

n
X

i=1

! p1
|xi |p

n
X

i=1

! p1
|yi |p

i=1

Para todo x = (x1 , x2 , , xn ), y = (y1 , y2 , , yn ) Cn

2. Demuestre la desigualdad de Holder,
n
p
! 1q
! p1 n
X

X
X

|yi |q
,
xi yi 6
|xi |p

i=1

i=1

i=1

Para todo x = (x1 , X2 , , xn ), y = (y1 , y2 , , yn ) Cn

Aqu, 1 6 p < y

1
p

1
q

=1

Ejemplo 1.1.3
E = Cn con
k(x1 , x2 , , xn )k = max |xi |,
16i6n

Es un espacio de Banach (Ejercicio).

Ejercicio: Dibuje la bola unitaria B(0, 1), centrada en el origen, en
R , k kp , para distintos valores de p con 1 6 p .
2

Problema 1.1.2
Demuestre que para todo x Cn , se tiene que
lim kxkp = kxk

Problema 1.1.3
Demuestre que en Cn , k kp hay un producto interior <, > tal que kxkp =

< x, x >, si y solo si p = 2.

Observaci
on: Todos los ejemplos anteriores consisten de espacios de dimension finita. Los que siguen en cambio son espacios de dimension infinita.
Ejemplo 1.1.4
Sea 1 6 p < .
Sea lp = {(x1 , x2 , , )/xi C y
La norma en lp es
k(x1 , x2 , , )kp

! p1
|xi |p

< }

i=1

!
|xi |p

1
p

i=1

lp , kkp es un espacio de Banach (Ejercicio).

Ejemplo 1.1.5
l = {(x1 , x2 , , )/xi Cn y sup|xi | < }, con k(x1 , x2 , , )k
sup|xi |
i

Se tiene que l , kk es un espacio de Banach.

Problema 1.1.4
).

Verificar que lp , k kp es un espacio de Banach (1 6 p 6

Problema 1.1.5
A diferencia del caso de Cn (dimensi
on finita) donde el espacio vectorial
E = Cn es el mismo para cualquier elecci
on de la norma k kp , en dimension
p
infinita los espacios l no coinciden.
Demuestre que si 1 6 p1 < p2 6 , entonces lp1 lp2

Ejemplo 1.1.6

C0 = {(x1 , x2 , , )/xi C y lim xi = 0

i

Se tiene que C0 k k es un espacio de Banach.

Problema 1.1.6
Demostrar esta afirmacion.

Problema 1.1.7
Verifique que los vectores can
onicos e1 = (1, 0, , ), e2 = (0, 1, 0, , ),
son linealmente independientes en lp , pero no constituyen una base.
Observacion: En alg
un sentido, los ejemplos anteriores son generalizaciones de los espacios de dimension finita (extendemos el concepto de vectores como tuplas con n coordenadas a tuplas con un n
umero infinito de
coordenadas, los que siguen son espacios cuyos elementos son funciones
reales (o complejas).
Ejemplo 1.1.7
C[0, 1] = {f : [0, 1] C/f es continua}
Como toda funcion continua definida en un conjunto compacto es acotada, podemos tomar
kf k = sup |f (x)|
06x61

Resulta que, C[0, k k es un espacio de Banach.

De la misma manera, se define C(), para Rn compacto.
Problema 1.1.8
Demuestre esta afirmacion.
Nota: La norma k k corresponde a la convergencia uniforme.
Ejemplo 1.1.8
B[0, 1] = {f : [0, 1] C/f es acotada}
se tiene que B[0, 1], k k es un espacio de Banach.
An
alogamente, se define C(), para Rn no necesariamente acotado.
Problema 1.1.9
Demuestrelo.

Ejemplo 1.1.9
B0 () = {f : C acotada / > 0, K compacto, tal que
|f (x)| < , para todo x \K}
Se tiene que B0 (), k k es un espacio de Banach.
En alg
un sentido, este espacio consiste de aquellas funciones que tienden a cero, cuando x tiende a infinito.
Ejemplo 1.1.10 Sea 1 p < . Los espacios de Lebesgue Lp (Rn ) se
definen como las clases de funciones f : C para las cuales,
Z
p

kf kp

|f (x)| dx

p1

Rn

es finito. Se tiene que Lp (Rn ), kkp es un espacio de Banach.

An
alogamente, se define Lp (), para Rn adecuado.
Ejemplo 1.1.11
El espacio de Lebesgue L (Rn ) consiste de las clases de funciones (medibles) f : C para las cuales,
kf k supremo esencial

Rn |f (x)|,

es finito. Se tiene que L (Rn ), kkp es un espacio de Banach.

An
alogamente, se define L (), para Rn adecuado.
Recordamos que el supremo esencial de una funcion f : C es,
kf k inf {c / |f (x)| c, casi para todo x},
donde casi para todo significa que el conjunto donde esta propiedad no
se verifica, tiene medida de Lebesgue cero. As, |f (x)| c, casi para todo x
quiere decir que el conjunto {x /|f (x)| > c }, tiene medida cero.

1.2

Transformaciones Lineales Acotadas

Definici
on 1.2.1 Sean E, F espacios normados y sea T : E F una
transformaci
on (operador) lineal. Decimos que T es acotada si existe una
constante c > 0 tal que
kT xk ckxk,
para todo x E.
En este caso definimos la norma de T como
kT k = inf{c > 0/kT xk ckxk, x E}
Proposici
on 1.2.1 Las siguientes afirmaciones son equivalentes
1. T es continua.
2. T es continua en el origen.
3. T es acotada.
Demostraci
on (b) (c)
Supongamos que para todo entero positivo n existe xn E tal que kT xn k >
xn
. Entonces kyn k = n1 0, pero kT yn k > 1, vale
nkxn k. Sean yn = nkx
nk
decir, yn 0, pero T yn no converge a 0 = T 0.
(c) (a)
Supongamos que xn x. Entonces, kT xn T xk ckxn xk 0, lo que
demuestra que T es continua. 2
Problema 1.2.1
Sean E, F espacios normados y T : E F una transformaci
on lineal
acotada. Demuestre que:
1. kT xk kT kkxk, x E,
xk
2. kT k sup kT
= supkxk=1 kT xk = supkxk1 kT xk,
kxk

3. Si, para todo x E, se tiene que kT xk ckxk y que existe un x0 E

tal que kT x0 k = ckx0 k, entonces kT k = c.

Problema 1.2.2
(Criterio para Completitud) Sea E un espacio normado y sea {xn } E.

X
Recordemos que una serie
xn , converge si la sucesi
on de sumas parciales
n=1
N
X

xn converge, cuando N .

n=1

Asimismo, una serie

X
n=1

xn es absolutamente convergente si

kxn k converge

n=1

Demuestre que un espacio normado E es completo si y solo si toda la

serie absolutamente convergente en E es convergente.
Definici
on 1.2.2
1. Sean E, F espacios normados. Un isomorfismo
(topol
ogico) de E en F es una transformaci
on lineal T : E F
1
que es continua, biyectiva y tal que T continua.
2. Dos normas en E se dicen equivalente si y solo si generan la misma
topologa. Esto ocurre si y solo si la identidad
i : (E, k k1 ) (E, k k2 )
es un isomorfismo.
Problema 1.2.3
Sea T : E F una transformaci
on lineal sobreyectiva. demuestre que T
es un isomorfismo si y solo si existen constantes c1 , c2 > 0 tales que
c1 kxk kT xk c2 kxk, x E
Definici
on 1.2.3 Un isomorfismo que preserva las normas se llama un
isomorfismo isometrico.
Ejercicio 1.2.1 En Rn ; k k1 , k k2 , k k son equivalentes.

1.3

Espacios Normados de dimensi

on finita

Teorema 1.3.1 Todas las normas en Cn son equivalentes. Mas a

un, todo
n
espacio normado de dimension n es isomorfo a C .
Demostraci
on Consideremos (Cn , k k1 ). Sea E un espacio normado de
dimension n y sea {e1 , . . . , en } una base de E. Definamos la transformacion
lineal T : Cn E dada por,
T (x1 , . . . , xn ) =

n
X

xi e i

i=1

Se tiene que T es lineal, 1 1 y sobreyectiva. Demostraremos que T es

un homeomorfismo ( o sea, que T y T 1 son continuas). Sea c = maxi kei k,
entonces
kT (x1 , . . . , xn )k ck(x1 , . . . , xn )k
y T es continua. Ahora, kT k tiene un mnimo m sobre el conjunto
compacto {x Cn /kxk1 = 1} y como {e1 , . . . , en } es base, m > 0. Ademas,
se tiene que,
kT xk m, si kxk1 = 1,
de donde,
kT xk mkxk1 , x Cn
As, T 1 es continua. 2
Corolario 1.3.1

1. Todas las normas en Cn ( o en Rn ) son equivalentes.

2. Todo espacio normado de dimension finita es completo.

3. Todo espacio normado de dimension finita es localmente compacto (o
sea, la bola untaria cerrada es compacta).
4. En un espacio normado, todo subespacio de dimension finita es completo.
Problema 1.3.1 Demuestre el corolario.
9

Problema 1.3.2 Sean E, F normados con dim(E) < . Demuestre que

si T : E F es lineal, entonces T continua.
Teorema 1.3.2 (Lema de Riesz) Sea E un espacio normado y sea M un
subespacio cerrado propio en E. Para cada con 0 < < 1, existey0 E
tal que ky0 k = 1 y d(y , M ) .
Demostraci
on Tenemos que y0 E\M . Como M es cerrado, d(y0 , M ) =

> 0. Sea x M tal que ky0 x k y sea y0 = kyy00 x

, entonces
x k
ky0 k = 1 y para todo x M
ky0 x k =

1
d(y0 , M )

ky0 (x + ky0 x kx)k

=
ky0 x k
ky0 x k

2
Teorema 1.3.3 Sea E un espacio normado cuya esfera unitaria S es compacta. Entonces E tiene dimension finita.
Demostraci
on Supongamos que E tiene dimension infinita. Sean x1 S
y M1 =< x1 >. Entonces, por el lema de Riesz, existe x2 S tal que
kx2 xk 12 , para todo x M . Sea M2 =< x1 , x2 >. As, podemos
construir recursivamente una sucesion {xn } en la esfera unitaria, tal que
kxn xm k 12 , n 6= m. Claramente, la sucesion {xn } no puede tener una
subsucesion convergente. 2

1.4

Funcionales Lineales Continuos

Problema 1.4.1 Sea M subespacio propio del espacio vectorial E. Demuestre que M es maximal si y solo si M tiene codimensi
on 1 (i.e. x E
tal que E =< x > M ).
Problema 1.4.2 Un hiperplano es un conjunto de la forma x + M , con
M subespacio propio maximal. Sea H un hiperplano. Demuestre que o bien
H es cerrado o bien es denso en E.
Definici
on 1.4.1
10

1. Sea E un espacio vectorial. Un funcional lineal en E es una trasformaci

on lineal : E C.
El Dual Algebraico de E es E = { funcionales lineales enE}.
2. Sea E un espacio normado. El Dual (Topologico) de E es E 0 =
{ funcionales lineales continuos en E}.
Problema 1.4.3 Demuestre que E y E 0 son espacios vectoriales y que
E 0 es un espacio de Banach.
Problema 1.4.4
1. De un ejemplo de E normado y E no continua.
2. Lo mismo con E Banach.
3. De un ejemplo de T : E F lineal, E, F normados, T no continua,
Ker(T ) cerrado.
4. Lo mismo con E, F, Banach.

1.5

El Teorema de Hanh-Banach

Teorema 1.5.1 (Hanh-Banach) Sean E un espacio normado, M subespacio de E, M 0 . Entonces, existe un funcional E 0 tal que |M = y
ademas, kk = kk.
Lema 1.5.1 Sean E un espacio normado real, M subespacio propio, y0
E M . Entonces, toda funcional M 0 se puede extender a una
N 0 = (M < y0 >)0 , con la misma norma.
Demostraci
on
Tenemos que la extension debe satisfacer:
(y0 + x) = (y0 ) + (x), x M
As
(y0 + x) = u0 + (x),
con u0 R adecuado.
11

Ademas, para todo x M y R, se debe cunplir que

|(y0 + x)| kkM kx + y0 k ()
(De modo que entonces, kkE kkM y como k(x)k = |(x)|
kkkxk, para todo x M , es obvio que kM k kkE ). Ahora bien, ()
significa que,
kkM kx + y0 k (x) + u0 kkM kx + y0 k, (), x M, R
Luego, basta probar que existe u0 R tal que () se verifica. Dividiendo por , se requiere enonces que,
kkM kx + y0 k (x) + u0 kkM kx + y0 k, ()
para todo x M .
En otras palabras, basta demostrar que existe un n
umero real u0 tal que,
a sup{kkM kx + y0 k (x)} u0 inf{kkM kx + y0 k (x)} A,
As, basta probar que a A. Sean x1 , x2 M , entonces
(x2 ) (x1 ) = (x2 x1 ) kkM kx2 x1 k
kkM kx2 + y0 k + kkM kx1 + y0 k
Sigue de aqu que,
kkM kx1 + y0 k (x1 ) kkM kx2 + y0 k (x2 ),
lo que concluye la demostracion. 2
Lema 1.5.2 Sean E un espacio normado, M un subespacio, y0 E M .
Entonces. todo M 0 admite una extension N 0 , con N = M < y0 >
tal que kk = kk

12

Demostraci
on Solo hay que considerar el caso complejo. Escribamos N =
M < y0 >= M Ry0 Riy0 . Definamos N por
(x) = (x) i(iz)
Claramente N 0 y kk = kk (Ejercicio). 2
Demostraci
on (Hahn-Banach) Sea P el conjunto de los pares (N, ) donde
N es un subespacio de E que contiene a M y N 0 satisface M = y
kk = kk. Definamos,
(N1 , 1 ) (N2 , 2 ) N1 N2 y N2 = 1
Claramente, es un orden parcial en P y, si {(N , ) : A} es
una cadena en P, entonces ( N , ) es una cota superior. Por lo tanto,
por el Lema de Zorn, P admite un elemento maximal (N, ) y por el lema
anterior N = E. 2
Teorema 1.5.2 Sean E un espacio normado, M un subespacio, x0 E tal
que d(x0 , M ) = d > 0. Entonces, existe E 0 tal que = 0 en M, kk = 1
y (x0 ) = d.
Demostraci
on Definimos un funcional en M < x0 > por (x+x0 ) = d,
entonces = 0 en M y (x0 ) = d. Ademas, como,
x
d k + x0 k,

x E, C, 6= 0,

se tiene que,
|(x + y0 )| = d kx + y0 k
Es decir, (M < x0 >)0 y kk 1.
Por otra parte, sea xn M tal que kxn + x0 k d. Entonces,
(

d
xn + x0
)=
1
kxn + x0 k
kxn + x0 k

0
Luego, yn kxxnn +x
pertenecen a la esfera unitaria y satisfacen, |(yn )|
+x0 k
1, lo que demuestra que kk = 1.
Por el Teorema de Hahn-Banach, existe un funcional E 0 tal que
\(M + < x0 >) = y kk = kk = 1. 2

13

Teorema 1.5.3 Sea E normado, x0 E, x 6= 0. Entonces, existe un funcional E 0 tal que kk = 1 y (x0 ) = kx0 k.
Corolario 1.5.1 Sean x1 , x2 E, x1 6= x2 . Entonces, existe un funcional
E 0 tal que kk = 1 y (x1 ) 6= (x2 ) (es decir, el dual E 0 separa los
puntos de E).
El teorema Hahn-Banach en su version geometrica establece que dados
un subespacio M de E y un conjunto abierto convexo A E tales que
A M = , existe un hiperplano cerrado H en E tal que M H y
H A = . Daremos una demostracion para el caso en que,
A = B(x0 ) = {x E/kx0 k < 1}
Lema 1.5.3 Sea E normado, y0 E con ky0 k > 1. Entonces, existe un
hiperplano cerrado H tal que y0 H y H B = .
Demostraci
on Sea E 0 tal que kk = 1 y (y0 ) = ky0 k. Es facil ver que
H = y0 + Ker() sirve. 2
Teorema 1.5.4 Sea L = y0 + M un subespacio afn (i.e. M es un subespacio de E) tal que L B = .
Entonces, existe un hiperplano cerrado H tal que L H y H B = .
Demostraci
on Como y0 + M y B son conjuntos disjuntos, tenemos que para
todo m M , se tiene que ky0 + mk > 1., o sea,
d = d(y0 , M ) 1.
Luego existe un funcional E 0 tal que, de norma 1, tal que, \M = 0
y (y0 ) = d. Sea H = y0 + Ker(), entonces, como M Ker(), sigue que
L = y0 + M y0 + Ker() = H. Por otra parte, si H B no fuera vaco,
entonces existira u Ker() tal que y0 + u B. De aqu se deduce que,
1 d = (y0 ) = (y0 + u) kkky0 + uk < 1,
lo que una contradiccion. 2

14

Corolario 1.5.2 Sea M un subespacio y sea x0 un elemento que no esta en

M tal que la bola B(x0 , r) y M son disjuntos. Entonces, existe un hiperplano
por el origen H tal que M H y H B(x0 , r) = .
Demostraci
on Como d = d(x0 , M ) r, existe un funcional E 0 tal que
\M = 0, kk = 1, y (x0 ) = d. Por lo tanto,
1. M Ker()
2. Ker() B(x0 , r) =
2
Problema 1.5.1
Sea E un espacio normado. demuestre que para todo x E,
kxk =

sup

|(x)|

E 0 ,kk=1

Problema 1.5.2 Sea E un espacio normado. Demuestre que la esfera

unitaria S = {x E/kxk = 1} es separable si y solo si E es separable.
Es posible demostrar que un espacio normado E es separable si y solo si
existe un subconjunto numerable {xn } E que genera (en el sentido usual
del Algebra Lineal, vale decir, va combinaciones lineales ) a un subespacio
denso en E. Siempre podemos suponer que dicho conjunto es linealmente
independiente, de modo que E es separable si y solo si existe un subconjunto
numerable, linealmente independiente {xn } E tal que < {xn } > = E.
Para distinguirlo del caso de las bases usuales (que en alguna literatura se
llaman bases de Hamel), llamaremos a {xn } una base de Schauder.
Proposici
on 1.5.1 Si E 0 separable, entonces E es separable.
Demostraci
on
Sea (n ) denso en S 0 = { E 0 /kk = 1}, la esfera unitaria del dual
0
E . En particular, existen xn E tal que kxk = 1 y |n (xn )| > 12 (en caso
contrario tendramos que kn k 21 ).
Demostraremos que el subespacio M =< {xn } > es denso en E. Si no,
existira y0 E M . As, d(y0 , M ) > 0 y, por lo tanto, existe E 0 tal
que kk = 1 y (y0 ) > 0, M = 0. Luego,
15

1
< |n (xn )| = |n (xn ) (xn )| kn k ,
2
lo que es una contradiccion. 2
Problema 1.5.3 Demuestre que el espacio lp es separable, para cada p
con 1 p < .
(Indicaci
on: Considere el subconjunto de lp que consiste de todas las
sucesiones con coeficientes racionales complejos y tales que solo un n
umero
finito de ellos son diferentes de cero).
Problema 1.5.4 Demuestre que l no es separable.
(Indicaci
on: Demuestre que el subconjunto de l que consiste de sucesiones de 00 s y 10 s no es separable).

1.6

Representaci
on de Funcionales Lineales
continuos

Teorema 1.6.1 Sean 1 p, q con

definimos T : lp C por

1
p

1
q

= 1. Dada = (k ) lq

X
T (x) =
k xk ,
k=1
p

para todo x = (xk ) l . Entonces,

1. T (lp )0
2. kT k = kkq
Es decir lq (lp )0 y la inclusion es isometrica (mas bien, la funcion T
es una transformaci
on lineal de lq en (lp )0 , que preserva la norma).
Demostraci
on Por la desigualdad de Holder, |T (x)| kkq kxkp Luego, T
esta bien definida, T (lp )0 y kT k kkq .
Para demostrar que |T k = kkq basta exhibir x = (xn ) lp tal que
|T (x)| = kkq kxkp .
En este punto, distinguimos tres casos.
16

1. Caso: 1 < p < .

Sea xk = |k |q1 sgn k , entonces |xk |p = |k |pqp = |k |q luego
q

x = (xk ) lp y kxkp = kkqp = kkq1

as
q . Adem

T (x) =

X
X
= kkq kxkp
k |k |q1 sgn k =
|k |q = kkqq = kkq kkq1
q
k=1

k=1

2. Caso: p = 1.
Para n tal que |n | = kk , tomemos

sgn(k ) si k = n
xk :=
0
si k =
6 n
Es facil verificar entonces que T (x) = kk kxk1 .
3. Caso: p = .
Sea xk = sgn(k ), entonces xk = 0 o 1. Por lo tanto, x = xk l
y kxk = 1 (a menos que 0 en cuyo caso no hay nada que
demostrar). Ademas,
X
X
|k = kk1 kxk .
(x) =
k xk =
k

2
Teorema 1.6.2 Sea 1 p < , entonces la aplicaci
on (k ) lp
(lp )0 es sobre.
No es cierto que (l )0 = l1 pues l1 es separable y l no es separable.
Problema 1.6.1
Demuestre que el dual de C0 ={sucesiones que convergen a cero} es l1 .

17

1.7

Topologas Fuerte y D
ebil

Sea E un espacio normado. La Topologa Fuerte es E es la topologa inducida por la norma. En esta topologa las vecindades son las bolas B(x0 , > 0).
Ademas, xn 0 si y solo si kxn k 0.
La Topologa Debil en E es la topologa cuyas vecindades basicas son,
B(x0 , , 1 , . . . , k ) = {x E/|i (x x0 )| < , i = 1, . . . , n}
Seg
un esta topologa, una sucesion (xn ) E converge a un x E (
escribimos xn w x), cuando (xn ) 0, para todo funcional E 0 .
La topologa debil en el espacio E esta, en alg
un sentido inducida por su
0
dual E . Denotemos (E, w) al espacio E con la topologa debil.
Ejercicio 1.7.1

1. En dimension finita ambas topologas coinciden.

2. En lp , xn = (xn1 , xn2 , . . .) w 0, si y solo si xnk 0 , cuando n

, k.
3. En C[0, 1],
fn 0 kfn k 0
fn w 0 = fn (x) 0, x I

1.8

Espacios Reflexivos

Consideremos la aplicaci
on can
onica
J : x E x00 E 00

(x00 = Jx)

definida por x00 (x0 ) = x0 (x), para todo x E 0 .

Teorema 1.8.1 La funcion J : E E 00 es una isometra lineal.
Demostraci
on Tenemos que,
x00 (x0 )| = |(Jx (x0 ))|
= |x0 (x)|
kx0 kkxk
18

(1.1)
(1.2)
(1.3)

Por lo tanto, Jx E 00 y kJx k kxk.

S
olo falta demostrar entonces que kJx k = kxk.
Sea x 6= 0 (si x = 0 es trivial ). Por el teorema de Hahn-Banach, existe
0
x E 0 tal que x0 (x) = y kx0 k = 1
Entonces Jx (x0 ) = x0 (x) = kxk = kxk 1 = kxkkx0 k
Es decir, kJx k kxk 2
Definici
on 1.8.1 E es reflexivo si J es sobreyectiva.
Problema 1.8.1
Si | < p < entonces lp es reflexivo.
l no es reflexivo.
Problema 1.8.2
c0 no es reflexivo.
Problema 1.8.3
Si E es reflexivo, entonces E 0 tambien es reflexivo.

19