II.

ESPACIOS NORMADOS
Y ESPACIOS DE
BANACH

Se pretende en este captulo establecer los resultados generales relacionados con el concepto de norma en un espacio vectorial as como mostrar las distintas tecnicas que se aplican en las
demostraciones de estos hechos. Sera fundamental entender el
concepto de acotacion de un operador lineal as como su relacion
con el de continuidad.

SECCIONES
1. Espacios normados. Definicion y ejemplos.
2. Desigualdades de Holder y Minkowski.
3. Espacios Lp .
4. Propiedades de los espacios normados.
5. Espacios normados de dimension finita.
6. Operadores lineales acotados.
7. Funcionales lineales. Espacio dual.
8. Ejercicios.

37

 Y EJEMPLOS.
1. ESPACIOS NORMADOS. DEFINICION

En este captulo consideraremos metricas definidas en espacios dotados de

alguna estructura algebraica, mas concretamente en espacios vectoriales, tal
como se presenta en las aplicaciones que se presentan en esta teora.
En un espacio vectorial X son de particular importancia las metricas que
verifican
i) d(x + a, y + a) = d(x, y), es decir, d es invariante por traslaciones,
ii) d(x, y) = || d(x, y), es decir, d aumenta proporcionalmente a la
dilatacion,
pues basta conocer d(x, 0), x X para determinar completamente la distancia entre dos elementos cualesquiera, ya que d(x, y) = d(x y, 0). Definimos entonces la longitud o norma de un vector x por kxk = d(x, 0). Esto
sugiere, en un contexto abstracto, la siguiente definicion axiomatica.
1.1.- Definici
on. Un espacio normado es un par (X, k k) formado por un
espacio vectorial X y una aplicacion k k : X R, llamada norma, con las
siguientes propiedades:
(i) kxk 0.
(ii) kxk = 0 x = 0.
(iii) kxk = || kxk.
(iv) kx + yk kxk + kyk (desigualdad triangular).
Si no se exige la condicion (ii), la aplicacion k k se llama seminorma.
Observaciones. 1) Todo espacio normado es a su vez un espacio metrico,
pues basta, dado (X, k k), definir d(x, y) = kx yk. As todas las nociones
de espacios metricos estan definidas tambien para los espacios normados.
En particular, los conjuntos B(0, 1) = {x X : kxk < 1}, B(0, 1) = {x
X : kxk 1} son las bolas unitarias abierta y cerrada de X, respectivamente.
2) El recproco de lo anterior no es cierto, es decir, no todo espacio metrico
es normado. Por ejemplo, X = {(a1 , . . . an , . . . ) : an C} sobre el cuerpo C

X
1
|ai bi |
es espacio vectorial; si definimos d(x, y) =

, se puede ver
i
2 1 + |ai bi |
i=1
que es espacio metrico, pero para C, d(x, y) 6= || d(x, y) con lo que,
si definieramos la norma.a partir de la distancia, obtendramos kxyk =
6
||kxyk y X no sera espacio normado de esa forma. Otro ejemplo sencillo
38

es la metrica discreta pues k2xk = d(2x, 0) = 1 pero |2| kxk = 2 d(x, 0) =

2.
Sin embargo, la motivacion dada al principio permite probar lo siguiente.
1.2.- Proposici
on. Si (X, kk) es un espacio normado, la aplicaci
on d(x, y) =
kx yk, x, y X verifica
i) d(x + z, y + z) = d(x, y);
ii) d(x, y) = || d(x, y).
Recprocamente, si X es un espacio vectorial y (X, d) es un espacio metrico
en el que se verifican i) y ii), entonces (X, k k) es un espacio normado,
donde kxk = d(x, 0).
La demostracion es evidente.
1.3.- Definici
on. Sea X un espacio vectorial normado, en el que se define
la metrica d(x, y) = kx yk. Si (X, d) es completo, X se dice espacio de
Banach.
1.4.- Ejemplos. 1) X = R o C con la norma del valor absoluto son espacios
de Banach.
P
2) X = Rn o Cn con la norma kxk = ( ni=1 |xi |p )1/p ( p 1) es de Banach.
Los axiomas i), ii) y iii) de norma son evidentes y la desigualdad triangular
se deduce de la desigualdad de Minkowski. Veamos que es completo:
Sea {xk = (xk1 , . . . , xkn ), k N} una sucesion de Cauchy en Rn . Entonces
kxp xq k < , p, q > N = |xpi xqi | < , p, q > N, 1 i n.
Esto implica que xi R : |xki xi | < , 1 i n.
P
Si llamamos x = (x1 , . . . , xn ), resulta que kxk xkp = ni=1 |xki xi |p <
np .
P
p
3) Sea `p = {x = (xn )nN : xn C,
n=1 |xn | < } (p 1), y definimos


P
p 1/p .
kxkp =
n=1 |xn |
Al igual que en el ejemplo 2, la desigualdad de Minkowski (para sumas
infinitas) permite probar que es una norma. La completitud fue probada en
el captulo I; veremos ademas que se puede deducir de un caso mas general
(ver seccion siguiente).
4) Sea ` = {x = (xn )nN : xn C, {xn }nN acotada}, y definimos kxk =
supn |xn |. As (X, d) es un espacio de Banach, como vimos en el captulo
I.
39

5) X = C[a, b] (funciones continuas en [a, b]), con la norma kf k = max |f (x)|

x[a,b]

es de Banach, como ya vimos en el captulo anterior.

R
1/2
b
6) El mismo espacio anterior C[a, b] con la norma kf k = a |f (x)|2 dx
no es completo. Sin embargo, este espacio puede completarse como veremos despues y su complecion es precisamente el espacio L2 [a, b] (ver seccion
3).
7) Si X = B(A) es el espacio de las funciones acotadas en A, la norma
kf k = sup |f (x)| tambien da lugar a un espacio de Banach.
xA

8) Sea VA[a, b] la clase de funciones de variacion acotada en [a, b]. Es un

espacio vectorial con las operaciones usuales y se define la norma kf k =
|f (a)| + V (f ) donde V (f ) representa la variacion total de f que convierte al
espacio VA[a, b] en un espacio de Banach.

2. DESIGUALDADES DE HOLDER
Y MINKOWSKI.

En algunos ejemplos de espacios normados la desigualdad triangular se deduce de la desigualdad de Minkowski que probaremos en este apartado como
consecuencia de la desigualdad de Holder. En el siguiente apartado utilizaremos estas desigualdades para definir normas en otros ejemplos de espacios
de funciones, que han sido fundamentales en el desarrollo del Analisis Funcional.
2.1.- Lema. Sean , > 0, 0 < < 1. Entonces 1 + (1 ).
Adem
as la igualdad es cierta si y s
olo si = .
Demostraci
on. Se define (t) = (1 ) + t t para t 0.
As 0 (t) = t1 que sera negativo si t < 1 y positivo si t > 1. Por
tanto, el punto t = 1 corresponde a un mnimo.
Como (t) (1) = 0, entonces 1 + t t .
Haciendo t = / se deduce el resultado (para 6= 0).
Si = 0, el resultado es trivial.

Observaciones. 1) El lema anterior expresa que la media geometrica es

menor o igual a la media aritmetica, porque si hacemos = k/n, 1 =
40

(n k)/n, tenemos k/n nk/n k/n + (n k)/n de donde

q
+ .(k)
. . + + + (nk)
. . . +
n
.(k)
. . (nk)
...
.
n
2) Si = ex1 , = ex2 , el lema indica que
ex1 +(1)x2 = ex1 e(1)x2 ex1 + (1 )ex2 ,
es decir que la funcion exponencial es convexa.
2.2.- Teorema. Sean (X, S, ) un espacio medible, f, g : X [0, ] funciones medibles, 1 < p < y 1/p + 1/q = 1. Entonces:
a) (desigualdad de Holder)
1/p Z
1/q
q
f d

g d
.

Z

(f g)d
X

b) (desigualdad de Minkowski)
Z

(f + g) d

1/p

1/p Z
1/p
p
f d
+
g d
.

Z

Demostraci
on. a) Llamamos A =
guimos tres casos:

R
X

f p d

1/p

,B=

R
X

g q d

1/q

y distin-

p
- A = 0 (o B = 0).
R Como f 0, f = 0 c.s. = f = 0 c.s. = f g = 0
c.s. As pues X f gd = 0.
R
- A = (o B = ). Es evidente que X f gd .
R
R f g
- 0 < A, B < . Debemos probar que X f gd AB, o bien X A
B d
1.
Si aplicamos el lema anterior a = f p /Ap , = g q /B q , = 1/p,
1 = 1/q, resulta:

f g
1 fp
1 gq

p + q,
A B
p A
q B
desigualdad valida x X. Integrando miembro a miembro,
Z
f g
1
1
d
Ap +
B q = 1, c.q.d.
p
q
A
B
p

A
q

B
X
b) Debido a que (f + g)p = (f + g)(f + g)p1 = f (f + g)p1 + g(f +
g)p1 , aplicando la desigualdad de Holder a cada uno de los sumandos,
41

tenemos:
Z
1/p Z
1/q
Z
p1
p
q(p1)
f (f + g) d
f d
(f + g)
d
,
X

1/p Z
1/q
g(f + g)p1 d
g p d
(f + g)q(p1) d
,
X
X
X
" Z
1/p Z
1/p # Z
1/q
Z
p
p
p
p
(f + g) d
f d
=
+
g d

(f + g) d
,
Z

1/q
R
debido a que q(p 1) = p. Si llamamos ahora C = X (f + g)p d
, caben
los siguientes casos:
R
- C = 0 = X (f + g)p d = 0 y la desigualdad es evidente.
R
- C = = X (f + g)p d = . Como la funcion y = xp es convexa,
(f (x)/2 + g(x)/2)p f (x)p /2 + g(x)p /2, de donde:
Z

Z
Z
1 p p
1
1
1
p
p
p
p
(f
+g)

(f
+g
)
=
(f
+g)
d

f
d
+
g
d
.
2p
2
2p X
2 X
X
R
R
R
Como X (f + g)p d = , debe ser X f p d = o X g p d = .
R
11/q

1/p

1/p
R
R
- 0 < C < = X (f + g)p d
X f p d
+ X g p d
, lo
que da lugar al resultado deseado.

El teorema anterior tiene las siguientes consecuencias.

2.3.- Corolario. Si f, g : X [0, ] son medibles y 0 < p < 1, 1/p + 1/q =
1, entonces

1/p R q
1/q
R
R
.
a) X f gd X f p d
X g d

1/p

1/p

1/p
R
R
R
b) X (f + g)p d
X f p d
+ X g p d
,

1/q
R
donde suponemos que las integrales involucradas son finitas y X g q d
6=
0.
0

Demostraci
on. a) Sea p0 = 1/p y llamamos = (f g)p = (f g)1/p , =
0
p
1/p
g = g
. De este modo, 1 < p0 < , f p = y , son medibles.
Entonces
Z
1/p0 Z
1/q0
Z
Z
p
p0
q0
f d =
d
d
d
,
X

X
0

donde 1/p0 + 1/q 0 = 1. Debido a que q = g q y p = f g, obtenemos:

Z

Z

f d
X

1/p0 Z
1/pq0
q
f gd
g d
.

42

De las relaciones anteriores se deduce que pp0 = 1, pq 0 = q, con lo que:

Z
1/p Z
1/q Z

f p d

g q d

f gd , c.q.d.
X

b) De la igualdad (f + g)p = f (f + g)p1 + g(f + g)p1 , se deduce:

Z
Z
Z
p
p1
(f + g) d =
f (f + g) d +
g(f + g)p1 d
X

1/p Z
1/q
p
q(p1)
f d

(f + g)
d

Z

1/p Z
1/q
p
q(p1)
g d

(f + g)
d
X
X

Z
 # Z

Z
+
" Z
=

1/p

f p d

1/p

Suponiendo que

X (f

g p d

(f + g)q(p1) d

+ g)p d < , se deduce el resultado.

2.4.- Corolario. En las condiciones del teorema 2,2, la desigualdad de

H
older se convierte en igualdad si y s
olo si existen 1 , 2 constantes no
nulas a la vez tales que 1 f p = 2 g q c.s.
Demostraci
on. Al igual que en el lema 2.1, la igualdad es cierta si y solo
si
Z
Z
gq
fp
p
q
q
R
R
=
, es decir f
g d = g
f p d,
p d
q d
f
g
X
X
X
X
R
R
con 1 = X g q d y 2 = X f p d no nulas ambas.
Podemos suponer ademas 1 = 0, 2 6= 0 pues entonces 0 = 2 g q c.s.
= g q = 0 c.s. = g = 0 c.s. y se verifica la igualdad.

Observaciones. 1) Si X es un conjunto numerable, digamos por comodidad

X = N, P (N) la -algebra formada por los subconjuntos de N, : P (N)
[0, ] la medida de contar, definida por (A) = card A, toda aplicacion
f : N C es medible pues V abierto, f 1 (V ) N = f 1 (V ) P (N).
As pues, si f : N [0, ] es medible, f (n) = |xn |,
Z
Z
XZ
X
X
p
p
f d =
f d =
f p d =
f (n)p =
|xn |p .
N

nN {n}

nN {n}

nN

nN

Esto permite escribir las desigualdades de Holder y Minkowski para sumas

finitas o series numericas. Estas seran:
!1/p
!1/q

X
X
X
|xi yi |
|xi |p

|yi |q
,
i=1

i=1

i=1

43

1/q
.

!1/p
p

|xi + yi |

i=1

!1/p
p

|xi |

i=1

!1/p
p

|yi |

i=1

2) En el caso de p = 1 o p = se prueban tambien desigualdades analogas

que quedan de la forma
X
X
|xi yi |
|xi | sup |yi |,
iN

iN

iN

sup |xi + yi | sup |xi | + sup |yi |.

iN

iN

iN

3) En el caso particular de que p = q = 2, la desigualdad de Holder se llama

desigualdad de Cauchy-Schwarz, de importancia en espacios dotados de una
estructura geometrica (considerados en el captulo III).

3. ESPACIOS Lp .

Los ejemplos mas u

tiles de espacios normados corresponden a los llamados
espacios Lp . Fueron ademas los que dieron impulso al desarrollo de la teora
de espacios de Hilbert y espacios normados.
Supondremos en esta seccion que X es un espacio de medida y una medida positiva. Es conocido el espacio de funciones de modulo integrable,
representado por
Z
1
L () = {f : X C : f medible y
|f |d < }.
X

Si ahora hacemos 1 p < , definimos analogamente el espacio de funciones

de potencia p-esima integrable, como
Z
p
L () = {f : X C : f medible y
|f |p d < }.
X

1/p
R
Si definimos la aplicacion k kp : Lp () R por kf kp = X |f |p d
, es
evidente que Lp () = {f : X C : f medible y kf kp < }.
En el caso de p = procedemos de una forma algo diferente:
Si g : X C es una funcion medible, tambien es medible |g|; sabemos que
R, |g|1 (, ] es medible y podemos definir el conjunto
S = { R : (|g|1 (, ]) = 0}.
44

Llamamos supremo esencial de |g| a kgk = nf S, cuando S 6= , y kgk =

, cuando S = . Probemos en primer lugar la existencia de dicho nfimo;
para ello basta probar que 0 es una cota inferior de S:
En efecto, si existiera S tal que < 0, entonces de la inclusion [0, ]
(, ] se deduce que
|g|1 [0, ] |g|1 (, ] = (X) = (|g|1 [0, ]) (|g|1 (, ]) = 0
= (X) = 0,
lo cual es absurdo.
Lo anterior permite definir el espacio
L () = {f : X C : f medible y kf k < }
que llamaremos espacio de las funciones medibles esencialmente acotadas.
Una caracterizacion del supremo esencial la proporciona el siguiente lema:
3.1.- Lema. Dada f : X C medible, se tiene
|f (x)| para casi todo x kf k .
En consecuencia, |f (x)| kf k para casi todo x (haciendo = kf k ) y
kf k es la mnima cota superior (c.s.) de |f |.
Demostraci
on. Supongamos que |f | c.s., es decir |f (x)| , x Ac
con (A) = 0. Entonces, si |f (x)| > , es x A y
|f |1 (, ] A = (|f |1 (, ]) (A) = 0 = S y kf k .
Recprocamente, suponiendo que kf k , veamos que |f | c.s., lo que
equivale a probar que (A) = 0, siendo A = {x : |f (x)| > }.
Por hipotesis, existe S tal que pues si fuese > , S,
sera cota inferior de S y < kf k , lo que es absurdo. Entonces
A = |f |1 (, ] |f |1 (, ] = (A) (|f |1 (, ]) = 0.

Aplicando las desigualdades de Holder y Minkowski, se prueban los siguientes resultados.

3.2.- Proposici
on. Sean p, q exponentes conjugados, es decir 1/p+1/q = 1,
con 1 p . Si f Lp () y g Lq (), entonces f g L1 () y kf gk1
kf kp kgkq .
45

Demostraci
on. Si 1 < p < , por la desigualdad de Holder, tenemos:
Z

Z

Z
|f g|d =

1/p Z

|f ||g|d

|f | d

1/q
|g| d
= kf kp kgkq < .
q

Si p = , q = 1, entonces |f (x)| kf k c.s., con lo que existe A de medida

nula tal que |f (x)| kf k , x Ac . De este modo,
Z
Z
Z
Z
kf k |g|d
|f | |g|d
|f | |g|d =
|f g|d =
c
c
A
A
X
X
Z
Z
|g|d = kf k kgk1 < .
|g|d kf k
= kf k
Ac

3.3.- Proposici
on. Si 1 p , entonces Lp () es un espacio vectorial
sobre C y k kp es una seminorma.
Demostraci
on. Estudiaremos por separado los siguientes casos:
a) Si 1 p < y f, g Lp (), de la desigualdad de Minkowski deducimos
que f + g Lp () y kf + gkp kf kp + kgkp . Ademas
Z
kf kp =

1/p

|f | d

Z

1/p

|| |f | d

= ||kf kp = f Lp ().

b) Si p = , debido a que |f | kf k y |g| kgk c.s., entonces tambien

|f + g| |f | + |g| kf k + kgk c.s. Esto implica que kf k + kgk es
cota superior esencial de |f + g|. Al ser kf + gk la mnima, se deduce que
kf + gk kf k + kgk .
Por otro lado, si suponemos 6= 0:
kf k = nf{ R : (|f |1 (, ]) = 0} = nf S1
supuesto S1 6= . Ahora bien,
x |f |1 (, ] |f |(x) > |f (x)| > || |f (x)| >
|f (x)| > /|| x |f |1 (/||, ]
con lo que
nf S1 = nf{ R : (|f |1 (/||, ]) = 0}
= nf{||/|| R : (|f |1 (/||, ]) = 0}
= nf{||1 R : (|f |1 (1 , ]) = 0}
= ||nf{1 R : (|f |1 (1 , ]) = 0} = ||nf S2 = || kf k .
De este modo, si f L (), kf k = nf S1 = || kf k .
46

Observaci
on. En general, kkp no es norma pues no se verifica la implicacion
kf kp = 0 = f (x) = 0, x X. Sin embargo, en el caso de las funciones
Rb
reales continuas en un intervalo [a, b], X = C[a, b], kf k1 = a |f (x)|dx =
0 = f = 0. Tambien, en los espacios `p , k kp es una norma.
Para obtener espacios normados de las seminormas anteriores, definimos la
relacion de equivalencia
f, g Lp (), f g f = g c.s., o bien kf gkp = 0.
El espacio cociente, que seguiremos denotando por Lp (), es ahora un espacio normado si definimos kfekp = kf kp , donde f es un representante de la
clase de equivalencia fe.
Probaremos por u
ltimo la completitud de los espacios recien definidos, resultado obtenido de forma simultanea e independiente por F. Riesz y E.
Fischer en 1907.
3.4.- Teorema (Riesz-Fischer). Si 1 p , entonces (Lp (), k kp ) es
de Banach.
Demostraci
on. a) Veamos primero el caso 1 p < .
Sea pues (fn )nN una sucesion de Cauchy en Lp (). Tomando = 1/2i ,
sabemos que ni tal que kfn fm kp < 1/2i , n, m ni . Esto permite
extraer una subsucesion (fni )i1 tal que kfni+1 fni kp < 1/2i , i.
P
P
Llamamos ahora gk = ki=1 |fni+1 fni | y g =
i=1 |fni+1 fni |. Debido a
que |fni+1 fni | Lp (), se deduce que gk Lp (). As pues,
Z
kgk kp =
X

k Z
X
i=1

k
X

1/p "Z
|gk | d
=
p

#1/p

!p
|fni+1 fni |

i=1

1/p

|fni+1 fni | d

k
X
i=1

kfni+1 fni kp <

k
X
1
< 1.
2i
i=1

Como ademas lmk gk = g, tambien lmk |gk |p = |g|p y deducimos que

Z
Z
Z
p
p
|g| d =
lm |gk | d lm inf
|gk |p d 1 = kgkp 1,
X

|g|p

es finita c.s. y tambien g(x) < c.s.

P
Lo anterior indica que la serie i1 (fni+1 fni )P
es absolutamente convergente c.s., as como tambien lo es la serie fn1 + i1 (fni+1 fni ). Definimos
(
P
fn1 (x) + i1 (fni+1 (x) fni (x)) si x Ac
f (x) =
donde (A) = 0.
0
si x A,

por lo que

47

P
mi fni (x)
Debido a que fn1 + k1
i=1 (fni+1 fni ) = fnk , resulta que f (x) = l
c.s. Veamos que fn f y que f Lp ().
Dado > 0, sabemos que N tal que kfn fm kp < , n, m N . Tomando
m N , tenemos:
Z
Z
Z
lm |fni fm |p d
| lm fni fm |p d =
|f fm |p d =
kf fm kpp =
i
X i
X
X
Z
|fni fm |p d = lm inf kfni fm kpp p ,
lm inf
i

tomando ni N . Esto implica que f fm Lp () y en consecuencia

f Lp () debido a que f = (f fm )+fm . Por otra parte, al ser kf fm kp
, m N , la sucesion original converge a f .
b) Si p = , tomamos nuevamente una sucesion (fn )nN de Cauchy en
L (). De este modo, kfn fm k < , n, m > N ().
Si Am,n = {x : |fn (x) S
fm (x)| kfn fm k + }, resulta que (Am,n ) =
0, con lo que, si A = m,n Am,n , entonces (A) = 0. Esto prueba que
(fn (x))nN converge uniformemente en E \ A.
(
lmn fn (x) si x E \ A
Si definimos f (x) =
, se ve inmediatamente que
0
si x A
lmn kfn f k = 0, pues
|f (x) fm (x)| = | lm fn (x) fm (x)|
n

c.s.
= lm |fn (x) fm (x)| lm kfn fm k + < 2, m, n N.
n

Entonces 2 es cota superior esencial de f fm , de modo que kf fm k < 2,

m N = f fm L () = f L () y fm f en L ().
Observaciones. 1) A partir de la definicion son inmediatas las inclusiones
`1 `p `q ` , 1 < p < q < .
2) Analogamente, en el espacio (X, S, ), si (X) < , entonces L Lq
Lp L1 , para 1 < p < q < .
En efecto, si llamamos r = q/p > 1,
Z
X

|f |p d |f |p r k1kr0 =

Z

|f |q d

Esto implica que kf kp kf kq (X)1/p1/q .

De la misma forma, kf kq (X)1/q kf k .
48

1/r

(X)1/r .

3) En general, Lp 6 Lq y Lq 6 Lp , pero si f Lp Lq , entonces f Lr con

p < r < q:
Z
Z
Z
|f |r d =
|f |r d +
|f |r d
X
|f |1
|f |>1
Z
Z
|f |q d kf kpp + kf kqq < .
|f |p d +

|f |>1

|f |1

Se verifica tambien la desigualdad de interpolacion

kf kr kf kp kf kq , donde

1
1
= +
(0 1).
r
p
q

4. PROPIEDADES DE LOS ESPACIOS NORMADOS.

Probaremos en esta seccion las propiedades fundamentales de los espacios

normados.
4.1.- Teorema. Sea X un espacio vectorial normado. Entonces:


a) kxk kyk kx yk, x, y X.
b) B(x0 , r) = x0 + B(0, r), x0 X, r > 0.
Demostraci
on. a) Por la desigualdad triangular,
kxk = kx y + yk kx yk + kyk = kxk kyk kx yk;
kyk = ky x + xk ky xk + kxk = kx yk kxk kyk.
b) Debido a las propiedades de la norma,
x B(x0 , r) kx x0 k < r
x x0 B(0, r) x x0 + B(0, r).

4.2.- Teorema. Sea X un espacio vectorial normado. Son equivalentes:

i) X es de Banach.
ii) Si {an }nN X y

nN kan k

< =

nN an

converge en X.

Esto indica que en los espacios de Banach la convergencia absoluta implica

la convergencia.
49

P
Demostraci
on. i) = ii). Sea Sn = nk=1 ak . Si m > n,
m

m

X

X
X


kSm Sn k =
ak
kak k
kak k < .


k=n+1

k=n+1

k=n+1

Esto implica que {Sm }mN es de Cauchy en X y por tanto converge.

ii) = i). Sea {an }nN de Cauchy en X. Hacemos an0 = 0 y elegimos
n1 N : kan1 am k < 1/2, m > n1 ,
n2 > n1 : kan2 am k < 1/22 , m > n2 ,
..
.
nk > nk1 : kank am k < 1/2k , m > nk .
P
k
ank1 k kan1 k +
k=1 1/2 < .
P
Por hipotesis, kN (ank ank1 ) es convergente. Entonces
As

k=1 kank

a=

X
k=1

(ank ank1 ) = lm

h
X

(ank ank1 ) = lm anh ,

k=1

y esto implica que {anh }hN es convergente.

Como {an }nN es de Cauchy y tiene una subsucesion convergente, ella misma
es convergente y X es completo.

4.3.- Proposici
on. Sea X un espacio vectorial normado sobre el cuerpo E.
Si definimos en X X
o E X la metrica producto k(u, v)k = kuk + kvk,
entonces las aplicaciones (x, y) 7 x + y y (, x) 7 x, definidas en X X
y E X, respectivamente, son continuas. Adem
as, la norma k k : X R
es uniformemente continua.
Demostraci
on. Es facil comprobar que la metrica producto verifica los axiomas de norma. De este modo:
Como kx+y (x0 +y0 )k kxx0 k+ky y0 k, la primera es continua.
Para demostrar que la aplicacion (, x) 7 x es continua en (0 , x0 ), elegi

} y kx x0 k < 2(1+1+|
.
mos , x tales que | 0 | < mn{1, 2(1+1+kx
0 k)
0 |)
Entonces
|| |0 | | 0 | < 1 = || < 1 + |0 |.
Ademas,
kx 0 x0 k || kx x0 k + kx0 k | 0 |

< ||
+ kx0 k
< .
2(1 + 1 + |0 |)
2(1 + 1 + kx0 k)
50

Por u
ltimo, para probar que la norma es uniformemente
continua, dado

kxk kx0 k < si kx x0 k < .
> 0, debemos encontrar

>
0
tal
que


Ahora bien, como kxk kx0 k kx x0 k, basta elegir = .

4.4.- Corolario. Si (X, k k) es un espacio normado, x0 X, 0 E,

0 6= 0, entonces las aplicaciones x 7 x + x0 (traslaci
on de vector x0 ) y
x 7 0 x (homotecia de raz
on 0 ) son homeomorfismos.
Demostraci
on. Basta probar que son bicontinuas. La primera de ellas es
composicion de f : X X X, dada por f (x) = (x, x0 ), y g : X X X,
dada por g(x, x0 ) = x + x0 . Por el teorema anterior, g es continua; es facil
probar que f es tambien continua, de modo que g f es continua. Ademas,
el mismo argumento prueba que la inversa x 7 x x0 es continua.
Analogamente se prueba que la segunda es continua.

4.5.- Proposici
on. Un subespacio Y de un espacio de Banach X es completo si y s
olo si Y es cerrado en X.
Demostraci
on. Se deduce de la propiedad analoga para espacios metricos.

4.6.- Teorema (complecion). Sea (X, k k) un espacio normado. Existe

un espacio de Banach X y una isometra A : X W donde W es un
subespacio denso de X . Dicho espacio X es u
nico salvo isometras.
Demostraci
on. Por el teorema analogo en espacios metricos, existe (X , d) y
A : X W isometra con W X denso. Falta probar que podemos dotar
a X de una estructura de espacio vectorial normado.
Recordando que x e y son clases de equivalencia de sucesiones de Cauchy
en X, elegimos {xn }nN x , {yn }nN y . Hacemos zn = xn + yn . As ,
{zn }nN es de Cauchy en X pues kzn zm k kxn xm k + kyn ym k. Por
tanto, definimos z = x + y como la clase de equivalencia que contiene
a {zn }nN (esta definicion no depende de la eleccion de los representantes).
Tambien definimos x X como la clase que contiene a {xn }nN (de
nuevo esta definicion no depende de los representantes).
As obtenemos un espacio vectorial. En W las operaciones inducidas por X
coinciden con las inducidas por X a traves de A.
Ademas A induce en W una norma k k1 as: si y = Ax W, ky k1 =
kxk.
Como la metrica en W es la restriccion de d a W (ya que A es isometrico),
podemos extender la norma k k1 a X as :
kx k2 = d (0 , x ), x X .
51

Para comprobar los axiomas, basta aplicar a k k1 un proceso de lmite.

El concepto de base en un espacio vectorial se extiende en el caso de espacios

normados en el siguiente sentido:
4.7.- Definici
on. Dado un espacio normado (X, k k), una sucesion (xn )nN
es una base de Schauder de P
X cuando x X, existe una sucesion de
escalares (n )nN tal que x = nN n xn .
Por ejemplo, la sucesion (en )nN , donde en = (kn )kN , es una base de Schauder de `p , para todo p 1.
Observaci
on. No necesariamente un espacio de Banach separable tiene
una base de Schauder, como probo P. Enflo en 1973 (ver el artculo de P.
Halmos titulado Has progress in Mathematics slowed down? y publicado en
Amer. Math. Montly, volumen 97 (1990), pag. 561588, para comprender la
relevancia de este resultado).
4.8.- Proposici
on. Dado un espacio normado
P (X, k k)
con base de Schau N

der (xn )nN , si definimos kxk = supN N n=1 n xn , entonces (X, k k )

es un espacio de Banach y, en consecuencia, (X, k k) tambien es de Banach.
Demostraci
on. Es facil comprobar que k k es norma. Veamos que (X, k k )
es completo:
P
P
P
Si y = nN n xn X, entonces n xn = nk=1 k xk n1
k=1 k xk , de donde
2kyk

kn xn k 2kyk , con lo que |n | kxn k .

Sea (a(k) )kN una sucesion de Cauchy en (X, k k ). Si a(k) =

(k)

n xn ,

nN

(k)

entonces (n )kN es una sucesion de Cauchy en el cuerpo de escalares;

P
(k)
llamamos n = lmk n . Probaremos ahora que nN n xn converge en
k k a alg
un a X y que lmk ka(k) ak = 0:
- Dado > 0, sea n0 N tal que ka(n) a(m) k < /4, si n, m n0 . Para
cualesquiera i, j N tenemos:
i+j
X

(n)
(k

(m)
k )xk

k=i

i+j
X

(n)

(m)

(k k )xk

k=1

i1
X

(n)

k=1

De aqu,
i+j

X



(n)
(m)
(k k )xk 2ka(n) a(m) k < /2.


k=i

52

(m)

(k k )xk .

 P

i+j (n)

Fijando n y haciendo m , tenemos que k=i
(k k )xk <
/2, si n n0 .
P (n0 )
Debido
Pa que k=1 k xk es convergente, existe i0 N tal que j N,
i0 +j (n0 )
k=i0 k xk < /2. Luego,





i0 +j
i0 +j
i0 +j
X
X
X



(n0 )
(n0 )





k xk
(k k )xk +
k xk
< .


k=i0
k=i0
k=i0
P
Esto indica que la serie
k xk converge a alg
un a X.
- Por ser (a(n) )nN una sucesion de Cauchy, dado
> 0, existe n0 N tal
P
que
j

(n)
(m)
(n)
(m)

ka a k < /2, si n, m n0 . As, k=1 (k k )xk < ,

P



(n)
para todo j N. Haciendo m , tenemos que jk=1 (k k )xk <
, j N. Esto quiere decir que ka(n) ak si n n0 y (X, k k )
es completo.
Debido a que kxk kxk , para todo x X, tambien (X, k k) es completo.

FINITA.
5. ESPACIOS NORMADOS DE DIMENSION

El hecho de que la dimension del espacio sea finita da lugar a algunas

caractersticas especiales. Por ejemplo, el teorema de Bolzano-Weierstrass
demuestra que, en un espacio de dimension finita, cualquier bola cerrada
B(z, r) es compacta. Veremos a continuacion que, en el caso infinito, B(z, r)
nunca es compacta.
5.1.- Lema (F. Riesz). Sea X un espacio normado, Y, Z subespacios de X
con Y subconjunto cerrado propio de Z. Entonces (0, 1), z Z de
norma uno tal que kz yk , y Y.
Demostraci
on. Sea v Z \ Y y llamamos
a = d(v, Y ) = nf d(v, y) = nf kv yk.
yY

yY

Como Y es cerrado, a > 0. Por definicion de nfimo, existe un elemento

y0 Y tal que a kv y0 k a/ para todo (0, 1). Sea z = c(v y0 )
con c = kv y0 k1 . As, kzk = 1 y
y
kz yk = kc(v y0 ) yk = ckv y0 k = ckv y1 k,
c
53

con y1 = y0 + y/c.
Como y1 Y, kv y1 k a = kz yk kv y0 k1 a .

5.2.- Corolario. Si X es un espacio normado y M un subespacio cerrado propio de X, entonces existe un elemento z X de norma 1 tal que
d(z, M ) = 1.
Demostraci
on. Por el lema anterior, z X : kzk = 1 y d(z, M ) 1. Como
M es subespacio, 0 M y d(z, M ) d(z, 0) = kzk = 1.

El lema 5.1 permite demostrar la siguiente caracterizacion de los espacios

de dimension finita.
5.3.- Teorema (F. Riesz). En un espacio normado X, las siguientes condiciones son equivalentes:
i) La bola unidad B(0, 1) es compacta.
ii) X tiene dimensi
on finita.
Demostraci
on. i) = ii). Si dim X = , sea x1 X, kx1 k = 1, y construimos X1 = h{x1 }i que es subespacio propio y cerrado de X. Por el lema
anterior,
x2 X \ X1 : kx2 k = 1, kx2 x1 k 1/2.
Ahora llamamos X2 = h{x1 , x2 }i, y tambien ahora
x3 X \ X2 : kx3 k = 1, kx3 x1 k 1/2, kx3 x2 k 1/2.
Llegamos as a una sucesion {xn }nN B(0, 1) tal que kxn xm k 1/2,
n, m. De esta forma, {xn }nN no puede tener ninguna sub-sucesion convergente lo que contradice su compacidad.
El recproco corresponde al teorema de Bolzano-Weierstrass.

Otro resultado destacable es el de la completitud, que probaremos despues

del siguiente lema.
5.4.- Lema. Dados un espacio normado X (de cualquier dimensi
on) y una
familia {x1 , . . . , xn } linealmente independiente, existe c > 0 : 1 , . . . , n
E : k1 x1 + + n xn k c(|1 | + + |n |).
Demostraci
on. Sea s = |1 | + + |n |.
Si s = 0, i = 0, i = la desigualdad es cierta c.
Si s > 0, llamamos i = i /s, y la desigualdad a probar es
k1 x1 + + n xn k c, donde

n
X
i=1

54

|i | = 1.

Si suponemos que la acotacion anterior no es cierta, existe una sucesion

(ym )mN tal que kym k 0 y
ym =

n
X

(m)
i xi ,

con

i=1

n
X

(m)

|i

| = 1.

i=1
(m)

Fijado i {1, . . . , n}, la sucesion {i

1).

}mN esta acotada (pues

(m)

|i

|=

(m)

Por el teorema de Bolzano-Weierstrass, {1 }mN tiene una sub-sucesion

convergente, digamos a 1 . A esta sub-sucesion le corresponde {y1m }mN .
Aplicando el mismo argumento se prueba que existe {y2m }mN subsucesion
(m)
{y1m }mN , tal que {2 }mN converge a 2 . Despues de n pasos, obtenemos
P
(m)
una sub-sucesion {ynm }mN de {ym }mN de la forma ynm = nj=1 j xj con
Pn
(m)
(m)
(m)
= 1, cuyos escalares
j verifican i
i . De este modo,
j=1 |j | P
P
ynm y = ni=1 i xi donde ni=1 |i | = 1. Esto implica que no todos los
i son cero, con lo cual y 6= 0 (por ser el conjunto {x1 , . . . , xn } linealmente
independiente).
Por otro lado, ynm y = kynm k kyk. Como por hipotesis, kym k 0 e
{ynm }mN es sub-sucesion, entonces kyk = 0, de donde y = 0, lo que lleva a
una contradiccion.

5.5.- Teorema (completitud). Todo subespacio Y de dimensi

on finita de
un espacio normado X es completo. En particular, todo espacio normado de
dimensi
on finita es completo.
Demostraci
on. Sea {ym }mN una sucesion de Cauchy en Y . Si {e1 , . . . , en }
P
(m)
es una base de Y , ym = ni=1 i ei . Entonces, por el lema anterior,
n
n
X
X

(m)
(k)
(m)
(k)


> kym yk k =
(i i )ei c
|i i |, m, k > N ().
i=1

i=1

(m)

Entonces {i P
}mN es de Cauchy en E, y por lo tanto, converge a i .
Llamamos y = ni=1 i ei . Evidentemente, y Y y
X (m)
X (m)
kym yk = k
(i i )ei k
|i i | kei k,
que tiende a cero.

5.6.- Corolario. Todo subespacio Y de dimensi

on finita de un espacio normado X es cerrado.
La prueba es evidente.
La siguiente caracterizacion es usada a veces como definicion de compacidad
en dimension finita.
55

5.7.- Teorema. Si X es un espacio normado de dimensi

on finita, todo
subconjunto M de X es compacto si y s
olo si es cerrado y acotado.
Demostraci
on. Ya probamos en el captulo I, lema 5.7, que todo compacto
es cerrado y acotado.
Sea M cerrado y acotado y {xm }mN una sucesion en M .
(m)

(m)

As, xm = 1 e1 + + n en , donde {e1 , . . . , en } es una base de X.

P
(m)
Como M es acotado, kxm k k, m. Por el lema 5.4, k kxm k c ni=1 |i |.
(m)
Tenemos, para cada i, una sucesion escalar {i }mN acotada. Por el teorema de Bolzano-Weierstrass, posee un punto de acumulacion i .
Repitiendo el argumento del lemaP
5.4, se deduce que {xm }mN tiene una
sub-sucesion que converge a x = ni=1 i ei . Como M es cerrado, x M.

Contraejemplo. Si X es el conjunto de las sucesiones de soporte finito y

P
2 1/2 , entonces (X, kk) es normado y (e(k) )
kxk =
kN es una base
i=1 |xi |
(k)
de X, si definimos e = (nk )nN .
La bola unidad B(0, 1) es cerrada y acotada, claramente, pero no es compacta. Para ello basta ver que existe una sucesion que no tiene ninguna
subsucesion convergente.
Como (e(k) )kN B(0, 1), si existiera (e(kj ) )jN subsucesion convergente a
e B(0, 1),

ke(kj ) e(km ) k = 2 = lm ke(kj ) e(km ) k = k lm e(kj ) e(km ) k = kee(km ) k

j

lo que es absurdo.
Otra caracterstica de los espacios de dimension finita es que todas las normas son equivalentes (dan la misma topologa).
5.8.- Definici
on. Dos normas k k1 y k k2 en X se dicen equivalentes
cuando a, b > 0 : akxk1 kxk2 bkxk1 , x X.
Es facil probar que la relacion es efectivamente de equivalencia y que dos
normas equivalentes dan lugar a la misma topologa.
5.9.- Teorema (normas equivalentes). En un espacio vectorial de dimensi
on
finita, todas las normas son equivalentes.
Demostraci
on. Sean kk1 y kk2 dos normas cualesquiera en X.
{e1 , . . . , en }
PSi
n
es una base de X, todo x X tiene una representaci
on x = i=1 i ei . ApliP
cando el lema 5.4, existe c tal que kxk1 c ni=1 |i |. Por otro lado,
kxk2

n
X

|i | kei k2 k

i=1

n
X
i=1

56

|i |

si k = max kei k2 . Esto implica que kc kxk2 c

Pn

i=1 |i |

kxk1 .

Intercambiando los papeles de k k1 y k k2 se obtiene la otra desigualdad.

Observar la importancia de este resultado que prueba la independencia de

la convergencia de sucesiones respecto de la norma que se elija.

6. OPERADORES LINEALES ACOTADOS.

La estructura algebraica que posee todo espacio normado hace plantearnos el

estudio de las aplicaciones lineales entre ellos. Debido a su importancia en el
desarrollo del Analisis Funcional, el curso se concentra a partir de aqu en el
estudio de dichas aplicaciones, que reciben el nombre de operadores. Ademas,
salvo en algunas situaciones concretas, y en especial en el captulo VII, dichos
operadores se supondran acotados, de ah que precisemos dicho concepto a
continuacion.
6.1.- Definici
on. Sean X, Y espacios normados y A : X Y un operador
lineal. Decimos que A es acotado si existe k > 0 : kAxk kkxk, x
X.
Observaci
on. En Calculo elemental, una funcion es acotada cuando su imagen es un conjunto acotado. Sin embargo, no hay funciones no nulas que sean
lineales y acotadas pues, debido a la linealidad, si kAxk k, x = A = 0,
de ah que para definir un operador lineal acotado exijamos simplemente
que su restriccion a la bola unidad tenga imagen acotada.
kAxk
k, x 6= 0. Entonces el menor valor
kxk
de k para el que se verifica la desigualdad es precisamente sup kAxk
kxk . Esto

De la definicion se deduce que

kxk6=0

motiva la siguiente definicion.

6.2.- Definici
on. Dado un operador A : X Y lineal y acotado, se llama
kAxk
norma de A, a kAk = sup
.
kxk6=0 kxk
6.3.- Definici
on. Llamamos L(X, Y ) = {A : X Y : A es lineal y
acotado} (en particular L(X) = {A : X X : A lineal y acotado}), que es
un espacio vectorial con los operaciones usuales y es normado si definimos
kAk como arriba. Para ver bajo que condiciones es de Banach, nos basta el
siguiente resultado.
57

6.4.- Teorema. Si Y es de Banach, entonces L(X, Y ) es de Banach.

Demostraci
on. Debemos ver que toda sucesion de Cauchy en L(X, Y ) converge en el mismo espacio.
Consideramos para ello una sucesion {An }nN de Cauchy en L(X, Y ), es
decir, tal que kAn Am k < , si n, m > N (). Entonces
x X, kAn x Am xk kAn Am k kxk < kxk.
Esto implica que {An x}nN es de Cauchy en Y , de donde y Y : An x y,
porque Y es completo.
Definimos A : X Y como Ax = y. Entonces
() A es lineal (evidente).
() A es acotado: Si n > N ,
kAn x Axk = kAn x lm Am xk = lm kAn x Am xk kxk.
m

Entonces An A es acotado para n > N . Como An tambien es acotado,

A = An (An A) es acotado.
() An A : Como kAn x Axk kxk, entonces kAn Ak .
6.5.- Lema. Otras definiciones equivalentes de norma de un operador son:
(a) kAk = nf K, donde K = {k R : kAxk kkxk, x X}.
(b) kAk = supkxk1 kAxk.
(c) kAk = supkxk=1 kAxk.
Demostraci
on. a) Como kAk
implica que kAk nf K.
Recprocamente, k K, k
k sup
x6=0

kAxk
kxk

= kAxk kAk kxk, x X. Esto

kAxk
kxk ,

x 6= 0. Por tanto,

kAxk
= k kAk = nf{k} kAk.
kxk

b) Sea kxk 1. Entonces kAk

kAxk
kxk

kAxk = kAk supkxk1 kAxk.

Recprocamente, si x 6= 0,
kAxk
kAxk
= kA (x/kxk) k sup kAyk = sup
sup kAyk.
kxk
x6=0 kxk
kyk1
kyk1
Por tanto, kAk supkxk1 kAxk.
c) Es analoga a b) con las modificaciones obvias.
58

6.6.- Ejemplos. 1) Si I : X X es el operador identidad, kIk = 1 y si

0 : X Y es el operador cero, k0k = 0.
2) Si P[0, 1] es el espacio de los polinomios sobre [0, 1] con norma kf k =
maxx[0,1] |f (x)|, entonces el operador derivada D : P[0, 1] P[0, 1] definido
como Df (x) = f 0 (x) es lineal pero no acotado, porque tomando fn (x) = xn ,
entonces kfn k = 1, Dfn (x) = nxn1 y kDfn k = n > c, c.
Este ejemplo basico hace que tenga gran importancia el estudio de los operadores no acotados.
R1
3) Sea T : C[0, 1] C[0, 1] el operador definido por T f (x) = 0 k(x, y)f (y)dy,
donde k es una funcion continua en [0, 1] [0, 1], llamada n
ucleo del operador.
T es acotado pues
Z 1

Z


kT f k = max 
k(x, y)f (y)dy  max
xI
xI

|k(x, y)| |f (y)|dy k0 kf k,

donde k0 es una cota superior de |k(x, y)|.

En dimension finita todos los operadores lineales son acotados como probamos a continuacion.
6.7.- Teorema. Si A : X Y es lineal y X es de dimensi
on finita, entonces
A es acotado.
P
Demostraci
on. Sean {e1 , . . . , en } una base de X y x = ni=1 i ei un elemento
arbitrario de X. Entonces
Ax =

n
X

i Aei = kAxk

i=1

n
X

|i | kAei k max kAei k

i

i=1

El lema 5.4 establece que kxk c

kAxk

Pn

i=1 |i |,

n
X

|i |.

i=1

de donde

1
max kAei k kxk = kkxk.
c i

Esto implica que A es acotado.

Veremos a continuacion una relacion directa entre operadores acotados y

continuos cuando estos son lineales y una simplificacion importante del concepto de continuidad.
6.8.- Teorema. Sea A : X Y un operador lineal entre espacios normados.
Son equivalentes:
i) A es uniformemente continuo.
ii) A es continuo.
59

iii) A es continuo en alg

un x0 X.
iv) A es continuo en 0.
v) A es acotado.
vi) M X acotado = A(M ) Y acotado.
Demostraci
on. i) = ii) = iii) = iv) son evidentes.
iv) = v). Supongamos que A es continuo y no acotado. Entonces k
xk
N, xk X : kAxk k > kkxk k. Si llamamos yk = kkx
, como kyk k = 1/k,
kk
resulta que yk 0. Por la continuidad de A, Ayk A(0) = 0, es decir
> 0, N : k > N = kAyk k < .
Si tomamos < 1, kAyk k =

kAxk k
kkxk k

> 1, lo que es absurdo.

v) = vi). Sea M X acotado. Entonces existe K : kxk k, x

M.
Por ser A acotado, kAxk kAk kxk kAk k, x M . Esto implica que
A(M ) es acotado.
vi) = i). Sea M la bola unitaria cerrada en X. Como M es acotado, A(M )
es acotado en Y , es decir kAxk k, x M .
Dado cualquier > 0, hacemos = /k, con lo que, si kx yk < , entonces

kAx Ayk = kA(x y)k = kx yk A

x y

< k = ,
kx yk

pues (x y)/kx yk M .

6.9.- Corolario. Si A : X Y es un operador lineal acotado, entonces

xn x = Axn Ax.
Demostraci
on. kAxn Axk kAk kxn xk 0.

Probamos a continuacion la siguiente caracterizacion de la existencia de

operador inverso acotado.
6.10.- Teorema (operador inverso). Sea A : X Y un operador lineal.
La condici
on necesaria y suficiente para que exista A1 : A(X) X y
este acotado es que k > 0 : kkxk kAxk, x X.
Demostraci
on. a) Para que exista A1 , debe ser A inyectiva. En efecto, de
Ax = 0 se deduce que kAxk = 0 = kkxk = 0 = x = 0.
La comprobacion de que A1 es lineal es directa. Veamos que es acotado:
60

y A(X), x X : Ax = y, es decir x = A1 y. Por hipotesis,

k > 0 : kkA1 yk kyk.
Entonces kA1 yk (1/k)kyk de modo queA1 esta acotado.
b) Como A1 esta acotado, k > 0 : kA1 yk kkyk.
Para todo x X, hacemos y = Ax; entonces kA1 Axk kkAxk. Por tanto,
(1/k)kxk kAxk.

6.11.- Definici
on (restriccion, extension). a) Dado un operador A : X
Y y un subconjunto X0 X, al operador A|X0 : X0 Y definido por
A|X0 x = Ax, x X0 , se le llama restriccion de A a X0 .
e tal que X X,
e
b) De la misma manera, dado A : X Y y un conjunto X
e definido en X
e cuya restriccion a X coincide con A se llama
un operador A
e
extension de A a X.
Entre las extensiones de un mismo operador, son importantes las que conservan las propiedades basicas del operador de partida, como la linealidad y
acotacion.
6.12.- Teorema. Sea A : X Y un operador lineal acotado, donde Y es
e : X Y tal que A
e es lineal,
de Banach. Entonces A tiene una extensi
on A
e = kAk.
acotado y kAk
Demostraci
on. Sea x X. Entonces existe {xn }nN X : xn x.
Como
kAxn Axm k = kA(xn xm )k kAk kxn xm k 0,
entonces {Axn }nN es de Cauchy en Y y, por lo tanto, converge a y Y
(porque Y es de Banach).
e = y. As definido, se puede probar lo siguiente:
Definimos Ax
* La definicion no depende de la eleccion de la sucesion que tiende a x:
Si xn x y zn x, entonces {x1 , z1 , x2 , z2 , . . . } tambien converge a x
y, como A es acotado, la sucesion de sus imagenes tambien converge.
Por tanto, las dos sub-sucesiones {Axn }nN y {Azn }nN convergen al
mismo lmite.
e es lineal (evidente).
*A
e = Ax, x X.
* Ax
e si xn x, entonces
* Como kAxn k kAk kxn k y Axn y = Ax,
e
e
e extension de
kAxk kAk kxk. Por tanto, kAk kAk. Pero, al ser A
e kAk, entonces kAk = kAk.
e
A, kAk

61

Diversas generalizaciones y variaciones de este resultado son objeto de numerosos estudios, importantes tanto en la teora de operadores como en otras
areas afines.

7. FUNCIONALES LINEALES. ESPACIO DUAL.

Entre los operadores lineales en espacios normados, una clase importante,

e historicamente precursora de los mismos, la constituyen los funcionales
lineales que estudiamos en esta seccion.
7.1.- Definici
on. Un funcional es un operador cuyo rango esta en el conjunto R o C. Un funcional lineal es un operador lineal f : X E donde X es
un espacio vectorial y E su cuerpo de escalares. Un funcional lineal acotado
es un operador lineal acotado cuyo rango esta en E, cuerpo de escalares del
espacio normado X, es decir, si existe k > 0 : |f (x)| kkxk, x X.
Se define la norma de f del mismo modo que en el caso de operadores lineales,
y se verifican las mismas propiedades obtenidas en el caso general.
7.2.- Ejemplos. 1) k k : X R es un funcional no lineal.
2) Para cada a Rn , fa : Rn R definido por fa (x) = a x = a1 x1 +
+ an xn (producto escalar por un vector fijo) es un funcional lineal y
acotado:
|fa (x)| = |x a| kxk kak = kf k kak.
Pero ademas, si hacemos x = a, resulta kfa k
kak. De lo que se deduce que kfa k = kak.

|fa (x)|
kxk

kak2
kak

= kfa k

P
3) La aplicacion f : `2 R, definida por f (x) = iN ai xi donde (ai )iN
`2 es fijo, es tambien un funcional lineal y acotado pues, por la desigualdad
de Cauchy-Schwarz, |f (x)| kxk2 kak2 . Del mismo modo, el operador
f : `p R definido por f (x) = a x, con a `q fijo, es tambien lineal y
acotado.
Rb
4) El operador f : C[a, b] R definido por f (x) = a x(t)dt (integral
definida) es lineal y acotado:
Z b



x(t)dt (b a) max |x(t)| = (b a) kxk = kf k b a.
|f (x)| = 
a

atb

Si elegimos en particular x0 = 1, kf k
deduce que kf k = b a.
62

|f (x0 )|
kx0 k

Rb

dt
1

= b a. De aqu se

7.3.- Proposici
on. Sea X un espacio normado y f un funcional lineal en
X. Entonces f es continuo si y s
olo si su n
ucleo N (f ) es cerrado.
Demostraci
on. a) La prueba de que N (f ) es cerrado es directa.
b) Supongamos que N = N (f ) es cerrado. Si N = X, entonces f = 0 y es
continuo.
Si N 6= X, existe x1 X : f (x1 ) 6= 0. Sea x0 = x1 /f (x1 ). Como f (x0 ) = 1
y N es cerrado, d(x0 , N ) = d > 0.
Por otra parte, x X, x = x f (x) x0 + f (x) x0 , donde x f (x) x0 N .
Esto indica que X = N {x0 : E}. Si escribimos entonces x = n + x0 ,
con n N , E, resulta:
kxk = || kx0 + n/k || d = |f (x0 + n)| d = |f (x)| d.
Esto implica que |f (x)| (1/d) kxk y f es continuo.

En espacios vectoriales de dimension finita es conocido el hecho de que si

{e1 , . . . , en } es una base de X, entonces el espacio X , llamado dual algebraico de X, definido por X = {f : X R : f lineal}, tiene dimension
n y el conjunto {f1 , . . . , fn }, donde fi (ek ) = ik , es una base de X . En
dimension infinita, tenemos el siguiente resultado analogo:
7.4.- Proposici
on. Si (X, k k) es un espacio normadoP
y (xn )nN es una
base de Schauder, el funcional lineal fk definido por fk ( nN n xn ) = k
es continuo.
P
Demostraci
on. Dado a = nN n xn X y teniendo en cuenta la demostracion de la proposicion 4.8, resulta:


k
k1

X
X
1
1


|fk (a)| = |k | =
kk xk k =
n xn
n xn


kxk k
kxk k
n=1

1
M
2kak
kak.
kxk k
kxk k

n=1

Este hecho es el punto de partida para definir el concepto de espacio dual

en espacios normados arbitrarios.
7.5.- Definici
on. Sea X un espacio normado; llamamos espacio dual de X
a X 0 = {f : X E : f lineal y acotado}. Si dim X < , este concepto
coincide con el de dual algebraico (por el teorema 6.7).
El espacio X 0 sera siempre completo por serlo el cuerpo de escalares de
X.
Es a menudo conveniente estudiar el espacio dual de un espacio normado para obtener propiedades del mismo espacio, por lo que estudiaremos
63

su estructura en algunos ejemplos clasicos. Veremos posteriormente, como

consecuencia del teorema de Hahn-Banach (captulo IV), que el dual de un
espacio normado no trivial es no trivial.
7.6.- Ejemplos. 1) El dual de Rn con la norma eucldea es Rn (en realidad
es un espacio isometrico a Rn ):
Como dim Rn = n, todo f lineal es acotado.
Pn
Pn
Si x =
i=1 i f (ei ). Por la desigualdad de Cauchyi=1 i ei , f (x) =
Schwarz,
!1/2 n
!1/2
n
n
X
X
X
2
2
|f (x)|
|i f (ei )|
|i |
|f (ei )|
i=1

= kxk

n
X

i=1
!1/2
2

|f (ei )|

i=1

i=1

de donde kf k

2 1/2 .
i=1 |f (ei )|

Pn

Tomando en particular x = (f (e1 ), . . . , f (en )), se obtiene la igualdad. As,

Pn
2 1/2 coincide con la norma eucl
dea y la aplicacion
kf k =
i=1 |f (ei )|
definida por f 7 (f (e1 ), . . . , f (en )) es un isomorfismo isometrico de (Rn )0
en Rn .
2) El dual de `1 es ` .
x `1 , podemos escribir x =

k=1 k ek , donde ek = (kj )j=1 forma

P
. ., 0, n+1 , . . . ) y
x nk=1 k ek = (0, .(n)

una

base de Schauder de `1 , porque

n

X

X



k ek =
k ek 0
x



k=1

k=n+1

por ser el resto de una serie convergente.

Definimos la aplicacion T f = (f (ek ))kN , f (`1 )0 . Como f (x) =

k f (ek ),

kN

entonces |f (ek )| kf k kek k = kf k, pues kek k = 1. En consecuencia,

supk |f (ek )| kf k de donde (f (ek ))kN ` .

1
- T es
P sobre: b = (k )kN ` 1, definimos g : ` E como g(x) =
kN k k si x = (k )kN ` .

El funcional g es lineal y acotado, pues

X
X
|g(x)|
|k k | sup |k |
|k | = kxk1 sup |k | = g (`1 )0 .
kN

Ademas, como g(ek ) =

b.

kN

jN kj j

64

= k , T g = (g(ek ))kN = (k )kN =

- T esPinyectiva: Si T f1 = T f2 , P
entonces f1 (ek ) = f2 (ek ), k. Como f1 (x) =
x
f
(e
)
y
f
(x)
=
1
2
k
k
kN
kN xk f2 (ek ), entonces f1 = f2 .
- T es isometra:
Por una parte, kT f k = supk |f (ek )| kf k y de
X
X
|f (x)| = |
k f (ek )| sup |f (ek )|
|k | = kxk sup |f (ek )|
k

kN

kN

(para probar la desigualdad se toman sumas parciales y, debido a

la convergencia de la serie, calcular el lmite), tenemos que kf k
supk |f (ek )| = kT f k.
As los espacios (`1 )0 y ` son isometricos.
1
p

3) El dual de `p es `q si

1
q

= 1, (1 < p < ) :

Una base de Schauder de `p es ek = (kj )

j=1 .
P
P
x `p , x = kN k ek . Si f (`p )0 , f (x) = kN k f (ek ). Definimos
como antes T f = (f (ek ))kN .
Para probar que la imagen de
esta en `q , definimos para cada n, la sucesion
(T
|f (ek )|q
si k n y f (ek ) 6= 0,
(n)
(n)
f (ek )
x(n) = (k )
k=1 con k =
0
si k > n o f (ek ) = 0.
P
P
(n)
Entonces f (x(n) ) = kN k f (ek ) = nk=1 |f (ek )|q .
Como ademas,
(n)

f (x

(n)

) kf k kx

n
X

kp = kf k

!1/p
(n)
|k |p

k=1
n
X

= kf k

!1/p
pqp

|f (ek )|

= kf k

resulta que

n
P

|f (ek

)|q

1 1

k=1

|f (ek )|

n
P

|f (ek

)|q

1/q
kf k.

k=1


Haciendo n ,

!1/p
q

k=1

k=1

n
X

|f (ek

)|q

1/q

kf k de donde (f (ek ))kN `q .

k=1

T es sobre: Dado b = (k )kN `q , podemos

P asociarle un funcional linealp
y acotado g en `p , mediante g(x) =
k=1 k k con x = (k )kN `
(la acotacion se deduce de la desigualdad de Holder 2.2.a). Entonces g
(`p )0 .
Se ve facilmente que T es tambien inyectiva.
65

Por u
ltimo veamos que la norma de f es la norma en `q de T f :


X



|f (x)| = 
k f (ek )


kN

!1/p
X

|k |p

kN

!1/q
X

|f (ek )|q

kN

!1/q
= kxk

|f (ek )|q

kN

Tomando el supremo sobre los x de norma 1, sale que kf k

q 1/q
kN |f (ek )|

Como la otra desigualdad tambien es cierta, se deduce la igualdad kf k =

P
q 1/q , con lo que se establece el isomorfismo f 7 (f (e ))
k kN
kN |f (ek )|
deseado.
Observaci
on. Otros ejemplos se pueden obtener debido al hecho de que si
X0 es subespacio denso de X e Y es completo, entonces L(X0 , Y ) = L(X, Y ),
se deduce en particular que X00 = X 0 .

66

EJERCICIOS.

1. Sea 1r = p1 + 1q . Probar que si f Lp , g Lq , entonces f g Lr y

kf gkr kf kp kgkq .
Resp.: Basta aplicar la desigualdad de Holder a las funciones f r y g r ,
1
1
sabiendo que 1 = p/r
+ q/r
.
 
2. Sea f Lp (R), 1 < p < . Probar que g(x) =

1/q
2
kgk1 q1
kf kp .

f (x)
1+|x|

L1 (R) y que

Resp.: Aplicando la desigualdad de Holder y resolviendo las integrales

involucradas, obtenemos
Z
Z
Z
1/p  Z
1
1
q 1/q
|g(x)|dx =
|f (x)|
dx
|f (x)|p dx

dx
1 + |x|
R
R
R
R 1 + |x|
Z
i1/q
hZ 0
1
1
2
1/q
dx+
dx
.
= kf kp
= kf kp
q
q
q1
0 (1 + x)
(1 x)
 
3. Probar que, en todo espacio normado, B(x, r) = B(x, r).
Resp.: Como B(x, r) B(x, r), entonces B(x, r) B(x, r) = B(x, r).
Recprocamente, sabiendo que B(x, r) = B(x, r)S(x, r), para probar
que B(x, r) B(x, r) basta ver que S(x, r) B(x, r), es decir que si
y S(x, r), dado > 0, z B(x, r) : d(y, z) < .
Para ello consideramos un elemento z = x + (y x) y calculemos
para que se verifique la tesis.
kz xk = k(y x)k = || ky xk = || r < r || < 1,
ky zk = ky x y + xk = |1 | ky xk = |1 | r < |1 | < /r.
De este modo, si suponemos < r, 0 < /r < 1, tomando 1 = /2r,

es |1 |r = 2r
r = /2 < . Ademas, como = 1 2r
y 2r
< 1,
entonces || < 1.
67

Si fuera r, tomamos z = y + 12 (x y). Entonces

1
1
kz xk = ky + (x y) xk = ky xk = r/2 < r
2
2
1
1
ky zk = k (x y)k = k(x y)k = r/2 < r .
2
2
Interpretaci
on gr
afica:

 
4. i) Caracterizar todas las normas sobre R considerado como espacio vectorial real.

ii) Idem sobre C como espacio complejo.

iii) Probar que C puede tener otras normas considerado como
espacio real.
Resp.: i) Sea k k una norma. Si llamamos = k1k, entonces
R, kk = || k1k = || .

Recprocamente, R+ , podemos definir kk = || y es facil

comprobar que se trata de una norma.
ii) Analogo al anterior.
ii) Si definimos kzk = | Re z| + | Im z|, es una norma en C como espacio
real, pero no coincide con las anteriores
pues, como k1k = 1, entonces
k1 + ik = 2 pero k1 + ik1 = 1 |1 + i| = 2.
 
5. a) Probar que la m
etrica discreta en un espacio vectorial no trivial X no puede obtenerse de una norma.
68

b) Sea d una m
etrica sobre un espacio vectorial X 6= {0} obtenida a partir de una norma. Si se define la aplicaci
on d0 como
0
0
0
d (x, x) = 0, d (x, y) = d(x, y) + 1, probar que d no puede obtenerse
de una norma.
Resp.: a) Para que una metrica pueda obtenerse de una norma hace
falta que d(x + , y + ) = d(x, y) y d(x, y) = || d(x, y).
Pero si elegimos || =
6 1, x 6= y, entonces d(x, y) = 1 = d(x, y) y no
se cumple la segunda condicion.
b) Si || =
6 1,
d0 (x, y) = d(x, y) + 1 = || d(x, y) + 1
= ||[d(x, y) + 1] + 1 || = || d0 (x, y) + 1 || =
6 || d0 (x, y).

 
6. Sea (X, k k) un espacio normado y Sr = {x X : kxk = r} con
r > 0. Probar que X es de Banach si y s
olo si r tal que Sr es
completo.
Resp.: a) Supongamos que X es de Banach y sea r > 0 arbitrario;
entonces x S r , (xn )nN Sr : xn x.
Como kxn k = r y la norma es continua, lmn kxn k = k lmn xn k =
kxk = r. Esto implica que Sr es cerrado y, en consecuencia, completo.
b) Sea r0 > 0 tal que Sr0 es completo y sea r > 0 arbitrario.
Dada la sucesion de Cauchy (xn )nN en Sr , sea yn = (r0 /r)xn ; entonces
yn Sr0 y ademas (yn )nN es de Cauchy, por lo que y Sr0 tal que
y = lmn yn .
Definimos x = (r/r0 )y; entonces x Sr y kxn xk = (r/r0 )kyn yk
0. Por tanto, Sr es completo, r.
Falta demostrar que toda sucesion de Cauchy en X es convergente.
Sea pues (xn )nN de Cauchy en X. Entonces, si n = kxn k, la sucesion
(n )nN es de Cauchy pues |n m | kxn xm k 0. Como en E
toda sucesion de Cauchy es convergente, tenemos dos opciones:
Si lmn n = 0 = lmn kxn k = 0 = lmn xn = 0.
69

Si lmn n 6= 0, n 6= 0, excepto para un n

umero finito de ndices. Si
llamamos yn = rxn /n , la sucesion (yn )nN , que esta contenida en Sr ,
es de Cauchy, pues:
x

km xn n xm k
n xm
kyn ym k = r

=r
n m
|n m |
y km xn n xm k |m |kxn xm k+|m n |kxm k 0 (recordamos
que toda sucesion de Cauchy esta acotada). Por ser Sr completo, y
Sr : yn y, de donde xn (/r)y.
 
7. Se considera el conjunto
C0 (Rn ) = {f : Rn R : f continua y lm f (x) = 0}
x

con la norma kf k = maxn |f (x)|. Probar que es de Banach.

xR

Resp.: La norma esta bien definida pues, si f C0 (Rn ), f 6= 0,

> 0, > 0 : |x| > = |f (x)| < = maxn |f (x)| = max |f (x)|,
xR

|x|

que existe por el teorema de Weierstrass.

Los axiomas de norma son evidentes.
Si (fn )nN es una sucesion de Cauchy en C0 (Rn ), converge uniformemente a una funcion continua f (como en el caso general). Veamos que
f C0 (Rn ):
(
|f (x) fn (x)| < /2
> 0,
|fn (x)| < /2

para n > N ()
para |x| > ()

)
= |f (x)| < , para |x| > ().

 
8. Sea el conjunto formado por las sucesiones escalares de soporte
finito. Probar que (, k kp ) con p 1 es un espacio normado no
completo.
Resp.: Al ser subespacio de lp , es normado.
70

Para p > 1, consideramos la sucesion (yn )nN dada por:

y1 = (1, 0, . . . )
y2 = (1, 1/2, 0, . . . )
..
.
yn = (1, 1/2, . . . , 1/n, 0, . . . ).
As,


kyn+k yn kpp = (0, . . . 0,

k
p X
1
1
1

,...,
, 0, . . . ) =
<
n+1
n+k
(n + i)p
p
i=1

por ser el resto de una serie convergente.

Sin embargo, la sucesion (yn )nN no es convergente, pues
1
1
yn (1, , . . . , , . . . ) 6 .
2
n
En efecto, si llamamos y = (1 , . . . , N , 0, . . . ) al lmite de la sucesion
(yn )nN , y hacemos n N :
kyn

ykpp

p
p

n 
n 
X
X
X
1


1
p




=
|k | =
 k k  +
 k k  + 0.
k=1

k=n+1

k=1

Haciendo n ,

X
1
1
1
| k |p = 0 = | k | = 0, k = k = , k,
k
k
k
k=1

y no puede ser que y .

Si p = 1, basta elegir la sucesion yn = (1, 1/22 , . . . , 1/n2 , 0, . . . ), que
converge a y = (1, 1/22 , . . . , 1/n2 , . . . ), pero y 6 .
 
9. En el espacio C 1 [0, 1] definimos kf k = sup (|f (x)| + |f 0 (x)|). Prox[0,1]

bar que (C 1 [0, 1], k k) es normado. La norma anterior es equivalente a la norma N (f ) = sup |f (x)| + sup |f 0 (x)|?
x[0,1]

x[0,1]

Resp.: Es inmediata la comprobacion de los axiomas de norma en

ambos casos.
71

Como |f (x)| + |f 0 (x)| supx |f (x)| + supx |f 0 (x)|, entonces kf k

N (f ).
Ademas, de
|f (x)| |f (x)| + |f 0 (x)| kf k y |f 0 (x)| |f (x)| + |f 0 (x)| kf k,
se deduce que |f (x)| + |f 0 (x)| 2kf k lo que implica que N (f ) 2kf k.
Esto prueba que ambas normas son equivalentes.
 
10. Sea (X, kk) un espacio normado y S un subespacio de X . Probar:

a) S es subespacio de X .
b) Si X es completo, S es tambi
en completo.
c) Si S 6= X , int S = .
Resp.: a) Sean x, y S, , E. Entonces existen (xn )nN , (yn )nN
S : xn x, yn y, de donde (xn + yn )nN S y xn + yn
x + y S.
b) Como S es cerrado y X es completo, S es completo.
c) Si fuera int S 6= , a int S. Por tanto, r > 0 : B(a, r) S.
Sea x X arbitrario, x 6= 0, y elegimos t R tal que 0 < t < r/kxk.
As elegido, es evidente que z = a + tx B(a, r), de donde z S.
Como x = t1 (z a), entonces x S. Al ser x arbitrario, X S, es
decir S = X, lo que contradice la hipotesis.
Observaci
on: Dicho conjunto se llama conjunto fronterizo (todos sus
puntos son aislados). El u
ltimo apartado prueba que S no es abierto.
Ademas, si fuera cerrado, debe ser un conjunto nunca denso.
 
11. Sea K R un compacto y C(K) = {f : K C : f continua}.

a) Probar que (C(K), k k ) es un espacio de Banach.

b) Probar que (C(K), k kp ) con 1 p < no es completo.
72

Resp.: a) Al ser f continua, kf k = supxK |f (x)| = maxxK |f (x)|.

Los axiomas de norma se comprueban de forma directa.
Para ver que el espacio es completo, consideremos una sucesion de
Cauchy {fn }nN en C(K). Entonces
> 0, n0 : kfm fn k < , m, n > n0 .
Por tanto, |fm (x) fn (x)| < , m, n > n0 , x K y la sucesion
{fn (x)}nN es de Cauchy en C, con lo que existe f (x) = lmn fn (x)
y la convergencia es uniforme. Esto indica ademas que f es continua
en K.
Veamos que kfn f k 0:
Como
|fn (x)f (x)| = |fn (x) lm fm (x)| = lm |fn (x)fm (x)| , m, n > n0 ,
m

es evidente que kfn f k = supxK |fn (x) f (x)| .

b) Los axiomas de norma se deducen de los correspondientes en Lp (K)
con la medida de Lebesgue.
Para ver que no es completo, consideramos la sucesion (fn )nN definida
por:

0
fn (x) = nx n/2 + 1

si 0 x 1/2 1/n
si 1/2 1/n x 1/2
si x 1/2.

Es evidente que kfn kp < . Ademas:

kfn fm kpp

Z
=

1
2
1
1
n
2

|fn (x)fm (x)| dx

1
2
1
1
n
2

|fn (x)| dx

1
2

dx =

1
1
n
2

Sin embargo, fn [1/2,1] que no es continua en x = 1/2.

Observaci
on. Aunque K 6= [0, 1], el proceso sera el siguiente: Por ser
K compacto, [a, b] K; mediante un cambio de variable x 7 xa
ba ,
pasamos de [a, b] a [0, 1]. La sucesion (fn )nN se define como antes y
la prolongamos a todo K de modo que sea constante fuera de [0, 1].
 

73

1
0.
n

12. Probar que

Cc (R) = {f : R R : f continua con soporte compacto }

es un espacio vectorial normado con la norma del supremo, pero

no es de Banach.
Resp.: El espacio es normado pues es un subconjunto de L . Para
ver que no es completo, basta considerar la sucesion

e|x|
si x [n, n]

en (x + n + 1)
si x [n 1, n]
fn (x) =
n

e (x n 1) si x [n, n + 1]

0
en el resto,
que es de Cauchy pero su lmite f (x) = e|x| no pertenece al espacio.
 
13. Sea (X, k k) un espacio normado y T : X X un isomorfismo
algebraico. Si definimos N : X E por N (x) = kT xk, probar:

a) N es una norma.
b) N es equivalente a k k si y s
olo si T es homeomorfismo.
Resp.: a) N (x) 0 pues kT xk 0, x X.
N (x) = 0 kT xk = 0 T x = 0 x = 0 (pues T es, en
particular, inyectiva).
N (x) = kT (x)k = kT xk = || kT xk = || N (x).
N (x + y) = kT (x + y)k kT x + T yk kT xk + kT yk = N (x) + N (y).
b) N es equivalente a k k m, M > 0 : mkxk N (x) M kxk.
1
Esto equivale a kxk m
kT xk y kT xk M kxk, condiciones que equivalen a la existencia y continuidad de T 1 y T , respectivamente, es
decir, a que T es homeomorfismo.
 

74

14. Un subconjunto A de un espacio vectorial X es convexo si para

cualesquiera x, y A, (0, 1), se tiene que x + (1 )y A.

a) Probar que la bola unitaria cerrada B(0, 1) en un espacio normado es convexo.

b) Aplicando lo anterior, probar que (x) =

p

|x1 | +

2
|x2 | no

define una norma en R2 .

Resp.: a) Sean x, y B(0, 1). Entonces kxk 1, kyk 1. Si
(0, 1),
kx + (1 )yk || kxk + |1 | kyk + (1 ) = 1.
Esto implica que x + (1 )y B(0, 1).
b) Veamos que B(0, 1) no es convexa en dicho espacio. Para ello
observamos
p
p la grafica de dicha bola, es decir el conjunto {(x1 , x2 ) :
( |x1 | + |x2 |)2 1}.
Haciendo x = (1, 0), y = (0, 1), (x) = 1, (y) = 1. Sin embargo
p
x/2 + y/2 = (1/2, 1/2) 6 B(0, 1) porque (1/2, 1/2) = ( 1/2 +
p
1/2)2 = 2 > 1.

 
15. Si X es un espacio vectorial, una aplicaci
on p : X R se llama
seminorma si verifica
i) p(x) 0, ii) p(x) = || p(x), iii) p(x + y) p(x) + p(y).

a) Probar que |p(x) p(y)| p(x y).

b) Probar que p es una norma si verifica p(x) 6= 0, x 6= 0.
c) Probar que N = {x X : p(x) = 0} es un subespacio de X y la
aplicaci
on k k : X/N R definida por kb
xk = p(x), donde x x
b,
es una norma.
75

Resp.: a) Haciendo = 0 en ii), resulta que p(0) = 0.

Como x = x y + y, p(x) p(x y) + p(y) = p(x) p(y) p(x y).
Como y = y x + x, p(y) p(y x) + p(x) = p(y) p(x) p(y x).
Ademas, p(y x) = p((x y)) = | 1| p(x y) = p(x y). En
definitiva, p(x y) p(x) p(y) p(x y).
b) Es evidente.
c) Si x, y N y , C, entonces
p(x) = p(y) = 0 = p(x+y) p(x)+p(y) = ||p(x)+||p(y) = 0,
es decir x + y N .
Veamos que kb
xk = p(x) es una norma.
kb
x k 0 por i).
kb
x k = 0 = p(x) = 0 = x N = x
b = 0.
Recprocamente, si x
b = 0 = p(x) = 0 = kb
x k = 0.
Como x
b = x,
c kb
x k = p(x) = || p(x) = || kb
x k.
kb
x + ybk = kx[
+ yk = p(x + y) p(x) + p(y) = kb
x k + kb
y k.
k k esta bien definida:
Si x, y x
b, x y N = p(x y) = 0 = |p(x) p(y)|
p(x y) = 0. Por tanto, p(x) = p(y).
 
16. Sea (X, k k) un espacio normado y M un subespacio cerrado de
X . En el espacio cociente X/M definimos
|||b
x||| = nf kx + yk, b
x X/M.
yM

a) Probar que ||| ||| define una norma en X/M .

b) Si X es de Banach, probar que (X/M, ||| |||) es de Banach.
c) Si M y X/M son de Banach, probar que X es de Banach.
d) Si X es separable, probar que X/M es separable.
Resp.: a) Observemos en primer lugar que |||b
x||| = d(x, M ).
De la observacion anterior es claro que |||b
x||| 0, x X.
76

 |||b
x||| = 0 d(x, M ) = 0 x M x M x
b=b
0.
Debido a que k(x + y)k = || kx + yk, y M , tomando nfimos
y recordando que x
c = b
x, resulta:
|||x|||
c
= |||b
x||| = nf k(x + y)k = nf || kx + yk|| |||b
x|||.
yM

yM

Debido a que
kx + m1 + y + m2 k kx + m1 k + ky + m2 k, m1 , m2 M,
tomando nfimos, se obtiene:
nf

m1 ,m2 M

kx + y + m1 + m2 k

nf kx + m1 k + nf ky + m2 k

m1 M

m2 M

= |||x[
+ y||| |||b
x||| + |||b
y |||.
b) Sea {c
xn }nN una sucesion de Cauchy en X/M . Entonces > 0,
n0 N tal que |||xc
cn ||| < , m, n > n0 . Por la definicion de
m x
||| |||, yk x
ck : kym yn k < 2 lo que implica que {yn }nN es de
Cauchy en X. As pues, y X : yn y. Si llamamos x
b a la clase de
equivalencia que contiene a y, como |||c
xn x
b||| kyn yk, se deduce
que x
cn x
b.
c) Sea {xn }nN una sucesion de Cauchy en X. Como
\
|||b
xm b
xn ||| = |||(xm
xn )||| = d(xm xn , M ) d(xm xn , 0) = kxm xn k,
tambien la sucesion {c
xn }nN es de Cauchy en X/M . Por hipotesis,
existe x
b X/M tal que x
cn x
b. Entonces,
> 0, n0 : d(xn x, M ) < /2, n > n0 ,
de donde y M : d(xn x, y) < , n > n0 . En definitiva,
kxn x yk < , n > n0 , es decir xn x + y.
d) Sea Y un subconjunto numerable y denso en X y llamamos Yb al
conjunto formado por las clases de equivalencia de los elementos de Y .
Es evidente que Yb es numerable. Ademas, si x
b X/M es arbitrario,
> 0, y Y : kx yk < . Por ser M cerrado, |||b
x yb||| kx yk.
Como yb Yb , deducimos que Yb es denso en X/M .
 

77

17. Sea X un espacio normado.

a) Si M X es subespacio completo, probar que la aplicaci

on
can
onica : X X/M es continua y kk = 1.
b) Si M X es subespacio cerrado e Y X un subespacio de
dimensi
on finita, probar que M + Y es cerrado en X . Resp.: a)
Por definicion, (x) = x
b, de donde
|||(x)||| = nf kx + mk nf (kxk + kmk) = kxk.
mM

mM

Esto implica que es continua y kk 1.

Por otra parte, de la definicion de nfimo, > 0, y x
b : kyk <
(1 + )|||b
x|||. Como (y) = x
b,
kyk < (1 + )|||(y)||| (1 + )kk kyk =

1
< kk, > 0.
1+

De lo anterior se deduce que kk 1.

b) Supondremos que M Y = {0} pues, si M Y = M1 6= {0}, basta
definir Y 0 = Y \ M1 de modo que M + Y = M + Y 0 y M Y 0 = {0} (
Y 0 tambien tiene dimension finita).
(1) Probemos en primer lugar que mk + yk 0 = mk 0, yk 0:
Si fuera yk 6 0, {ykj }jN M : kykj k = 1, mkj + ykj 0.
Como la esfera unidad en Y es compacta, se puede extraer otra subsucesion convergente ykj y Y con kyk = 1. Esto implica que
mkj y M Y con lo que y = 0, lo que contradice la suposicion
inicial.
As pues, yk 0 y, por hipotesis, mk + yk 0, de donde mk 0.
(2) Veamos ahora que {yk }kN esta acotada si {mk + yk }kN converge:
Si kyk k , como kmk + yk k c, haciendo m0k = mk /kyk k, yk0 =
yk /kyk k, entonces
km0k + yk0 k =

kmk + yk k
c

0, con kyk0 k = 1
kyk k
kyk k

lo que contradice (1).

(3) Por u
ltimo, si {mk +yk }kN converge a x, probemos que x M +Y :
Por ser Y compacto y la sucesion {yk }kN acotada, existe una subsucesion {ykj }jN tal que ykj y Y . Esto implica que mkj x y M
78

(por ser M cerrado). Entonces x M + Y pues x = (x y) + y y

x y M.
 
18. Sean (X1 , k k1 ), . . . , (Xn , k kn ) espacios normados arbitrarios y
X = X1 Xn el espacio producto.


a) Probar que X es normado si definimos kxk =

n
P

k=1

kxk kpk

1/p

1 p < , o bien kxk = max kxk kk .

1kn

b) Si dim Xi = ki < , 1 i n, probar que dim X =

Pn

i=1 ki .

c) Probar que Xi son de Banach para todo i si y s

olo si X es de
Banach.
Resp.: a) De los axiomas de norma para los espacios Xi (1 i n) y
la desigualdad de Minkowski se deducen los correspondientes axiomas
para X.
b) Si {xi1 , . . . , xiki } es una base de Xi , para i = 1, . . . , n, es facil comprobar que
{(x11 , 0, . . . , 0), . . . , (x1k1 , 0, . . . , 0), . . . , (0, . . . , 0, xn1 ), . . . , (0, . . . , 0, xnkn )}
es una base de X.
c) Supongamos que Xi son espacios de Banach, i = 1, . . . , n, y sea
{x(k) }kN una sucesion de Cauchy en X. Entonces, > 0,
X
(k)
(j)
(k)
(j)
kx(k) x(j) kp =
kxi xi kpi < p = kxi xi k < .
1in
(k)

Esto implica que xi : kxi xi k < , i. (Analogamente se procede

con la norma del maximo.)
Se define as un elemento x = (x1 , . . . , xn ) X tal que
X

1/p
(k)
kx(k) xk =
kxi xi kpi
< n1/p
1in

lo que significa que x(k) x y X es de Banach.

(i)

Recprocamente, si X es de Banach, sean {xm }mN sucesiones de

Cauchy en Xi , para 1 i n. Es facil comprobar entonces que
79

(1)

(n)

{(xm , . . . , xm )}mN es de Cauchy en X en cada una de las normas.

(1)
(n)
Por hipotesis, existe (x1 , . . . , xn ) X tal que lmm (xm , . . . , xm ) =
(i)
(x1 , . . . , xn ). De aqu se deduce que lmm xm = xi , i = 1, . . . , n.
 
19. Sean (X1 , k k1 ), (X2 , k k2 ) espacios normados. Si {xn }nN X1 es
una sucesi
on que converge a x en (X1 , kk1 ) y {Tn }nN L(X1 , X2 )
una sucesi
on que converge a T en (L(X1 , X2 ), k k), probar que
Tn xn T x en (X2 , k k2 ).
Resp.: Por hipotesis, > 0, n0 : kxn xk1 < /kT k y kxn k1 < M ,
n > n0 .
Por otra parte, n1 : kTn T k < /M , n > n1 .
Entonces, n > max{n0 , n1 }, tenemos:
kTn xn T xk2 kTn xn T xn k2 + kT xn T xk2
= k(Tn T )xn k2 + kT (xn x)k2
kTn T k kxn k1 + kT k kxn xk1 < .
 
20. Llamamos V al espacio de las funciones continuas en [a, b] con
valores complejos y consideramos los espacios normados X1 =
(V, k k ) y X2 = (V, k k2 ). Probar que la aplicaci
on identidad
I : X1 X2 es continua, pero no es homeomorfismo.
Resp.: Debemos probar que > 0, > 0 : kx yk < =
kx yk2 < . Pero, de kx yk < , deducimos
Z
|x(t) y(t)| < , t [a, b] =

|x(t) y(t)|2 dt < 2 (b a).

Basta pues hacer 2 (b a) = 2 para obtener kx yk2 < .

Para ver que la inversa no es continua, elegimos

si t [0, 1 1/n)
0
0
xn (t) = nt n + 1 si t [1 1/n, 1) , yn (t) = nt n

1
si t [1, 2]
1
80

si t [0, 1)
si t [1, 1 + 1/n)
si t [1 + 1/n, 2].

De este modo, maxt[0,2] |xn (t)yn (t)| = 1 pero

2/3n.

R2
0

|xn (t)yn (t)|2 dt =

Si hacemos
n para que 2/3n < , para cualquier > 0
R 2 < 1 y elegimos
2
resulta 0 |xn (t) yn (t)| dt < pero maxt[0,2] |xn (t) yn (t)| > .
 
21. Si T : X Y es un operador lineal y acotado, probar que el
n
ucleo N (T ) es cerrado pero la imagen R(T ) no es necesariamente cerrado.
Resp.: a) Sea {xn }nN N (T ) una sucesion convergente a x. Como
T es continua, T xn T x.
Pero T xn = 0, n = T x = 0 = x N (T ). Por tanto, N (T ) es
cerrado.
b) Definimos el operador T : ` ` por
T (x1 , . . . , xn , . . . ) = (x1 , x2 /2, . . . , xn /n, . . . ).
En este caso, R(T ) = {y ` : (y1 , 2y2 , . . . , nyn , . . . ) ` }.

Elegimos la sucesion y (k) = (1, 1/ 2, . . . , 1/ k, 0 . . . ). Esclaro que

(k) = (1, . . . , 1/ k, . . . ) 6
y (k) R(T ), k. Sin embargo,
lmky
R(T ) porque la sucesion (1, 2/ 2, . . . , k/ k, . . . ) no esta acotada. Esto
prueba que R(T ) no es cerrado.
 
22. Sean X e Y dos espacios normados sobre R y f : X Y una
aplicaci
on aditiva en X y acotada en la bola unidad de X . Probar
que f es lineal y continua.
Resp.: Por la aditividad de f deducimos lo siguiente:
f (x + 0) = f (x) = f (x) + f (0) = f (0) = 0;
f (x+ .(n)
. . +x) = f (nx) = f (x)+ .(n)
. . +f (x) = nf (x), n N;
0 = f (x x) = f (x) + f (x) = f (x) = f (x);
f (nx) = nf (x), n Z;
p
p
p
q f ( x) = f (px) = pf (x) = f ( x) = f (x), p/q Q.
q
q
q
Veamos que f es continua:
81

Por hipotesis, si kzk 1 = kf (z)k k.

Dados > 0 y x0 X, debemos encontrar > 0 tal que kf (x)
f (x0 )k < , si kx x0 k < .
Sabemos que,
kx x0 k < 1/p = kp(x x0 )k < 1 = kf (p(x x0 ))k < k,
es decir kf (x) f (x0 )k < k/p. Por tanto, basta hacer p > k/, p N,
para que
kx x0 k < 1/p = kf (x) f (x0 )k < k/p < .
Por u
ltimo veamos la linealidad de f :
Si r R, sea {qn }nN una sucesion de racionales tal que qn r.
Por la continuidad de f,
f (rx) = lm f (qn x) = lm qn f (x) = rf (x).
n

 
23. Sea {n }nN una sucesi
on acotada en C y T : `1 `1 el operador
definido por T (xn )nN = (n xn )nN .

a) Probar que T L(`1 ) y kT k = sup{|n | : n N}.

b) Probar que N (T ) = {0} n 6= 0, n.
c) Probar que si N (T ) = {0}, entonces R(T ) es denso en `1 .
Resp.: a) Es evidente que T es lineal.
Para ver que T es acotada, supongamos que |an | M, n. Entonces
X
X
kT xk =
|an xn | M
|xn | = M kxk = kT k sup |an |.
Si elegimos la sucesion x(n) = {0, (n1)
. . . , 0, 1, 0, . . . }, entonces
kT x(n) k = |n | = kT k |n |, n = kT k sup |n |.
b) Si N (T ) = {0}, T x(n) = n 6= 0, n.
Recprocamente, si n 6= 0, n y x N (T ), entonces T x = (n xn ) =
0 = n xn = 0, n = xn = 0, n = x = 0.
82

c) Sea y = (yn )nN `1 y llamamos x(n) = (y1 /1 , 0, . . . , yn /n , 0, . . . ),

n N. Entonces T x(n) = (y1 , . . . , yn , 0, . . . ) y T x(n) y.
 
24. Si X = C[0,
R 1 1], se definen los operadores S, T : X X como
Sx(s) = s 0 x(t)dt, T x(s) = sx(s), respectivamente. Conmutan
S y T ? Encontrar kSk, kT k, kT Sk y kST k.
Resp.: a) Por definicion,
Z 1
t x(t)dt,
(ST x)(s) = S(T x)(s) = S(sx(s)) = s
0
Z 1
Z 1
2
x(t)dt.
(T Sx)(s) = T (Sx(s)) = T (s
x(t)dt) = s
0

Es evidente entonces que no conmutan.

R1
R1
R1
b) Como kSxk = maxs[0,1] |s 0 x(t)dt| | 0 x(t)dt| 0 |x(t)|dt
kf k, entonces kSk 1.
Si elegimos en particular x0 (s) = 1, (Sx0 )(s) = s y kSx0 k = 1. En
definitiva, kSk = 1.
Por otra parte, como kT xk = maxs[0,1] |sx(s)| maxs[0,1] |x(s)| =
kxk, tambien kT k 1.
Nuevamente, para x0 (s) = 1, kx0 k = 1 y (T x0 )(s) = s, de donde
kT x0 k = 1. As pues, kT k = 1.
c) Debido a que kT Sxk kT k kSxk kT k kSk kxk = kxk, entonces
kT Sk 1.
Tomando x0 (s) = 1, (T Sx0 )(s) = s2 = kT Sx0 k = 1 = kT Sk 1,
lo que implica que kT Sk = 1.
R1
Por otra parte, si kxk = 1, entonces |x(s)| 1, s = 0 tx(t)dt
R1
R1
pues kST xk 1/2.
0 tdt = 1/2, de donde s 0 tx(t)dt s/2. As
R1
Ahora bien, si elegimos la funcion x0 (s) = 1, (ST x0 )(s) = s 0 tx0 (t) =
s/2 de modo que kST x0 k = 1/2.
 
25. Sea X = C[0, 1] con la norma uniforme.

a) Si T L(X) se define como T (f )(t) =

encontrar kT k.
83

tf (t)
,t
1+t2

[0, 1], f X,

b) Si S L(X) se define como S(f )(t) =

K es continua, probar que S es acotado.

R1

K(t, s)f (s)ds, donde

c) Fijado t0 [0, 1], se define x X 0 por x (f ) = f (t0 ). Encontrar

kx k.
Resp.: a) Por definicion,

 tf (t) 

 max |f (t)| max  t  = 1 kf k,
kT f k = max 
2
2
1+t
2
t[0,1] 1 + t
t
1+t2

porque la funcion y =

es creciente en [0, 1].

Para f 1 se verifica la igualdad. Por tanto, kT k = 1/2.

b) Nuevamente,
kSf k =


sup 


K(t, s)f (s)ds

t[0,1]

sup

Z
|K(t, s)| |f (s)|ds kf k sup

|K(t, s)|ds.

t[0,1] 0

t[0,1] 0

Esto implica que kSk supt[0,1]

R1
0

|K(t, s)|ds.

c) kx k = supkf k=1 |x (f )| = supkf k=1 |f (t0 )| = 1.

 
2
2
26. Se
R t define el operador de Volterra V : L [0, 1] L [0, 1] por (Vf )(t) =
0 f (s)ds. Probar que V es lineal y acotado y que kV k 1/ 2.

Resp.: Por la linealidad de la integral, es evidente que V es lineal.

Ademas V es acotado. En efecto:
Z 1
Z 1 Z t

2
2
2

f (s)ds dt
kV f k
=
|V f (t)| dt =
0
0
0
Z 1Z t
Z t
2 (desig. de Holder) Z 1 h Z t
i
2

|f (s)|ds dt

|f (s)| ds
12 ds dt
0
0
0
0
0
Z 1hZ t
Z 1Z 1
i

=
t |f (s)|2 ds dt =
t |f (s)|2 dt ds
0
0
0
s
Z 1
1
=
|f (s)|2 (1/2 s2 /2)ds kf k2
2
0

1
= kV f k kf k = kV k 1/ 2.
2
84

 
27. Se define : L2 [a, b] L2 [a, b] por (f )(x) = xf (x), x [a, b].
Probar que es lineal y acotado con kk = max{|b|, |a|}.
Resp.: Que es lineal es trivial. Ademas
k(f )k22 =

|xf (x)|2 dx (max{|b|, |a|})2 kf k22 = kk max{|b|, |a|}.

Por otra parte, suponiendo que |b| |a| y llamando fn = [b ba ,b] ,

n

k(fn )k22 =

|xfn (x)|2 dx =

|x|2 |fn (x)|2 dx =

|x|2 dx

b ba
n

h
3
x3 b
b3 (b ba
b a (b a)2 i b a
2
n )

=
b

.
ba =
3 b n
3
3
n
3n2
n

Ademas,
kfn k22

ba
ba
|fn (x)|2 dx = b b +
=
n
n
a
r
k(fn )k2
b a (b a)2
+
|b|
= b2 b
kfn k2
n
3n2

Z
=

si n , de donde kk |b|. En definitiva, kk = |b| = max{|a|, |b|}.

 
28. Sean (X, k k1 ), (Y, k k2 ) dos espacios normados sobre el mismo
cuerpo y T L(X, Y ) una aplicaci
on biyectiva, tal que T 1
L(Y, X).

a) Probar que kT 1 k kT k1 . Es cierta la igualdad?

b) Probar que X es de Banach si y s
olo si Y es de Banach.
Resp.: a) En general, dados dos operadores A L(X, Y ) y B
L(Y, Z), debido a que
kBAxk kBk kAxk kBk kAk kxk,
se deduce que kBAk kBk kAk. En particular, 1 kT k kT 1 k, de
lo que deducimos que kT k1 kT 1 k.
85

La igualdad no es cierta en general. Incluso en el caso finito-dimensional,

si consideramos por ejemplo el operador T : R2 R2 definido por
T (x1 , x2 ) = (2x1 , x2 ), entonces T es lineal, biyectiva y acotada. Ademas
T 1 (x1 , x2 ) = (x1 /2, x2 ). Por tanto, kT k = 2 y kT 1 k = 1, de modo
que, en general, no es cierta la igualdad entre kT k1 y kT 1 k.
b) Supongamos que X es de Banach (analogamente se procede con la
implicacion recproca). Si {yn }nN es una sucesion de Cauchy en Y ,
existe xn X tal que T xn = yn , n. Como
kxn xm k = kT 1 (yn ym )k kT 1 k kyn ym k,
entonces {xn }nN es de Cauchy en X.
Por hipotesis, x X : xn x. Si llamamos y = T x, es facil probar
que yn y, con lo que Y es de Banach.
 
Rt
29. Sea T : C[0, 1] C[0, 1] definido por y(t) = 0 x(s)ds. Encontrar
el rango R(T ) y T 1 : R(T ) C[0, 1]. Es T 1 lineal y acotado?
Resp.: Por definicion,
R(T ) =

Z
y : C[0, 1] : x C[0, 1], y(t) =

x(s)ds

= {y C[0, 1] : y 0 (t) = x(t) C[0, 1], y(0) = 0} = {y C 1 [0, 1] : y(0) = 0}.

1
Si
T x = y, es decir cuando y(t) =
R t y R(T ), sera T y = x cuando
0 (t) = x(t); en definitiva, T 1 y = y 0 .
x(s)ds
lo
que
implica
que
y
0

Es claro que T 1 es lineal. Sin embargo no esta acotado porque,

si elegimos fn (x) = xn , entonces kfn k = max |fn (x)| = 1 pero
x[0,1]

kT 1 fn k
ra la que

= max

|nxn1 |

x[0,1]
kT 1 fn k

kkfn k.

= n y no existe ninguna constante k pa-

 
30. En (C[a, b], k k ) sea M el subespacio de las funciones f C[a, b]
que tienen dos derivadas continuas y tales que f (a) = f (b) = 0.
Se define el operador T : M C[a, b] por T f = f 00 . Probar que
existe T 1 y que R(T ) = C[a, b].
Resp.: T es inyectiva, pues si
f 00 = g 00 = f 0 (x) = g 0 (x) + C = f (x) = g(x) + Cx + D.
86

Ahora bien, de f (a) = g(a) = 0 y f (b) = g(b) = 0, se deduce que

f = g.
T es adem
as sobre, pues si g(x) = f 00 (x) con f (a) = f (b) = 0, entonces
R
x
f 0 (x) = a g(t)dt + k1 , de donde
Z xhZ s
i
g(t)dt ds + k1 (x a) + k2 ;
f (x) =
a

eligiendo k1 =

1
ba

M.

Z bhZ
a

i
g(t)dt ds y k2 = 0, deducimos que f

 
31. Sea X = {f : [0, 1] R : f continua} provisto de la norma de
la
R x convergencia uniforme y sea T : X X definido por T f (x) =
0 f (s)ds.
Rx
a) Probar que T n f (x) = 0 Kn (x, s)f (s)ds, donde Kn (x, s) es una
funci
on continua en [0, 1] [0, 1].

b) Calcular kT n k y la suma de la serie

n=1 T

n.

c) Resolver la ecuaci
on (I T )f = g con f X .
Resp.: a) Si aplicamos el metodo de induccion, para n = 1, K1 (t, u) =
1, que es evidentemente continua.
Si suponemos la propiedad cierta para n, entonces
Z t
Z thZ v
i
n+1
n
n
T
x(t) = T (T x)(t) =
T x(v)dv =
Kn (v, u)x(u)du dv.
0

Intercambiando el orden de integracion, obtenemos:

Z thZ t
Z t
i
T n+1 x(t) =
Kn (v, u)x(u)dv du =
Kn+1 (t, u)x(u)du,
0

Rt

donde definimos Kn+1 (t, u) = u Kn (v, u)dv. Para ver que es continua,
calcularemos explcitamente Kn :
Rt
Claramente, K1 (t, u) = 1 y K2 (t, u) = u dv = t u; si suponemos que
Kn (t, u) =

(tu)n1
(n1)! ,

veamos que Kn+1 (t, u) =

Z

Kn+1 (t, u) =
u

(tu)n
n! :

(v u)n1
(t u)n
dv =
(n 1)!
n!
87

la cual es evidentemente continua.

b) Como
|T n x(t)|

Z
0

(t u)n1
|x(u)|du kxk
(n 1)!

(t u)n1
kxk
du
,
(n 1)!
n!

entonces kT n xk kxk /n! con lo que kT n k (1/n!).

Rt
n1
tn
n
Por otra parte, como T n 1 = 0 (tu)
(n1)! du = n! , entonces kT 1k =
(1/n!). En definitiva, kT n k = (1/n!).
P
n k es convergente. Por ser
Esto indica ademas que la serie nN kTP
n
L(X) completo, es convergente tambien
nN T . Para calcular su
suma, debido a que
p
X

T x(t) =

Z t

1+

n=1

(t u)p1 
tu
+ +
x(u)du,
1!
(p 1)!

Rt
definimos H : X X por Hx(t) = 0 etu x(u)du. As definido, H
es lineal y acotado pues
Z t
Z 1
u
t
e |x(u)|du k kxk donde k = e
eu du.
|Hx(t)| e
0

Ademas
p
X


Hx(t)
T n x(t)

Z t
p1

 tu X (t u)n 

e
 |x(u)|du
n!
0
n=0

n=1

p1

X
(t u)n 

kxk sup etu
,
n!
u[0,t]
n=0

de donde
kHx

p
X

T xk

p1
 X


kxk sup e
n /n!.
[0,1]

n=1

n=0

Ahora bien, como la serie n0 n /n! converge uniformemente a e sobre cualquier compacto deP
R, el supremo anterior tiende a cero cuando
p . Esto prueba que n1 T n = H.
P

c) Dado g X, como la serie I + T + + T n + . . . converge en L(X)

a I + H y, debido a que
(I T )(I + T + + T n ) = (I + T + + T n )(I T ) = I T n+1 I,
se deduce que existe (I T )1 = I + T + + T n + = I + H.
88

La ecuacion dada tiene pues solucion x = (I T )1 g = (I + H)g, de

donde
Z t
x(t) = g(t) + et
eu g(u)du.
0

 
32. Probar que f1 (x) = maxt[a,b] x(t) y f2 (x) = mnt[a,b] x(t) definen
funcionales en C[a, b]. Son lineales? Acotados?
Resp.: Por ser x C[a, b], alcanza los valores maximo y mnimo, con
lo que ambos funcionales estan definidos. Ninguno de ellos es lineal: si
hacemos por ejemplo x1 (t) = t y x2 (t) = 1 t en [0, 1], f1 (x1 + x2 ) =
max(x1 (t) + x2 (t)) = 1 pero f1 (x1 ) + f1 (x2 ) = max x1 (t) + max x2 (t) =
1 + 1 = 2.
Analogamente se comprueba con el mnimo.
 
33. Sea X un espacio normado complejo y f un funcional lineal sobre
X . Si llamamos f1 (x) = Re f (x), f2 (x) = Im f (x), x X , probar
la equivalencia de las siguientes proposiciones:

i) f : X C es acotado.
ii) f1 : X R es lineal y acotado.
iii) f2 : X R es lineal y acotado.
Resp.: Dado f (x) = f1 (x) + if2 (x), como

f (ix) = f1 (ix) + if2 (ix)
= f1 (ix) = f2 (x), f2 (ix) = f1 (x),
if (x) = if1 (x) f2 (x)
podemos escribir f (x) = f1 (x) if1 (ix), x X.
i) = ii): Supongamos que f es acotado. Veamos que f1 es lineal y
acotado.
f1 (x + y) + if2 (x + y) = f (x + y) = f (x) + f (y)
= f1 (x) + if2 (x) + f1 (y) + if2 (y)
= f1 (x) + f1 (y) + i[f2 (x) + f2 (y)].
Igualando la parte real se deduce que f1 (x + y) = f1 (x) + f1 (y).
89

Analogamente se prueba que f1 (x) = f1 (x).

|f1 (x)| |f (x)| kf k kxk = kf1 k kf k.
ii) = iii): Como f2 (x) = f1 (ix), entonces
f2 (x + y) = f1 (ix + iy) = f1 (ix) f1 (iy) = f2 (x) + f2 (y), x, y X;
f2 (x) = f1 (ix) = f1 (ix) = f2 (x);
|f2 (x)| = |f1 (ix)| kf1 k kixk = kf1 k kxk = kf2 k kf1 k.
iii) = i): Si escribimos f de la forma f (x) = f2 (ix) + if2 (x), resulta:
|f (x)| = |f2 (ix) + if2 (x)| |f2 (ix)| + |if2 (x)|
kf2 k kxk + kf2 k kxk = kf k 2kf2 k.
 
3
34. Sea Z = {x R3 : x2 = 0} y f : Z R definido por f (x) = x1 x
2 .
3
Encontrar una extensi
on lineal f de f a todo R tal que f (x0 ) = k
(k constante dada), con x0 = (1, 1, 1). Es u
nica tal f ?

Resp.: Por hipotesis, f (1, 0, 0) = 1/2 y f (0, 0, 1) = 1/2.

Para que f (1, 1, 1) = k, debe ser
f (1, 1, 1) =

1
1
+ f (0, 1, 0) = f (0, 1, 0) = k.
2
2

La extension es u
nica porque queda determinada la imagen de la base
canonica.
 
35. En el espacio m
etrico (R3 , k k1 ) consideramos el subespacio lineal M = {x R3 : x1 + 2x2 = x3 = 0} y definimos f M 0 por
f (x) = x1 . Encontrar dos extensiones diferentes de f a todo R3
con la misma norma de f .
Resp.: Por definicion, M es el espacio generado por u = (1, 1/2, 0).
Como kuk1 = 3/2 y f (u) = 1, entonces, x M de la forma x = u,
f (x) = y kf k = sup
x6=0

||
2
|f (x)|
= sup
= .
kxk
3
R (3/2)||

90

Sea {e1 , e2 , e3 } la base canonica de R3 y fe una extension de f .

Como kfek = kf k = 2/3, en particular debe ser
|fe(ei )| 2/3, i = 1, 2, 3.

(1)

Como ademas fe(u) = f (u), tenemos que

1 = fe(e1 e2 /2) = fe(e1 ) (1/2)fe(e2 ).

(2)

De (1) y (2) se deduce que necesariamente fe(e1 ) = 2/3 y fe(e2 ) = 2/3.

Basta elegir arbitrariamente fe(e3 ) tal que |fe(e3 )| 2/3 para que, dado
cualquier x R3 , con x = x1 e1 + x2 e2 + x3 e3 ,
fe(x) =
|fe(x)|

2
2
x1 x2 + fe(e3 )x3 ;
3
3
2
2
2
2
|x1 | + |x2 | + |fe(e3 )| |x3 | [|x1 | + |x2 | + |x3 |] = kxk1 ,
3
3
3
3

de donde kfek 2/3. Por ser extension de f , kfek kf k = 2/3. Esto

implica que kfek = kf k.
 
36. Sean X, Y 6= {0} espacios normados con dim X = .

a) Probar que existe al menos un operador lineal no acotado

T : X Y.
b) Probar que el espacio dual X 0 no coincide con el dual algebraico X .
Resp.: a) Sea {en }nN una base de Hamel de X. Si definimos T en =
nen , T es lineal. Ademas, como kT en k = nken k, entonces kT en k/ken k =
n y n : kT en k/ken k > k, k lo que implica que T no es acotado.
b) El operador definido por T en = n esta en X por ser lineal, pero
no esta en X 0 por no ser acotado.
 
37. Sea X un espacio normado y M un subespacio cerrado de X . Si
denotamos por M = {f X 0 : f (y) = 0, y M } al llamado
conjunto anulador o polar de M , demostrar:

a) M es subespacio cerrado de X 0 .
91

b) M es isomorfo a (X/M )0 .
Resp.: a) Sea {fn }nN una sucesion de Cauchy en M . Entonces para
cualquier x X,
|fn (x) fm (x)| kfn fm k kxk 0
con lo que {fn (x)}nN es de Cauchy en E(= R o C), lo que implica
que E : fn (x) . Esto permite definir el funcional f : X E
por f (x) = . Es evidente que f es lineal. Ademas
f es acotado pues |f (x)| = || = lm |fn (x)| lm kfn k kxk.
n

fn f porque kfn f k = sup |fn (x) f (x)| .

kxk=1

f M porque f (y) = lmn fn (y) = 0, y M.

b) Definimos T : (X/M )0 M por (T f )(x) = f ((x)), donde es la
aplicacion canonica (que enva a todo elemento la clase de equivalencia
que lo contiene). As definido, es evidente que T es lineal. Veamos que
T es acotado:
|(T f )(x)| = |f ((x))| kf k k(x)k kf k kk kxk.
Como kk 1, entonces kT f k kf k, de donde kT k 1.
Ademas, si y M, (T f )(y) = f ((y)) = f ([0]) = 0, es decir T f
M .
Falta comprobar que T es sobre. Para ello, a cada g M , le asociamos el funcional f : X/M E definido por f () = g(x), si x .
Debemos probar:
f esta bien definido pues si x, x0 , entonces
x x0 M = g(x x0 ) = 0 = g(x) = g(x0 ).
f es lineal (evidente).
f es acotado:
|f ()| = |g(x)| kgkkxk = |f ()| kgknf kxk = kgkkk = kf k kgk.
x

T f = g (evidente).
kT k = 1:
kf k(X/M )0 = sup f () sup |f ((x))| = sup |T f (x)| = kT f k.
X/M

xX

92

xX

 
38. Sea c0 = {a = (an )nN : an C, an 0}.

a) Probar que c0 es un espacio de Banach con la norma inducida

por ` .
b) Demostrar que el dual de c0 es `1 .
Resp.: a) c0 es normado por ser subespacio de ` . Veamos que es
cerrado:
Si a c0 , (an )nN c0 : an a. Entonces
kan ak = sup |akn ak | < , n > N () = |akn ak | < , k, n > N ().
k

De este modo, |ak | |ak akn | + |akn | < + porque an c0 , es decir

lmk akn = 0. Esto prueba que a c0 .
P
fn xn ,
b) Definimos F : `1 (c0 )0 por F f = fe, donde fe(x) =
n1

x c0 .
Eligiendo x = (x1 , . . . , xN , 0, . . . ),
|fe(x)|

N
X

|fn xn | max |xn |

n=1

N
X

|fn |.

n=1

Haciendo N , |fe(x)| kxk kf k1 = kfek kf k1 =

kF k 1.
e
F es isometra: Dado fe (c0 )0 , llamamos fP
n = f (en ).
N
e
As, si x = (x1 . . . , xN , 0, . . . ), f (x) = n=1 fn xn(
. Como fn =
ein si 0 < n N
(N )
(N )
ein |fn |, definimos g (N ) = (gn )nN , donde gn =
0
si n > N.
Entonces:
|fe(g (N ) )| =

N
X

|fn | kfek kg (N ) k = kfek < .

n=1

Esto implica que f = (fn )nN `1 y kf k1 kfek = kF k = 1.

P
F es sobre: Dado fe (c0 )0 , x c0 , escribimos x = nN xn en con
P
lo que fe(x) = nN xn fe(en ). Basta probar que (fe(en ))nN `1 ,
93

P
P
es decir nN |fe(en )| < . Para ello tomamos: x(N ) = N
n=1
en c0 , de donde
N
X

|fe(en )| =

n=1

Si hacemos N ,

fe(en )

|fe(en )|

N
X
fe(en ) e
f (en ) = fe(x(N ) ) kfek.
|fe(en )|

n=1

n=1 |f (en )|

< .

TEMAS COMPLEMENTARIOS
1. Construccion de espacios normados: espacio producto y espacio cociente
([CC], [So]).
2. Espacios de funciones continuas. Base de Schauder para C[0, 1]. Espacio
dual de C[a, b] ([KF]).
3. Espacio dual de Lp (X, ) ([Ro]).
4. Ecuaciones integrales lineales ([Da], [KF]).
5. Calculo diferencial en espacios normados: derivadas de Frechet y Gateaux
([KF], [LS]).

94