Anlisis 4

Espacios Clasicos de Banach

Gabriel Rondn
Andrea Rujano
Richard Doncel
Fernando Vargas

Problema 1
Muestre que ||f + g|| ||f || + ||g||
Prueba: Note que |f + g| |f | + |g| y adems, |f | ||f || y |g| ||g|| c.s por tanto
|f + g| ||f || + ||g|| c.s
Sea S = { R : m(|f |1 (, +)) = 0}. Consideremos los siguientes casos
Caso1: Si ||f || y ||g|| son finitos, entonces |f + g| ||f || + ||g|| < + c.s, por
tanto m(|f + g|1 (||f || + ||g|| , +)) = 0, entonces ||f || + ||g|| S, por tanto
||f + g|| ||f || + ||g|| .
Caso 2: Si ||f || o ||g|| es infinito es clara la desigualdad. En ambos casos se obtiene la
desigualdad.
Problema 2
Sea f una funcin medible acotada sobre [0, 1] entonces lm ||f ||n = ||f ||
n

Prueba: Si ||f || = 0 entonces es clara la igualdad. Supongamos que ||f || 6= 0, como

||f || = inf { R : m(|f |1 (, +)) = 0} entonces |f | ||f || c.s de donde
n
|f |n ||f
Z || c.s. Z
|f |n

Luego,
[0,1]

||f ||n esto implica que

[0,1]

!1/n
|f |n

[0,1]

!1/n
||f ||n

[0,1]

As, ||f ||n ||f || .(m([0, 1]))1/n .

Ahora como m([0, 1]) = 1 > 0 se tiene que lm (m([0, 1]))1/n = 1, es decir, dado
n

si n > n1 .
 > 0, n1 N tal que |m([0, 1])1/n 1| <
||f ||
1


si n > n1 . Por tanto ||f || m([0, 1])1/n < ||f || +  si
||f ||
n > n1 . As, ||f ||n ||f || (m([0, 1]))1/n < ||f || +  si n > n1
Considemos el conjunto X() = {x [0, 1] : f (x) > ||f || }
Como m(X()) > 0 se tiene que
Z
Z
Z
n
n
(||f || )n = (||f || )n .m(X()).
f
f
De donde, m([0, 1])1/n < 1 +

X()

X()

[0,1]

Por tanto,
!1/n

fn

(||f || )(m(X()))1/n

[0,1]

y como lmn (m(X()))1/n = 1 implica que,

lm (||f || )(m(X()))1/n = (||f || ).

As, existe n2 N tal que

|(||f || )((X()))1/n (||f || )| <  si n > n2
entonces,
 < (||f || )(m(X()))1/n (||f || ) <  si n > n2
y como
2 + ||f || =  + (||f || ) < (||f || )(m(X()))1/n si n > n2 .
Tomemos n0 = m
ax{n1 , n2 }. As, ||f || 2 < ||f ||n < ||f || +  ||f || + 2 si n > n0
se tiene
2 < ||f ||n ||f || < 2
o equivalentemente
|||f ||n ||f || | < 2 si n > n0 .
Lo que prueba el resultado.
Problema 3
Pruebe que |f + g|1 ||f ||1 + ||g||1
Prueba: Veamos que |f + g|1 ||f ||1 + ||g||1 , en efecto, como
|f + g| |f | + |g|,
se tiene,
Z

Z
|f + g|

Z
|f | +

|f |,
X

es decir,
||f + g||1 ||f ||1 + ||g||1 .
En consecuencia, la desigualdad es cierta.
2

Problema 4
Si f L1 y g L entonces
Z
|f g| ||f ||1 ||g||
X

Prueba: En efecto, como |g| ||g|| , se tiene

Z
Z
|f | = ||g|| ||f ||1 .
|f.g| ||g||
X

De donde,
|f ||g| |f |||g|| c.s .
Por tanto, se tiene la desigualdad.
Problema 5
(a) Pruebe la desigualdad de Minkowski para 0 < p < 1
Prueba: Sean f,g dos funciones no negativas las cuales pertenecen en el espacio
Lp (X) con 0 < p < 1, veamos que ||f + g||p ||f ||p + ||g||p .
En efecto, dado que
Z
Z
Z
p
p1
|f + g| =
|f ||f + g|
+
|g||f + g|p1 ,
X

tenemos por la desigualdad de Hlder (ver problema 6) para 0 < p < 1

Z

Z

|f +g|
X

1/p Z

|f |

|f + g|

|f + g|

1/p

|f |

c.s. lo cual es una contradiccion.

Por lo tanto,
Z
|f + g|

1/p

Z

1/p # Z
|f + g|

1/q

|f + g|p = 0 entonces f +g = 0 cs, luego, f = g

11/q

|f + g|

|g|

|f + g| > 0, ya que si

Z

X
p

y como

1/q Z
 Z
1/q
p 1/p
(p1)q
+
|g| )
|f + g|

y como (p 1)q = p, tenemos

"Z
Z

(p1)q

Z

|f |
X

1/p

Z

|g|

+
X

1/p

(b) Muestre que si f,g Lp (X) entonces f+g Lp (X) para 0 < p < 1
Prueba: Sabemos que si a, b > 0 y 0 < p < 1 , entonces (a + b)p ap + bp .
Luego, |f + g|p (|f | + |g|)p |f |p + |g|p As,
Z
Z
Z
p
p
|f + g|
|f | +
|g|p < .
X

Es decir, f + g Lp (X)

Problema 6
Pruebe la desigualdad de Hlder para 0 < p < 1
Prueba: Queremos porbar que, para 0 < p < 1, se tiene
1/q Z
1/p Z

Z
q
p
g
.
f

fg
X

Z
Sea A =

1/p

Z
, B=

1/q
Si A = 0 o B = 0, la desigualdad es clara. Supog-

amos A 6= 0 y B 6= 0 Z
Como B 6= 0, se tiene g q > 0.Por tanto, m{x : g(x) 6= 0} > 0. Sea H := {x : g(x) 6= 0},
XZ
Z
Z
p
como
g = 0. As, g p =
g p = 0 Sin perdida de generalidad podemos suponer
XH

que g(x) 6= 0, x X Sea p0 = p1 , entonces p0 > 1, sea q 0 tal que p10 + q10 = 1. Definamos
:= (f g)p = f p g p f p = g p . Sea = g p , observe que es posible definir as, pues
g(x) 6= 0 x X, de modo que, f p = . As,
Z

X
0

p0

1/p0 Z

q0

1/q0
.

Entonces, p = (f g)pp = f g ya que pp0 = 1, adems q = g pq

As,
Z
p Z
1/q0
Z
0
fp
f.g .
g pq
.
X

Veamos que
que

pq 0

= q. Como p +

1
q0

p
q=
= p
p1

= 1, tenemos, q 0 =


1
1p

1
1p .

Y como

= pq 0 tambin q 0 =

Por tanto,
Z

Z

f
X

p Z
p/q
q
f.g .
g
.

q
p

1
q

= 1 p1 , tenemos

Equivalentemente,
Z

gq

 Z
p
p/q Z
fg
.
fp
X

Tomando raiz p-esima, obtenemos lo que queremos.

Problema 7
(
(v )
v=1 :

(a) Para 1 p < +, denotemos por `p =

)
|v |p < + . Pruebe la de-

v=1

sigualdad de Minkowski para sucesiones:

||(v + v )||p ||(v )||p + ||(v )||p .
Aqui tenemos 1 p < +
p

(||(v )||p ) =

|v |p

v=1

y
||(v )|| = sup |v |.
Prueba: Caso 1: 1 p <
!1/p

X
, se tiene, ||(v + v )||p =
|v |p
Como ||(v )||p =

!1/p
|v v |p

v=1

v=1

Si ||(v )||p = 0 o ||(v )||p = 0, la desigualdad es trivial.

As, asumimos que cada una tiene
y  entonces definimos los
norma
 1
 mayor que
  v  
 v 
 = 1, 

nmeros reales , > 0 tales que: 
  = 1.
p
p
Luego,
!1/p
!1/p

 p !1/p

 
X
X
X
 v 
 v 
p
p
|v + v |

(|v | + |v |)
=
  +  

v=1
v=1
v=1
  
  p !1/p


X
 v 
 v 

p
 +
 
=
( + )
+ 
+  
v=1

  p 
  p !1/p

X
 v 
 v 

p
  +
 

( + )
+ 
+  
v=1
= 1
pues p 1 las cantidades dentro de la distribucin son menores de 1.
!1/p

X
As,
(|v + v |)p
+ = ||(v )||p + ||(v )||p
v=1

Caso 2: p =
||(v + v )|| = sup |v + v | sup(|v | + |v |) sup |v | + sup |v |
= ||(v )|| + ||v ||
b) Muestre que si (v ) `p y (v ) `q con

1 1
+ = 1, entonces
p q

|v v | ||v ||p ||v ||q

v=1

Esta es la desigualdad de Hlder para sucesiones.

Prueba: Caso 1: p = 1 q =

|v v | =

v=1

|v ||v |

v=1

|v |. sup |v | =

v=1

|v |||v || = ||v ||1 ||v || .

v=1
q/p

Caso 2: 1 < p < + Consideremos v = v

Podemos optar por asumir que v , v son positivos puesto que la norma depende
slo en su valor absoluto.Por el lema 3, tenemos que:
ptv = ptv vp1 (v + t.v ) vp , t 0.
Sumando ambos lados obtenemos que:

p.t.v .v

v=1

(v + tv )p vp = ||(v + tv )||pp ||v ||pp .

v=1

Y por la parte a),

||(v + tv )||pp ||v ||pp (||(v )||pp + ||(t.v )||p )p ||(v )||pp
P
P
P
= (( vp )1/p ) + t( vp )1/p ( vp )1/p .
Diferenciando con respecto a t, tenemos que,
!
 X 

X 1/p p1 X 1/p

X
1/p
p
p
v v p
v
+t
vp
vp
.
v=1

Luego, tomando t = 0, obtenemos:

X
v=1

v .v (

(1/p).(p1)

vp )

P 1/p
( vp )

P
q P
1/p
= ( vq ) . ( vp )
= = ||v ||q ||v ||p

Problema 8
(a) Sean a, b no negativos, 1 p, 1/p + 1/q = 1. Establezca la desigualdad de Young
ap bq
+ .
p
q

ab

Probemos primero la siguiente desigualdad: para , > 0 y [0, 1]

1 (1 ) + .
En efecto, consideremos la funcin f : (0, +) R, dada por
f (t) = (1 ) + t 1 t .
Entonces,
f 0 (t) = 1 t1 .
Es decir,
0

f (t) = (1

1 1



1
) = 1 1 .
t

Por tanto, t = es un punto crtico, puesto que [0, 1] se tiene que 1 < 0.
Entonces,
f 00 (t) = ( 1)1 t2 > 0.
Por lo tanto, t = es un mnimo global, es decir, f () f (t) t 0. Pero,
f () = (1 ) + 1 = = 0. As, f (t) 0 t 0. Usando esta
desigualdad, tenemos que tomando = bq , = ap y = 1/p [0, 1], se tiene
ab = (bq )11/p (ap )1/p = (bq )1/q (ap )1/p bq

1
1
ap bq
+ ap =
+
q
p
p
q

(b) Use la desigualdad de Young, para probar la desigualdad de Hlder

Z
1/p Z
1/q
Z
p
q
fg
f
g
.
X

Z
Prueba: Sea A =

fp

1/p

Z
,B=

gq

1/q
. Consideremos los siguientes casos:

Caso 1: A = 0, se tiene
Z

f p = 0 f p = 0 c.s.

f = 0 c.s.
f.g
Z = 0 c.s.

f g = 0.
X

En este caso vale la desigualdad. Anlogamente, si B = 0.

Caso 2: A = o B = , la desigualdad es clara.
Caso 3: Si 0 < A, B < , observen que, por la parte (a)




f (x) g(x)
1 f (x) p 1 g(x) q

+
x X.
A B
p
A
q
B
Se tiene,
Z

f g
AB


Z   p
1 f
1  g q

+
p A
qZ B
X Z
1
1
=
fp +
gq
pAp X
qB q X
1 p
1
1 1
=
A +
Bq = + = 1
p
q
pA
qB
p q

As,
Z
X

f g
1,
AB

de donde,
Z

Z
f g A.B =

1/p Z
g

1/q
.

(c) Muestre que en la desigualdad de Young la desigualdad es al revs si 0 < p < 1.

Prueba: Consideremos la funcion f : (0, +) R, definida por
f (t) = at

ap tq
+ .
p
q

Veamos que la funcin f es no negativa. Observe, primero que como

1 1
+ =1 y
p q

com 0 < p < 1 se tiene que, necesariamente q < 0.Ahora bien,

f 0 (t) = a q

1
tq1
= a tq1 , donde f 0 (t) = 0, implica t = a q1
q

Adems,
f 00 (t) = (q 1)tq2 > 0 t 0.
1

Por tanto, t = a q1 , es un mnimo global. Ahora bien, como

p=

q
q1

p
q

1
q1 ,

1 1
+ = 1, tenemos
p q

adems p + q = pq. Entonces,

p

p+q
pq
ap (a q )q
ap ap
(p + q)ap
f (a ) = a a

=a q

=aq
= ap ap = 0.
p
q
p
q
pq
p
q

p
q

As, f (t) f (ap/q ) = 0 t 0. Tomando t = b > 0, la desigualdad queda probada.

8

(d) Pruebe la desigualdad de Hlder, para 0 < p < 1.

Prueba: Ver ejercicio 6.

Problema 9
Pruebe que toda sucesion (fn (x)) convergiendo para f (x) en Lp (X), Entonces esta es una
sucesion de Cauchy
Prueba: Por la desigualdad de MInkowski, tenemos
Z

1/p

|fm (x) fn (x)| dx

X

Z

1/p

|fn (x) f (x)| dx

Z

|f (x) fn (x)| dx)

1/p

Z
| (fm (x) f (x)) + (f (x) fn (x)) |

1/p

|fn (x) f (x)| dx)

Z
X

o
||fn fn ||p ||fm f ||p + ||fn f ||p
pero como (fm (x)) y (fn (x)) ambas convergen a f (x), esto significa que dado  < 0, existe
un n0 > 0, tal que para m, n > n0
||fm f ||p < /2 ||fn f ||p < /2
As,
||fm f n||p < /2 + /2 =  para m, n > n0

Problema 10
Sea (fn ) una sucesion de funciones en L . Pruebe que (fn ) converge a f en L si, y slo
si, existe un conjunto E de medida 0 tal que fn converge uniformenente a f en E c .
Prueba:
() Supongamos que fn f en L entonces ||fn f ||inf ty 0.
As, para todo  > 0, N tal que n > N

||fn f || <  c.s

Entonces, |fn f | <  c.s, n > N , por lo tanto fn f c.s, o sea fn f en E c

donde E = {x : fn 9 f } es tal que m(E) = 0
() Supongamos que fn f , excepto sobre un conjunto E de medida cero, entonces
 > 0, N tal que x E c y n > 0, se tiene que |fn (x) f (x)| < .

1/p

|f (x) fn (x)| dx)

Problema 11
Pruebe que L es completo
Prueba: Recordemos que Lp para 1 p es el siguiente espacio:
L = {f : X R : f es una funcin acotada c.s.}.
Con la sigiente relacin: f g si, y slo si f = g c.s. Esta relacin, es una relacin de
equivalencia, por lo tanto particiona el dominio (Lp ) en clases de equivalencia disjuntas.
Veamos que es una relacin de equivalencia.
Reflexividad Es claro.
Simetria Es claro
Transitividad Supongamos que f g y g h, entonces los conjuntos
A = {x : f (x) 6= g(x)} y B = {x : g(x) 6= h(x)}
son tales que m(A) = m(B) = 0. Sea C = {x : f (x) 6= h(x)}. Veamos que C AB.
Supongamos que no. Entonces, existe x C tal x
/ A B, es decir, x Ac y x B c ,
por lo tanto, f (x) = g(x) y g(x) = h(x), de donde, f (x) = h(x), contradiciendo que
x C. Por lo tanto, C A B. Entonces, m(C) m(A) + m(B) = 0, de donde,
f g. En consecuencia, es transitiva.
Tambin sabemos que Lp (X) es un espacio vectorial, por lo tanto, por la definicin de ,
tenemos que tambin Lp (X)/ es un espacio vectorial, ya que no hace distincin de sus
representantes para efectos practicos.
As, definimos sobre Lp (X)/ la siguiente "norma":
||[f ]|| = ||f || .
Observe que la funcin || || asi definida no depende del representante de la clase [f ] esto
de acuerdo a la definicin de || || .
Veamos que es una norma, sabemos que la funcin || || es una seminorma en Lp (X), as
que slo basta ver que ||[f ]|| = 0, implica que [f ] = [0], es decir, representa la clase del
cero. En efecto, si ||[f ]|| = 0, se tiene, por definicin que
nf{ : m(|f |1 (, +) = 0} = 0.
Es decir, 0, se tiene m(|f |1 (, +)) = 0, en particular = 0. As, m(|f |1 (0, +)) =
0, de donde f = 0 c.s. En consecuencia, [f ] = [0]. As, queda probado que Lp (X)/ es un
espacio vectorial normado.
Ahora veamos que el espacio A = Lp (X)/ es un espacio completo, es decir, toda sucesin
de Cauchy es convergente.
10

Sea (fn ) una sucesin de Cauchy en A tal que ||fn f || 0 cuando m, n .

Veamos que existe f A tal que fn f c.s y lmn ||fn f || = 0
Sea Am,n = {x X : |fn (x)fm (x)| > ||fn fm || } y Bn = {x X : |fn (x)| > ||fn (x)|| }
Entonces, si

[
[
E=
An,m
Bk ,
n6=m

k=1

L (X)

se tiene que mE = 0, pues

est formado por funciones acotadas superiormente casi
c
siempre. Sobre E (fn (x)) es una sucesin de Cauchy para cada x con lmite f (x) digamos.
Definimos f igual a cero sobre E. Como (fn ) es una sucesin de Cauchy en L (X), tenemos
que, dado  > 0 existe N N tal que ||fn f ||  para m, n > N . As, para x E c ,
|fn (x) fm (x)| ||fn fm || <  y haciendo n , |f fm | .
As, |f | < |fm | +  c.s. y por lo tanto, f A. Sin duda, por su construccin, f est bien
definida, ya que la relacin no afecta el limite de fn (x) para cada x E, entonces f es
un elemento de A.Tambin, ||f fm ||  y el resultado queda probado.
Problema 12
Sea 1 p . Entonces `p es un espacio de Banach.
Prueba: Veamos primero el caso 1 p < . Consideremos (xn )nN `p una sucesin
de Cauchy, donde xn = (xni )i . Dado  existe n0 N tal que para todo n, m n0
n

||x x || < ,

es decir

!1/p
|xni

p
xm
i |

<

i=1
n
En particular, para todo i N , se tiene que |xni xm
i | <  y por tanto (xi )n R es
una sucesin de Cauchy. Usando la completitud de R tenemos que para todo i N existe
x = (xi )iN . Veamos que x `p y que xn tiende a x en `p . Para lo primero, por ser xnn
una sucesin de Cauchy, sabemos que est acotada, y por tanto existe C > 0 tal que, para
todo n N, ||xn ||pp C es decir

X
|xni |p C
i=1

Entonces, para todos j, n N se tiene que

j
X

|xni |p C

i=1

Tomando limites cuando n tiende a infinito, se tiene que

j
X

|xi |p C

i=1

11

y dejando ahora que j tienda a infinito tenemos que

|xi |p C

i=1

y por tanto x `p .
Veamos finalmente que xn tiende a x en ||.||p . Sea  > 0. Sea n0 N tal que,para todo
n, m n0 ,
||xn xm ||p < 
Entonces, para todo j N tenemos
!1/p

j
X

p
|xni xm
i |

< .

i=1

Fijando j N , eligiendo n n0 y dejando que m tienda a infinito obtenemos que

j
X

!1/p
|xni xi |p

<  para todo j N, n n0

i=1

Dejando ahora que j tienda a infinito, obtenemos que

!1/p
|xni

xi |

<  para todo n 0

i=1

y por tanto xn tiende a x en `p . As, `p es completo.

Problema 13
Sea C = [0, 1] el espacio de todas las funciones continuas sobre [0, 1] y definimos ||f || =
max |f (t)|.
t[o,1]

Muestre que C es un espacio de Banach

Prueba: Veamos pimero que ||f || = max |f (t)| es una norma.
t[0,1]

1. 0 |f (t)| m
ax |f (t)| = ||f ||
t[0,1]

2. Homogeneidad
||f (t)|| =

max |f (t)| = max |||f (t)|

t[0,1]

t[0,1]

= || max[0,1] |f (t)| = ||||f ||

12

3. Desigualdad triangular
||f + g|| = max |f (t) + g(t)|
t[0,1]

max {|f (t) + g(t)|

t[0,1]

max |f (t)| + max |g(t)|

t[0,1]

t[0,1]

= ||f || + ||g||
adems, 0 = ||f || = m
ax |f (t)| y como |f (t)| ||f || = 0 entonces, |f (t)| = 0, de donde,
t[0,1]

f = 0t [0, 1]
Ahora, mostraremos que C([0, 1]) es un espacio de Banach con respecto a la norma ||f || =
max |f (t)|
t[0,1]

Sea (fn )n N una sucesin de Cauchy en C([0, 1]) entonces para todo  > 0, existsn0
N tal que ||fm (t) fn (t)|| <  t [0, 1].
Por tanto, |fm (t) fn (t)| ||fm fn || <  t [0, 1]
Esto muestra que, para todo t [0, 1] (fn )n N es una sucesin de Cauchy de nmeros
reales y por tanto converge a un nmero real f (t)
Luego, de lo anterior tenemos:




 lm fm (t) fn (t)  n n0 , t [0, 1].
m

Esto es,
|f (t) fn (t)|  n n0 , t [0, 1].
As, (fn )n N converge uniformemente para f y como las (fn )nN son continuas, entonces
f C([0, 1])
De esto, se tiene que m
ax |f (t) fn (t)|  n n0 .
t[0,1]

Esto muestra que lmn ||f fn || = 0

Por tanto, C([0, 1]) es un espacio de Banach
Problema 14
Denotamos por ` el espacio de todas las sucesiones acotadas de nmeros reales y definimos
||(xn )|| = sup |xn |. Muestre que ` es una espacio de Banach
Prueba: Sea (xn ) una sucesin de Cauchy en ` . Entonces dado  > 0, existe n0 N
tal que ||xn xm || < , n, m n0 . La sucesin (xn )nN es una sucesin de sucesiones,
entonces
xn := (xn1 , xn2 , xnk , ) y
m
m
xm := (xm
1 , x2 , xk , ) .

Entonces, con n y m fijos, se tiene

xn xm = xnj xm
j
13

j=1

Como
||xn xm || = sup |xnj xm
j | <  si n, m n0 ,

(1)

jN

se tiene que, fijando j, |xnj xm

j | < , para todo n, m n0 .
n

As, la sucesin (xj )n=1 es de Cauchy en R para j = 1, 2, .... Ya que (R, | |) es completo,
existe xj R tal que
lm xnj = xj con j = 1, 2, ...
(2)
n

Veamos que la sucesin (xj )jN est en ` . En efecto, tomando m = n0 en (1), obtenemos
|xnj xnj 0 | <  si n n0 , j = 1, 2, ...
haciendo n y usando (2) se tiene
|xj xnj 0 | <  para, j = 1, 2, ...
Como xn0 ` , se sigue que
sup |xnj 0 | < ,
jN

tambin,
|xj | |xj xnj 0 | + |xnj 0 ,
de donde,
sup |xj | sup |xj xnj 0 | + sup |xnj 0 | <
jN

As, (xj )jN

Ahora veamos que
(1) y de (2), se tiene

xn

jN

x = (xj ), con la norma || || . En efecto, de

|xj xm
j | <  para m n0 y j = 1, 2, ...
Luego,
||x xn || = sup |xj xm
j | <  j = 1, 2, ...
jN

En consecuencia,

es completo.

Problema 15
Muestre que el espacio c de todas las sucesiones convergentes de nmeros reales y el espacio
c0 de todas las sucesiones que convergen a cero son espacios de Banach (con la norma de
` ).
Prueba: Ya hemos probado que ` es un espacio de Banach. En vista de que en un espacio
de Banach, todo subconjunto cerrado es completo, basta mostrar que los subconjuntos c y
c0 son cerrados en ` . Veamos primero el caso de c. Sea (xn ) una sucesin de Cauchy en
c tal que xn x en ` si n con la norma || || . Debemos ver que x c. Sean
x1 := (x11 , x12 , , x1i , ) c,
14

x2 := (x21 , x22 , , x2i , ) c,

xn := (xn1 , xn2 , , xni , ) c

x := (y1 , y2 , , yi , ) ` .
Afirmacin 1 lm xni = xi i = 1, 2, ...
n

En efecto, como lm xn = x, dado  > 0 existe un n0 N tal que

n

||xn x|| = sup |xni yi | <  si n n0

iN

en consecuencia,
|xni yi | <  si n n0 i = 1, 2, ...
demostrando la afirmacin.
Afirmacin 2 Sea ln = lm xni . La sucesin (ln )nN , es una sucesin de Cauchy, en
i

(R, | |). En efecto, como la sucesin, (xn )nN es convergente en ` , es de Cauchy, por lo
tanto, dado  > 0 existe n1 N tal que
||xn xm || = sup |xni xm
i | <  si n, m n1 ,

i = 1, 2, ...

iN

De donde,
|xni xm
i | <  si n, m n1 i = 1, 2, ...
Haciendo tender i , se tiene |ln lm | <  n, m n1 , por tanto (ln ) es una sucesin
de Cauchy en R, de la completitud de R se tiene que existe l R tal que lm ln = l
n
Finalmente, tenemos una ltima afirmacin, de la cual deduciremos que c es cerrado.
Afirmacin 3 lm yi = l
i

En efecto, como lm ln = l, dado  > 0, existe n1 N tal que

n

|ln l| <


si n n1 .
3

Usando el hecho de que lm xn = x, se tiene que, dado  > 0 existe n2 N tal que
n

||xn x|| = sup |xni yi | <

iN

de donde,
|xni yi | <


si n n2 ,
3


si n n2 i = 1, 2, ...
3

15

Tomemos n0 = m
ax{n1 , n2 }, entonces, fijando n0 , tenemos
|ln0 l| <



y |xni 0 yi | <
i = 1, 2, ...
3
3

Del hecho de que lm xni = ln , para n0 obtenemos que dado  > 0, existe i0 N, tal que
i

|xni 0 ln0 | <


si i i0 .
3

Por lo tanto,
|yi l| |yi xni 0 | + |xni 0 ln0 | + |ln0 l|




+ + =  si i i0 .
3 3 3
En consecuencia, c es cerrado en ` y por lo tanto es un espacio de Banach
Ahora veamos que c0 es cerrado en ` . Sea (xn ) una sucesin de Cauchy en c0 tal que
xn x en ` si n con la norma || || De la prueba para el espacio c, observemos
que, para cada n N se tiene, ln = lm xni = 0, por definicin de c0 , es decir, (ln ) es
i

la sucesin constante igual a 0, por la afirmacin 3, de la parte anterior, concluimos que

lm yi = l = lm ln = lm 0 = 0. Es decir, la sucesin lmite de (xn )nN es una sucesin
n

x = (yi )iN que tiende a cero.

Por lo tanto, c0 es cerrado. En consecuencia, c0 es completo.
Problema 16
Sea (fn ) una sucesin de funciones en Lp con 1 p < , la cual converge c.s a una funcin
f en Lp .
Muestre que lm fn (x) = f (x) lm ||fn || = ||f ||
n
n
Prueba:
() Por la desigualdad de Minkowski, para p 1 tenemos que:
||f ||p = ||(fn f ) + f ||p ||fn f ||p + ||f ||p .
Luego, lm ||fn ||p lm (||fn f ||p + ||f ||p ) = lm ||fn f ||p + lm ||f ||p
n

y como lm fn (x) = f (x) entonces lm ||fn f ||p = 0 por defincin

n
n
por tanto,
lm ||fn ||p ||f ||p .
n

(3)

De igual forma,
||f ||p = ||(f fn ) + fn ||p ||f fn ||p + ||fn ||p .
Luego, lm ||f ||p lm ||f fn ||p + lm ||fn ||p
n
n
n
Por tanto
||f ||p lm ||fn ||p (2)
n

16

(4)

As de (3) y (4), obtenemos que lm ||fn ||p = ||f ||p

n

() Supongamos que lm ||fn ||p = ||f ||p y que lm fn (x) = f (x) c.s sobre X y como
n

|fn |, |f | < c.s sobre X, tenemos 2p {|fn |p +|f |p }|fn f |p 0 c.s y como lm fn (x) = f (x)
n
c.s sobre X tenemos
lm [2p {|fn |p + |f |n } |fn f |p ] = 2p+1 |f |p

c.s sobre X
As, por el lema de Fatou, tenemos
Z
Z
p+1
p
2 |f | lm [2p {|fn |p + |f |p } |fn f |p ]
X
XZ

Z
Z
= lm
2p |fn |p +
2p |f |p
|fn f |
X

Ahora, para una sucesin convergente de nmeros reales (an )n N y una sucesin (bn )n
N , tenemos lm{b
Z n } = l
Z mbn .

Entonces, lm
|f |p =
|f |p .
n X
X
Z
Z
Z
As,
2p |fn |p
2p |f |p lm
|fn f |p .
X
X
Z X
Z
p
Por tanto, lm
|fn f | 0 y como lm
|fn f |p 0.
XZ
X
Z
|fn f |p = 0, esto implica que, lm
|fn f |p = 0.
Tenemos que, lm
X

Por tanto, lm ||fn f ||p = 0. Por tanto, lm fn = f .

Problema 17
Sea (fn ) una sucesin de funciones en Lp , 1 < p < que converge casi siempre a la funcin
f en Lp , y suponga que existe una constante M tal que ||fn || M para toda n. Entonces
para cada funcin g en Lq , tenemos
Z
Z
f g = lm fn g.
Prueba: Mostraremos que para cada g Lp (X), se tiene
Z
Z
lm
fn gdx =
f gdx
n X

Veamos primero que ||f ||p M tambin. Por el lema de Fatou, tenemos
Z
Z
p
p
||f ||p =
|f | dx lm inf
|f |p dx M p .
X

17

(5)

As, ||f ||p M . Entonces para cada A M tenemos

Z
1/p
Z
1/p
p
p
|fn f | dx

|fn f | dx
= ||fn f ||p
A

X
||fn ||p

(6)

+ ||f ||p 2M
R
Sea g Lq (X) arbitrario. Sea  > 0. Puesto que X |g|p dx < , sabiendo que para una
funcin integrable f en X, se tiene el siguiente resultado que usaremos a continuacin:
Dado  > 0, existe > 0 tal que
Z
f <
A

para cada A X medible, tal que m(A) < .

Aplicando esto, existe > 0 tal que para cada E X, con m(E) < , se tiene
Z
  q
|g|q dx <
.
6M
E

(7)

Como (X, M, m) es un espacio medible

[ con m(X) < , existe una sucesin creciente
(Fk : k N) en Mtal que lm Fk =
Fk = X y m(Fk ) < para cada k N. Por el
k

kN

Teorema de la Convergencia Montona, obtenemos

Z
Z
Z
lm
|g|q dx = lm
XFk |g|q dx =
|g|q dx < .
k X

k X

As, para k0 suficientemente grande tenemos

Z
Z
  q
q
|g| dx
|g|dx <
.
6M
X
Fk
0

Sea F = Fk0 . Entonces m(F ) < y

Z

|g|q dx <

Fc

  q
.
6M

(8)

Ahora, como lm fn = f c.s. en X, tambin se cumple el lmite en F . Como m(F ) < ,

n

por el teorema de Egoroff existe G M tal que G F , m(G) < y fn f en F G.

Ahora si ||g||q = 0, entonces g = 0 c.s. en X, as (4) es cierto trivialmente.
Supongamos entonces que, ||g||q > 0. Como fn f uniformemente en F G, existe
N N tal que para n N tenemos
|fn (x) f (x)| <


1
para todo x F G.
m(F G)1/p ||g||q 3

Entonces para n N se tiene

Z
1/p 
p
|fn f | dx
<
F G

1/p
  p
1
1 
m(F G)
=
p
||g||q 3
m(F G)||g||q 3
18

(9)

Ahora F G, G y F c son disjuntos y su unin es X. As, para n N tenemos


Z
Z
Z
Z



 fn gdx
|fn f ||g|dx
|f

f
||g|dx
=
f
gdx


F G
X
X
Z
ZX
|fn f ||g|dx.
|fn f ||g|dx +
+

(10)

Fc

Apliquemos la desigualdad de Hlder para estimar las tres integrales en el lado derecho de
(10). Para la primera de las tres integrales, tenemos
Z

|fn f ||g|dx
G

1/p Z

1/q

|fn f | dx
|g| dx
G
1/q
Z


2M
|g|q dx
< 2M
= ,
6M
3
G
G

(11)

donde la segunda desigualdad es por (6) y la tercera desigualdad es por (7). Para la segunda
integral tenemos
1/p Z
1/q
|fn f |p dx
|g|q dx
F G
Z
1/q F G
1 
1 
|g|q dx

||g||q
||g||q 3
||g||q 3
F G

,
3

Z

Z
|fn f ||g|dx
F G

(12)

donde la segunda desigualdad es por (9). Finalmente para la tercera integral tenemos
Z

|fn f ||g|dx
Fc

1/p Z

1/q

|fn f | dx
|g| dx
Fc
1/q
Z


2M
|g|q dx
< 2M
= ,
6M
3
Fc
c
F

(13)

donde la segunda desigualdad es por (6) y la tercera es por (8). Sustituyendo (11), (12) y
(13) en (10), obtenemos para n N
Z

Z
 



 fn gdx
f gdx < + + = 

3
3
3
X
X
Lo cual prueba .
Problema 18
Sea fn f en Lp , 1 p < y sea (gn ) una sucesin de funciones medibles tales que
|gn | M n N y gn g c.s. Entonces gn fn f g en Lp .
Prueba: Veamos primero que, fn gn Lp n N.
19

Como |gn fn | = |gn ||fn | se tiene que |gn fn |p = |gn |p |fn |p .

Entonces,
Z
Z
Z
Z
p
p
p
p
p
p
|gn fn | = |gn | |fn | M |fn | = M
|fn |p < .
As, gn fn Lp n N Veamos ahora que, fn gn f g en Lp . Para ello, observe que:
|gn fn f g| = |(gn g)fn + g(fn f )|
|gn g||fn | + |g||fn f |.
De donde,
|g nfn gf |p (|gn g||fn | + |g||fn f |)p .
Como |gn g||fn |, |g||fn f | 0 n N y usando la siguiente desigualdad
(a + b)P 2p1 (ap + bp ) con a, b > 0 y 1 p < , obtenemos
|gn fn gf |p 2p1 (|gn g|p |fn |p + |g||fn f |p ).

(14)

Dado
que, |gn | M n N, se tiene de esto que |g| M .RComo fn Lp n N, tenemos
R
|fn |p < , n N. As, podemos considerar M1 = sup{ |fn |p : n N}.
Tambin, como fn f en Lp , se tiene que, dado  > 0, existe n1 N tal que
Z
p
p
p
p
||fn f ||p <
n

n
,
es
decir,
|f

f
|
<
.
(15)
1
n
(M p 2p )
(M p 2p )
Ahora, como gn g casi siempre, tenemos que para  > 0 existe n2 N tal que
|gn g| <

p
n n2 .
(M1 2p )

Sea n0 = m
ax{n1 , n2 }, entonces de (14), (15) y de (16) se tiene
Z

Z
Z
|gn fn gf |p 2p1
|gn g|p |fn |p + |fn f |p |g|p
 p Z

Z

p
p
p
p1
2
|fn | + M
|fn f |
p
 M1P2

p

p 
2p1
M
+
M
1
p
2p M p
12
M

p
p


= 2p1
+
2p 2p 

2p1 p p
=
+
= p .
2p1 2
2
R
As, |gn fn gf |p p , n n0 .
De donde,
Z
1
p
p
||gn fn gf ||p =
|gn fn gf |
 para todo n n0 .
En consecuencia, ||gn fn gf ||p 0 o equivalentemente gn fn gf en Lp .
20

(16)