Notas de Aula

Medida e Integracao

1
Rodney Josue Biezuner
Departamento de Matematica
Instituto de Ciencias Exatas (ICEx)
Universidade Federal de Minas Gerais (UFMG)

Notas de aula do curso Medida e Integracao do Programa

de Pos-Graduacao em Matematica, ministrado no primeiro semestre de 2012.

27 de marco de 2012

1
E-mail: rodney@mat.ufmg.br; homepage: http://www.mat.ufmg.br/rodney.
Sumario

1 Medidas 2
1.1 Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 -Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.1 Denicao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.2 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.3 A -algebra de Borel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.4 -algebras produto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Medidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3.1 Denicao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3.2 Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3.3 Medidas Completas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4 Medidas Exteriores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.4.1 O Teorema de Caratheodory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.4.2 Pre-medidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.4.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.5 Medidas de Borel na Reta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.5.1 Famlias Elementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.5.2 Medida de Lebesgue-Stieltjes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.5.3 Propriedades de Regularidade da Medida de Lebesgue-Stieltjes . . . . . . . . . . . . . 21
1.5.4 Medida de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.5.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.5.6 O conjunto de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.5.7 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

1
Captulo 1

Medidas

1.1 Introducao
Idealmente, gostaramos de denir uma funcao medida no espaco euclidiano Rn que atribuisse a todo
subconjunto E Rn um numero (E) > 0 que satiszesse as seguintes propriedades:
(i) Se {Ei }iN e uma colecao nita ou enumeravel de subconjuntos disjuntos de Rn , entao
( )

Ei = (Ei ) .
iN iN

(ii) Se E e congruente a F (ou seja, E pode ser transformado em F atraves de translacoes, rotacoes e/ou
reexoes), entao (E) = (F ).
(iii) Se C = [0, 1)n e o cubo unitario de Rn , entao (C) = 1.
Infelizmente estas condicoes sao mutuamente incompatveis, como o exemplo a seguir demonstra.

1.1 Contraexemplo. Dena a seguinte relacao de equivalencia em [0, 1): x y se e somente se x y Q.

Usando o axioma da escolha, seja A um subconjunto de [0, 1) que contem exatamente um elemento de
cada classe de equivalencia desta relacao. Seja Q = Q [0, 1), ou seja, Q e o conjunto dos numeros
racionais no intervalo [0, 1), e para cada q Q considere o conjunto

Aq = {x + q : x A [0, 1 q)} {x + q 1 : x A [1 q, 1)} .

Em outras palavras, para obter Aq faca uma translacao de A q unidades para a direita e entao mova
a parte que saiu fora de [0, 1) uma unidade para a esquerda. Observe que nao apenas os conjuntos
Aq sao disjuntos, mas cada elemento x [0, 1) pertence exatamente a um unico Aq . De fato, dado
x [0, 1), se y e o elemento da classe de equivalencia de x que esta em A, entao
{
xy se x > y,
x Aq onde q =
xy+1 se x < y;

se tivessemos x Aq Ap entao xq (ou xq +1) e xp (ou xp+1) seriam elementos distintos de A

pertencentes a mesma classe de equivalencia, contradizendo a denicao de A. Assumindo a existencia
de uma funcao medida : P (Rn ) [0, ] que satisfaz as tres condicoes acima, teramos por (iii) e
(i) que

1 = ([0, 1)) = Aq = (Aq ) .
qQ qQ

2
Rodney Josue Biezuner 3

Por outro lado, por (i) e (ii)

(Aq ) = (A [0, 1 q)) + (A [1 q, 1)) = (A) .

Portanto, ou (Aq ) e igual a 0 ou e igual a , de qualquer modo constituindo uma contradicao.
qQ

Enfraquecer a condicao (i) permitindo apenas unioes nitas nao elimina a contradicao. De acordo com
o paradoxo de Banach-Tarski (que e tambem uma consequencia do axioma da escolha), se K1 e K2 sao
quaisquer subconjuntos compactos de Rn , n > 3, entao e possvel encontrar subdivisoes nitas disjuntas

k
k
E11 , . . . , Ek1 de K1 e E12 , . . . , Ek2 de K2 , ou seja, K1 = Ej1 e K2 = Ej2 , tais que Ej1 e congruente a
j=1 j=1
Ej2 para cada j = 1, . . . , k. Em outras palavras, e possvel tomar qualquer subconjunto de Rn , n > 3, e
corta-lo em um numero nitos de partes de tal forma a faze-lo ter a medida de qualquer outro subconjunto
de Rn ! E claro que estas partes devem ter formas altamente bizarras, impossveis de imaginar, ja que em
ultima analise elas sao construdas com o auxlio do axioma da escolha. De qualquer modo, o paradoxo
de Banach-Tarski mostra que o problema esta na ambicao de querer denir uma funcao medida que possa
medir qualquer subconjunto de Rn . Claramente, existem subconjuntos de Rn que desaam qualquer nocao
de medida, isto e, nao sao mensuraveis.
Assim sendo, devemos abandonar a possibilidade de se contruir uma funcao medida que esteja denida
em todos os subconjuntos de Rn e nos restringir a uma subclasse conveniente de subconjuntos de Rn , ou seja,
conjuntos que encontramos nas aplicacoes praticas de Matematica (e nao casos patologicos, construdos es-
pecicamente para provar um ponto em Logica), que serao os nossos conjuntos mensuraveis, isto e, conjuntos
que podem ser medidos.

1.2 -Algebras
Nesta secao deniremos precisamente subclasses de P (X) (onde X e um conjunto qualquer) onde podemos
denir uma nocao de medida.

1.2.1 Definicao
Se X e um conjunto nao vazio, uma algebra de conjuntos em X e uma colecao nao vazia A P (X) de
subconjuntos de X que e fechada sob unioes finitas e complementares, isto e,

n
(i) se E1 , . . . , En A, entao Ei A;
i=1
(ii) se E A, entao E c = X A A.
1.2 Definicao. Seja X um conjunto nao vazio. Uma -algebra em X e uma algebra que e fechada tambem
sob unioes enumeraveis, ou seja, se {Ei }iN A, entao Ei A.
iN

1.3 Proposicao. -algebras [algebras] sao fechadas tambem sob intersecoes enumeraveis [finitas].
Prova. Lembrando a lei de deMorgan ( )c

Ei = Eic
i i
c
(o complementar da uniao e a intersecao dos complementares), e como (Eic ) = Ei , temos imediatamente
que ( )c

c
Ei = Ei .
i i

Rodney Josue Biezuner 4

1.4 Proposicao. Qualquer -algebra [algebra] em X contem e X.

Prova. Como uma -algebra [algebra] A por denicao nao e vazia, se E A, entao

= E Ec

e
X = E Ec.


1.5 Proposicao. Se A e uma algebra, entao A e uma -algebra se ela e fechada sob unioes enumeraveis
disjuntas.

Prova. Seja {Ei }iN A. Dena

F1 = E1 ,
F2 = E2 \E1 ,
F3 = E3 \ (E1 E2 ) ,

e, em geral, \j1 (j1 )c

Fj = Ej Ei = Ej Ei .
i=1 i=1

Segue que {Fj }jN A e uma famlia de conjuntos enumeraveis disjuntos de A tal que

Ei = Fj .
iN jN


A tecnica introduzida na demonstracao da proposicao anterior de substituir uma sequencia de conjuntos por
uma sequencia de conjuntos disjuntos obtendo a mesma uniao e extremamente util no nosso contexto e sera
utilizada varias vezes.

1.2.2 Exemplos
1.6 Exemplo. Se X e qualquer conjunto, entao {, X} e P (X) sao -algebras. 
1.7 Exemplo. Se X e um conjunto nao-enumeravel, entao

A = {E X : E e enumeravel ou E c e enumeravel}

e uma -algebra, chamada a -algebra dos conjuntos enumeraveis ou coenumeraveis. 

1.8 Exemplo. A intersecao de uma famlia de -algebras e uma -algebra. Segue que se E P (X), entao
existe uma menor -algebra M(E) que contem E (ou seja, a intersecao de todas as -algebras contendo
E; existe pelo menos uma -algebra que contem E, a -algebra P (X)). M(E) e chamada a -algebra
gerada por E. 
1.9 Proposicao. Se E M(F), entao M(E) M(F). Em particular, se E F, entao M(E) M(F).

Prova. A primeira armacao segue do fato que M(F) e uma -algebra contendo E. A segunda armacao
segue da primeira, observando que F M(F). 
Rodney Josue Biezuner 5

1.2.3 A -algebra de Borel

1.10 Exemplo. Se X e um espaco metrico ou, mais geralmente, um espaco topologico, entao a -algebra
gerada pela famlia de conjuntos abertos de X e chamada a -algebra de Borel de X, denotada por
BX ; seus elementos sao chamados de conjuntos de Borel. Portanto, BX inclui conjuntos abertos,
conjuntos fechados (os complementares dos conjuntos abertos), intersecoes enumeraveis de conjuntos
abertos (lembrando que unioes enumeraveis de conjuntos abertos ja sao abertos), unioes enumeraveis
de conjuntos fechados (lembrando que intersecoes enumeraveis de conjuntos fechados ja sao fechados)
e assim por diante. 

Em particular, a -algebra de Borel da reta R vai ser importante nas nossas discussoes. Ela pode ser
gerada de varias maneiras diferentes:

1.11 Proposicao. A -algebra de Borel da reta BR e gerada por qualquer um dos conjuntos seguintes:
(a) o conjunto dos intervalos abertos E1 = {(a, b) : a < b} ;
(b) o conjunto dos intervalos fechados E2 = {[a, b] : a < b} ;
(c) o conjunto dos intervalos semiabertos E3 = {(a, b] : a < b} ou E4 = {[a, b) : a < b} ;
(d) o conjunto dos raios abertos E5 = {(a, +) : a R} ou E6 = {(, a) : a R} ;
(e) o conjunto dos raios fechados E7 = {[a, +) : a R} ou E8 = {(, a] : a R} .

Prova. Os elementos de Ej para j = 3, 4 sao abertos

( ou fechados;
) os elementos de E3 e E4 sao intersecoes
enumeraveis de abertos (por exemplo, [a, b) = a n1 , b ). Todos estes conjuntos sao conjuntos de Borel,
nN
logo pela Proposicao 1.9 segue que M(E j ) BR .
Por outro lado, todo conjunto aberto em R e uma uniao enumeravel de intervalos, logo novamente pela
Proposicao 1.9 temos BR M(E 1 ). Similarmente prova-se que BR M(E j ) para j > 2 mostrando que
[ ]
todos os intervalos abertos estao em M(E j ). Por exemplo, (a, b) a n1 , b + n1 M(E 2 ). 
nN

1.2.4 -algebras produto

1.12 Exemplo. Seja {X }A uma famlia indexada de conjuntos nao vazios,

X= X
A
( )
e : X X a aplicacao projecao, isto e, (x )A = x . Se M e uma -algebra em X
para cada , entao denimos a -algebra produto em X como sendo a -algebra gerada por
{ 1 }
(E ) : E M , A .

que sera denotada por M . 
A

O signicado da -algebra produto cara mais claro no incio do proximo captulo. No caso de produtos
enumeraveis a -algebra produto tem uma caracterizacao mais simples e intuitiva:
{ }

1.13 Proposicao. Mi e a -algebra gerada por Ei : Ei Mi .
iN iN

Prova. Se Ei Mi , entao
i1 (Ei ) = Ej ,
jN
Rodney Josue Biezuner 6

onde {
Ei se j = i,
Ej =
Xj i.
se j =
Portanto, como Mi contem Xi (Proposicao 1.4), temos que
{ }
{ 1 }
i (Ei ) : Ei Mi , i N Ei : Ei Mi ,
iN

donde, pela segunda armacao da Proposicao 1.9,

({ })

Mi M Ei : Ei Mi . (1.1)
iN iN

Temos tambem, em particular, que

Ei = i1 (Ei ) ,
iN iN

logo, { }
({ })
Ei : Ei Mi M i1 (Ei ) : Ei Mi , i N = Mi .
iN iN

Segue da primeira armacao da Proposicao 1.9 que

({ })

M Ei : Ei Mi Mi . (1.2)
iN iN

De (1.1) e (1.2), temos que ({ })

Mi = M Ei : Ei Mi .
iN iN


{ }
1.14 Lema. Seja M = M(E ). Entao M = M( 1 (E ) : E E , A ).
A
({ })

No caso enumeravel, temos Mi = M Ei : Ei Ei .
iN iN
{ }
Prova. Por denicao, M( 1 (E ) : E E , A ) M . Por outro lado, para cada A, o
A
conjunto { { }}
E X : 1 (E) M( 1 (E ) : E E , A
1
{ 1 }
e uma -algebra em X que contem E e portanto
{ M . Em outras palavras,
} (E) M( (E ) : E E , A

para todo E M , logo M M( 1 (E ) : E E , A ).
A
A segunda armacao segue da primeira como na demonstracao da proposicao anterior. 

n
1.15 Teorema. Sejam X1 , . . . , Xn espacos metricos e X = Xi equipado com a metrica produto. Entao
i=1

n
BXi BX .
i=1

n
Se X1 , . . . , Xn sao separaveis, entao BXi = BX .
i=1
Rodney Josue Biezuner 7

Prova. Pela primeira armacao do lema anterior,

n
{ }
BXi = M( i1 (Ui ) : Ui e aberto em Xi , i = 1, . . . , n ).
i=1
n
Como na topologia produto i1 (Ui ) e aberto em X, segue da Proposicao 1.9 que BXi BX .
{ k} i=1
Assuma agora que X1 , . . . , Xn sao separaveis. Seja xj kN um subconjunto enumeravel denso em Xj
para cada j e Ej a colecao enumeravel das bolas centradas nos xkj com raios racionais. Portanto, todo
conjunto aberto em Xj pode ser escrito com uma uniao enumeravel de elementos de Ej , logo
BXj = M(E j ).
Alem disso, o conjunto de pontos em X cujas coordenadas estao entre os xkj e um subconjunto enumeravel
denso de X e as bolas de raio r em X sao simplesmente produtos de bolas de raio r nos Xj , logo

n
BX = M Ej : Ej Ej .

i=j

Segue da segunda armacao do lema anterior que BX = M(E j ) = BXj . 
iN iN

n
1.16 Corolario. BRn = BR .
i=1

1.2.5 Exerccios
1.2.1 Mostre que a famlia E das unioes disjuntas finitas de intervalos da forma [a, b) [0, 1) e uma algebra
em [0, 1), mas nao e uma -algebra. (E e chamada a algebra de conjuntos elementares em [0, 1).)
1.2.2 Seja f : X Y uma funcao. Se A e uma -algebra em Y , mostre que o conjunto
{ }
f 1 (A) = f 1 (A) : A A
e uma -algebra em X.
1.2.3 Mostre que uma algebra A e uma -algebra se e somentese ela e fechada sob unioes enumeraveis
crescentes, ou seja, se {Ei }iN A e E1 E2 . . ., entao Ei A.
iN

1.2.4 Mostre que se M e a -algebra gerada por um subconjunto qualquer E P (X), entao M e a uniao
de todas as -algebras geradas por subconjuntos enumeraveis de E.
1.2.5 Se X e um conjunto nao vazio, um anel de conjuntos em X e uma colecao nao vazia R P (X) de
subconjuntos de X que e fechada sob unioes e diferencas finitas, isto e,
(i) se E, F R, entao E F R;
(ii) se E, F R, entao E\F R.
Um -anel e um anel que e fechado sob unioes enumeraveis.
Mostre que toda algebra [resp. -algebra] e um anel [resp. -anel]. Mostre que se R e um anel [resp.
-anel], entao R e uma algebra [resp. -algebra] se e somente se X R.
1.2.6 Mostre que se R e um anel, entao R.
1.2.7 Mostre que um anel e fechado sob diferencas simetricas (isto e, EF = (E\F ) (F \E)) e intersecoes.
Mostre que um -anel e fechado sob intersecoes enumeraveis.
1.2.8 Mostre que um colecao nao vazia R P (X) fechada sob unioes nitas [resp. intersecoes nitas] e
diferencas simetricas e um anel.
Rodney Josue Biezuner 8

1.3 Medidas
1.3.1 Definicao
1.17 Definicao. Seja X um conjunto equipado com uma -algebra M. Uma medida em M e uma funcao
: M [0, ] que satisfaz
(i) () = 0;
(ii) se {Ei }iN M e uma colecao enumeravel disjunta, entao
( )

Ei = (Ei ) .
i=1 i=1

(X, M) e chamado um espaco mensuravel, os conjuntos em M sao chamados conjuntos men-

suraveis e (X, M, ) e chamado um espaco de medida.

A propriedade (ii) e chamada aditividade enumeravel. Ela implica aditividade finita (tomando Ei =
para i > n): se E1 , . . . , En M sao disjuntos, entao
( n )

n
Ei = (Ei ) .
i=1 i=1

Uma funcao que satisfaz (i) mas satisfaz apenas a aditividade nita e chamada uma medida finitamente
aditiva.

1.18 Definicao. Seja (X, M, ) um espaco de medida. Se (X) < , entao dizemos que e uma medida
finita.

n
Se podemos escrever X como uma uniao enumeravel de conjuntos com medida nita, isto e, X = Ei
i=1
com (Ei ) < para todo i, entao dizemos que e uma medida -finita. Mais geralmente, qualquer
conjunto mensuravel E que pode ser escrito como uma uniao enumeravel de conjuntos com medida
nita e chamado um conjunto -finito.
Se para todo conjunto mensuravel E tal que (E) = existir um conjunto mensuravel F E tal
que 0 < (F ) < , dizemos que e uma medida semifinita.

Da Proposicao 1.22 (a), a seguir, segue em particular que se e uma medida nita, entao (E) < para
todo conjunto mensuravel E. Toda medida -nita e obviamente seminita, mas a recproca nao e verdadeira
(veja os exerccios). A maioria das medidas que aparecem na pratica sao -nitas, o que e bom, pois medidas
nao -nitas tendem a exibir comportamentos patologicos.

1.19 Exemplo. Se X e qualquer conjunto nao vazio, M = P (X) e f : X [0, ] e uma funcao qualquer,
entao f induz uma medida em M denindo-se
{ }

(E) = f (x) := sup f (x) : F e nito .
xE xF

e seminita se e somente se f (x) < para todo x X e e -nita se e somente se e seminita

e a parte positiva de f , isto e, o conjunto {x X : f (x) > 0}, e enumeravel. Dois casos particulares
tem signicado especial: (1) se f (x) = 1 para todo x, entao e chamada a medida de contagem;
(2) se f (x0 ) = 1 e f (x) = 0 para todo x = x0 , entao e chamada a medida de Dirac (ou medida
de ponto de massa). 
Rodney Josue Biezuner 9

1.20 Exemplo. Se X e um conjunto nao-enumeravel, e M e a -algebra dos conjuntos enumeraveis ou

coenumeraveis, entao a funcao denida por
{
0 se E e enumeravel,
(E) =
1 se E e coenumeravel,
e uma medida. 
1.21 Contraexemplo. Se X e um conjunto innito, M = P (X) e denimos
{
0 se E e nito,
(E) =
se E e innito,
entao e uma medida nitamente aditiva mas nao e uma medida. 

1.3.2 Propriedades
1.22 Proposicao. Seja (X, M, ) um espaco de medida. Valem as seguintes propriedades:
(a) (Monotonicidade) Se E, F M e E F , entao (E) 6 (F ).
( )

(b) (Subaditividade) Se {Ei }iN M, entao Ei 6 (Ei ).
i=1 i=1
( )

(c) (Continuidade por baixo) Se {Ei }iN M e E1 E2 . . ., entao Ei = lim (Ei ).
i=1 i

(d)
( (Continuidade
) por cima) Se {Ei }iN M, E1 E2 . . . e (En ) < para algum n, entao


Ei = lim (Ei ).
i=1 i

Prova. (a) Se E F , entao (F ) = (F \E) + (E) > (E). \j1

(b) Como na demonstracao da Proposicao 1.5, denindo F1 = E1 e Fj = Ej Ei segue que os Fj sao
i=1



disjuntos, Ei = Fj e Fj Ej . Logo
i=1 j=1
( )




Ei = Fj = (Fj ) 6 (Ej ) .
i=1 j=1 j=1 j=1

(c) Tomando E0 = , como a sequencia e crescente temos Ei = (Ei \Ei1 ) e esta uniao e disjunta,
i=1 i=1
logo
( ) ( )

n
Ei = (Ei \Ei1 ) = (Ei \Ei1 ) = lim (Ei \Ei1 ) = lim (En ) ,
n n
i=1 i=1 i=1 i=1

n
a ultima igualdade decorrendo do fato de En = (Ei \Ei1 ) , para uma sequencia crescente, e esta uniao e
i=1
disjunta pelo mesmo motivo.
(d) Seja Fj = En \Ej para todo j > n. Entao
Fn+1 Fn+2 . . . ,
(En ) = (Fj ) + (En ) para todo j > n e

\

Fj = En Ej .
j=n+1 j=n+1
Rodney Josue Biezuner 10

Como a sequencia {Ei }iN e decrescente segue em particular que

Fj = (En ) Ej = (En ) Ej .
j=n+1 j=n+1 j=1

Pelo item anterior segue que

(En ) = Ej + Fj = Ej + lim (Fj )
j
j=1 j=n+1 j=1




= Ej + lim (En \Ej ) = Ej + lim [ (En ) (Ej )]
j j
j=1 j=1



= Ej + (En ) lim (Ej ) .
j
j=1

Subtraindo (En ) < de ambos os lados da igualdade obtemos o resultado. 

1.3.3 Medidas Completas

1.23 Definicao. Seja (X, M, ) um espaco de medida. Se (E) = 0, entao dizemos que E e um conjunto
de medida nula.
Uma armacao que e valida para todos os pontos x X com excecao de pontos pertencentes a um
conjunto de medida nula e chamada uma armacao verdadeira para quase todo ponto, abreviada
q.t.p.
Se (E) = 0 e F E, entao a subaditividade garante que (F ) = 0 desde que F seja mensuravel. Mas em
geral subconjuntos de conjuntos de medida nula nao precisam ser mensuraveis (considere a medida nula na
-algebra {X, }).
1.24 Definicao. Uma medida que contem todos os subconjuntos de conjuntos de medida nula e chamada
uma medida completa.
Completude torna desnecessarios certos pontos tecnicos irritantes e pode sempre ser obtida aumentando o
domnio da medida:
1.25 Proposicao. Seja (X, M, ) um espaco de medida. Seja N = {N M : (N ) = 0} a colecao dos
conjuntos de medida nula de X e defina
M = {E F : E M e F N para algum N N } .
Entao M e uma -algebra e existe uma unica extensao de para uma medida completa em M.
Prova. M e uma -algebra. Como M e N sao fechados sob unioes enumeraveis, M tambem e, pois

( ) ( )

(Ei Fi ) = Ei Fi .
i=1 i=1 i=1

Para provar que M e fechada sob a operacao de tomar complementares de conjuntos, observamos primeiro
que se E F M com E M e F N para algum N N , entao podemos assumir que E N = (caso
contrario, substituiramos F, N por F \E, N \E, respectivamente). Portanto, podemos escrever
E F = (E N ) (F N c )
Rodney Josue Biezuner 11

donde, pela lei de deMorgan,

c c c c
(E F ) = (E N ) (F N c ) = (E N ) (N \F ) .
c c
Como M e uma algebra, segue que (E N ) M e obviamente N \F N , logo(E F ) M.
Existencia da extensao . Dena : M [0, ] por

(E F ) = (E)

se E M e F N para algum N N . Entao esta bem denida, porque se E1 F1 = E2 F2 com

E1 , E2 M e F1 N1 , F2 N2 para N1 , N2 N , segue que

E1 E2 F2 E2 N2 (E1 ) 6 (E2 ) + (N2 ) = (E2 )

e analogamente (E2 ) 6 (E1 ), donde (E1 ) = (E2 ). Temos tambem

() = ( ) = () = 0

pois M, N . Alem disso, se {Ei Fi }iN e uma famlia disjunta, com {Ei }iN M e Fi Ni com
Ni N para todo i, segue que
( ) (( ) ( )) ( )

(Ei Fi ) = Ei Fi = Ei = (Ei ) = (Ei Fi ) ,
i=1 i=1 i=1 i=1 i=1 i=1

ja que todas as unioes acima disjuntas. Isso prova que e uma medida. Para vericar que e completa, seja
E F M com E M e F N para algum N N tal que (E F ) = 0. Isso signica que (E) = 0 e
portanto E N . Se V E F , entao V = V com M e V E N N , logo V M.
Unicidade da extensao . Sejam 1 , 2 : M [0, ] duas medidas completas em M tais que 1 |M =
2 |M = . Observando que se E F M com E M e F N para algum N N , entao E, F M pois
E = E , F = F e M, N , segue que

1 (E F ) = 1 (E) + 1 (F \E) = (E) ,

onde usamos o fato que

0 6 1 (F \E) 6 1 (N ) = (N ) = 0
para concluir que 1 (F \E) = 0. Analogamente conclumos que 2 (E F ) = (E), portanto 1 (E F ) =
2 (E F ). 
e chamada o completamento de e M o completamento de M com relacao a .

1.3.4 Exerccios

n
1.3.1 Mostre que se 1 , . . . , n sao medidas em (X, M) e a1 , . . . , an [0, ), entao ai i e uma medida
i=1
em (X, M).
1.3.2 Dena


lim inf En = En ,
k=1 n=k

lim sup En = En .
k=1 n=k
Rodney Josue Biezuner 12

(a) Verique que

lim inf En = {x : x En para todos exceto por um numero innito de ndices n} ,

lim sup En = {x : x En para um numero innito de ndices n} ,

(b) Prove que se (X, M, ) e um espaco de medida e {Ei }iN M, entao

(lim inf En ) 6 lim inf (En ) ,

e que ( )


(lim sup En ) > lim sup (En ) , desde que En < .
n=1

1.3.3 Mostre que se (X, M, ) e um espaco de medida e E, F M, entao

(E) + (F ) = (E F ) + (E F ) .

1.3.4 Mostre que se (X, M, ) e um espaco de medida e E M, entao

E (A) = (A E)

dene uma medida em M.

1.3.5 Mostre que uma medida nitamente aditiva e uma medida se e somente se ela satisfaz a conclusao da
Proposicao 1.22 (c).
Mostre que uma medida nitamente aditiva e uma medida se e somente se ela satisfaz a conclusao
da Proposicao 1.22 (d) desde que (X) < .
1.3.6 Seja (X, M, ) um espaco de medida nita.
(a) Se E, F M e (EF ) = 0, mostre que (E) = (F ) .
(b) Dena uma relacao entre os conjuntos mensuraveis de X da seguinte maneira: E F se e somente
se (EF ) = 0. Mostre que esta e uma relacao de equivalencia.
(c) Se E, F M, dena
d (E, F ) = (EF ) .
Mostre que
d (E, F ) 6 d (E, G) + d (G, F ) ,
de modo que d dene uma metrica no espaco quociente M/ de classes de equivalencia de conjuntos
mensuraveis.
1.3.7 Prove que se e uma medida seminita e (E) = , entao para todo c > 0 existe F E tal que
c < (F ) < .
1.3.8 Se e uma medida em (X, M), dena uma medida 0 em M por

0 (E) = sup { (F ) : F E e (F ) < } .

(a) Mostre que 0 e uma medida seminita (chamada a parte semifinita de ).

(b) Mostre que se e seminita, entao 0 = .
(c) Prove que existe uma medida em M (em geral, nao unica) que assume apenas os valores 0 e
tal que
= 0 + .
Rodney Josue Biezuner 13

1.3.9 Seja (X, M, ) um espaco de medida. Um conjunto E X e chamado um conjunto localmente

mensuravel se E A M para todo A M tal que (A) < .
Seja Mf a colecao de todos os conjuntos localmente mensuraveis. Claramente M M.
f Se M = M,
f
dizemos que e uma medida saturada. Prove as armativas abaixo:
(a) Se e -nita, entao e uma medida saturada.
(b) Mf e uma -algebra.
f por
e em M
(c) Dena {
(E) se E M,
e (E) =

caso contrario.
e e uma medida saturada, chamada a saturacao de .
Entao
e tambem e.
(d) Se e completa,
f
(e) Suponha que e seminita. Dena em M

b (E) = sup { (A) : A M e A E} .

b e uma medida saturada que estende .

Entao

1.4 Medidas Exteriores

Nesta secao desenvolveremos as ferramentas usadas para construir medidas uteis.

1.26 Definicao. Seja X um conjunto nao vazio. Uma medida exterior e uma funcao : P (X) [0, ]
que satisfaz
(i) () = 0;
(ii) se A B, entao (A) 6 (B);
(iii) se {Ai }iN P (X), entao ( )



Ai 6 (Ai ) .
i=1 i=1

O nome se refere ao fato de que uma medida exterior e geralmente construda a partir de uma proto-medida
em uma famlia E P (X) e entao denindo a medida exterior de subconjuntos arbitrarios de X a partir da
aproximacao destes por fora por unioes enumeraveis de elementos de E:

1.27 Proposicao. Sejam E P (X), contendo e X, e : E [0, ] satisfazendo () = 0. Para

qualquer A X defina
{
}


(A) = inf (Ei ) : Ei E para todo i e A Ei .
i=1 i=1

Entao e uma medida exterior.

Prova. Como A X E, esta bem denida. Obviamente () = 0 e pela denicao de nmo temos
(A) 6 (B) sempre que A B. Para provar (iii) da Denicao 1.26, seja {Ai }iN P (X) e denote

{ }
A= Ai . Por denicao de , dado > 0, para cada j existe uma famlia Eij E tal que
i=1 iN

( )
Eij 6 (Aj ) + j .
i=1
2
Rodney Josue Biezuner 14

Como A Eij e
i,j=1

( )
Eij 6 (Aj ) +
i,j=1 j=1

segue que (A) 6 (Ai ) + . Como e arbitrario, segue o resultado. 
i=1

1.4.1 O Teorema de Caratheodory

1.28 Definicao. Se e uma medida exterior em X, dizemos que um subconjunto A X e -mensuravel
se
(E) = (E A) + (E Ac )
para todo E X.

Observe que para provar que um conjunto A e -mensuravel, basta provar que (E) > (E A) +
(E Ac ) para todo E X, ja que a recproca e obvia, e portanto basta considerar conjuntos E tais que
(E) < .

1.29 Teorema. (Teorema de Caratheodory) Se e uma medida exterior em X, entao a colecao M

dos conjuntos -mensuraveis e uma -algebra e a restricao de a M e uma medida completa.

Prova. M e uma -algebra.

M nao e vazio pois e -mensuravel. M e fechado sob a operacao de tomar complementares de conjuntos
porque a denicao de conjuntos -mensuraveis e simetrica em relacao a substituir A por Ac . Para ver que
M e uma algebra, dados A, B M e E X, temos

(E) = (E A) + (E Ac )
= (E A B) + (E Ac B)
+ (E A B c ) + (E Ac B c )
> (E (A B)) + (E (A B) ) ,
c

o que implica que A B e -mensuravel. A ultima desigualdade no desenvolvimento acima segue do fato
que E (A B) = (E A) (E B) e

E A = (E A B) (E A B c ) ,
E B = (E Ac B) (E A B c ) ,

de modo que
E (A B) (E A B) (E A B c ) (E Ac B) ,
logo
(E (A B)) 6 (E A B) + (E Ac B) + (E A B c ) ,
c
e do fato que E (A B) = E Ac B c . Para provar que M e uma -algebra, lembramos que, como
ja sabemos que M e uma algebra, basta considerar unioes enumeraveis disjuntas (Proposicao 1.5). Seja
n

{Ai }iN M uma sequencia enumeravel disjunta e denote Bn = Ai e B = Ai ; note que como M e
i=1 i=1
uma algebra, temos que cada Bn M. Para todo E X temos

(E Bn ) = (E Bn An ) + (E Bn Acn ) = (E An ) + (E Bn1 ) ,
Rodney Josue Biezuner 15

donde, por inducao,

n
(E Bn ) = (E Ai ) .
i=1
Da,

n
(E) = (E Bn ) + (E Bnc ) > (E Ai ) + (E B c ) .
i=1
Fazendo n , segue que

( )


(E) > (E Ai ) + (E B ) > c
(E Ai ) + (E B c )
i=1 i=1
( ( )) ( ( )c )


= E Ai + E Ai ,
i=1 i=1

logo Ai M.
i=1
|M e uma medida completa.
Seja {Ai }iN M uma sequencia enumeravel disjunta como no argumento anterior. Na ultima sequencia
de desigualdades, como

( ( )) ( ( )c )


(E) > (E Ai ) + (E B ) > E
c
Ai + E Ai > (E)
i=1 i=1 i=1

segue que todas as desigualdades sao igualdades. Em particular,

(E) = (E Ai ) + (E B c )
i=1

Tomando E = Ai , segue que
i=1 ( )


Ai = (Ai ) ,
i=1 i=1
portanto e uma medida. Para vericar que ela e completa, seja (A) = 0. Para qualquer E X temos
(E) 6 (E A) + (E Ac ) = (E Ac ) 6 (E)
de modo que A M. 

1.4.2 Pre-medidas
Usando o teorema de Caratheodory poderemos estender medidas denidas em algebras a medidas denidas
em -algebras.
1.30 Definicao. Seja X um conjunto equipado com uma algebra A. Uma pre-medida em A e uma funcao
: A [0, ] que satisfaz
(i) () = 0;


(ii) se {Ei }iN A e uma colecao enumeravel disjunta tal que Ei A, entao
i=1
( )

Ei = (Ei ) .
i=1 i=1
Rodney Josue Biezuner 16

Pela Proposicao 1.27, uma pre-medida induz uma medida exterior em X.

1.31 Proposicao. Se e uma pre-medida e e a medida exterior induzida por , entao
(a) |A = ;
(b) todo conjunto em A e -mensuravel.


Prova. (a) Se E A e E Ai com Ai A para todo i, seja
i=1
( \n1 )

Bn = E An Ai ,
i=1

de modo que Bn A, os conjuntos Bn sao disjuntos e Bn = E. Logo,
n=1



(E) = (Bn ) 6 (An ) ,
n=1 n=1

de modo que (E) 6 (E). A desigualdade reversa e imediata, ja que E Ai para A1 = E e Ai =
i=1
para i > 2.


(b) Sejam A A e E X. Dado > 0 existe uma sequencia {Bi }iN A tal que E Bi e
i=1


(Bi ) 6 (E) + .
i=1

Como e aditiva em A, segue que

(E) + > (Bi A) + (Bi Ac ) > (E A) + (E Ac ) .
i=1 i=1

Como e arbitrario, temos que A e -mensuravel. 
1.32 Teorema. Sejam A P (X) uma algebra, uma pre-medida em A, a medida exterior induzida
por e M a -algebra gerada por A.
Entao = |M define uma medida em M cuja restricao a A e . Se e uma outra tal medida em
M, entao (E) 6 (E) para todo E M, a igualdade valendo se (E) < . Se e -finita, entao
e a unica extensao de a uma medida em M.
Prova. A primeira armacao segue do Teorema de Caratheodory e da proposicao anterior, ja que a -algebra
dos conjuntos -mensuraveis inclui A.


Se E M e E Ai com {Ai }iN A, entao
i=1



(E) 6 (Ai ) = (Ai ) ,
i=1 i=1

logo (E) 6 (E). Alem disso, denotando A = Ai , temos que
i=1
( ) ( )

n
n
(A) = lim Ai = lim Ai = (A)
n n
i=1 i=1
Rodney Josue Biezuner 17

de modo que, se (E) < , podemos escolher os Ai de tal maneira que (A) < (E) + , logo (A\E) <
e portanto
(E) 6 (A) = (A) = (E) + (A\E) 6 (E) + (A\E) 6 (E) + ;
como e arbitrario, conclumos que (E) = (E).


Finalmente, se X = Ai com (Ai ) < para todo i, e como podemos assumir os Ai disjuntos, segue
i=1
que para qualquer E M temos



(E) = (E Ai ) = (E Ai ) = (E) ,
i=1 i=1

de modo que = . 

1.4.3 Exerccios
1.4.1 Mostre que se e uma medida exterior e {Ai }iN e uma sequencia de conjuntos -mensuraveis
disjuntos, entao ( ( ))


E Ai = (E Ai )
i=1 i=1

para todo E X.
1.4.2 Sejam A P (X) uma algebra, A a colecao de unioes enumeraveis de conjuntos de A e A a colecao
de intersecoes enumeraveis de conjuntos de A . Sejam uma pre-medida em A e a medida exterior
induzida por . Prove as armativas a seguir.
(a) Para todo E X e para todo > 0 existe A A tal que E A e (A) 6 (E) + .
(b) Se (E) < , entao E e -mensuravel se e somente se existe B A tal que E B e
(B\E) = 0.
(c) Se e -nita, entao a restricao (E) < em (b) e desnecessaria.

1.4.3 Seja uma medida exterior em X induzida por uma pre-medida satisfazendo (X) < . Se E X
dene a medida interior de E por

(E) = (X) (E c ) .

Mostre que E e -mensuravel se e somente se (E) = (E).

1.4.4 Sejam uma medida exterior induzida por uma pre-medida e a restricao de aos conjuntos
-mensuraveis. Prove que e saturada.
1.4.5 Sejam (X, M, ) um espaco de medida, a medida exterior induzida por , M a -algebra dos
conjuntos -mensuraveis e
e = |M . Prove as armativas a seguir.
e e o completamento de .
(a) Se e -nita, entao
e e a saturacao do completamento de .
(b) No caso geral,

1.5 Medidas de Borel na Reta

Nesta secao contruiremos medidas na -algebra de Borel BR da reta. Quando nos referirmos a intervalos
semiabertos nesta secao, teremos em mente apenas intervalos da forma (a, b] ou (a, +) (incluindo e a
possibilidade a = ), ou seja, intervalos abertos a esquerda e fechados a direita.
Rodney Josue Biezuner 18

1.5.1 Famlias Elementares

1.33 Definicao. Seja X um conjunto. Dizemos que uma colecao E de subconjuntos de X e uma famlia
elementar se
(i) E;
(ii) se E, F E, entao E F E;
(iii) se E E, entao E c pode ser escrito como uma uniao nita disjunta de elementos de E.
1.34 Exemplo. A colecao dos intervalos semiabertos da reta e uma famlia elementar. De fato, dados dois
intervalos semiabertos (a, b] e (c, d], onde supomos a 6 c para xar ideias, temos

se b 6 c,
(a, b] (c, d] = (c, b] se b > c e b 6 d,

(c, d] se b > c e b > d.

Alem disso, (a, b]c = (, a] (b, +) e uma uniao disjunta de dois intervalos semiabertos. 
1.35 Proposicao. Se E e uma famlia elementar, entao a colecao J das unioes finitas disjuntas de ele-
mentos de E e uma algebra.

Prova. Para simplicar a notacao e ja que este e o caso que nos interessa, vamos assumir que se E E,
entao E c pode ser escrito como uma uniao disjunta de dois elementos de E.
Primeiro provaremos que A e fechada sob unioes nitas. Ou seja, precisamos mostrar que uma uniao
nita de unioes nitas disjuntas de elementos de E (que nao e uma uniao necessariamente disjunta) pode ser
escrita como uma uniao nita disjunta de elementos de E, logo esta em A. No caso mais simples, quando
temos a uniao de duas unioes disjuntas e cada uma destas unioes e na verdade apenas um elemento de E,
isto e, tomando A, B E (pois A = A e B = B sao unioes disjuntas), escrevemos B c = E1 E2 com
E1 , E2 E e disjuntos, de modo que

A\B = (A E1 ) (A E2 ) E,

logo
A B = (A\B) B A
pois conseguimos escrever AB como a uniao de dois elementos disjuntos de E. Por inducao, se A1 , . . . , An
E, e por hipotese de inducao podemos assumir A1 , . . . , An1 disjuntos, pelo argumento acima segue que
Ai \An E para todo i < n, e portanto temos por hipotese de inducao
(n1 )
n
Ai = (Ai \An ) An A.
i=1 i=1

Para provar que A e fechada sob complementos, sejam A1 , . . . , An E e escreva Aci = Bi1 Bi2 com
E disjuntos. Entao,
Bi1 , Bi2
( n )c

n
( 1 ) ( )
Ai = Bi Bi2 = B1j1 . . . Bnjk .
i=1 i=1 j1 ,...,jk =1,2

1.36 Corolario. A colecao A das unioes finitas disjuntas de intervalo semiabertos e uma algebra em R.
Alem disso, a -algebra gerada por esta algebra e exatamente a -algebra de Borel BR .

Prova. A ultima armativa segue da Proposicao 1.11 (c). 

Rodney Josue Biezuner 19

1.5.2 Medida de Lebesgue-Stieltjes

Lembramos que se F : R R e uma funcao crescente, entao F tem limites laterais em todo ponto:
( )
F a+ = lim F (x) = inf F (x) ,
xa+ x>a
( )
F a = lim F (x) = sup F (x) ,
xa x<a
F () = inf F (x) ,
x

F (+) = sup F (x) ,

x+

admitindo que podemos ter F () = e F (+) = +. Se F (a+ ) = F (a) para todo a R, dizemos
que F e contnua a direita.

1.37 Proposicao. Seja F : R R uma funcao crescente, contnua a direita. Se (ai , bi ], i = 1, . . . , n, sao
intervalos semiabertos disjuntos, defina () = 0 e
( n )

n
(ai , bi ] = [F (bi ) F (ai )] .
i=1 i=1

Entao e uma pre-medida na algebra J .

Prova. Primeiro precisamos vericar que esta bem denida, pois os elementos de J podem ser repre-
sentados como unioes disjuntas de intervalos semiabertos de varias maneiras. No caso especial em que
(ai , bi ], i = 1, . . . , n, sao intervalos semiabertos disjuntos tais que

n
(ai , bi ] = (a, b],
i=1

e assumindo (apos um reindexamento, se necessario) a = a1 < b1 = a2 < b2 = . . . < bn = b, segue entao que

n
[F (bi ) F (ai )] = F (b) F (a) .
i=1

No caso geral, se {Ii }i=1,...,n e {Jj }j=1,...,m sao colecoes nitas de intervalos semiabertos disjuntos tais que
n
m
Ii = Jj , entao o mesmo argumento mostra que
i=1 j=1

n
n
m
m
n
m
(Ii ) = (Ii Jj ) = (Ii Jj ) = (Jj ) .
i=1 i=1 j=1 j=1 i=1 j=1

Por denicao, e nitamente aditiva. Para provar que e -aditiva, seja {Ii }iN uma sequencia de


intervalos semiabertos disjuntos tais que Ii J . Isso signica que Ii e uma uniao nita de interva-
i=1 i=1


los semiabertos disjuntos, logo, invocando a aditividade nita, podemos assumir que Ii e um intervalo
i=1
semiaberto I = (a, b]. Temos
( ) ( n ) ( / n ) ( n )

n
(I) = Ii = Ii + I Ii > Ii = (Ii ) ,
i=1 i=1 i=1 i=1 i=1
Rodney Josue Biezuner 20

de modo que fazendo n conclumos que

(I) > (Ii ) .
i=1

Para provar a desigualdade reversa, denotemos Ii = (ai , bi ] e vamos supor primeiro que < a < b < +.
Fixe > 0. Como F e contnua a direita, existe > 0 tal que

F (a + ) F (a) <

e para cada i existe i > 0 tal que

F (bi + i ) F (bi ) < .
2i
Os intervalos abertos (ai , bi + i ) cobrem o intervalo compacto [a + , b], logo podemos extrair uma subco-
bertura nita. Podemos assumir (reindexando, se necessario, e descartando os intervalos (ai , bi + i ) que
estao contidos em intervalos maiores) que:
(i) os intervalos (a1 , b1 + 1 ) , . . . , (aN , bN + N ) cobrem [a + , b];
(ii) a1 < a2 < . . . < aN ;
(iii) bi + i (ai+1 , bi+1 + i+1 ) para i = 1, . . . , N 1.
Da,

(I) = F (b) F (a) 6 F (b) F (a + ) +

6 F (bN + N ) F (a1 ) +

N 1
= F (bN + N ) F (aN ) + [F (ai+1 ) F (ai )] +
i=1

N 1
6 F (bN + N ) F (aN ) + [F (bi + i ) F (ai )] +
i=1

N
N
N
= [F (bi + i ) F (ai )] + 6 [F (bi + i ) F (bi )] + [F (bi ) F (ai )] +
i=1 i=1 i=1

6 (Ii ) + 2.
i=1

Como e arbitrario, isso termina o argumento nos casos em que a, b sao nitos. Se a = , o mesmo
argumento produz


F (b) F (M ) 6 (Ii ) + 2
i=1

para qualquer 0 < M < +, enquanto que se b = + obtemos

F (M ) F (a) 6 (Ii ) + 2.
i=1

O resultado segue fazendo 0 e M . 

1.38 Teorema. Se F : R R e uma funcao crescente, contnua a direita, entao existe uma unica medida
F em BR tal que
F ((a, b]) = F (b) F (a)
para todos a, b R.
Rodney Josue Biezuner 21

Se G : R R e uma outra tal funcao, entao F = G se e somente se F G e constante.

Reciprocamente, se e uma medida que e finita em todos os conjuntos de Borel limitados e definirmos

((0, x]) se x > 0,
F (x) = 0 se x = 0,

((x, 0]) se x < 0,

entao F e uma funcao crescente, contnua a direita e = F .

Prova. Pela proposicao anterior, F induz uma pre-medida na algebra J . Claramente, F e G induzem a

+
mesma pre-medida se e somente se F G e constante. Estas pre-medidas sao -nitas pois R = (i, i+1].
i=
As primeiras armativas do enunciado seguem do Teorema 1.32. Com relacao a recproca, a monotonicidade
de implica a monotonicidade de F e a continuidade de acima e abaixo implica a continuidade a direita
de F . Como = F em J , da unicidade do Teorema 1.32 segue que = F em BR . 

1.39 Observacao. A teoria poderia ser desenvolvida da mesma forma usando intervalos semiabertos a
direita e funcao contnua a esquerda.
1.40 Definicao. O completamento da medida F sera denotada por este mesmo smbolo (o seu domnio e
quase sempre maior que o domnio de F ). Esta medida completa e chamada a medida de Lebesgue-
Stieltjes associada a F .

1.5.3 Propriedades de Regularidade da Medida de Lebesgue-Stieltjes

Seja F uma funcao contnua a direita e a medida de Lebesgue-Stieltjes associada a F . Denote o domnio
de por M. Para qualquer E M temos, por denicao de medida exterior,
{
} {
}

(E) = inf |F (bi ) F (ai )| : E (ai , bi ] = inf ((ai , bi ]) : E (ai , bi ] .
i=1 i=1 i=1 i=1

Primeiro mostraremos que podemos substituir intervalos semiabertos por intervalos abertos:

1.41 Lema. Para todo E M temos

{
}

(E) = inf ((ai , bi )) : E (ai , bi ) .
i=1 i=1

Prova. Denotemos o numero a direita por (E).

(E) > (E). ( ]

Li Li

Se E (ai , bi ), sejam Li = bi ai e Iik = bi k1 , bi k , de modo que (ai , bi ) = Iik . Em
i=1 2 2 k=1


particular, E Iik e
i,k=1



(ai , bi ) = (Iik ) > (E) .
i=1 i,k=1

(E) 6 (E).
Dado > 0, por denicao existe uma cobertura {(ai , bi ]}iN de E com


((ai , bi )) 6 (E) +
i=1
Rodney Josue Biezuner 22

e para cada k existe k > 0 tal que F (bi + i ) F (bi ) < k
. Entao E (ai , bi + i ) e
2 i=1

((ai , bi + i )) = [ ((ai , bi ]) + ((bi , bi + i ])] = ((ai , bi ]) + [F (bi + i ) F (bi )]
i=1 i=1 i=1 i=1

6 ((ai , bi ]) + 6 (E) + 2.
i=1

1.42 Teorema. Para todo E M temos

(E) = inf { (U ) : E U e U e aberto} = sup { (K) : K E e K e compacto} .

Prova. Se U e aberto e U E, entao (U ) > (E). Por outro lado, pela caracterizacao dos abertos da
reta, todo aberto U e uma uniao enumeravel de intervalos abertos disjuntos, digamos


U= (ai , bi ) ,
i=1

logo,


(U ) = ((ai , bi ))
i=1

e pelo lema anterior segue o resultado para abertos. No segundo caso, suponha E limitado. Se E = E, entao
E e compacto e o resultado e obvio. Caso contrario, dado > 0, existe um aberto U E\E tal que
( )
(U ) 6 E\E + .

Seja K = E\U . Entao K e compacto, K E e

(K) = (E) (E U )
= (E) [ (U ) (U \E)]
( )
> (E) (U ) + E\E
> (E) .

Como e arbitrario, segue o resultado no caso em que E e limitado. Se E e nao limitado, seja Ej = E(i, i+1].
Pelo argumento anterior, para cada > 0 existe um compacto Ki Ei tal que

(Ki ) > (Ei ) .
2i

e n = Ki E. Temos
n
Para cada n, considere o compacto K
i=n
( )
( )
n
ei >
K Ei
i=n
( )

n
e como (E) = lim Ei , segue o resultado. 
n i=n
Rodney Josue Biezuner 23

1.43 Teorema. Para todo E R as seguintes afirmacoes sao equivalentes

(a) E M.
(b) E = V \N1 onde V e uma intersecao enumeravel de conjuntos abertos e (N1 ) = 0.
(c) E = H N2 onde H e uma uniao enumeravel de conjuntos fechados e (N2 ) = 0.

Prova. (b) e (c) implicam (a) porque e completa. Seja E M e assuma E limitado. Pelo teorema
anterior, para todo i N podemos escolher um aberto Ui E e um compacto Ki E tais que
1 1
(Ui ) 6 (E) 6 (Ki ) + i
2i 2



Tome V = Ui e H = Ki . Entao (V ) = (E) = (H) < , logo (V \E) = (E\H) = 0. O caso
i=1 i=1
em que E nao e limitado e deixado como exerccio. 
O signicado deste resultado e que todos os conjuntos de Borel (na verdade, todos os conjuntos em M) sao
de uma forma razoavelmente simples, a menos de conjuntos de medida nula.

1.5.4 Medida de Lebesgue

1.44 Definicao. A medida de Lebesgue-Stieltjes F associada a funcao identidade F (x) = x sera denotada
por m. Ela e chamada a medida de Lebesgue. O domnio de m e chamado a classe dos conjuntos
Lebesgue-mensuraveis e sera denotada por L.

1.45 Teorema. Se E R e t, r R, considere a translacao e a dilacao de E:

E + t = {x + t : s E} ,
rE = {rx : x E}

Se E L, entao E + t L e rE L para todos t, r R. Alem disso,

m (E + t) = m (E) ,
m (rE) = |r| m (E) .

Prova. Como a colecao de intervalos abertos e invariante sob translacoes e dilacoes, o mesmo vale para BR .
Em BR , dena as medidas mt (E) = m (E + t) e mr (E) = m (rE). Como mt e mr coincidem respecti-
vamente com m e |r| m em intervalos nitos, pelo Teorema 1.32 elas coincidem em BR . Em particular, se
E BR e tal que m (E) = 0 segue que m (E + t) = m (rE) = 0, logo segue o resultado para L. 

1.5.5 Exerccios
1.5.1 Complete a demonstracao do Teorema 1.43.

1.5.2 Usando o Teorema 1.42, prove que se E e um conjunto de medida nita, entao para todo > 0 existe
um conjunto U que e uma uniao nita de intervalos abertos tal que (EU ) < .

1.5.3 Sejam F uma funcao crescente e contnua a direita e F a medida associada. Prove que
( )
F ({a}) = F (a) F a ,
( ) ( )
F ([a, b)) = F b F a ,
( )
F ([a, b]) = F (b) F a ,
( )
F ((a, b)) = F b F (a) .
Rodney Josue Biezuner 24

1.5.4 Seja E um conjunto Lebesgue-mensuravel. Prove que

(a) Se E N , onde N e o conjunto nao-mensuravel do Contraexemplo 1.1, entao m (E) = 0.
(b) Se m (E) > 0, entao E contem um conjunto nao-mensuravel.
1.5.5 Mostre que se E L e m (E) > 0, para todo < 1 existe um intervalo aberto I tal que m (E I) >
m (I).
1.5.6 Mostre que se E L e m (E) > 0, o conjunto E E = {x y : x, y E} contem um intervalo
centrado em 0.

1.5.6 O conjunto de Cantor

A medida de Lebesgue de um conjunto unitario {x}, consistindo de um unico ponto, e 0, pois
(( ))
1 1 2
m ({x}) = lim m x ,x + = lim = 0.
n n n n n

Consequentemente, a medida de Lebesgue de qualquer conjunto enumeravel {xn }nN tambem e 0, pois

( )
m {xn }nN = m ({xn }) = 0.
n=1

Em particular, m (Q) = 0. No entanto, existem conjuntos nao enumeraveis com medida de Lebesgue igual a
0. O exemplo mais interessante e o conjunto de Cantor.
O conjunto de Cantor e construdo da seguinte forma. Todo ponto x [0, 1] possui uma representacao
decimal na base 3 da forma

an
x=
n=1
3n
p
com an = 0, 1 ou 2. Esta expansao e unica, a menos que x seja da forma q para alguns inteiros p, q; neste
3
caso, ha duas representacoes possveis, uma com an = 0 para todo n > q e uma com an = 2 para todo n > q,
porque

2 2 1 2 1 1
= = q+1 = q.
n=q+1
3 n 3q+1
n=0
3n 3 1 31 3

Por exemplo, o numero

49 1 33 + 2 32 + 1 31 + 1 30 1 2 1 1
= 5
= 2+ 3+ 3+ 5
243 3 3 3 3 3
tem as representacoes
0.01211000 . . .
e
0.01210222 . . .
Convencionaremos usar sempre a segunda representacao. Desta forma, temos
1 2
a1 = 1 se e somente se <x< ,
3 3
1 2 7 8
a2 = 1 se e somente se < x < ou < x <
9 9 9 9
Rodney Josue Biezuner 25

1 2 2 1 2 2
ou seja, se < x < 2 ou + 2 < x < + 2 e, em geral,
32 3 3 3 3 3
1
an = 1 se e somente se x esta no intervalo medio entre cada tres subintervalos de comprimento comecando de 0.
3n
O conjunto de Cantor e entao denido da seguinte forma:
{
}
an
C = x [0, 1] : x = com an = 1 para todo n
n=1
3n

ou, em outras palavras, C e construdo indutivamente

( ) da seguinte forma: no primeiro passo retira-se do
1 2
intervalo [0, 1] o seu terco medio aberto , ; no segundo passo, retira-se os tercos medios abertos de
[ ] 3 [3 ] ( ) ( )
1 2 1 2 7 8
cada um dos dois intervalos restantes 0, e , 1 , isto e, retira-se os intervalos abertos , e , ,
[ ] [3 ] 3[ ] [ ] 9 9 9 9
1 2 1 2 7 8
sobrando os intervalos fechados 0, , , , , e , 1 ; no terceiro passo, retira-se os tercos medios
9 9 3 3 9 9
de cada um destes quatro intervalos e assim por diante. Obtem-se um conjunto compacto, totalmente
desconexo e que nao tem pontos isolados.

1.46 Proposicao. O conjunto de Cantor e nao enumeravel, mas tem medida nula.
a
n an
Prova. Se x C, entao x = n
com an = 0 ou an = 2. Dena bn = e f : C [0, 1] por
n=1 3 2

bn
f (x) = ,
n=1
2n

ou seja, f (x) e a representacao decimal em base 2 de um numero do intervalo [0, 1]. E facil ver que f e
sobrejetiva, logo o conjunto de Cantor tem a mesma cardinalidade do contnuo.
1
Para ver que m (C) = 0, observe que C e obtido removendo-se um intervalo de comprimento , 2
3
1 1
intervalos de comprimento , 4 intervalos de comprimento e assim por diante. Logo,
9 27
( )n
2n1 1 2 1 1
m (C) = 1 =1 =1 = 0.
3n 3 n=0 3 3 2
n=1 1
3


1.5.7 Exerccios
1.5.7 Mostre que o conjunto de Cantor e compacto.
1.5.8 Prove que o conjunto de Cantor e totalmente desconexo e nao e denso em lugar nenhum, no sentido
que se x, y C e x < y entao existe z
/ C tal que x < z < y.
1.5.9 Mostre que o conjunto de Cantor nao possui pontos isolados. Portanto, todos os pontos do conjunto
de Cantor sao pontos de acumulacao deste.
1.5.10 Prove que o conjunto de Cantor e perfeito, no sentido que todo ponto nele e o limite de uma sequencia
de pontos distintos de C.
Rodney Josue Biezuner 26

1
1.5.11 Mostre que C, apesar de nao estar na extremidade de nenhum intervalo removido de [0, 1] na
4
construcao de C.

1.5.12 A funcao de Cantor : [0, 1] [0, 1] e denida a partir da funcao f na demonstracao da

Proposicao 1.46 da seguinte forma. E facil ver que se x, y C e x < y entao f (x) < f (y), a menos que
p
x e y sejam extremos de um dos intervalos removidos de [0, 1] para obter C. Neste caso, x = q para
3
alguns inteiros p, q e f (x) = f (y) sao as expansoes na base 2 destes numeros (por que?). Podemos
estender f no intervalo entre x e y como sendo este numero e assim obtemos a funcao de Cantor.Prove
que
(a) (0) = 0 e (1) = 1.
(b) e crescente (mas nao estritamente crescente).
(c) e contnua, portanto uniformemente contnua.

(d) existe q.t.p. e = 0 q.t.p.
Referencias Bibliograficas

[Folland] FOLLAND, Gerald. B., Real Analysis, John Wiley & Sons, 1984.
[Halmos] HALMOS, Paul R., Measure Theory, Van Nostrand, 1950.

[Richardson] RICHARDSON, Leonard F., Measure and Integration, John Wiley & Sons, 2009.
[Vestrup] VESTRUP, Eric M., The Theory of Measures and Integration, John Wiley & Sons,
2003.

27