Escolar Documentos
Profissional Documentos
Cultura Documentos
Integral de Lebesgue
Primeira Edicao V0.95
Agosto de 2013
Marco A. P. Cabral,
PhD Indiana University, EUA
Depto. de Matematica Aplicada
Universidade Federal do Rio de Janeiro
Rio de Janeiro RJ Brasil
ii
Introduc ao
Nesta apostila fazemos uma introducao curta `a Teoria da Medida. Os pre-requisitos sao:
(a) Teoria (elementar) dos conjuntos;
(b) Conceitos de Analise Real: enumerabilidade, limite, supremum e noc oes de topologia
da reta.
Fomos cuidadosos nas motivacoes de cada captulo, fazendo consideracoes de carater
los oco/historico da materia. Para atender ao p ublico do livro, alunos com pouca bagagem
matematica, colocamos exerccios mais concretos do que os usualmente encontrados em livros
de medida e muitos exemplos para ilustrar as denic oes.
Quanto ao conte udo selecionado, apresentamos a Teoria Geral de Medida, sem nos restrin-
gir `a Medida de Lebesgue, pela sua importancia em Probabilidade. Apresentamos a medida
de Lebesgue utilizando o metodo de Caratheodory pelo seu uso na construcao das medidas
de Lebesgue-Stieltjes e de Hausdor. Damos destaque a comparacao entre as integrais de
Riemann e Lebesgue.
Gostaramos tambem que o aluno adquirisse um vocabulario basico da Teoria da Medida:
Teorema da Convergencia Mon otona e Dominada, Fubini, derivada de Radon-Nikodym, espaco
produto. Por isso inclumos estes resultados explicando sua importancia mas sem incluir sua
demonstracao (que tomaria muito tempo).
Com o estudo desta apostila o aluno estara pronto, por exemplo, para aplica coes em Teoria
de Probabilidades, Financas e em Equac oes Diferenciais Parciais.
As fontes principais desta apostila sao:
(a) artigos da Wikipedia sobre medida e integra cao;
(a) captulos 11, 12 and 13 de Measure Theory, de D.H.Fremlin, University of Essex, Col-
chester, England. Cerca de metade dos exerccios sao deste livro. Isso foi possvel pois este ma-
terial possui a Design Science License, que pode ser vista em http://dsl.org/copyleft/dsl.txt.
Recomendamos como leitura complementar o livro do Bartle (Elements of Integration, ver
Bibliograa) por ser um curto e apropriado para um primeiro contato com a materia.
iii
iv
Sum ario
1 Espa co com Medida 1
1.1 Sigma-
Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Espacos com Medida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3 Medida Exterior e Metodo de Caratheodory . . . . . . . . . . . . . . . . . . 9
1.4 Medida de Lebesgue em R . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.5 Generalizac oes: Medida de Lebesgue-Stieltjes e de Hausdor . . . . . . . . . 13
1.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.6.1 Sigma-
Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.6.2 Espa cos com Medida . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.6.3 Medida Exterior e Metodo de Caratheodory . . . . . . . . . . . . . . 18
1.6.4 Medida de Lebesgue em R . . . . . . . . . . . . . . . . . . . . . . . 18
1.6.5 Generalizacoes: Medida de Lebesgue-Stieltjes e de Hausdor . . . . . 20
2 Integra cao 21
2.1 Fun coes Mensuraveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.2 Denicao da Integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.3 Teoremas de Convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.4 Integral de Riemann Lebesgue . . . . . . . . . . . . . . . . . . . . . . . 29
2.5 Teorema de Radon-Nikodym e Fubini . . . . . . . . . . . . . . . . . . . . . 32
2.6 Outras Construc oes da Integral . . . . . . . . . . . . . . . . . . . . . . . . 34
2.7 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.7.1 Func oes Mensuraveis . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.7.2 Denicao da Integral . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.7.3 Teoremas de Convergencia . . . . . . . . . . . . . . . . . . . . . . . 38
2.7.4 Integral de Riemann Lebesgue . . . . . . . . . . . . . . . . . . . 38
2.7.5 Teorema de Radon-Nikodym e Fubini . . . . . . . . . . . . . . . . . 38
3 Probabilidade e Medida 41
Referencias Bibliogracas 43
v
vi SUM
ARIO
Captulo 1
Espac o com Medida
Uma medida num conjunto X e uma fun cao que atribui um n umero real nao-negativo para
subconjuntos de X. Pode ser interpretada como area, tamanho, massa, volume, capacidade
termica ou qualquer propriedade aditiva, i.e., uma propriedade tal que a medida da uniao de
dois conjuntos disjuntos e igual a soma de suas medidas. Um exemplo importante e a medida
de Lebesgue no espaco euclidiano, que atribui comprimento, area e volume, respectivamente,
a subconjuntos de R
n
com n = 1, 2, 3.
Podemos enxergar a origem do conceito de medida no conceito de contagem. De fato, a
ideia de contagem pode ser generalizada de dois modos:
(a) como cardinalidade, ou (b) como medida.
Existem conjuntos que sao pequenos do ponto de vista da medida mas grandes do ponto
de vista da cardinalidade. Um exemplo e Q, que possui medida (de Lebesgue) 0 mas possui
innitos pontos (cardinalidade innita).
Gostaramos de atribuir uma medida para cada subconjunto de X mas o axioma da es-
colha implica, de forma nao-trivial, que existem subconjuntos de R (conjuntos de Vitali
1
, ver
Exerccio 50, p.19) aos quais nao podemos atribuir medida quando ela generaliza o compri-
mento de intervalos de R. De fato e impossvel atribuir comprimento a todos subconjuntos
de R preservando a aditividade e invariancia por transla cao.
Por isso temos que considerar uma colecao especial (usualmente menor) de subconjuntos
de X onde a medida esta denida, a chamada -algebra de subconjuntos de X.
Elementos da -algebra sao chamados de conjuntos mensuraveis. Uma funcao e dita
mensuravel se a imagem inversa de todo conjunto mensuravel e um conjunto mensuravel.
Decidimos apresentar a Teoria Geral da Medida, ao inves de medida de Lebesgue somente,
pois a teoria geral e fundamental para a teoria de probabilidade e e mais facil que a construcao
da medida de Lebesgue. De fato, para construir a medida de Lebesgue e necessario antes
introduzir medida exterior e o metodo de Caratheodory.
Em resumo, nas duas primeiras sec oes denimos -algebra e espa co de medida e nas duas
ultimas sec oes apresentamos medida exterior (uma forma de construir medidas nao-triviais) e
a medida de Lebesgue.
1
Giuseppe Vitali: 1875 Ravenna, Italy 1932 Bologna, Italy.
1
2 CAP
Algebras
O conceito usual de comprimento, area e volume se aplica somente a conjuntos com uma
certa regularidade. Por isso para denir o conceito de medida temos que comecar denindo
uma classe de subconjuntos que podem ser medidos, a chamada -algebra.
DEFINIC
= X E ;
(c) para toda sequencia E
n
nN
em , sua uniao
_
nN
E
n
.
Elementos de sao chamados de conjuntos mensuraveis.
Observa cao 1.1 Uma algebra de conjuntos e um subconjunto fechado pelas operacoes de
complementacao e por uniao nita. O da -algebra e porque ela e fechada tambem pela
uniao enumeravel. Note que, ao contrario da uniao, nao consideramos a complementa cao
enumeravel (porque?).
Exemplo 1.1 Existem duas -algebra de subconjuntos de X que sao canonicas:
(a) = , X , a menor -algebra de X; (b) T(X), a maior -algebra de X.
Exemplo 1.2 Considere X = 1, 2, 3, 4 . Sao -algebra de X (porque?):
(a) = , 1 , 2, 3, 4 , X ; (b) = , 1, 2 , 3, 4 , X .
Exemplo 1.3 O conjunto = A T(N); A e innito satisfaz algumas das
propriedades (quais?) mas nao e uma -algebra.
Exemplo 1.4 O conjunto = , Q, Q
nN
e uma sequencia em , entao
nN
E
n
.
1.1. SIGMA-
ALGEBRAS 3
Exemplo 1.7 Se E
n
, F
q
, G
t
para todo n Z, q Q e t R, pela denicao e pelo
ultimo lema (reindexando as famlias de conjuntos envolvidas) pertencem a :
nZ
E
n
,
_
nZ
E
n
,
qQ
F
q
,
_
qQ
F
q
.
Por outro lado,
_
t[0,1]
G
t
e
t[0,1]
G
t
podem nao pertencer a (porque?).
O pr oximo lema, cuja prova e um exerccio facil deixado para o leitor, dene um tipo
nao-trivial de -algebra gerado por uma famlia de -algebras. A formulacao e abstrata mas
e uma tecnica muito utilizada em algebra e analise para se obter a existencia de um objeto
mnimo com certa propriedade: tome a intersecao de todos objetos com esta propriedade.
Do lema decorrera a deni cao de -algebra gerada por uma famlia de conjuntos, cujo
exemplo mais importante e da -algebra de Borel, gerada pelos subconjuntos abertos de um
espaco topologico.
LEMA 1.3 Seja o = (
i
)
iI
uma famlia (nao-vazia) de -algebras de subconjuntos de X.
Entao
iI
i
= E
i
; para todo i I,
a intersecao de todas as -algebras que pertencem a o, e uma -algebra de X.
COROL
o. Complete o argumento.
DEFINIC
, 2
, 1, 2
, N.
4 CAP
AO 1.7 Seja X um espaco topol ogico. A -algebra gerada pela famlia de conjun-
tos abertos de X e conhecida como -algebra de Borel. Seus elementos sao os conjuntos
de Borel
3
ou borelianos de X.
1.2 Espa cos com Medida
A teoria da medida foi desenvolvida no nal do seculo XIX e no incio do seculo XX por Emile
Borel, Henri Lebesgue
4
, Johann Radon
5
and Maurice Frechet
6
, entre outros. As principais
aplicac oes sao:
na fundamentacao da integral de Lebesgue, que generaliza (com vantagens) a integral
de Riemann.
na axiomatiza cao da teoria de probabilidade feita por Andrey Kolmogorov;
na denicao de integral em espacos mais gerais do que os euclidianos.
DEFINIC
nN
e disjunta se nenhum ponto pertence
a mais do que um E
n
, isto e, se E
m
E
n
= para todos m, n N distintos.
De forma analoga, se E
i
iI
e uma famlia de conjuntos indexada por um conjunto
arbitrario I, entao ele e disjunto se E
i
E
j
= para todos i, j I distintos.
Para denir medida precisamos dizer o que signica uma funcao assumir valores em [0, ].
Este conjunto e a uniao do elemento com o intervalo [0, ) R: um novo signicado
para o em Matematica. Em medida ele signica comprimento, area ou volume innito.
Precisamos denir as operacoes aritmeticas basicas envolvendo :
(a) adicao: + = +a = a + = para todo a R;
(b) subtracao: a = para todo a R; mas nao esta denido;
(c) multiplicacao: = a = a = para todo a > 0 e convencionamos (em
medida, confronte com calculo) 0 = 0 = 0.
2
n=0
x
n
com x
n
[0, ]?
(a) se todos os x
n
sao nitos, trata-se de uma serie de termos nao-negativos: ou converge
para um n umero real, ou e ilimitada, quando diremos que converge para (porque?).
(b) se um dos x
n
s e igual a , escrevemos que
n=0
x
n
= .
Ou de forma mais geral dada uma famlia (x
i
)
iI
(I pode ser nao enumeravel), como
interpretar
iI
x
i
com x
i
[0, ]?
DEFINIC
AO 1.9 Dado (x
i
)
iI
com x
i
[0, ], denimos
iI
x
i
= sup
_
iJ
x
i
; J I e nito
_
.
Se I = , entao denimos
iI
x
i
= 0.
DEFINIC
nN
e uma sequencia disjunta em , entao
_
_
nN
E
n
_
=
n=0
(E
n
).
Os elementos de sao chamados de conjuntos mensuraveis (ou -mensuraveis), e
e chamado de uma medida em X. A propriedade (c2) e chamada de -aditividade ou
aditividade contavel.
Observa cao 1.3 Uma medida denida numa -algebra de Borel (ver Denicao 1.6, p.4)
e conhecida como medida de Borel.
Em linguagem informal, uma funcao e chamada de medida se atribui um n umero real
nao-negativo ou innito para cada conjunto, e aditiva (medida da soma e igual a soma
das medidas de conjuntos disjuntos) e vale zero no conjunto vazio. Como ja dissemos, e
necessario se restringir a uma -algebra pois e impossvel, de forma geral, se atribuir uma
medida a TODOS os subconjuntos, a nao ser para algumas medidas triviais que apresentamos
na sequencia (por exemplo a medida delta de Dirac do Exemplo 1.11, p.6 e a medida de
contagem do Exemplo 1.12, p.6), denidas na -algebra trivial T(X).
6 CAP
h
(E)
xE
h(x) sup
_
xI
h(x); I E e nito
_
.
Entao
h
e uma medida em T(X) (porque?). Dizemos que e uma medida pontual.
Observa cao 1.4 Denimos
x
h(x) 0.
Exemplo 1.11 Um caso particular importante e dado a X, a medida pontual
I
a
, gerada
pela funcao indicadora I
a
, conhecida como medida delta de Dirac
7
, denotada por
a
, de
modo que
a
(Y ) =
_
0, se a , Y,
1, se a Y.
Exemplo 1.12 Outro caso importante e obtido se h(x) = 1 para todo x. Obtemos a medida
de contagem em X, denida por
h
(E) =
_
no. de pontos de E, se E e nito,
, se E e innito.
Exemplo 1.13 Seja X = N, h(n) = 2
n1
para cada n; entao (N) =
1
2
+
1
4
+ = 1.
LEMA 1.12 (Propriedades elementares da medida) Seja (X, , ) um espaco de me-
dida.
(a) Se E, F e E F = , entao (E F) = (E) +(F).
(b) Se E, F e E F, entao (E) (F).
(c) (E F) (E) +(F) para todo E, F .
(d) Se E
n
nN
e uma sequencia em , entao
_
_
nN
E
n
_
n=0
(E
n
).
(e) Se E
n
nN
e uma sequencia nao-decrescente em (isto e, E
n
E
n+1
para todo
n N), entao
_
_
nN
E
n
_
= lim
n
(E
n
) = sup
nN
(E
n
).
(f) Se E
n
nN
e uma sequencia nao-crescente em (isto e, E
n+1
E
n
para todo
n N), e se algum (E
n
) e nito, entao
nN
E
n
_
= lim
n
(E
n
) = inf
nN
(E
n
).
7
Paul Dirac: 1902 Bristol, England 1984 Tallahassee, Florida, USA.
1.2. ESPACOS COM MEDIDA 7
Demonstra cao. Deixamos (a), (b) e (c) como exerccios.
(d) Seja F
0
= E
0
, F
n
= E
n
_
i<n
E
i
para n 1; entao F
n
nN
e uma sequencia disjunta
em . Complete esta prova.
(e) Seja F
0
= E
0
, F
n
= E
n
E
n1
para n 1; entao F
n
nN
e uma sequencia disjunta
em e
_
nN
F
n
=
_
nN
E
n
. Consequentemente
_
_
nN
E
n
_
=
n=0
(F
n
). Mas uma inducao
facil em n, usando (a) para o passo indutivo, mostra que (E
n
) =
n
m=0
(F
m
) para todos n.
Entao
n=0
(F
n
) = lim
n
n
m=0
(F
m
) = lim
n
(E
n
).
Finalmente, lim
n
(E
n
) = sup
nN
(E
n
) porque (por (b)) (E
n
)
nN
e nao-decrescente.
(f) Suponha que (E
k
) < . Dena F
n
E
k
E
k+n
para n N, F =
_
nN
F
n
; entao
F
n
nN
e uma sequencia nao-decrescente em e (F) = lim
n
(F
n
), por (e) acima. Temos
que (F
n
) + (E
k+n
) = (E
k
); como (E
k
) < , n os podemos escrever que (F
n
) =
(E
k
) (E
k+n
), e portanto
(F) = lim
n
((E
k
) (E
k+n
)) = (E
k
) lim
n
(E
n
).
Agora, F E
k
, entao (F) + (E
k
F) = (E
k
), e (novamente pois (E
k
) e nito)
(F) = (E
k
) (E
k
F). Portanto nos temos que (E
k
F) = lim
n
(E
n
). Mas E
k
F
e somente
nN
E
n
.
Finalmente, lim
n
(E
n
) = inf
nN
(E
n
) pois (E
n
)
nN
e nao-crescente.
Observa cao 1.5 Observe que em (f) acima e essencial ter que inf
nN
(E
n
) < . De
fato, tome X = N e seja a medida de contagem em X do Exemplo 1.12, p.6. Dena
E
n
i N; i n para cada n. Entao E
n+1
E
n
para cada n, mas
nN
E
n
_
= () = 0 < = lim
n
(E
n
).
DEFINIC
AO 1.14 Espacos de medida em que todos os conjuntos de medida nula sao men-
suraveis e chamado de completo.
Deixamos a demonstracao do pr oximo lema como exerccio.
LEMA 1.15 (Ideal de Conjuntos de Medida Nula) Seja A a famlia de conjuntos de
medida nula de um espaco de medida (X, , ). Entao:
(a) A;
(b) se A B A, entao A A;
(c) se A
n
nN
e uma sequencia em A, entao
_
nN
A
n
A.
LEMA 1.16 Dado um espaco de medida (X, , ), existe um espa co de medida completo
(X,
, ) tal que
e = em .
Demonstra cao. Seja A a famlia de conjuntos de medida nula de (X, , ). Considere
ETODO DE CARATH
EODORY 9
1.3 Medida Exterior e Metodo de Caratheodory
A teoria geral de Medida Exterior (tambem chamado de pre-medida) foi introduzida por Cara-
theodory
8
.
E um metodo fundamental para se denir medidas nao-triviais, incluindo a medida
de Lebesgue.
Vamos ilustrar como esta construcao abstrata surge quando se tenta estender a medida
de intervalos para um subconjunto qualquer de R. Podemos proceder da seguinte forma:
(a) Dena a medida de um intervalo (a, b) (ou [a, b], ou (a, b], etc.) como b a.
(b) Dado um conjunto A R qualquer dena sua medida como o nmo da soma das
medidas de intervalos que cobrem A.
(c) Esta pre-medida nao possui a propriedade natural de ser -aditiva (medida da uniao
enumeravel disjunta e igual a soma das medidas) em T(R): e necessario reduzir seu domnio
para que seja.
De forma mais geral o Metodo de Caratheodory consiste do seguinte:
(a) Denimos uma funcao, a chamada medida exterior ou pre-medida, emT(X). Exigimos
da medida exterior menos do que da medida (subaditividade ao inves de aditividade).
(b) Restringimos esta funcao a um certo subconjunto, que sera uma -algebra, grande o
suciente para ser interessante, onde a medida exterior e uma medida.
Este roteiro justica o nome pre-medida, utilizado para se denominar as medidas exteriores
por alguns autores.
Embora existam outras formas de construir a medida de Lebesgue (por exemplo veja a
Secao 2.6, p.34), esta construcao e utilizada para se denir outras medidas, como por exemplo
a medida (exterior) de Hausdor, que merecera mais comentarios no nal do captulo na p.12.
DEFINIC
() = 0,
(b) se A B X, entao
(A)
nN
de subconjuntos de X,
_
_
nN
A
n
_
n=0
(A
n
) (subaditiva).
Observa cao 1.8 A ideia de medida exterior (ou pre-medida) de A e que e um limite de
todas as possveis medidas de A.
E similar, em integracao, ao conceito de integral superior.
Sera a medida de A caso A seja mensuravel, o que ocorrera caso a fronteira de A seja
bem comportada.
N os apresentamos agora o Teorema mais importante da Teoria basica de Medida. Como a
prova e longa e muito tecnica, sera omitida. Em resumo, dada uma medida exterior
existe
uma -algebra maximal tal que
A X;
(E) =
(E A) +
(E A) para todo E X.
Entao
. Dena
:
(A) para A
; entao (X,
, ) e um espaco de medida
completo.
Observe que o conjunto A decomp oe qualquer E em duas partes disjuntas (E A) e
(EA) (ver Figura 1.1). Como
(E)
(E A) +
(E A).
Se a igualdade ocorrer para todo E, entao o conjunto A sera mensuravel com relacao a
medida .
A
E
1
E
1
A
E
1
A
A
E
2
E
2
A
E
2
A
A
E
3
E
3
A
E
3
A
A
E
4
E
4
A
E
4
A
Figura 1.1: A e mensuravel sse
(E
i
) =
(E
i
A) +
(E
i
A) para todo E
i
.
1.4 Medida de Lebesgue em R
A medida de Lebesgue, alem de ser a mais importante para aplicac oes, foi, historicamente, o
guia para a Teoria Geral da Medida, onde os resultados inicialmente foram desenvolvidos.
O roteiro que vamos seguir e denir o comprimento de intervalos e utiliza-los para denir
uma medida exterior. Aplicando o Teorema de Extensao de Caratheodory obtemos uma
medida e uma -algebra, chamadas de medida e -algebra de Lebesgue. Esta sera a primeira
1.4. MEDIDA DE LEBESGUE EM R 11
medida nao-trivial que deniremos. Nos exerccios existem diversas outras medidas construdas
de forma semelhante como por exemplo (Denicao 1.26, p.13) a medida de Lebesgue-
Stieltjes, muita usada em Probabilidade.
DEFINIC
AO 1.21 Denimos
(A) inf
_
j=0
(I
j
); I
j
jN
e uma seq. de intervalos semiabertos t.q. A
_
jN
I
j
_
.
Observa cao 1.9 Observe que
(E A) +
(E A) =
AO 1.24 Dizemos que A R tem medida (de Lebesgue) nula se para todo
> 0, existe uma sequencia (I
n
)
nN
de intervalos abertos e limitados tal que
A
+
_
n=1
I
n
e
+
n=1
[I
n
[ , (1.1)
sendo que [I[ representa o comprimento do intervalo I, ou seja, [I[ = b a se I = (a, b).
12 CAP
g
() 0,
g
([a, b)) g(b) g(a) se a < b.
Dado A R, dena
g
(A) inf
_
j=0
g
(I
j
); I
j
jN
e uma seq. de intervalos semiabertos t.q. A
_
jN
I
j
_
.
Tomando g(x) = x obtemos a medida de Lebesgue. Pode-se mostrar (exerccio) que
g
e
uma medida exterior em R. A medida
g
gerada pelo metodo de Caratheodory partindo da
medida exterior
g
e conhecida como medida de Lebesgue-Stieltjes associada a g.
Quando a funcao g e bem comportada (absolutamente contnua, mas suponha que g e
diferenciavel), como g(b) g(a) =
_
b
a
g(s) ds =
g
(a, b) =
_
b
a
d
g
, onde ds e a medida de
Lebesgue, d
g
= gds (mais sobre isso no Teorema de Radon-Nykodin). Pode-se provar que
toda (veja exerccio) medida denida na sigma-algebra de Borel de R e gerada desta forma
(Exerccio 60, p.20). Um exemplo nao-trivial e a medida de Lebesgue-Stieltjes (singular)
gerada pela funcao de cantor (Wikipedia: Cantor_function).
A construcao da medida de Lebesgue (e Lebsgue-Stieljes) pode ser feita de forma abstrata
pela deni cao abaixo. Deixamos para o leitor ver como.
DEFINIC
(A) inf
_
j=0
(I
j
); I
j
jN
e uma seq. in J t.q. A
_
jN
I
j
_
,
interpretando inf como , de modo que
d
, a medida exterior de
Hausdor de dimensao d. A medida 0-dimensional de Hausdor e o n umero de pontos de um
conjunto (a medida de contagem do Exemplo 1.12, p.6), a medida 1-dimensional de um curva
em R
n
e seu comprimento, e a medida 2-dimensional e proporcional a area de superfcie, etc.
Assim existem medidas d-dimensionais de Hausdor para todo d 0 (nao necessariamente um
inteiro!). Com elas podemos denir a dimensao (nao necessariamente inteira) de Hausdor
de subconjuntos. Faz parte da chamada Teoria Geometrica da Medida. Ela aparece no estudo
de atratores (em sistemas dinamicos), na analise harmonica e na teoria do potencial.
14 CAP
(A) < .
Finalizamos observando que bastou ter uma distancia denida em X = R
n
para esta
construcao. Assim podemos denir a medida (e dimensao) de Hausdor em um espaco
metrico qualquer X.
1.6 Exerccios
1.6.1 Sigma-
Algebras
= 1. Porque nao precisamos considerar a opera cao de complementacao enumeravel na De-
nicao 1.1, p.2?
= 2. Considere = A R; A e enumeravel ou A
e enumeravel e / = x ; x R
(subconjuntos de R unitarios). Prove que:
(a) e uma -algebra; (b) a -algebra gerada por / e igual a .
= 3. Considere X = 1, 2, 3, 5, 6 . Determine a -algebra gerada por:
(a) /
1
= 2 ; (b) /
2
= 1, 2 ; (c) /
3
= 1, 2, 3 ;
(d) /
4
= 1, 2 , 1, 3 ; (e) /
5
= 1 , 2, 3 .
= 4. Considere as seguintes famlias de intervalos de R:
/
1
= (, a) ; a R, /
2
= [a, ) ; a R,
/
3
= [a, b); a, b R, /
4
= [a, b]; a, b R.
(a) Prove que todo intervalo I /
i
, para algum i, e um conjunto de Borel.
(b) Prove que a -algebra gerada por /
i
, para cada i, e a -algebra de Borel.
5. Seja uma -algebra de subconjuntos de X e A X. Prove que
(E A) (F A); E, F
e uma -algebra de subconjuntos de X gerada por A.
Dica: Prove a uniao primeiro. Prove a intersecao e use leis de Morgan para o complemen-
tar.
6. Determine a -algebra de R gerada por:
(a) T(N); (b) T(Q).
7. Prove o Lema 1.2, p.2.
8. Prove o Lema 1.3, p.3.
9. Complete o argumento do Corolario 1.4, p.3.
10. Seja uma -algebra com um n umero nito de elementos. Prove que o n umero de
elementos de e 2
n
, com n N.
11. Seja uma -algebra com um n umero innito enumeravel de elementos. Prove que
existem A
i
s com i N disjuntos e nao-vazios, elementos de tais que todo elemento B
pode ser escrito como uniao disjunta dos A
i
s.
1.6. EXERC
ICIOS 15
Dica: Dena a relacao de equivalencia x y se, e somente se, x, y pertencem a um
unico elemento de .
12. Prove que todo G R aberto pode ser escrito de forma unica como a uniao enumeravel
de intervalos abertos maximais.
Dica: Para cada x, y G, dena a relacao x y se o intervalo [x, y] G (se x y) ou
[y, x] G (caso contrario). Prove que e uma relacao de equivalencia. Dena J como o
conjunto das classes de equivalencia. Prove que existe uma funcao injetiva de J em Q. Cada
classe e um intervalo aberto.
13. Considere f : X Y , uma -algebra em Y . Prove que:
(a) Z = f
1
(E); E e um -algebra em X.
(b) se e gerada por /, Z e gerado por f
1
(/).
14. Prove que a -algebra de Borel pode ser gerado por A
i
iN
, uma sequencia de subcon-
juntos em R.
Dica: Considere intervalos com coordenadas racionais.
15. (extra) Seja B a -algebra de Borel, L a -algebra de Lebesgue. Prove que card(B) <
card(L). O roteiro e:
(a) Prove que card(B) = card(R).
(b) Como conjunto de cantor C e mensuravel `a Lebesgue, todo subconjunto de C tambem
e. Assim card(B) = card(R) < card(T(R)) = card(T(C)) card(L).
16. (extra) Prove que dado a R e um conjunto de Borel E R, E +a e um conjunto de
Borel.
Dica: Prove que E +a; E e Borel e uma -algebra contendo os intervalos abertos.
17. (extra) Descubra o que signica F
e G
, G
etc.
E claro que todos eles sao Borel. Mas existem borelianos
que nao sao formados deste modo.
18. (extra) Seja E R
2
um conjunto de Borel e P : R
2
R denida por P(x, y) x
(projecao ortogonal no eixo-x). Pode-se pensar que P(E) e um conjunto de Borel em R mas
isto e falso. Sera verdadeiro se trocarmos Borel por F
.
Lebesgue believed he had proved that such a projection was also a Borel set. Studying
this error lead Suslin to begin the line of study now called descriptive set theory, 1917 or
so. For details, look at Kechriss book on Classical Descriptive Set Theory. See: Suslin_set
na Wikipedia.
1.6.2 Espa cos com Medida
19. Prove que se (A
n
)
nN
e uma sequencia de conjuntos de medida nula (veja Deni cao 1.13,
p.7), entao
+
_
n=1
A
n
tem medida nula.
= 20. Prove que para a medida:
(a) de contagem, o unico conjunto de medida nula e o ;
16 CAP
a
de Dirac:
(a) f = 0 quase todo ponto; (b) f > 0 quase todo ponto.
22. Considere
h
a medida pontual do Exemplo 1.11, p.6 com h = [ sen [. Entao
h
(A) = 0
se, e somente se, A . . . . . . . . . (complete a lacuna).
= 23. Considere
h
a medida pontual do Exemplo 1.11, p.6 com h = I
{ x>0 }
. Determine se e
Verdadeiro ou Falso:
(a) I
{ x<3 }
= 0
h
-qtp; (b) I
{ x<1 }
= I
{ 0x<1 }
h
-qtp.
24. Considere
h
a medida pontual do Exemplo 1.11, p.6. Chamamos de suporte de uma
funcao f o conjunto dos pontos onde f se anula. Utilize o conceito de suporte para determinar
condic oes equivalentes a:
(a)
h
(A) = 0; (b) g = 0 qtp. com relacao a
h
.
25. Prove que a medida pontual
h
da Denicao 1.11, p.6 e uma medida.
26. Prove os itens (a), (b), (c) e (d) do Lema 1.12, p.6.
27. Prove o Lema 1.15, p.8.
28. Considere a prova do Lema 1.16, p.8. Prove que
(a)
e uma -algebra; (b) (X,
, ) e completo.
29. Seja (X, , ) um espaco de medida. Prove que:
(a) (E F) +(E F) = (E) +(F);
(b) (EF G)+(EF)+(EG)+(F G) = (E)+(F)+(G)+(EF G)
para todo E, F, G .
Dica: comece com o caso em que todas as medidas sao nitas.
= 30. Seja (X, , ) um espa co de medida. Dena a relacao entre func oes mensuraveis f g
se f = g qtp. Prove que esta relacao e de equivalencia.
31. (convergencia dominada para conjuntos) Seja (X, , ) um espa co de medida. Seja
E
1
, E
2
, . . . uma sequencia de elementos de que converge para E no seguinte sentido: Para
cada x X, lim
n
I
E
n
(x) = I
E
(x).
(a) Mostre que E .
(b) Se existe F com (F) < tal que E
n
F para todo n N, entao
lim
n
(E
n
) = (E).
Dica: Considere
n>N
(E
n
E).
32. Denimos o limsup e o liminf de uma sequencia de conjuntos por:
A
sup
= limsup
n
A
n
=
n=1
_
_
i=n
A
i
_
e A
inf
= liminf
n
A
n
=
_
n=1
_
i=n
A
i
_
.
Caso A
sup
= A
inf
denimos
lim
n
A
n
= A
sup
(= A
inf
).
1.6. EXERC
ICIOS 17
Calcule limsup e liminf para:
(a) A
n
= (0, n); (b) B
n
= (n, ); (c) C
n
= (1)
n
;
(d) D
n
= (1/n, 1/n); (e) E
n
= (0, n mod 3); (f) F
n
= (n mod 4, n mod 6]
Obs: Nao e necessario topologia (nocao de convergencia) para estas deni coes.
33. Prove que:
(a) A
inf
A
sup
;
=(b) A
sup
= x; x A
n
para uma innidade de ns;
(c) A
inf
= x; x A
n
para todo n > N
0
;
(d) se A
n
A
n+1
entao A
sup
= A
inf
=
n=1
A
n
;
(e) se A
n+1
A
n
entao A
sup
= A
inf
=
n=1
A
n
.
34. (extra) (e verdade?) Suponha que E
n
E no sentido dos exerccios anteriores
(limsup
n
E
n
= liminf
n
E
n
). Se existe F com (F) < tal que E
n
F
para todo n N, entao lim
n
(E
n
) = (E).
35. (Borel-Cantelli lema) Seja (X, , ) um espa co de medida. Seja E
1
, E
2
, . . . uma
sequencia de elementos de tal que
n=1
(E
n
) < . Mostre que quase todo x X
pertence no maximo a um n umero nito de E
n
s, i.e., A(x) = n N; x E
n
e nito para
quase todo x.
36. (extra) Seja uma -algebra de subconjuntos de X. Sejam
1
e
2
medidas em X
com domnio . Dena, para cada E ,
min
(E) inf
F
1
(E F) +
2
(E F),
max
(E) sup
F
1
(E F) +
2
(E F).
(a) Prove que
min
e
max
sao medidas em X com domnio .
(b) Determine
min
e
max
se
1
=
a
e
2
=
b
para a, b R, medidas delta de Dirac
do Exemplo 1.11, p.6.
(c) Determine
min
e
max
se
1
=
f
e
2
=
g
, medidas pontuais (ver Denicao 1.11,
p.6) dadas pelas fun coes f e g.
(d) Prove que
min
e a maior medida, com domnio , tal que
min
(E) min(
1
(E),
2
(E))
para todo E .
(e) Prove que
max
e a menor medida, com domnio , tal que
max
(E) max(
1
(E),
2
(E))
para todo E .
37. (extra) Seja uma -algebra de subconjuntos de X. Seja N uma famlia nao-vazia
de medidas em X, todas com domnio . Suponha tambem que existe uma N tal que
(X) < . Dena para cada E ,
inf
(E) inf
_
n
i=0
i
(F
i
); n N,
0
, . . . ,
n
N, F
0
, . . . , F
n
, E
n
_
i=0
F
i
_
,
sup
(E) sup
_
n
i=0
i
(F
i
); n N,
0
, . . . ,
n
N, disjuntos F
0
, . . . , F
n
,
n
_
i=0
F
i
E
_
.
Prove que:
18 CAP
inf
(E) inf
N
(E) e
sup
(E) sup
N
(E) para todo E .
Dica: Suponha inicialmente que N e nito e veja o exerccio anterior.
1.6.3 Medida Exterior e Metodo de Caratheodory
= 38. Compare a denicao de medida (Denicao 1.10, p.5) com a denicao de medida exterior
(Denicao 1.18, p.9). Tente provar a condi cao (b) da Denicao 1.18, p.9 partindo de (c).
Contraste com (c1) da Denicao 1.10, p.5.
39. Prove que se
(A B)
(A) +
(B).
Dica: Tem algo para ser provado?
= 40. Seja
1
,
2
sao medidas exteriores em X e
iI
e uma famlia nao-vazia
qualquer de medidas exteriores em X. Prove que sao medidas exteriores:
(a)
1
+
2
, denindo (
1
+
2
)(A)
1
(A) +
2
(A) para cada A X.
(b)
sup
, onde
sup
(A) sup
iI
i
(A) para cada A X.
(c)
2
, denindo (
2
)(A) inf
1
(B) +
2
(AB); B A para cada A X.
42. (extra) (direcao contraria ao do texto: uma medida gera uma medida exterior) Seja
(X, , ) um espaco de medida. Para A X dena
(A) inf(E); E , A E.
Prove que:
(a) existe E tal que A E e (E) =
(A).
(b)
([a, b)) ba. Provar a igualdade e uma questao mais delicada (consulte literatura).
= 45. Seja a medida de Lebesgue em R. Prove que:
1.6. EXERC
ICIOS 19
(a) ( a ) = 0 para todo R; (b) (K) = 0 para todo K enumeravel;
(c) ([a, b]) = ((a, b)) = ([a, b)); (d) ((a, +)) = .
46. Prove que Q e pequeno do ponto de vista da medida de Lebesgue mas grande do ponto
de vista da cardinalidade.
47. Prove que a Denicao 1.24, p.11 de medida nula para medida de Lebesgue e equivalente
a Denicao 1.13, p.7.
48. Considere f : [a, b] R e X [a, b] com medida nula com relacao a medida de
Lebesgue. Prove que f(X) tem medida nula com relacao a medida de Lebesgue se f e
Lipschitz ou H older contnua.
Dica: estime diam(f(I)) para I um intervalo qualquer.
49. Prove que o conjunto de Cantor (que e nao-enumeravel) possui medida nula de Lebesgue.
= 50. Considere a relacao em R: a b se, e somente se, a b Q.
(a) Prove que e de equivalencia.
(b) Dena 1 (conjunto de Vitali denido em 1905) como o conjunto formado por um
elemento de cada classe de [0, 1]/Q. Seja 1
q
q + 1. Prove que se q ,= q (com q, q Q)
entao 1
q
1
q
= .
(c) Prove que R =
_
qQ
1
q
.
(d) Prove que 1 e nao-enumeravel.
(e) Prove que [0, 1]
_
q [1,1] Q
1
q
[1, 2].
(f) Prove que 1 nao e mensuravel.
Dica: Como 1
q
e translacao de 1, ambos possuem mesma medida. Como por (b) os 1
q
sao disjuntos, a medida da uniao e igual a soma das medidas. Por (e) a medida da uniao
dos conjuntos de Vitali estaria entre 1 e 3. A medida de 1 nao pode ser zero nem positiva!
Contradicao. Ver Wikipedia, Vitali set.
Obs: Note que a invariancia por translacao e o axioma da escolha sao barreiras insuperaveis
para se atribuir medida para todo subconjunto de R.
51. Se A, B R (vale em R
n
) e d(A, B) > 0 entao
(A B) =
(A) +
(B), onde
, E G com
(G E) = 0.
(b) existe F F
, F E com
(E F) = 0.
(c) para todo > 0 existe um aberto O
tal que
(O
E) < .
Dica: Veja Royden p.63.
20 CAP
em R e invariante por
translacao.
(a) Suponha que c R. Prove que
(A + c) =
(cA) = c
(A+x)
(A) + para
todo > 0 e (usando este resultado)
(A) =
(A +x).
55. (extra) Seja B a -algebra de conjuntos de Borel de R e sejam
1
,
2
: B [0, ]
medidas tais que
1
(I) =
2
(I) < para todo intervalo semiaberto I = [a, b) R. Prove
que
1
(E) =
2
(E) para todo E B.
1.6.5 Generaliza coes: Medida de Lebesgue-Stieltjes e de Hausdor
= 56. Mostre que
g
da Denicao 1.26, p.13 e uma medida exterior em R. Se for mais facil,
comece assumindo que g e contnua.
= 57. Com relacao `a medida de Lebesgue-Stieltjes
g
da Denicao 1.26, p.13:
(a) Prove que
g
(c) = g(c
+
) g(c
), onde g(c
+
) = lim
xc
+
g(x) e g(c
) = lim
xc
g(x).
(b) Prove que
g
((a, b]) g(b
+
) g(a
+
). Na realidade sao iguais mas e mais delicada.
(c) Se g = I
[0,)
, determine
g
.
58. Prove que
ITULO 2. INTEGRAC
AO
Teorema da Convergencia Dominada de Lebesgue;
Teorema de Radon-Nikodym;
Teorema de Fubini.
2.1 Funcoes Mensuraveis
Func oes mensuraveis sao func oes bem comportadas entre espacos de medida. Funcoes que
nao sao mensuraveis sao consideradas em analise como patol ogicas. Note que o conceito de
func oes mensuraveis depende da -algebra mas e independente de medida. Na pratica, se for
utilizado o metodo de Caratheodory(Secao 1.3, p.9), a -algebra e que dependera da medida
exterior. Assim, neste caso, a funcao ser mensuravel depende da medida exterior (porque?).
DEFINIC
) < .
Deixamos para o leitor provar o lema seguinte.
LEMA 2.2 Seja uma -algebra de subconjuntos de X. Entao para qualquer funcao f :
X R as seguintes armac oes sao equivalentes:
(a) x X; f(x) < a para todo a R;
(b) x X; f(x) a para todo a R;
(c) x X; f(x) > a para todo a R;
(d) x X; f(x) a para todo a R.
3
Nikolai Luzin: 1883 Irkutsk, Russia 1950 Moscow, USSR.
2.1. FUNC
OES MENSUR
AVEIS 23
DEFINIC
a x X; f(x) <
a.
(d) Segue de (a), (b) e (c) pois fg =
1
4
[(f +g)
2
(f g)
2
].
(e) Se a < 0, entao x X; [f(x)[ > a = X; se a 0, entao
x X; [f(x)[ > a = x X; f(x) > a x X; f(x) < a.
O proximo resultado mostra que as func oes mensuraveis sao bem comportadas com rela cao
a convergencia pontual de sequencias de funcoes.
24 CAP
ITULO 2. INTEGRAC
AO
TEOREMA 2.5 (Propriedades de Fun coes Mensuraveis II) Seja f
n
nN
uma sequencia
de funcoes -mensuraveis de X em R. Sao -mensuraveis:
(a) lim
n
f
n
; (b) sup
nN
f
n
; (c) inf
nN
f
n
; (d) limsup
n
f
n
; (e) liminf
n
f
n
.
Demonstra cao. Para n N, a R dena H
n
(a) x; f
n
(x) a . A prova segue
dos seguintes fatos:
(a) x X; ( lim
n
f
n
)(x) a =
kN
_
nN
mn
H
m
(a + 2
k
);
(b) x X; (sup
nN
f
n
)(x) a =
nN
H
n
(a);
(c) inf
nN
f
n
= sup
nN
(f
n
);
(d) limsup
n
f
n
= lim
n
sup
mN
f
m+n
;
(e) liminf
n
f
n
= limsup
n
(f
n
).
Observa cao 2.2 Neste trabalho nao apresentaremos mais propriedades de func oes men-
suraveis.
E verdade tambem que a composi cao de uma funcao contnua com uma men-
suravel e mensuravel, mas a composi cao de duas func oes mensuraveis pode nao ser men-
suravel.
Uma funcao nao ser mensuravel implica na existencia de um conjunto que nao e men-
suravel. Como ja observamos, quase todo subconjunto de R e mensuravel a Lebesgue. Por-
tanto, quase toda funcao que voce encontrara sera mensuravel a Lebesgue e e comum em
aplicac oes assumir que todas as fun coes envolvidas sao mensuraveis.
2.2 Deni cao da Integral
A denicao de integracao que nos fazemos e dividida em tres etapas:
i. integra cao de funcoes simples (Deni cao 2.8, p.25);
ii. integra cao de fun coes nao-negativas (Denicao 2.10, p.26);
iii. integra cao de fun cao real qualquer (Denicao 2.13, p.26).
Existem outros caminhos para se denir a integral, mas este corresponde ao metodo
can onico de todo livro de medida e integracao. Ele corresponde tambem ao metodo para
se provar resultados: provamos para funcoes simples, depois para nao-negativas e nalmente
para uma fun cao qualquer.
DEFINIC
AO 2.7 (Fun cao Simples) Seja (X, , ) um espaco de medida. Dizemos que
f : X R e uma fun cao simples se f =
n
i=0
a
i
I
E
i
, onde a
i
R e cada E
i
e -mensuravel,
isto e, E
i
.
Observa cao 2.3 Alguns autores permitem um conjunto arbitrario E
i
. Assim uma funcao
simples e qualquer fun cao que assume um n umero nito de valores distintos.
Observa cao 2.4 A representa cao de uma funcao simples nao-nula f com
n
i=0
a
i
I
E
i
e unica
se os a
i
s sao nao-nulos e unicos e se os E
i
s sao disjuntos (exerccio).
Exemplo 2.3 Seja (X, , ) um espaco de medida.
(a) Uma funcao constante e simples.
(b) Toda funcao simples e mensuravel.
(c) Se f, g : X R sao simples e c R, cf +g e simples.
Vamos denir agora a integral de uma funcao simples. Ela esta bem denida pelo Lema 2.9
(tecnico) que apresentamos depois da denicao sem a demonstracao (consulte a literatura). A
diculdade e que uma funcao simples f possui mais de uma representante e temos que provar
que o valor da integral independe do representante que n os escolhemos. Vamos explorar casos
particulares nos exerccios.
DEFINIC
AO 2.8 (Integral de uma fun cao simples) Seja (X, , ) um espaco de medida
e f : X R uma funcao simples, isto e, f =
m
i=0
a
i
I
E
i
. Denimos a integral da funcao
simples f com relacao a medida (pode ser !) por
_
f d
m
i=0
a
i
(E
i
).
LEMA 2.9 Seja (X, , ) um espaco de medida. Se
m
i=0
a
i
I
E
i
=
n
j=0
b
j
I
F
j
,
onde todos os E
i
e F
j
sao mensuraveis e a
i
, b
j
R, entao
m
i=0
a
i
(E
i
) =
n
j=0
b
j
(F
j
).
Vamos denir a integral de func oes nao-negativas usando funcoes simples.
26 CAP
ITULO 2. INTEGRAC
AO
DEFINIC
de uma funcao f
por
f
+
(x) max(0, f(x)), f
com f
+
, f
0.
Observa cao 2.6 Pelo exerccio 9, p.35, se f e mensuravel, entao f
+
e f
sao mensuraveis.
DEFINIC
d,
Se H , denimos
_
H
f d
_
H
f
+
d
_
H
f
d.
2.2. DEFINIC
AO DA INTEGRAL 27
Observa cao 2.7 Se as integrais dos componentes positivo (f
+
) e negativo (f
) de f sao
entao a denicao acima nao faz sentido ( ). Neste caso dizemos que f nao e
integravel. Se somente uma das duas integrais e , dizemos que a integral e + ou .
Deixamos para o leitor reetir sobre o seguinte. Como pedimos que a parte positiva e
negativa de uma fun cao seja integravel, a integral de Lebesgue e absolutamente convergente
(no sentido de series), pois uma funcao f e integravel se, e somente se, [f[ e integravel.
A integral e um operador linear e monotonico pelo pr oximo Teorema, apresentado sem
demonstracao.
TEOREMA 2.14 (Propriedades basicas da integral) Seja (X, , ) um espaco de me-
dida e f, g : X R func oes -mensuraveis.
(a) Se c R,
_
(cf +g) d = c
_
f d +
_
g d (linearidade).
(b) Se f(x) g(x) para todo x X, entao
_
f d
_
g d (monotonicidade).
(c) se E, F , E F e f 0, entao
_
E
f d
_
F
f d (monotonicidade).
(d) [f[ e integravel e
_
f d
_
[f[ d. Se
_
[f[ d = 0, entao f = 0 -qtp.
DEFINIC
E claro que esta relacao e de equivalencia (Exerccio 30, p.16). A integral nao enxerga
a diferenca entre as func oes f e g equivalentes. Fisicamente, por exemplo, uma forca f e
g equivalentes vao realizar o mesmo trabalho. Assim, na denicao dos espa cos funcionais
L
p
e L
AO 2.16 O conjunto L
p
(X) = L
p
(X, , ), para 1 p < , e formado pelas
func oes f : X R que sao -mensuraveis com integral
_
[f[
p
d nita.
O conjunto L
(X) = L
: |f|
L
= inf M > 0; x; [f(x)[ > M = 0 (chamado de sup essencial).
Com estas normas (devido ao fato de se tratar da integral de Lebesgue) eles sao EVNs
completos, ou seja, sao Espa cos de Banach. Como ja observamos, os elementos sao classes
28 CAP
ITULO 2. INTEGRAC
AO
de equivalencia de func oes iguais a menos de um conjunto de medida nula, tais quais elementos
de R sao classes de equivalencia de sequencias de Cauchy.
Observa cao 2.8 Se utilizassemos a integral de Riemann este espaco N
AO seria completo.
Esta e uma razao tecnica da importancia da integral de Lebesgue.
Particularizando para o L
2
, o membro mais importante desta famlia de espa cos de funcoes,
podemos denir o produto interno (forma bilinear):
(f, g)
_
fg d.
Com isto, L
2
sera um EVN completo com norma induzido por um produto interno, que
chamamos de Espa co de Hilbert. Este e um espa co importante onde a Teoria da serie de
Fourier se desenvolve. Alem disso a teoria de equac oes diferenciais parciais se desenvolve
nos chamados Espa cos de Sobolev, espacos que envolvem a existencia de derivadas (num
sentido mais fraco) limitadas nestas normas integrais. Deste modo passamos do espaco das
func oes contnuas (C(X)) ou suaves (C
n
(X)) para espa cos de Banach, Hilbert e Sobolev.
Exemplo 2.5 (verique!)
(a) A funcao 1/x , L
1
(1, ) mas pertence a L
p
(1, ) para p > 1.
(b) A funcao 1/x , L
(R).
(c) A fun cao f(x) =
I
N
(x)
x
pertence a L
(R).
2.3 Teoremas de Convergencia
Nesta secao apresentamos (sem demonstracao) os principais resultados da Teoria de Inte-
gracao, os Teoremas da convergencia mon otona e da convergencia dominada (de Lebesgue).
Estes teoremas fornecem condi coes (simples) para que possamos trocar o limite com a integral,
isto e, condic oes para que
lim
n
__
f
n
d
_
=
_
_
lim
n
f
n
_
d.
Embora a teoria seja mais complicada, as condic oes para poder se trocar limite com integral
sao bem mais simples na integral de Lebesgue do que na de Riemann. De fato (estude os
enunciados dos dois teoremas abaixo), na integral de Lebesgue basta se ter convergencia
pontual (qtp) e uma condicao extra simples (monotonicidade ou dominancia por uma funcao
integravel). Por contraste, a integral de Riemann pede, por exemplo, convergencia uniforme.
2.4. INTEGRAL DE RIEMANN LEBESGUE 29
TEOREMA 2.17 (convergencia monotona) Seja (X, , ) um espaco de medida e
f
n
nN
uma sequencia de fun coes reais nao-negativas integraveis em X tais que
f(x) = lim
n
f
n
(x), -qtp. em X (convergencia pontual).
Suponha que a sequencia e mon otona crescente, isto e,
f
n
(x) f
n+1
(x), -qtp. em X, para todo n N (monotonicidade).
Se sup
nN
_
f
n
d < , entao f e integravel e
_
f d = lim
n
_
f
n
d.
Exemplo 2.6 Seja a
n
uma enumera cao de Q e A
n
=
n
_
k=1
a
k
. Seja f
n
= I
A
n
. Claramente
f
n
e uma sequencia mon otona crescente que converge para I
Q
. Como
_
f
n
d = 0 para todo
n (f
n
= 0 exceto em n umero nito de pontos)
_
I
Q
d = 0. Contraste com a integral de
Riemann, onde R
_
I
Q
(x) dx nao existe pois o conjunto dos pontos de descontinuidade desta
funcao nao possui medida zero (e R).
TEOREMA 2.18 (convergencia dominada de Lebesgue) Seja (X, , ) um espaco de
medida e f
n
nN
uma sequencia de fun coes reais integraveis em X tais que
f(x) = lim
n
f
n
(x), -qtp. em X (convergencia pontual).
Suponha que exista uma funcao integravel g tal que
[f
n
(x)[ g(x), -qtp. em X, para todo n N (dominancia por funcao integravel).
Entao f e integravel e
_
f d = lim
n
_
f
n
d.
2.4 Integral de Riemann Lebesgue
Primeiro vamos ver algumas diculdades com a integral de Riemann:
Troca do limite com a integral. No estudo da serie de Fourier existe a necessidade de
trocar o processo de limite com a integracao. No entanto, as condic oes que permitem
mostrar que
lim
k
__
f
k
(x) dx
_
=
_
_
lim
k
f
k
(x)
_
dx
sao difceis na integral de Riemann.
30 CAP
ITULO 2. INTEGRAC
AO
A ausencia da convergencia mon otona. O exemplo canonico e considerar a
k
a enu-
meracao dos racionais em [0, 1] e denir
g
k
(x)
_
1, se x = a
j
, j k,
0, caso contrario.
As func oes g
k
sao iguais a zero em todos os pontos exceto num conjunto nito pontos,
e portanto sua integral de Riemann e zero. A sequencia g
k
, claramente nao-negativa,
converge monotonamente para a funcao I
Q
, que nao e integravel a Riemann.
Inapropriada para intervalos ilimitados. A integral de Riemann e apropriada somente
para intervalos limitados. Pode ser estendida para intervalos ilimitados tomando limites
contanto que nao surja .
Denicao esta muito atrelada ao R
n
. Como se generalizar a integral para outros
espacos?
Para fazermos uma compara cao informal entre as duas integrais, imagine que desejamos
saber o volume de uma montanha (acima do nvel do mar) sabendo a funcao de sua altura h.
na integral de Riemann dividimos a montanha numa malha de 1 metro quadrado
e medimos a altura h da montanha no centro de cada quadrado. O volume em cada
quadrado da malha e aproximadamente 11h. Portanto o volume total e (aproxima-
damente) igual a soma deste volumes. Neste caso estamos particionando o domnio.
na integral de Lebesgue desenhamos um mapa de contorno da montanha (curvas
de nvel) com 1 metro de altura entre elas. O volume contido entre duas curvas de
nvel e aproximadamente igual a area vezes a altura h da curva de nvel. Portanto o
volume total e (aproximadamente) igual a soma deste volumes. Neste caso estamos
particionando a imagem.
Vamos agora (re)ver a denicao da integral de Riemann numa forma apropriada para
fazer uma compara cao tecnica com a integral de Lebesgue, respondendo as perguntas mais
interessantes.
Comecamos denindo a integral de uma funcao escada (compare com a deni cao de
funcao simples). Aqui surge novamente a diculdade: como a representacao de uma funcao
escada nao e unica, temos (mas vamos ignorar) que provar que a integral de Riemann esta
bem denida (independe da representacao).
DEFINIC
i=0
c
i
I
E
i
, onde cada E
i
e um intervalo limitado e c
i
R.
Sejam a
i
e b
i
os extremos do intervalo E
j
. Denimos a integral de Riemann de s por
R
_
s(x) dx
n
i=0
c
i
(b
i
a
i
).
2.4. INTEGRAL DE RIEMANN LEBESGUE 31
E facil ver que cada particao do intervalo [a, b] induz a duas func oes escadas: uma que
assume o sup da funcao em cada intervalo, e outra que assume o inf da funcao em cada
intervalo.
DEFINIC
.
Como o sup para integral de Lebesgue e tomado num conjunto maior (o conjunto das
func oes simples, que contem o conjunto das func oes escada, veja exerccio 31, p.38) que a
da integral inferior de Riemann (o conjunto das func oes escada),
R
_
b
a
f(x) dx = L
[a,b]
(f)
_
f d.
32 CAP
ITULO 2. INTEGRAC
AO
Pela monotonicidade da integral de Lebesgue, dada uma funcao escada s qualquer (que e
mensuravel pois e simples) tal que f s,
_
f d
_
s d.
Tomando o inf nos dois lados com rela cao as fun coes escada ss tais que f s,
_
f d L
[a,b]
(f) = R
_
b
a
f(x) dx.
Dessas desigualdades conclumos que
R
_
b
a
f(x) dx
_
f d R
_
b
a
f(x) dx.
Portanto, R
_
b
a
f(x) dx =
_
f d.
Este teorema e sobre a integral propria de Riemann, de uma funcao limitada em um
intervalo limitado. Para fun coes ilimitadas e intervalos ilimitados dene-se a integral to-
mando limites. Por exemplo a integral impropria de Riemann
_
0
sin x
x
dx e denida por
lim
a
_
a
0
sin x
x
dx, e a integral
_
1
0
ln x dx e denida por lim
a0
+
_
1
a
ln x dx. Dessas, a segunda
existe como integral de Lebesgue, mas a primeira nao pois
_
0
sin x
x
dx = .
Nesse sentido, a integral de Lebesgue e uma integral absolutamente convergente, signi-
cando que f e integravel a Lebesgue se, e somente se, [f[ tambem e. Na funcao f(x) =
sin x
x
,
obteramos que tanto a integral de f
+
quanto a de f
YM E FUBINI 33
Para apresenta-los precisamos de algumas denic oes.
DEFINIC
_
n=1
E
n
= X e (E
n
) < .
DEFINIC
E claro que (exerccio) e uma medida absolutamente contnua com relacao a . Note que
como e uma medida,
(E) =
_
E
d =
_
E
f d para todo E .
Logo, abusando notacao,
_
E
(d f d) = 0 para todo E .
Portanto, em algum sentido, d = f d, ou seja, f =
d
d
, a chamada derivada de Radon-
Nikodym. O pr oximo teorema mostra que toda medida -nita absolutamente contnua e
obtida desta forma.
TEOREMA 2.26 (Radon-Nikodym) Sejam e medidas -nitas denidas numa -
algebra de subconjuntos de X e suponha que , isto e, e absolutamente contnua
com relacao a . Entao existe uma funcao nao-negativa f : X R mensuravel (com relacao
a ) tal que
(E) =
_
E
f d para todo E .
Alem disso, f e unica no sentido que se g possui esta propriedade, g = f -qtp em X.
34 CAP
ITULO 2. INTEGRAC
AO
Observa cao 2.9 Chamamos a funcao f de derivada de Radon-Nikodym de com
relacao a , denotada por f =
d
d
.
Em Teoria da Probabilidade, o Teorema de Radon-Nikodym e fundamental para se denir
a probabilidade condicional em espacos de medida innitos. A diculdade, contornada pelo
Teorema de Radon-Nikodym, e que se tentarmos generalizar a denicao usual surgira uma
divisao de zero por zero.
Finalizamos com o enunciado do Teorema de Fubini. Para isto precisamos da deni cao da
medida produto.
DEFINIC
ICIOS 35
O espaco L
1
(R) e isomorfo ao espa co das func oes integraveis a Lebesgue identicando
func oes que diferem num conjunto de medida nula. A integral de Riemann, que esta denida
no subespa co (denso) C
c
(R) L
1
(R), pode ser estendida por continuidade, de forma unica,
para todo o espaco (analogia com como a denicao de 2
x
para x R partindo da deni cao
de 2
x
para x Q).
Esta integral estendida de C
c
(R) para todo o L
1
(R) e igual a integral de Lebesgue.
2.7 Exerccios
2.7.1 Funcoes Mensuraveis
= 1. (func oes mensuraveis triviais) Considere f : X R.
(a) Prove que se = T(X), entao toda funcao f e mensuravel.
(b) Prove que toda funcao constante f e mensuravel (com relacao a qualquer -algebra).
(c) Prove que I
A
: X R e -mensuravel se, e somente se, A .
(d) Considere = , X . Quais sao as func oes f -mensuraveis?
= 2. Determine a menor -algebra que torne mensuravel uma funcao f : X R que assuma
somente:
(a) 2 valores distintos; (b) 3 valores distintos.
3. Considere = A R; A e enumeravel ou A
nN
x; f(x) < a + 2
n
.
7. Prove que toda funcao f : R R e Borel-mensuravel se:
(a) f e mon otona; (b) f e contnua.
Dica: (b) Toda subconjunto aberto de R pode ser escrito como a uniao enumeravel de
intervalos abertos (Exerccio 12, p.15) .
= 8. Prove que toda funcao Borel-mensuravel f : R R e Lebesgue-mensuravel.
Dica: Existe diferen ca?
9. Prove que se f e -mensuravel e H , entao
f(x) = f(x)I
H
(x) =
_
f(x), se x H,
0 se x X H,
e -mensuravel.
36 CAP
ITULO 2. INTEGRAC
AO
10. Prove que se f = I
A
+ 2I
B
e Borel mensuravel, entao A e B sao borelianos.
11. Seja f 0 mensuravel, com f : X R. Prove que existe uma sequencia monotona
crescente g
n
0 tal que limg
n
(x) = f(x) com g
n
uma funcao simples.
Mais ainda, se X tem medida nita,
_
X
[f g
n
[d 2
n
(X).
Dica: Dena E
kn
= x X; k2
n
f(x) (k + 1)2
n
. Para k = 2
n
, E
kn
= f
n.
12. Suponha que / gera a -algebra T de subconjuntos de Y . Prove que : X Y e
(, T)-mensuravel se, e somente se,
1
(E) para todo E /.
13. Neste exerccio utilizamos f para representar uma fun cao f : X Y qualquer.
(a) Qual a -algebra em X que torna toda f mensuravel?
(b) Qual a -algebra em Y que torna toda f mensuravel?
(c) Fixe f e uma -algebra em X. Dena T
f
F T(Y ); f
1
(F) . Prove
que T
f
e uma -algebra. Prove que e a maior que torna f mensuravel.
(d) Fixe f e uma -algebra T em Y . Dena
T
f
E T(X); f(E) T. Prove que
T
f
e uma -algebra. Prove que e a menor que torna f mensuravel.
(e) No item (c), se (X, , ) e um espaco de medida entao (Y, T
f
,
f
), com
f
(E)
(f
1
(E)), e um espaco de medida. Desta forma uma fun cao f denida em um espaco de
medida induz a existencia de um outro espaco de medida.
14. Seja uma -algebra de subconjuntos de X e f, g : X R func oes -mensuraveis.
Prove que sao -mensuraveis f
+
, f
, f g e f g, onde
(f g)(x) max(f(x), g(x)), (f g)(x) min(f(x), g(x)).
2.7.2 Deni cao da Integral
15. Prove que a representacao de uma funcao simples nao-nula f por
n
i=0
a
i
I
E
i
e unica se
os a
i
s sao nao-nulos e unicos e se os E
i
s sao disjuntos.
Dica: f pode assumir somente um n umero nito de valores (porque?). Dena E
i
f
1
(b
i
), onde b
i
e cada um destes valores.
16. Sejam A, B, C, D conjuntos mensuraveis com medida nita e a, b, c, d R.
=(a) Suponha que aI
A
= bI
B
+cI
C
. Prove que a(A) = b(B) +c(C) (proibido integral,
por primeiros princpios).
(b) Suponha que aI
A
+bI
B
= cI
C
+dI
d
. Prove que a(A) +b(B) = c(C) +d(D).
Dica: cuidado pois os n umeros podem nao ser distintos e os conjuntos podem nao ser
disjuntos.
17. O que e um espaco de Banach e um espaco de Hilbert?
18. Em um espa co vetorial normado, se |f| = 0 entao f = 0. Dissemos que L
1
(X) e um
espaco vetorial normado. No entanto, pelo Teorema 2.14, p.27, se |f| = 0, entao f = 0
-qtp, ou seja, nao necessariamente f = 0. Explique.
2.7. EXERC
ICIOS 37
Dica: Leia a p. 16.
=19. (Lema de du Bois-Reymond
4
) Considere f : X R uma fun cao integravel em (X, , ).
Prove que f = 0 -qtp em X se:
(a)
_
E
f d = 0 para todo E ; (b)
_
fg d = 0 para toda g -mensuravel.
Obs: resultado importante para o calculo das varia coes.
Dica (para todos itens): suponha por contradicao que o conjunto x X; f(x) > (ou
x X; f(x) < ) nao possui medida nula. Use este conjunto ou sua funcao caracterstica.
= 20. Prove que:
(a) A funcao 1/x , L
1
(1, ) mas pertence a L
p
(1, ).
(b) A funcao 1/x , L
(R).
(c) A fun cao f(x) =
I
Z
(x)
x
pertence a L
(R).
21. Considere f, g : X R func oes simples. Prove que sao func oes simples:
(a) [f[; (b) f +g (c) f g e f g, denidas no Exerccio 14, p.36.
22. Considere f, g : X R func oes integraveis. Prove que sao funcoes integraveis f g e
f g, denidas como no Exerccio 14, p.36.
23. Seja Y : R uma funcao mensuravel com relacao a -algebra de Borel. Seja
: R R uma funcao mensuravel com relacao a -algebra de Borel. Prove que X = Y
e mensuravel com relacao a -algebra de Borel.
= 24. Seja (X, , ) um espa co de medida e f : X R uma funcao integravel. Prove que
para todo > 0 existe uma funcao simples g
: X R tal que
_
[f g
[ d < . Dizemos
que as func oes simples sao densas no espa co das func oes integraveis L
1
(X, , ).
Dica: Considere f 0 inicialmente.
25. Seja a medida de contagem (Exemplo 1.12, p.6) em N. Prove que uma funcao
f : N R (uma sequencia f(n)
nN
) e -integravel se, e somente se, a serie
f(n) e
absolutamente convergente e nesse caso
_
f d =
n=0
f(n).
26. Sejam
1
,
2
duas medidas com domnio na -algebra . Dena (E)
1
(E)+
2
(E)
para E . Prove que para qualquer funcao -mensuravel f : X R,
_
f d =
_
f d
1
+
_
f d
2
.
Dica: Assuma que f e funcao simples e depois que f 0.
27. (extra) Seja dx a medida de Lebesgue. Prove que se f : X R e integravel, entao
_
f(x +a) dx existe e e igual a
_
f(x) dx para todo a R.
Dica: Comece com func oes simples. Assuma que a medida de Lebesgue e invariante por
translacao.
4
Paul David Gustav du Bois-Reymond: 1831, Berlim, Alemanha 1889, Freiburg, Alemanha.
38 CAP
ITULO 2. INTEGRAC
AO
2.7.3 Teoremas de Convergencia
= 28. Seja f
n
(x) = nI
[0,1/n](x)
com a medida de Lebesgue em R. Utilize-a para mostrar que a
condicao do Teorema da Convergencia Dominada [f
n
[ g nao pode ser retirada.
29. Considere a sequencia de fun coes reais f
n
nN
, todas integraveis e tais que
n=0
_
[f
n
[ d
e nito. Prove que f(x)
n=0
f
n
(x) esta denida qtp. e
_
f d =
n=0
_
f
n
d.
Dica: Assuma inicialmente que f
n
0.
30. Dada uma funcao f : R R qualquer, dena para cada k R a funcao T
k
f : R R,
o truncamento de f por
T
k
f(x)
_
_
f(x), se [f(x)[ k;
k, se f(x) > k;
k, se f(x) < k.
Suponha que f e -integravel. Prove que:
(a) T
k
f e mensuravel; (b)
_
f d = lim
k
_
T
k
f d.
2.7.4 Integral de Riemann Lebesgue
= 31. Prove que toda funcao escada e uma funcao simples (em particular mensuravel). Prove
que f = I
Q
e uma funcao simples que nao e uma funcao escada. Assim o conjunto de func oes
simples e (bem) maior que o de func oes escada.
32. Fixe uma fun cao f : [a, b] R. Dada uma particao qualquer do intervalo [a, b],
determine a funcao escada s associada que seja a menor de todas com f s. Assim s deve
ser constante entre os pontos da particao.
2.7.5 Teorema de Radon-Nikodym e Fubini
= 33. Prove que a relacao ser dominada e transitiva. De um exemplo que prove que nao e
simetrica.
= 34.
(a) De um exemplo de medida -nita que nao e nita.
(b) A medida de contagem (Exemplo 1.12, p.6) e nita?
E -nita?
(c) A medida
a
de Dirac e nita?
E -nita?
35. Seja (
n
) uma sequencia de medidas em (, X) com
n
(X) 1. Dena : R
por
(E)
n=1
2
n
n
(E).
2.7. EXERC
ICIOS 39
Prove que e uma medida e que
n
para todo n.
= 36. Seja X = [0, 1] e a -algebra de Borel em X. Se e a medida de contagem
(Exemplo 1.12, p.6) e a medida de Lebesgue, entao , mas o Teorema de Radon-
Nikodym nao se aplica. Porque?
37. Prove a unicidade de f no Teorema de Radon-Nikodym.
38. (extra) Suponha que e uma medida numa -algebra de subconjuntos de X e
f : X R uma funcao mensuravel nao-negativa. Para cada E dena (E) [0, ]
por:
(E)
_
E
f d.
Prove que:
(a) e uma medida em absolutamente contnua com rela cao a .
(b) e nita se, e somente se, f e integravel.
Dica: (a) prove que e -aditiva usando o Teorema da convergencia mon otona.
40 CAP
ITULO 2. INTEGRAC
AO
Captulo 3
Probabilidade e Medida
Neste captulo de duas paginas traduzimos o vocabulario da Teoria da Medida para o da
Teoria de Probabilidade. Uma excelente referencia e o captulo IX do livro Measure Theory
de P. Halmos.
Vamos comecar com uma denicao basica.
DEFINIC
;
a ocorrencia de A ou B, isto e, A B;
a ocorrencia de A e B, isto e, A B.
A necessidade de incluir uni oes enumeraveis e mais sutil. Um exemplo desta necessidade
aparece considerando um jogo de dados em que o jogador deve jogar o dado repetidamente ate
que apare ca o n umero 6. Dada a possibilidade do jogo nunca acabar e se repetir innitamente,
temos que considerar uni oes innitas enumeraveis de eventos.
A necessidade de assumir que X e mensuravel provem do fato que queremos ser capazes
de atribuir probabilidades para, por exemplo, que o valor de X esteja entre a e b. Dai aparece
naturalmente a -algebra de Borel em R.
DEFINIC