Universidade Federal do Rio Grande do Norte

Departamento de Matemática

Lista de exercı́cios 2:
Conjuntos e funções mensuráveis. σ–álgebra.
Medida e Integração (MAE0038) – 2020.1
Prof. Diego Ferraz

Vamos considerar X e Y conjuntos e f : X → Y uma função. Vamos usar a notação: para uma dada
coleção C de subconjuntos de Y, f −1 (C) := {f −1 (A) : A ∈ C}.

1. Se B é uma σ–álgebra em Y, então f −1 (B) é uma σ–álgebra em X.

2. Se A é uma σ–álgebra em X, então {B ⊂ Y : f −1 (B) ∈ A} é uma σ–álgebra em Y.
3. Se A é uma σ–álgebra em X, C uma coleção de subconjuntos de Y e para todo B ∈ C vale f −1 (B) ∈ A,
então para todo B ∈ σ(C) vale f −1 (B) ∈ A.
4. Para todo Coleção C de subconjuntos de Y vale f −1 (σ(C)) = σ(f −1 (C)).
5. Mostre que a σ–álgebra de Borel em R é gerada pelos seguintes conjuntos: I1 = [a, b], I2 = (a, b],
I3 = (a, +∞) e I4 = [a, ∞), onde a e b são números reais.
6. Seja A uma σ–álgebra em X. Mostre que A é finita ou infinita não enumerável.
7. Dada f : X → RN uma função e (X, A) um espaço mensurável. Mostre que as seguintes afirmações
são equivalentes:
(i) f é A–mensurável;
(ii) Para todo aberto G ⊂ RN vale f −1 (G) ∈ A;
(iii) Para toda função contı́nua ψ : RN → R a função composta ψ ◦ f : X → R é A–mensurável;
8. Seja f : X → C uma função sobre um espaço mensurável (X, A). Mostre que f é mensurável se, e
somente se,
{x ∈ X : a < Re(f (x)) < b, c < Im(f (x)) < d} ∈ A
para todo a, b, c, d números reais. Mais geralmente, f é mensurável se, e somente se, f −1 (G) ∈ A para
todo aberto G ⊂ C.
9. Prove que se f é uma função real num espaço mensurável X tal que {x ∈ X : f (x) ≥ r} é mensurável
para todo racional r, então f é mensurável.
10. Prove que o conjunto dos pontos nos quais uma sequência de funções reais mensuráveis converge é
um conjunto mensurável.
11. Seja M ⊂ P(X), M 6= ∅. Dizemos que M é uma classe monótona em X quando:
(M1 ) Se (En )n∈N ⊂ M é tal que En ⊂ En+1 , então ∪∞n=1 En ∈ M ;
(M2 ) Se (Fn )n∈N ⊂ M é tal que Fn ⊃ Fn+1 , então ∩∞
n=1 Fn ∈ M ;
Prove que:
(a) Se A é uma σ–álgebra, então A é uma classe monótona;
(b) Se A ⊂ P(X), A = 6 ∅, então existe uma menor classe monótona contendo A. Neste caso, esta
menor classe monótona é chamada de classe monótona gerada por A, e denotamos por M (A).
1
2

12. Prove que se A ⊂ P(X), A 6= ∅, então σ(A) ⊃ M (A). Mostre que cada uma das inclusões
A ⊂ M (A) ⊂ σ(A) pode ser própria.