Universidade Federal do Rio Grande do Norte

Departamento de Matemática

Lista de exercı́cios 5:
Funções Integráveis.
Medida e Integração (MAE0038) – 2020.1
Prof. Diego Ferraz

1. Seja p um número real, determine os valores de p onde as funções a seguir são integráveis.
a) f (x) = 1/xp , com x ∈ (0, 1];
b) g(x) = 1/xp , com x ∈ [1, +∞);
2. Seja f ∈ L(X, A, µ). Prove que dado ε > 0, existe δ > 0, tal que
Z
se E ∈ A e µ(E) < δ então |f | dµ < ε.
E

3. Seja (fn ) ⊂ L(X, A, µ) tal que fn → f q.t.p. em X e f ∈ L(X, A, µ). Mostre que
Z Z Z
|fn − f | dµ → 0, se e somente se, |fn | dµ → |f | dµ.
X X X

4. Sejam (fn ), (gn ) ⊂ L(X, A, µ) tais que fn → f q.t.p. em X e gn → g q.t.p em X, com |fn | ≤ gn
q.t.p. em X, e f, g ∈ L(X, A, µ). Nestas condições, mostre que se
Z Z Z Z
gn dµ → g dµ, então fn dµ → f dµ.
X X X X

5. Determine o seguinte limite Z +∞

n
lim dx.
n→∞ 0 1 + n2 x2
6. Mostre que:
Z +∞ √ Z +∞
√
 
2n −x2 π −tx2
a) x e = (2n)! n n! Sugestão: e dx = π/t .
−∞ 4 −∞
Z k
b) lim xn (1 − k −1 x)k dx = n!.
k→+∞ 0

7. Sejam f ∈ L(X, A, µ) e a > 0. Mostre que o conjunto [|f | ≥ a] = {x ∈ X : |f (x)| ≥ a} possui medida
finita. Além disso, que o conjunto [f 6= 0] = {x ∈ X : f (x) 6= 0} possui medida σ–finita, isto é, é união
de uma sequência de conjuntos mensuráveis de medida finita.
8. Seja f ∈ M(X, A) com f (X) ⊂ R. Prove que se f (x) = 0 q.t.p. em X, então f ∈ L(X, A, µ) e
Z
f dµ = 0.
X

9. Considere f ∈ L(X, A, µ) e g ∈ M(X, A) com g(X) ⊂ R. Suponha que f = g q.t.p. em X. Prove

que g ∈ L(X, A, µ) e Z Z
f dµ = g dµ.
X X

10. Sejam f ∈ L(X, A, µ) e g ∈ M(X, A) limitada. Prove que f g ∈ L(X, A, µ).

1
2

11. Verifique que se f ∈ L(X, A, µ), então não é verdade, em geral, que f 2 ∈ L(X, A, µ).
12. Sejam (X, A, µ) um espaço de medida e f : X → C. Suponha que Re(f ), Im(f ) ∈ M(X, A). Dizemos
que f é integrável com respeito a medida µ quando Re(f ), Im(f )L(X, A, µ). Neste caso, definimos a
integral de f com respeito a medida µ como
Z Z Z
f dµ = Re(f ) dµ + i Im(f ) dµ.
X X X
Prove que f : X → C é integrável, se e somente se |f | é integrável. Neste caso,
Z  Z
 
 f dµ ≤ |f | dµ.
 
X X

(Sugestão: se X f dµ = reiθ , com r, θ ∈ R, considere g(x) = e−iθ f (x).)

R

13. Considere (fn ) ⊂ L(X, A, µ). Suponha que fn → f uniformemente em X. Prove que se µ(X) < ∞,
então Z Z
f dµ = lim fn dµ.
X n→∞ X

14. Verifique que a conclusão da questão anterior não vale em geral, caso a hipótese µ(X) < ∞ seja
removida.
15. Seja (R, LR , λ) o espaço de medida de Lebesgue e fn = nχ[0,1/n] . Verifique que a condição de que
|fn | ≤ g q.t.p. em R, para todo n ∈ N, não pode ser removida na hipótese do Teorema da Convergência
Dominada de Lebesgue.
16. Sejam X = N,P A = P(N) e µ = µc a medida da contagem. Mostre que f ∈ L1 (X, A, µc ) se, e
somente se, a série f (n) é absolutamente convergente. Neste caso
Z X∞
f dµ = f (n).
X n=1