1

Lista 4 - Teoria da Medida e Integra

c
ao
1) Seja C[0, 1] o espaco vetorial real das funcoes contnuas de [0, 1] em R. Defina N0 , para
f C[0, 1], por N0 (f ) = |f (0)|. Mostre que N0 e uma semi-norma em C[0, 1].
2) Seja C[0, 1] como no exerccio acima e defina N1 , para f C[0, 1], como sendo a integral
de Riemann de |f | em [0, 1]. Mostre que N1 define uma norma em C[0, 1]. Se fn e definida,
para n 1, por

fn (x) =

0,
1,
linear,

se 0 x

(1 n1 )

2
1
se 2 x 1
(1 n1 )
se
x 21
2

mostre que (fn ) e uma sequencia de Cauchy, mas que ela nao converge, com relacao a N1 , para
um elemento de C[0, 1].
3) Seja N uma norma em um espaco V e seja d, definida para u, v V, por d(u, v) = N (uv).
Mostre que d e uma metrica em V, isto e:
i)d(u, v) 0, u, v V ;
ii)d(u, v) = 0 u = v;
iii)d(u, v) = d(v, u);
iv)d(u, v) d(u, ) + d(, v).
4) Mostre que se f L1 (X, , ) e > 0, entao existe uma funcao simples mensuravel
, tal que f 1 < . Estenda este resultado para Lp , 1 p < . O resultado e verdadeiro
para L ?
5) Mostre que se f Lp , 1 p < e se En = {x X; |f (x)| n}, entao (En ) 0,
quando n .
6) Seja (X, , ) um espaco de medida finita. Se f e mensuravel, seja En = {x

1
X : (n 1) |f (x)| < n}. Mostre que f L se, e somente se,
n(En ) < +. Mais
n=1

geralmente, mostre que f Lp , para 1 p < se, e somente se,

np (En ) < +.

n=1

7) Sejam (X, , ) um espaco de medida arbitrario e f pertencente a Lp1 e a Lp2 , com

1 p1 < p2 < . Prove que f Lp para todo p tal que p1 p p2 .

2
(

) p1
|fn | d .

8) Sejam fn L (X, , ), 1 p < e n definida, para E , por n (E) =

Mostre que |n (E) m (E)| fn fm p . Assim, se (fn ) e uma sequencia de Cauchy em Lp ,

entao lim n (E) existe para cada E .
n

9) Considere (R, B, ), em que denota a medida de Lebesgue definida nos borelianos de

R e 1 p < .
a) Seja fn = n p [0,n] . Mostre que a sequencia (fn ) converge uniformemente para a funcao
1

nula, mas nao converge em Lp (R, B, ).

b) Seja fn = n[ 1 , 2 ] . Mostre que a sequencia (fn ) converge para a funcao nula, mas nao
n n

converge em Lp (R, B, ).
c) Mostre que ambas sequencias dos tens (a) e (b) convergem em medida para funcao nula.
d) Seja fn = [n,n+1] . Mostre que a sequencia (fn ) converge uniformemente para funcao nula,
mas nao converge medida.
e) Se uma sequencia (fn ) converge em Lp para uma funcao f, e uma subsequencia de (fn )
converge em Lp para g, entao f = g q.t.p.
f ) Mostre que a sequencia do item (b) converge quase uniformemente, mas nao em Lp .
g) Mostre que a sequencia do item (d) converge, mas nao quase uniformemente.
h) Mostre que o Teorema da Convergencia Dominada de Lebesgue continua valido se a
convergencia quase-sempre for substituda pela convergencia em medida.