Notas de Aula

Medida e Integra
c
ao
Rodney Josu
e Biezuner

Departamento de Matematica
Instituto de Ciencias Exatas (ICEx)
Universidade Federal de Minas Gerais (UFMG)

Notas de aula do curso Medida e Integraca

o do Programa
de P
os-Graduaca
o em Matem
atica, ministrado no primeiro semestre de 2012.

27 de marco de 2012

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

Sum
ario
1 Medidas
1.1 Introduc
ao . . . . . . . . . . . . . . .

1.2 -Algebras
. . . . . . . . . . . . . . .
1.2.1 Denic
ao . . . . . . . . . . .
1.2.2 Exemplos . . . . . . . . . . .
1.2.3 A -algebra de Borel . . . . .
1.2.4 -
algebras produto . . . . . .
1.2.5 Exerccios . . . . . . . . . . .
1.3 Medidas . . . . . . . . . . . . . . . .
1.3.1 Denic
ao . . . . . . . . . . .
1.3.2 Propriedades . . . . . . . . .
1.3.3 Medidas Completas . . . . .
1.3.4 Exerccios . . . . . . . . . . .
1.4 Medidas Exteriores . . . . . . . . . .
1.4.1 O Teorema de Caratheodory
1.4.2 Pre-medidas . . . . . . . . . .
1.4.3 Exerccios . . . . . . . . . . .
1.5 Medidas de Borel na Reta . . . . . .
1.5.1 Famlias Elementares . . . . .
1.5.2 Medida de Lebesgue-Stieltjes
1.5.3 Propriedades de Regularidade
1.5.4 Medida de Lebesgue . . . . .
1.5.5 Exerccios . . . . . . . . . . .
1.5.6 O conjunto de Cantor . . . .
1.5.7 Exerccios . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
da Medida de Lebesgue-Stieltjes
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

2
2
3
3
4
5
5
7
8
8
9
10
11
13
14
15
17
17
18
19
21
23
23
24
25

Captulo 1

Medidas
1.1

Introduc
ao

Idealmente, gostaramos de denir uma funcao medida no espaco euclidiano Rn que atribuisse a todo
subconjunto E Rn um n
umero (E) > 0 que satiszesse as seguintes propriedades:
(i) Se {Ei }iN e uma colec
ao 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), ent
ao (E) = (F ).
(iii) Se C = [0, 1)n e o cubo unitario de Rn , entao (C) = 1.
Infelizmente estas condic
oes 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 n
umeros
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 u
nico 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 ent
ao 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 func
ao medida : P (Rn ) [0, ] que satisfaz as tres condicoes acima, teramos por (iii) e
(i) que

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

qQ

Rodney Josue Biezuner

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

Portanto, ou


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

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

qQ

Enfraquecer a condic
ao (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 n
umero nitos de partes de tal forma a faze-lo ter a medida de qualquer outro subconjunto
claro que estas partes devem ter formas altamente bizarras, impossveis de imaginar, ja que em
de Rn ! E
u
ltima 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 aplicac
oes praticas de Matematica (e nao casos patologicos, construdos especicamente 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 noc
ao de medida.

1.2.1

Definic
ao

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, ent
ao
Ei A;
i=1

(ii) se E A, ent
ao E c = X A A.
1.2 Defini
c
ao. Seja X um conjunto nao vazio. Uma -
algebra
em X e uma algebra que e fechada tambem
sob unioes enumer
aveis, ou seja, se {Ei }iN A, entao
Ei A.
iN

1.3 Proposi
c
ao. -
algebras [
algebras] s
ao fechadas tambem sob intersec
oes enumer
aveis [finitas].
Prova. Lembrando a lei de deMorgan

)c
Ei

Eic

i
c

(o complementar da uniao e a intersec

ao dos complementares), e como (Eic ) = Ei , temos imediatamente
que
(
)c

c
Ei =
Ei
.
i

Rodney Josue Biezuner

1.4 Proposi
c
ao. 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 Proposi
c
ao. Se A e uma
algebra, ent
ao A e uma -
algebra se ela e fechada sob uni
oes enumer
aveis
disjuntas.
Prova. Seja {Ei }iN A. Dena
F1 = E1 ,
F2 = E2 \E1 ,
F3 = E3 \ (E1 E2 ) ,
e, em geral,
Fj = Ej

\j1

Ei = Ej

(j1

i=1

)c
Ei

i=1

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

iN

Ei =

Fj .

jN


A tecnica introduzida na demonstrac
ao da proposicao anterior de substituir uma sequencia de conjuntos por
uma sequencia de conjuntos disjuntos obtendo a mesma uniao e extremamente u
til 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 enumer
aveis ou coenumer
aveis. 
1.8 Exemplo. A intersec
ao 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. 
ao M(E) M(F). Em particular, se E F, ent
ao M(E) M(F).
1.9 Proposi
c
ao. Se E M(F), ent
Prova. A primeira armac
ao 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

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 Proposi
c
ao. 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
(
)
a n1 , b ). Todos estes conjuntos sao conjuntos de Borel,
enumeraveis de abertos (por exemplo, [a, b) =
nN

logo pela Proposic

ao 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=

(
)
e : X X a aplicac
ao projecao, isto e, (x )A = x . Se M e uma -algebra em X
para cada , ent
ao 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:
{
}

Mi e a -
algebra gerada por
Ei : Ei Mi .
1.13 Proposi
c
ao.
iN

Prova. Se Ei Mi , ent
ao

iN

i1 (Ei ) =

jN

Ej ,

Rodney Josue Biezuner

6
{

onde
Ej =

Ei
Xj

se j = i,
se j =
i.

Portanto, como Mi contem Xi (Proposicao 1.4), temos que

}
{

{ 1
}
i (Ei ) : Ei Mi , i N
Ei : Ei Mi ,
iN

donde, pela segunda armac

ao da Proposicao 1.9,
({
})

Mi M
Ei : Ei Mi
.
iN

Temos tambem, em particular, que

Ei =

iN

logo,

i1 (Ei ) ,

iN

}
Ei : Ei Mi

(1.1)

iN

({

i1 (Ei ) : Ei Mi , i N

iN

})

Mi .

iN

Segue da primeira armac

ao da Proposic
ao 1.9 que
({
})

M
Ei : Ei Mi

Mi .
iN

De (1.1) e (1.2), temos que

(1.2)

iN

({
Mi = M

})
Ei : Ei Mi

iN

iN


1.14 Lema. Seja M = M(E ). Ent
ao
No caso enumer
avel, temos

{
}
M = M( 1 (E ) : E E , A ).

({

Mi = M

iN

})
Ei : Ei Ei
.

iN

{
}

M . Por outro lado, para cada A, o

Prova. Por denic
ao, M( 1 (E ) : E E , A )
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
,

{
}

para todo E M , logo

M M( 1 (E ) : E E , A ).
A

A segunda armac
ao segue da primeira como na demonstracao da proposicao anterior. 
1.15 Teorema. Sejam X1 , . . . , Xn espacos metricos e X =
n

i=1

BXi BX .

i=1

Se X1 , . . . , Xn s
ao separ
aveis, ent
ao

i=1

BXi = BX .

Xi equipado com a metrica produto. Ent

ao

Rodney Josue Biezuner

Prova. Pela primeira armac

ao 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 .
i=1
{ k}
Assuma agora que X1 , . . . , Xn sao separaveis. Seja xj kN um subconjunto enumeravel denso em Xj
para cada j e Ej a colec
ao enumer
avel 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 s
ao simplesmente produtos de bolas de raio r nos Xj , logo

BX = M
Ej : Ej Ej .

i=j

Segue da segunda armac

ao do lema anterior que BX =

iN

1.16 Corol
ario. BRn =

1.2.5

i=1

M(E j ) =

BXj . 

iN

BR .

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 func
ao. 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

algebra gerada por um subconjunto qualquer E P (X), entao M e a uniao

1.2.4 Mostre que se M e a -
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, ent
ao E F R;
(ii) se E, F R, ent
ao 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], ent
ao R e uma algebra [resp. -algebra] se e somente se X R.
ao R.
1.2.6 Mostre que se R e um anel, ent
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 colec
ao nao vazia R P (X) fechada sob unioes nitas [resp. intersecoes nitas] e
diferencas simetricas e um anel.

Rodney Josue Biezuner

1.3

Medidas

1.3.1

Definic
ao

1.17 Defini
c
ao. 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 colec
ao enumeravel disjunta, entao
( )

Ei =
(Ei ) .
i=1

i=1

(X, M) e chamado um espa

co mensur
avel, os conjuntos em M sao chamados conjuntos mensur
aveis e (X, M, ) e chamado um espa
co de medida.
A propriedade (ii) e chamada aditividade enumer
avel. Ela implica aditividade finita (tomando Ei =
para i > n): se E1 , . . . , En M s
ao 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 Defini
c
ao. 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, ent

ao 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

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

coenumer
aveis, ent
ao a func
ao 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 Proposi
c
ao. Seja (X, M, ) um espaco de medida. Valem as seguintes propriedades:
(a) (Monotonicidade) Se E, F M e E F , ent
ao (E) 6 (F ).
( )

(b) (Subaditividade) Se {Ei }iN M, ent

ao
Ei 6
(Ei ).
i=1

i=1

(c) (Continuidade por baixo) Se {Ei }iN M e E1 E2 . . ., ent

ao

i=1

)
Ei

= lim (Ei ).
i

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

Ei = lim (Ei ).
i

i=1

Prova. (a) Se E F , ent

ao (F ) = (F \E) + (E) > (E).
(b) Como na demonstrac
ao da Proposic
ao 1.5, denindo F1 = E1 e Fj = Ej
disjuntos,

Ei =

i=1

Fj e Fj Ej . Logo

j=1

)
Ei

i=1

Fj =

j=1

(Fj ) 6

j=1

(c) Tomando E0 = , como a sequencia e crescente temos

i=1

)
Ei

)
(Ei \Ei1 )

i=1

Ei =

(Ei \Ei1 ) = lim

i=1

au
ltima igualdade decorrendo do fato de En =

(Ej ) .

j=1

i=1

Ei segue que os Fj sao

i=1

logo

\j1

(Ei \Ei1 ) e esta uniao e disjunta,

i=1
n

(Ei \Ei1 ) = lim (En ) ,

i=1

(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=1

j=1

j=n+1

j=1

Ej + lim (En \Ej ) =

j

Ej + lim [ (En ) (Ej )]

j

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 Defini
c
ao. Seja (X, M, ) um espaco de medida. Se (E) = 0, entao dizemos que E e um conjunto
de medida nula.
Uma armac
ao 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, ent
ao 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 Defini
c
ao. 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 Proposi
c
ao. Seja (X, M, ) um espaco de medida. Seja N = {N M : (N ) = 0} a colec
ao dos
conjuntos de medida nula de X e defina
M = {E F : E M e F N para algum N N } .
Ent
ao M e uma -
algebra e existe uma u
nica extens
ao 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

(E F ) = (E N ) (F N c ) = (E N ) (N \F ) .
c

Como M e uma algebra, segue que (E N ) M e obviamente N \F N , logo(E F ) M.

Existencia da extens
ao . 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 Fi ) ,
(Ei ) =
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 , ent
ao V = V com M e V E N N , logo V M.
Unicidade da extens
ao . 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

1.3.1 Mostre que se 1 , . . . , n sao medidas em (X, M) e a1 , . . . , an [0, ), entao

i=1

em (X, M).
1.3.2 Dena
lim inf En =
lim sup En =

k=1 n=k

k=1 n=k

En ,
En .

ai i e uma medida

Rodney Josue Biezuner

12

(a) Verique que

lim inf En = {x : x En para todos exceto por um n
umero innito de ndices n} ,
lim sup En = {x : x En para um n
umero 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
Proposic
ao 1.22 (c).
Mostre que uma medida nitamente aditiva e uma medida se e somente se ela satisfaz a conclusao
da Proposic
ao 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 relac
ao 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
mensur
aveis.
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 u
nica) 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

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

e (E) =

se E M,
caso contrario.

(E)

Entao
e e uma medida saturada, chamada a satura
c
ao de .
(d) Se e completa,
e tambem e.
f
(e) Suponha que e seminita. Dena em M

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

Entao
b e uma medida saturada que estende .

1.4

Medidas Exteriores

Nesta secao desenvolveremos as ferramentas usadas para construir medidas u

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

i=1

)
Ai

(Ai ) .

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 ent
ao 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 Proposi
c
ao. 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

Ent
ao e uma medida exterior.
Prova. Como A X E, est
a 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
{ }

E tal que
A=
Ai . Por denic
ao de , dado > 0, para cada j existe uma famlia Eij
iN

i=1

( )

Eij 6 (Aj ) + j .
2
i=1

Rodney Josue Biezuner

Como A

i,j=1

14

Eij e

( )
Eij 6
(Aj ) +

i,j=1

segue que (A) 6

j=1

(Ai ) + . Como e arbitrario, segue o resultado. 

i=1

1.4.1

O Teorema de Carath
eodory

1.28 Defini
c
ao. Se e uma medida exterior em X, dizemos que um subconjunto A X e -mensur
avel
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 Carath
eodory) Se e uma medida exterior em X, ent
ao a colec
ao M

dos conjuntos -mensur

aveis e uma -
algebra e a restric
ao 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 denic
ao 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 u

ltima 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 enumer

avel disjunta e denote Bn =
Ai e B =
Ai ; note que como M e
uma algebra, temos que cada Bn M. Para todo E X temos

i=1

i=1

(E Bn ) = (E Bn An ) + (E Bn Acn ) = (E An ) + (E Bn1 ) ,

Rodney Josue Biezuner

15

donde, por induc

ao,
(E Bn ) =

(E Ai ) .

i=1

Da,

(E) = (E Bn ) + (E Bnc ) >

(E Ai ) + (E B c ) .

i=1

Fazendo n , segue que

(E) >

(E Ai ) + (E B ) >

i=1

))

Ai

i=1

logo

)
(E Ai )

+ (E B c )

i=1

)c )

Ai

i=1

Ai M.

i=1

|M e uma medida completa.

Seja {Ai }iN M uma sequencia enumeravel disjunta como no argumento anterior. Na u
ltima sequencia
de desigualdades, como
(
( ))
(
( )c )

Ai
Ai
(E) >
(E Ai ) + (E B ) > E
+ E
> (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

i=1

(Ai ) ,

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

Pr
e-medidas

Usando o teorema de Caratheodory poderemos estender medidas denidas em algebras a medidas denidas
em -algebras.
1.30 Defini
c
ao. Seja X um conjunto equipado com uma algebra A. Uma pr
e-medida em A e uma funcao
: A [0, ] que satisfaz
(i) () = 0;
(ii) se {Ei }iN A e uma colec
ao enumeravel disjunta tal que

i=1

)
Ei

i=1

i=1

(Ei ) .

Ei A, entao

Rodney Josue Biezuner

16

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

1.31 Proposi
c
ao. Se e uma pre-medida e e a medida exterior induzida por , ent
ao
(a) |A = ;
(b) todo conjunto em A e -mensur
avel.

Prova. (a) Se E A e E

Ai com Ai A para todo i, seja

i=1

(
Bn = E

An

\n1

)
Ai

i=1

de modo que Bn A, os conjuntos Bn sao disjuntos e

Bn = E. Logo,

n=1

(E) =

(Bn ) 6

n=1

(An ) ,

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) +

i=1

(Bi Ac ) > (E A) + (E Ac ) .

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.
Ent
ao = |M define uma medida em M cuja restric
ao a A e . Se e uma outra tal medida em
M, ent
ao (E) 6 (E) para todo E M, a igualdade valendo se (E) < . Se e -finita, ent
ao
e a u
nica extens
ao de a uma medida em M.
Prova. A primeira armac
ao segue do Teorema de Caratheodory e da proposicao anterior, ja que a -algebra
dos conjuntos -mensur
aveis inclui A.

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

(E) 6

(Ai ) =

i=1

logo (E) 6 (E). Alem disso, denotando A =

(
(A) = lim
n

Ai , temos que

i=1
n

i=1

Ai

(Ai ) ,

i=1

(
= lim
n

i=1

)
Ai

= (A)

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).

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

que para qualquer E M temos

(E) =

(E Ai ) =

i=1

(E Ai ) = (E) ,

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, ent
ao
(
( ))

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 intersec
oes enumer
aveis 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) < , ent
ao E e -mensuravel se e somente se existe B A tal que E B e

(B\E) = 0.
(c) Se e -nita, entao a restric
ao (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 -mensur
avel se e somente se (E) = (E).
1.4.4 Sejam uma medida exterior induzida por uma pre-medida e a restricao de aos conjuntos
-mensur
aveis. Prove que e saturada.
1.4.5 Sejam (X, M, ) um espaco de medida, a medida exterior induzida por , M a -algebra dos
conjuntos -mensur
aveis e
e = |M . Prove as armativas a seguir.
(a) Se e -nita, ent
ao
e e o completamento de .
(b) No caso geral,
e e a saturac
ao do completamento de .

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 sec
ao, 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

1.5.1

18

Famlias Elementares

1.33 Defini
c
ao. 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, ent
ao E F E;
(iii) se E E, ent
ao E c pode ser escrito como uma uniao nita disjunta de elementos de E.
1.34 Exemplo. A colec
ao 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,

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

(c, d]
se b > c e b > d.
Alem disso, (a, b]c = (, a] (b, +) e uma uniao disjunta de dois intervalos semiabertos. 
ao a colec
ao J das uni
oes finitas disjuntas de ele1.35 Proposi
c
ao. Se E e uma famlia elementar, ent
mentos de E e uma
algebra.
Prova. Para simplicar a notac
ao 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 induc
ao 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. Ent
ao,
( n
)c
n
(
)

( 1
)
Ai
=
Bi Bi2 =
B1j1 . . . Bnjk .

Bi1 , Bi2

i=1

i=1

j1 ,...,jk =1,2


ao A das uni
oes finitas disjuntas de intervalo semiabertos e uma
algebra em R.
1.36 Corol
ario. A colec
Alem disso, a -
algebra gerada por esta
algebra e exatamente a -
algebra de Borel BR .
Prova. A u
ltima armativa segue da Proposicao 1.11 (c). 

Rodney Josue Biezuner

1.5.2

19

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) ,
x>a
xa+
( )
F a = lim F (x) = sup F (x) ,
xa

F () =

x<a

inf F (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 Proposi
c
ao. Seja F : R R uma funca
o crescente, contnua `
a direita. Se (ai , bi ], i = 1, . . . , n, s
ao
intervalos semiabertos disjuntos, defina () = 0 e
( n
)
n

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

i=1

Ent
ao e uma pre-medida na
algebra J .
Prova. Primeiro precisamos vericar que esta bem denida, pois os elementos de J podem ser representados 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 , ent
ao o mesmo argumento mostra que
i=1

j=1
n

(Ii ) =

i=1

n
m

(Ii Jj ) =

i=1 j=1

m
n

(Ii Jj ) =

j=1 i=1

(Jj ) .

j=1

Por denic
ao, 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 intervai=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

.
2i
Os intervalos abertos (ai , bi + i ) cobrem o intervalo compacto [a + , b], logo podemos extrair uma subcobertura 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,
F (bi + i ) F (bi ) <

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

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

N
1

[F (ai+1 ) F (ai )] +

i=1

6 F (bN + N ) F (aN ) +

N
1

[F (bi + i ) F (ai )] +

i=1

=
6

i=1

[F (bi + i ) F (ai )] + 6

[F (bi + i ) F (bi )] +

i=1

[F (bi ) F (ai )] +

i=1

(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 func
ao crescente, contnua `
a direita, ent
ao existe uma u
nica 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 func

ao, ent
ao F = G se e somente se F G e constante.
Reciprocamente, se e uma medida que e finita em todos

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

((x, 0])

os conjuntos de Borel limitados e definirmos

se x > 0,
se x = 0,
se x < 0,

ent
ao F e uma func
ao crescente, contnua `
a direita e = F .
Prova. Pela proposic
ao 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 Observa
c
ao. A teoria poderia ser desenvolvida da mesma forma usando intervalos semiabertos `a
direita e func
ao contnua `a esquerda.
1.40 Defini
c
ao. 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 LebesgueStieltjes associada a F .

1.5.3

Propriedades de Regularidade da Medida de Lebesgue-Stieltjes

Seja F uma func

ao 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,
{
}
{
}

|F (bi ) F (ai )| : E
(ai , bi ] = inf
((ai , bi ]) : E
(ai , bi ] .
(E) = inf
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

i=1

}
(ai , bi ) .

i=1

Prova. Denotemos o n
umero `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
2
2
i=1
k=1

particular, E
Iik e
i,k=1

(ai , bi ) =

i=1

(Iik ) > (E) .

i,k=1

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

i=1

((ai , bi )) 6 (E) +

Rodney Josue Biezuner

22

e para cada k existe k > 0 tal que F (bi + i ) F (bi ) <

((ai , bi + i )) =

i=1

i=1

. Entao E
(ai , bi + i ) e
k
2
i=1

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

((ai , bi ]) +

i=1

[F (bi + i ) F (bi )]

i=1

((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, ent
ao (U ) > (E). Por outro lado, pela caracterizacao dos abertos da
reta, todo aberto U e uma uniao enumer
avel 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 . Ent
ao 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

n
e n = Ki E. Temos
Para cada n, considere o compacto K
i=n

ei >
K

i=n

(
e como (E) = lim
n

i=n

)
Ei , segue o resultado. 

)
Ei

Rodney Josue Biezuner

23

1.43 Teorema. Para todo E R as seguintes afirmac

oes s
ao equivalentes
(a) E M.
(b) E = V \N1 onde V e uma intersec
ao enumer
avel de conjuntos abertos e (N1 ) = 0.
(c) E = H N2 onde H e uma uni
ao enumer
avel 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
(Ui )
Tome V =

Ui e H =

i=1

1
1
6 (E) 6 (Ki ) + i
2i
2

Ki . Ent
ao (V ) = (E) = (H) < , logo (V \E) = (E\H) = 0. O caso

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 Defini
c
ao. 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-mensur
aveis e sera denotada por L.
1.45 Teorema. Se E R e t, r R, considere a translac
ao e a dilac
ao de E:
E + t = {x + t : s E} ,
rE = {rx : x E}
Se E L, ent
ao 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 colec
ao 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 respectivamente 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 demonstrac

ao 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 func
ao 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, ent
ao 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 u

nico 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=
3n
n=1
p
com an = 0, 1 ou 2. Esta expansao e u
nica, a menos que x seja da forma q para alguns inteiros p, q; neste
3
caso, ha duas representac
oes possveis, uma com an = 0 para todo n > q e uma com an = 2 para todo n > q,
porque

2 1
2
1
1
2
=
= q+1
= q.
1
n
q+1
n
3
3
3
3
3
1 3
n=q+1
n=0
Por exemplo, o n
umero
49
1 33 + 2 32 + 1 31 + 1 30
1
2
1
1
=
= 2+ 3+ 3+ 5
5
243
3
3
3
3
3
tem as representac
oes
0.01211000 . . .
e
0.01210222 . . .
Convencionaremos usar sempre a segunda representacao. Desta forma, temos
a1 = 1 se e somente se
a2 = 1 se e somente se

1
2
<x< ,
3
3

2
7
8
1
< x < ou < x <
9
9
9
9

Rodney Josue Biezuner

ou seja, se

25

1
2
2
1
2
2
< x < 2 ou + 2 < x < + 2 e, em geral,
32
3
3 3
3 3

an = 1 se e somente se x est
a no intervalo medio entre cada tres subintervalos de comprimento

1
comecando de 0.
3n

O conjunto de Cantor e ent

ao denido da seguinte forma:
}
{

an
com an = 1 para todo n
C = x [0, 1] : x =
3n
n=1
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 ]
(
) (
)
2
1 2
7 8
1
e
, 1 , isto e, retira-se os intervalos abertos
,
e
,
,
cada um dos dois intervalos restantes 0,
9 9
9 9
[
] [3 ] 3[
] [
]
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 n
ao tem pontos isolados.
1.46 Proposi
c
ao. O conjunto de Cantor e n
ao enumer
avel, mas tem medida nula.
Prova. Se x C, ent
ao x =

an
n
com an = 0 ou an = 2. Dena bn =
e f : C [0, 1] por
n
3
2
n=1

f (x) =

bn
,
2n
n=1

facil ver que f e

ou seja, f (x) e a representac
ao decimal em base 2 de um n
umero do intervalo [0, 1]. 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

1 2
1 1
2n1
m (C) = 1
=1
=1
= 0.
n
2
3
3 n=0 3
3
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 ent
ao 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 acumulac
ao 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
construc
ao de C.
1.5.12 A fun
c
ao de Cantor : [0, 1] [0, 1] e denida a partir da funcao f na demonstracao da
facil ver que se x, y C e x < y entao f (x) < f (y), a menos que
Proposicao 1.46 da seguinte forma. E
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 n
umeros (por que?). Podemos
estender f no intervalo entre x e y como sendo este n
umero 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.

Refer
encias Bibliogr
aficas
[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