Академический Документы
Профессиональный Документы
Культура Документы
Medida e Integracao
1
Rodney Josue Biezuner
Departamento de Matematica
Instituto de Ciencias Exatas (ICEx)
Universidade Federal de Minas Gerais (UFMG)
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.
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;
2
Rodney Josue Biezuner 3
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
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.
F1 = E1 ,
F2 = E2 \E1 ,
F3 = E3 \ (E1 E2 ) ,
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}
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
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} .
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
logo, { }
({ })
Ei : Ei Mi M i1 (Ei ) : Ei Mi , i N = 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
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
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
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
(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
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
(E F ) = (E)
() = ( ) = () = 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.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
e que ( )
(lim sup En ) > lim sup (En ) , desde que En < .
n=1
(E) + (F ) = (E F ) + (E F ) .
E (A) = (A E)
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:
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
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) < .
(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
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
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
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
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 ) .
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 .
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
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
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) <
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
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
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 .
Primeiro mostraremos que podemos substituir intervalos semiabertos por intervalos abertos:
(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
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 + .
(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
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.
E + t = {x + t : s E} ,
rE = {rx : x E}
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
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
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
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.
[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