Professional Documents
Culture Documents
Medidas
Conte
udo
27.1
27.2
27.3
APENDICES
. . . . . . . . . . . . . . .
27.A Prova das F
ormulas de Inclus
ao-Exclus
ao . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1281
1284
1287
. 1294
1297
1299
1304
1304
presente captulo visa apresentar ao estudante a nocao de medida de conjuntos, algumas de suas propriedades b
asicas e exemplos elementares e, por fim, discutir uma construcao importante de medidas devida a
Caratheodory1. O caso importante da chamada medida de Lebesgue2 e discutido com essa base no Captulo
28, p
agina 1306. Comecaremos com uma discuss
ao parcialmente informal sobre os problemas b
asicos por tras
da nocao intuitiva de medida de conjuntos.
27.1
Carath
eodory (18731950).
L
eon Lebesgue (18751941).
1281
Vers
ao de 4 de dezembro de 2013.
Captulo 27
1282/2078
e o n
umero positivo (ou nulo) b a. Para um intervalo I como os de acima, denotemos por m(I) o seu comprimento.
Assim, por exemplo, m([a, b]) = b a, para todo a e b com b a.
Se um conjunto A R for formado pela uni
ao disjunta de dois intervalos I e J como os de acima, e tambem intuitivo
que o comprimento de A seja dado por m(A) = m(I) + m(J), ou seja, pela soma dos comprimentos dos intervalos
disjuntos que formam A. Se A for formado por uma uniao disjunta cont
avel de intervalos Ia , a N, ent
ao, igualmente,
e natural dizer que o comprimento total de A e dado por
m(A) =
m(Ia ) .
a=1
Note-se que n
ao exclumos a possibilidade de A ser um conjunto com comprimento infinito, como e o caso da semi-reta
[0, ), que, alias pode ser escrita como a uni
ao cont
avel disjunta de intervalos de comprimento 1 do tipo [n, n + 1) com
n N0 . Conjuntos com comprimento zero, como conjuntos com um so elemento {x} tambem existem.
Dessas nocoes extramos o seguinte princpio: se um conjunto A puder ser escrito como uma uniao disjunta cont
avel
de outros conjuntos Ba , a N, que possuem um comprimento bem definido (finito ou n
ao), ent
ao o comprimento de A
deve ser dado pela soma dos comprimentos de cada Ba , seja essa soma finita ou n
ao:
!
X
[
m
m(Ba ) .
Ba =
aN
aN
Outra propriedade razoavel que devemos supor do conceito de comprimento de um conjunto e que se A e B sao
conjuntos e A B ent
ao m(A) m(B). Note que podemos ter a igualdade mesmo que A seja um subconjunto proprio
de B. Esse e, por exemplo, o caso dos conjuntos A = (1, 3) e B = [1, 3] onde tanto A quanto B tem o mesmo
comprimento, a saber 2.
Por fim, uma u
ltima condicao razoavel que o a nocao usual de comprimento de subconjuntos da reta deve satisfazer
e o de invariancia por translacoes. Seja E R. Denotemos por Ex , ou por E + x, o conjunto E transladado por um
n
umero x R, ou seja:
n
o
Ex = y R, com y = a + x para algum a E .
Ent
ao, e razoavel supor que m(Ex ) = m(E) para qualquer x R.
O que vamos agora fazer e mostrar que existem subconjuntos da reta real para os quais n
ao h
a a menor possibilidade
de definir um comprimento m que satisfaca os requerimentos razoaveis delineados acima.
O exemplo que construiremos e conhecido como exemplo de Vitali3 . Vamos supor que a todo subconjunto E da
reta real possamos associar um comprimento m(E) com as condicoes mencionadas acima. Seja o intervalo I = [0, 1].
Definamos em I uma relacao de equivalencia da seguinte forma. Dois pontos x e y, ambos elementos de I, sao ditos ser
equivalentes, x y, se e somente se x y for um n
umero racional.
E. 27.1 Exerccio. Prove que isso define de fato uma relacao de equivalencia.
O fato de termos assim criado uma relacao de equivalencia em I significa que I pode ser escrito como uma uniao
disjunta das classes de equivalencia por essa relacao. Usando o Axioma da Escolha podemos construir um conjunto, que
chamaremos de V , tomando um e somente um elemento arbitrario de cada classe de equivalencia de I. Obviamente,
temos V I.
Seja agora Vr o conjunto obtido transladando-se o conjunto V por um n
umero r Q. Vamos mostrar que Vr Vs =
se r 6= s com r, s Q, ou seja, que Vr e Vs sao disjuntos se r e s forem elementos distintos de Q. Para ver isso
suponhamos o contrario, ou seja, que exista um elemento u Vr Vs . Como u Vr ent
ao u = v + r, para algum
elemento v V . Por outro lado, como u Vs ent
ao u = v + s, para algum elemento v V . Portanto v + r = v + s e
v v = s r. Como s r e um racional ent
ao v v . Mas isso so e possvel se v = v pois, ao construirmos V , tomamos
um e somente um elemento de cada classe de equivalencia de I, o que significa dizer que elementos distintos de V n
ao
podem ser equivalentes. Por outro lado, se v = v a relacao v v = s r diz que s = r, o que contraria as hipoteses.
Logo Vr Vs = se r, s Q com r 6= s.
3 Giuseppe
Vitali (18751932).
Captulo 27
Vers
ao de 4 de dezembro de 2013.
1283/2078
Vr
rQ1
transladarmos V por um n
umero r do conjunto Q1 podemos no maximo cair dentro de [1, 2].
[
A relacao [0, 1]
Vr pode ser vista da seguinte forma. Se x [0, 1] ent
ao x pertence a uma classe de
rQ1
equivalencia V. Seja v o elemento de V que foi escolhido para comparecer em V como o representante de V. Como x e v
sao membros da mesma classe de equivalencia, ent
ao x v e um racional s. Como x e v sao elementos de [0, 1], ent
ao
sua diferenca deve ser um elemento de [1,
1].
Assim,
vemos
que
s
Q
.
Logo,
x
V
com
s
Q
.
Como
isso
vale
1
s
1
[
para todo x [0, 1], segue que [0, 1]
Vr como queramos mostrar.
rQ1
Que conseq
uencias isso tudo tem? Pela hip
otese que se A B ent
ao m(A) m(B), segue de (27.1) que
[
m [0, 1] m
Vr m [1, 2] ,
rQ1
ou seja,
1 m
rQ1
Vr 3 ,
Vr e uma uni
ao disjunta e cont
avel (pois os racionais sao cont
aveis). Logo, pelas
rQ1
rQ1
Vr =
X
m(Vr ) .
rQ1
m(Vr ) 3 .
rQ1
Por fim, pela hipotese que m e invariante por translacoes, segue que m(Vr ) = m(V ) e, portanto,
X
1
m(V ) 3 .
rQ1
27.2
Vers
ao de 4 de dezembro de 2013.
Captulo 27
1284/2078
A defini
c
ao de medida
Uma vez visto que problemas com a mensurabilidade de conjuntos podem existir, vemo-nos forcados a tratar o
problema de conceitualizar a nocao intuitiva de medida reunindo instrumentos mais solidos para sua abordagem.
Seja X um conjunto n
ao-vazio e M uma -algebra em X (para a definicao, vide Captulo 26, p
agina 1256). Vamos
apresentar o conceito formal de medida. Uma medida em M e uma funcao que associa a cada elemento da -algebra M
um n
umero real 0 ou infinito, ou seja, : M R+ {} e de tal forma que as seguintes condicoes sejam satisfeitas:
1. () = 0.
2. Se Ai , i N, e uma colecao cont
avel e disjunta de elementos de M ent
ao
!
X
[
(An ) .
An =
nN
(27.2)
nN
o n
umero de elementos de E , caso E seja um conjunto finito,
c (E) :=
,
caso E n
ao seja um conjunto finito.
Ent
ao, c define uma medida em M (verifique!), a qual conta o n
umero de elementos de cada conjunto E, da
sua designacao.
1, caso x0 E ,
(27.3)
x0 (E) :=
0, caso x0 6 E .
ao. Observe que
Ent
ao, x0 e uma medida (verifique!) que diz se o ponto x0 fixado e um elemento de E ou n
x0 (E) = c (E {x0 }) para todo E M.
o n
umero de elementos de E C, caso E C seja um conjunto finito,
C (E) :=
,
caso E C n
ao seja um conjunto finito.
4 Paul
Captulo 27
Vers
ao de 4 de dezembro de 2013.
1285/2078
Ent
ao, C e uma medida (verifique!) que generaliza a medida x0 acima. Observe que C (E) = c (E C) para
todo E M.
4. Sejam , 0 e seja X um conjunto n
ao-vazio que possua um subconjunto proprio n
ao-vazio A (para isso basta
que X tenha mais de um elemento). Considere a -algebra M = {, A, Ac , X}. Se definirmos () = 0, (A) = ,
(Ac ) = e (X) = + , ent
ao sera uma medida em M. Mostre isso!
Por estes exemplos vemos que a nocao de medida extrapola a nocao geometrica de comprimento, area, volume etc. de
um conjunto, conceitos esses que, ademais, so se aplicam a certos subconjuntos de Rn . Outros exemplos mais elaborados
de medidas serao vistos adiante, em especial aqueles referentes justamente `as nocoes geometricas de comprimento, area
etc. de subconjuntos de Rn . Tais medidas sao conhecidas como medidas de Lebesgue e serao discutidas adiante.
E. 27.2 Exerccio. Sejam , e tres objetos distintos (por exemplo, tres letras distintas do alfabeto grego). Mostre que
M = , {}, {, }, {, , }
e uma -algebra em X = {, , }. Mostre que : M R+ , definida por
= 0, {} = 1, {, } = 0, {, , } = 1
e uma medida em M.
E. 27.3 Exerccio. Sejam , e tres objetos distintos (por exemplo, tres letras distintas do alfabeto grego). Mostre que
M = , {}, {, }, {, , }
e uma -algebra em X = {, , }. Mostre que : M R+ , definida por
= 0, {} = 2, {, } = 1, {, , } = 3
e uma medida em M.
E. 27.4 Exerccio. Sejam , e tres objetos distintos (por exemplo, tres letras distintas do alfabeto grego). Mostre que
M = , {}, {}, {}, {, }, {, }, {, }, {, , }
e uma -algebra em X = {, , }. Mostre que : M R+ definida por
=0,
{} = 0 ,
{} = 0 ,
e uma medida em M.
{} = 1 ,
{, } = 0 ,
{, } = 1 ,
{, } = 1 ,
{, , } = 1
Propriedades b
asicas de medidas
Vamos agora extrair algumas conseq
uencias b
asicas da definicao de medida [207]. Abaixo, seja X um conjunto
n
ao-vazio, M uma -algebra em X e uma medida em M.
1. Se A1 , . . . , An e uma colecao finita de elementos disjuntos de M ent
ao (A1 An ) = (A1 ) + + (An ).
[
Prova. Defina-se Am = para m > n. Ent
ao, A1 An =
Aj e, portanto,
jN
(A1 An ) =
jN
pois () = 0.
Aj =
jN
Captulo 27
Vers
ao de 4 de dezembro de 2013.
1286/2078
nN
(A) =
(Ba ) .
aN
4. Se Aj , j N, sao elementos de M com Aj+1 Aj para todo j N, e se (A1 ) for finito, ent
ao lim (An ) = (A),
n
\
onde A =
An .
nN
onde C =
aN
(An ) + (Cn ) = (A) + (C). Assim, lim (An ) + lim (Cn ) = (A) + (C) e, ent
ao,
n
Mais genericamente, prove que vale para todo n N vale a seguinte afirmacao: se A1 , . . . , An sao elementos de M com
(Ak ) < para todo k = 1, . . . , n, entao
n
n
X
X
[
Aj =
(1)k+1
(Ai1 Aik ) .
(27.5)
j=1
k=1
1i1 <<ik n
Uma demonstracao de (27.4) e (27.5) pode ser encontrada no Apendice 27.A, pagina 1304.
Vers
ao de 4 de dezembro de 2013.
Captulo 27
1287/2078
No caso de a medida ser a medida de contagem, (27.4) e (27.5) fornecem expressoes para o n
umero de elementos de
uni
oes de conjuntos finitos. Nesse contexto, (27.4) e (27.5) sao por vezes denominadas f
ormulas do crivo de de Moivre5 ,
ou f
ormulas do crivo de Poincare6 -Sylvester7 .
E. 27.6 Exerccio. Mostre que (27.5) pode ser escrita como
n
X
[
Aj =
(1)|I|+1 Ai1 Ai|I| .
(27.6)
Usando a F
ormula de Inversao de Mobius, Proposicao 1.26, pagina 71, mostre, por (27.6), que
!
n
X
\
(1)|J|+1 Aj1 Aj|J| ,
Ai =
(27.7)
j=1
I{1, ..., n}
I6=
I=
i=1
J{1, ..., n}
J6=
J= j1 , ..., j|J|
e, portanto, que
n
\
Ai
i=1
n
X
l=1
(1)l+1
1j1 <<jl n
Aj1 Ajl .
(27.8)
Essa u
ltima relacao tambem pode ser provada diretamente, de modo analogo `a demonstracao de (27.5) apresentada no
Apendice 27.A, pagina 1304.
6
Quase em toda parte
Se X e um conjunto no qual est
a definida uma medida , uma afirmacao a respeito dos elementos de X que for falsa
apenas em um conjunto de medida nula e dita valer quase em toda a parte em relacao a , ou -quase em toda parte.
Abreviadamente, escreve-se tambem q.t.p., ou -q.t.p.8
27.3
H
a muitos processos que permitem construir medidas com certas propriedades desejadas. Vamos aqui delinear um
tal processo, devido a Caratheodory9, que sera particularmente importante para a construcao da chamada medida de
Lebesgue da reta real, a qual corresponde `
a nocao intuitiva de comprimento de conjuntos em R. A construcao a que nos
referimos exige que introduzamos mais um conceito, o de medida exterior.
Medidas Exteriores
Uma medida exterior em um conjunto n
ao-vazio X e uma funcao que associa a cada subconjunto de X um n
umero
real maior ou igual a zero ou infinito e de tal forma que:
1. () = 0.
2. Se A B ent
ao (A) (B).
3. Para qualquer colecao cont
avel Aj , j N, de subconjuntos de X tem-se que
X
[
(Aj ) .
Aj
jN
5 Abraham
de Moivre (16671754).
Henri Poincar
e (18541912).
7 James Joseph Sylvester (18141897).
8 Em l
ngua inglesa usa-se a abreviaca
o a.e.: almost everywhere.
9 Constantin Carath
eodory (18731950).
6 Jules
jN
Vers
ao de 4 de dezembro de 2013.
Captulo 27
1288/2078
exterior em X.
Prova. Como () = 0 para todo , segue que () := sup { ()} = 0. Sejam A, B X com A B. Como
(A) (B) para todo S
, segue que
P(A) := sup { (A)} sup { (B)} =: (B). Por fim, sejam An X
para todo n N. Como ( nN An ) nN (An ) para todo , segue que
!
!)
(
)
(
X
X
[
[
X
sup
(An )
(An ) .
sup { (An )} =
An := sup
An
nN
nN
nN
nN
nN
O Teorema de Carath
eodory
Vamos agora mostrar o seguinte resultado fundamental e que e a verdadeira raz
ao de ser do conceito de medida
exterior.
Teorema 27.1 (Teorema de Carath
eodory) 10 Seja M a colec
ao de todos os subconjuntos A de X que tenham a
seguinte propriedade: Para todo E X vale que
(27.9)
E = E A + E Ac ,
algebra. Fora isso, e uma medida em M .
onde Ac = X \ A. Ent
ao, M e uma -
(27.10)
Vers
ao de 4 de dezembro de 2013.
Captulo 27
1289/2078
pois, como e uma medida exterior, vale sempre que (E) E A + E Ac , pois E = E A E Ac .
Assim, (27.10) implica (27.9).
a permite exibir uma tal -algebra, no caso M , para a qual e uma medida.
Historicamente o teorema acima representou tambem uma simplificacao importante, especialmente na construcao da
medida de Lebesgue, dado que a mesma era originalmente alcancada por vias mais trabalhosas (identificando-se a
medida exterior com o que se chama de medida interior, da qual n
ao trataremos aqui).
Um exemplo elementar que ilustra o Teorema de Caratheodory e encontrado no Exerccio E. 27.8 da p
agina 1292. O
estudante poder
a estuda-lo antes de mergulhar na demonstracao do teorema.
A prova do Teorema de Caratheodory e um pouco longa e precisamos de um resultado preparat
orio.
ao, A B e tambem um elemento de M .
Lema 27.1 Sejam A e B dois elementos de M . Ent
ou seja,
(A B) E
f
E
acil de se ver agora (faca!) que
= (A B) E A + (A B) E Ac .
(A B) E A = A E
e que
(A B) E Ac = Ac E B .
Assim,
(A B) E
= A E + Ac E B .
A E + Ac E B + Ac E B c .
Acabamos de ver que a soma dos dois primeiros termos da u
ltima igualdade vale (A B) E e para o u
ltimo
c
termo vale Ac B c E = (A B)c E , pois Ac B c = A B . Assim, provamos que
(E) = E (A B) + E (A B)c ,
ao o conjunto A1 An
Note que o resultado acima tambem diz que se A1 , . . . , An sao elementos de M ent
tambem e elemento de M para qualquer n finito.
Passemos agora `a prova do Teorema de Caratheodory.
Captulo 27
Vers
ao de 4 de dezembro de 2013.
1290/2078
por hipotese. Assim, podemos tambem ver que tanto quanto X sao elementos de M pois, claramente, para qualquer
EX
(E) = E + E ()c
dado que c = X, que E X = E, que E = e que () = 0.
c
ao A B tambem o e. Como A B = Ac B c ent
ao
Vimos no Lema 27.1 que se A e B sao elementos de M ent
conclumos que A B tambem e elemento de M , o mesmo valendo para A \ B pois A \ B = A B c .
[
Resta-nos provar que se {Aj , j N} e uma colecao cont
avel de elementos de M ent
ao A =
Aj tambem o e.
jN
A
+ E A . Tudo o que precisamos fazer, ent
ao, e provar que (E)
E A + E Ac o que significaria ent
ao que A M , como queremos provar.
c
vale, por definicao, (E ) = E A + E A . Da, tomando-se E da forma E = (A B) E, com E X e
A, B M com A B = , temos
(A B) E = A E + B E ,
ao
Isso significa, em particular, que se B1 , . . . , Bn sao elementos disjuntos de M , ent
E (B1 Bn ) = (E B1 ) + + (E Bn ) .
ao, pelo que ja observamos, cada Bj e elemento
Vamos definir B1 = A1 , Bn = An \ A1 An1 para n 2. Ent
de M e Bi Bj = se i 6= j. Fora isso,
[
[
Bi =
Ai .
iN
iN
n
[
ao j
a vimos que para cada n finito
Como cada Bi e elemento de M , ent
Bi M , ou seja,
i=1
n
[
(E) = E
Bi
i=1
!!
+ E
n
[
i=1
Bi
!c !
i=1
n
[
Bi
i=1
dado que
[
iN
Bi
!c
Bi
!!
!c !
n
[
i=1
n
X
(Bi E)
i=1
iN
Bi
!c
Bi
!c !
(justifique!) .
Captulo 27
Vers
ao de 4 de dezembro de 2013.
n
X
(Bi E) + E
i=1
Bi
!c !
Bi
!c !
iN
1291/2078
(Bi E) + E
i=1
iN
(Bi E) E
i=1
Bi
iN
!!
(justifique!)
e, portanto,
(E)
Bi
iN
= E
Ai
iN
!!
!!
+ E
Bi
!c !
Ai
!c !
iN
+ E
iN
Isso e exatamente o que queramos provar. Assim, mostramos que M e de fato uma -algebra e a prova da parte I
do teorema est
a completa.
Parte II. Vamos nesta parte II provar que a medida exterior e de fato uma medida quando restrita aos elementos da
-algebra M .
Tudo o que queremos provar e a propriedade seguinte: se Bi , i N, sao elementos disjuntos de M , ent
ao
!
X
[
(Bi ) .
Bi =
iN
iN
(Bi E) + E
i=1
Bi
iN
Bi
iN
!!
+ E
!c !
[
iN
Bi
!c !
(E) ,
onde a u
ltima igualdade e precisamente a afirmativa que foi provada na parte I. Assim, como (E) aparece no comeco
e no fim da cadeia de desigualdades, todos os smbolos de podem ser substitudos por smbolos de igualdade =
(justifique!). Ou seja, temos que
!c !
X
[
(E) =
(Bi E) + E
.
Bi
i=1
iN
Bi . A u
ltima formula fica
iN
iN
Bi
X
i=1
(Bi ) ,
Vers
ao de 4 de dezembro de 2013.
Captulo 27
1292/2078
que e exatamente o que queramos provar. Isso completa a prova do Teorema de Caratheodory.
*
No Captulo 28 vamos ilustrar o uso do Teorema de Caratheodory, Teorema 27.1, p
agina 1288, na construcao de uma
medida muito importante: a medida de Lebesgue da reta real. O Teorema de Caratheodory pode ser utilizado em varias
outras construcoes de medidas, as mais not
aveis talvez sejam medidas em conjuntos fractais, conjuntos que n
ao possuem
dimensao (de Hausdorff) inteira, tais como o conjunto de Cantor11 , a Estrela de Koch12 (Fig. 27.1) e outras. A Estrela
de Koch tem dimensao (de Hausdorff, vide Secao 28.2, p
agina 1310) igual a ln(4)/ ln(3)
Sejam , e tres objetos distintos (por exemplo, tres letras distintas do alfabeto grego).
P(X) = , {}, {}, {}, {, }, {, }, {, }, {, , } .
{} = 1 ,
{} = 1 ,
{} = 2 ,
{, } = 1 ,
{, } = 3 ,
{, } = 3 ,
{, , } = 3
e uma medida exterior em P(X). Podemos, entao, nos perguntar: quais conjuntos A X tem a propriedade de Caratheodory
(E) = (E A) + (E Ac )
para todo E P(X)? Mostre explicitamente (ou seja, analisando caso-a-caso) que os elementos de
M = , {}, {, }, {, , }
11 Georg
12 Niels
(27.11)
Vers
ao de 4 de dezembro de 2013.
Captulo 27
1293/2078
e uma medida em M, podem agora ser facilmente verificados diretamente e, de fato, ja o fizemos no Exerccio E. 27.3, pagina
1285.
6
Medidas completas
Uma medida em uma -algebra M e dita ser uma medida completa se para todo A M com a propriedade que
(A) = 0 valer que todo B A e tambem elemento de M. Em palavras mais simples, e completa se qualquer
subconjunto de um conjunto de medida nula for tambem mensuravel.
Um exemplo de uma medida n
ao-completa e aquele encontrado no Exerccio E. 27.2 da p
agina 1285. Aquela medida
n
ao e completa pois {, } e um conjunto de medida nula, mas possui subconjuntos, {} e {}, que n
ao sao elementos
de M.
Esse exemplo, ainda que um tanto elementar, ilustra que para uma medida ser completa deve estar definida em uma
-algebra rica o suficiente para poder conter todos os subconjuntos dos conjuntos de medida nula. O Exerccio seguinte
ilustra isso.
E. 27.9 Exerccio. Mostre que a medida definida no Exerccio E. 27.4, pagina 1285, e completa. Compare com a medida
do Exerccio E. 27.2, pagina 1285, em particular, compare as -algebras desses dois exerccios.
6
A medida do Exerccio E. 27.3, p
agina 1285, e completa pois la e o u
nico conjunto de medida nula. A raz
ao profunda
daquela medida ser completa, porem, est
a relacionada ao fato, estudado no Exerccio E. 27.8, p
agina 1292, que aquela
medida provem de uma medida exterior. Esse e o nosso proximo assunto.
Medidas completas e o Teorema de Carath
eodory
Mostraremos que qualquer medida construda pelo procedimento de Caratheodory, ou seja, a partir de uma medida
exterior, e completa. Isso e o conte
udo do seguinte teorema:
Teorema 27.2 Seja uma medida exterior em um conjunto n
ao-vazio X e sejam M e a -
algebra e a medida
ao de Caratheodory. Ent
ao, e completa, ou seja, se A e um conjunto -mensur
avel e
associadas a pela construc
(A) = 0 segue que todo B A e tambem -mensur
avel (um fato n
ao trivial!) e (B) = 0.
2
(E A) (A) = (A) = 0 ,
(27.12)
(A) = (A) = 0 ,
(27.13)
(A) = (A) = 0 ,
(27.14)
pois E B c A e E A sao ambos subconjuntos de A e, para medidas exteriores, vale que se M N ent
ao (M ) (N ).
Captulo 27
Vers
ao de 4 de dezembro de 2013.
1294/2078
Logo,
E B + E Bc
(27.12)
e -mensur
avel
=
BA
(27.13)
(27.14)
e -mensur
avel
E Bc
E B c Ac + E B c A
E (B A)c + E B c A
E Ac + E B c A
E Ac
E Ac + E A
(E) .
Assim, estabeleceu-se que para todo E X vale (E) = E B + E B c e, portanto, B e -mensur
avel. O fato
que (B) = 0 e agora trivial pois B A e, portanto, (B) (A) = 0.
=
Nota. Nao poderamos logo de partida ter concludo que (B) = 0 do fato que B A e, portanto, (B) (A) = 0, pois nao estava ainda
estabelecido que B era -mensur
avel e que (B) estivesse definido.
A medida de Lebesgue, que construiremos no Captulo 28, e completa, pois e tambem construda por uma medida
exterior, seguindo Caratheodory. Ja a medida de Borel-Lebesgue, tambem tratada naquele captulo, n
ao e completa.
27.3.1
Medidas Exteriores M
etricas e Conjuntos Borelianos
De grande import
ancia em aplicacoes sao medidas exteriores definidas em conjuntos dotados de uma metrica e que
tenham uma relacao cordial com a topologia induzida por essa metrica. Nesta secao discutiremos uma classe de medidas
exteriores com essa caracterstica, as chamadas medidas exteriores metricas. A grande import
ancia de medidas exteriores
metricas reside no fato, demonstrado no Teorema 27.3, p
agina 1296, que todo conjunto Boreliano (em relacao `a topologia
induzida pela metrica) e mensuravel no sentido de Caratheodory, ou seja, satisfaz a condicao (27.9), p
agina 1288. Assim,
a -algebra dos conjuntos mensuraveis por uma medida exterior metrica contem a -algebra de Borel.
Medidas exteriores m
etricas
Seja M um conjunto n
ao-vazio dotado de uma metrica d e seja d a topologia induzida em M pela metrica d. Dados
dois conjuntos A, B M definimos a distancia de A a B, denotada por d(A, B), por
n
o
d(A, B) := inf d(a, b), a A, b B .
Se A e B forem tais que d(A, B) > 0, ou seja, se forem tais que inf{d(a, b), a A, b B} > 0, ent
ao os fechos de A e
de B n
ao tem pontos em comum: A B = . De fato, se inf{d(a, b), a A, b B} > 0 e existir c A B, existirao
uma seq
uencia an A que converge a c e uma seq
uencia bn B que convergem a c. Logo, pela desigualdade triangular
d(an , bn ) d(an , c) + d(c, bn ), e lim d(an , bn ) = 0, contrariando inf{d(a, b), a A, b B} > 0.
n
Uma medida exterior em M e dita ser uma medida exterior metrica (em relacao `a metrica d) se para todos os
conjuntos A, B M que satisfizerem d(A, B) > 0 valer
(A B) = (A) + (B) .
(27.15)
Uma seq
uencia de conjuntos An M e dita [
ser uma seq
uencia crescente se An An+1 para todo n. Para uma
seq
uencia crescente de conjuntos vale lim An =
Am . Vide Proposicao 1.12, p
agina 56.
n
mN
Captulo 27
Vers
ao de 4 de dezembro de 2013.
1295/2078
(27.16)
Am . Ent
ao,
mN
lim An
= lim (An ) .
(27.17)
(27.19)
(27.20)
inf d(x, y), x Ak , y A \ Ak+1 =: d Ak , A \ Ak+1
(27.16)
>
0.
Por (27.15), segue de (27.20) que (B1 B3 ) = (B1 ) + (B3 ) e (B2 B4 ) = (B2 ) + (B4 ) e, por inducao, segue
tambem facilmente que
!
!
m
m
m
m
X
X
[
[
(B2a1 ) e
(B2a )
(27.21)
B2a1 =
B2a =
a=1
a=1
a=1
a=1
para todo m 1.
H
a dois casos a considerar: 1. quando pelo menos uma das somas em (27.21) diverge para m e 2. quando ambas
as somas em (27.21) convergem para m .
No caso 1., observe-se que para todo k,
Ak =
k
[
Ba .
(27.22)
a=1
m
[
a=1
B2a1
Sm
a=1
B2a1 e A2m
(27.21)
m
X
a=1
Sm
(B2a1 )
a=1
B2a . Portanto,
(A2m )
m
[
a=1
B2a
(27.21)
m
X
(B2a ) .
a=1
Conseq
uentemente, se qualquer das somas em (27.21) divergir quando m teremos lim (An ) = , o que implica
n
(A) = pois, como A An para todo n, vale (A) (An ), tambem para todo n. Nesse caso teramos, ent
ao,
(A) = lim (An ) = , provando (27.17) para o caso 1.
n
Captulo 27
Vers
ao de 4 de dezembro de 2013.
1296/2078
Aa = Aj
a=1
Ba
a=j+1
(A) = Aj
a=j+1
Ba (Aj ) +
a=j+1
Ba (Aj ) +
(Ba ) ,
(27.23)
a=j+1
sendo a soma ao lado direito convergente, por hipotese. Pela mesma raz
ao, vale lim
(Ba ) = 0 e, portanto,
a=j+1
segue de (27.23) que (A) lim (Aj ). Do fato que A An para todo n, segue que (A) (An ), implicando que
j
Claramente, para todo x Em e para todo y E Ac Ac vale d(x, y) 1/m e, portanto, d Em , E Ac 1/m.
Logo, por ser uma medida exterior metrica, vale
Em (E Ac ) = Em + E Ac .
(27.24)
Porem, como Em E A, segue que Em (E Ac ) (E A) (E Ac ) = E e, portanto, Em (E Ac ) (E).
Assim, estabelecemos por (27.24) que para todo m N,
(27.25)
(E) Em + E Ac .
Como se ve, se provarmos que lim Em = E A , teremos por (27.25) que (E) (E A) + (E Ac ) e a
m
demonstracao do Teorema 27.3 estar
a completa. No que segue estabeleceremos isso em tres passos sucessivos.
O primeiro passo e notar que vale
EA =
Em .
(27.26)
mN
S
Para provar isso, lembremos que para todo m tem-se Em E A e, assim, trivialmente, mN Em E A. Por
outro lado, se x E A ent
ao existe r(x) > 0 tal que todo z M com d(z, x) < r(x) tambem pertence a A, pois A e
d -aberto, por hipotese13 . Logo, para todo y Ac forcosamente vale d(y, x) r(x). Assim, se x E A existe algum
c
m grande o suficiente tal que d(y,
ao x Em
S x) 1/m para todo y A . Isso equivale a dizer que se x E A, ent
para algum m. Logo, E A mN Em , provando (27.26).
13 O
Captulo 27
Vers
ao de 4 de dezembro de 2013.
1297/2078
(27.27)
Em =
mN
> 0.
(27.28)
1
1
.
m m+1
o
n
1
1
= inf d(x, z), x Em , z (E A) \ Em+1 >
> 0,
m m+1
(E)
completando a demonstracao.
27.4
lim Em + E Ac = E A + E Ac
Um Esquema de Constru
c
ao de Medidas Exteriores
Vamos nesta secao descrever um procedimento de construcao de medidas exteriores que e aplic
avel em diversos contextos,
em particular, na construcao das medidas de Lebesgue e de Hausdorff, das quais trataremos no Captulo 28, p
agina 1306.
Comecamos com uma proposicao u
til. Lembramos que a construcao de medidas exteriores e relevante por permitir a
construcao de medidas, como descrito no Teorema de Caratheodory, Teorema 27.1, p
agina 1288.
Proposi
c
ao 27.2 Seja X um conjunto n
ao-vazio e seja uma colec
ao n
ao-vazia R P(X) de subconjuntos de X, com
R. Denotemos por SR a colec
ao de todos os subconjuntos cont
aveis de R. Seja uma func
ao h : R R+ {} = [0, ],
com h() = 0. Defina-se uma func
ao H : SR R+ {} da seguinte forma: para cada R = {Rn R, n N} SR
tem-se
X
H(R) :=
h(Rn ) .
(27.29)
Rn R
Ent
ao, valem
1. H({}) = 0.
2. Se Rb SR para todo b N, ent
ao
H
bN
H(Rb ).
(27.30)
bN
Captulo 27
Vers
ao de 4 de dezembro de 2013.
1298/2078
b
Prova.
Que H({}) = 0 segue de h() = 0. Se Rb S SR , ent
aP
o e da forma Rb =
S
P{Rn R, n N}. Logo,
b
b
b
b
H
sendo feita entre elementos
bN R = {Rn R, n N, b N}. Portanto,P
bN RP = P h(Rn ), a soma
P
b
b
b
distintos de {Rn R, n N}. Agora, claramente
h(Rn ) bN nN h(Rn ) = bN H(Rb ), provando (27.30).
Seja X um conjunto n
ao-vazio. Se A X, A 6= , dizemos que uma colecao cont
avel de conjuntos B = {Bn X, n
N}
e
um
recobrimento
cont
a
vel
de
A
se
sua
uni
a
o
cont
e
m
A:
{B
X,
n
N}
e um recobrimento cont
avel de A se
n
S
B
A.
Por
conven
c
a
o,
diremos
que
{}
e
um
recobrimento
(cont
a
vel,
pois
s
o
possui
um
elemento)
de .
n
nN
O teorema a seguir descreve um esquema para a construcao de medidas exteriores.
bN
H(Rb ).
(27.31)
bN
S
oes cont
aveis de conjuntos cont
aveis s
ao
(Lembrar que se Rb SR para todo b N ent
ao bN Rb SR , pois uni
S
b
R
,
acima,
est
a
bem
definida).
tambem cont
aveis. Assim, H
bN
Ent
ao, a aplicac
ao : P(X) R+ {}, definida em (27.32), e uma medida exterior em X.
(27.32)
2
3. No Teorema 27.4, a funcao H desempenha um papel especial, pois e definida como o nfimo entre certos valores
de H. Em algumas situacoes concretas, e tal e o caso das medidas de Lebesgue e Hausdorff que discutiremos
no Captulo 28, p
agina 1306, a funcao H e definida a partir de uma funcao h, dotada de significado geometrico,
importante observar
definida nos elementos de R, tal como descrito na Proposicao 27.2, em especial, em (27.29). E
que os fatos provados na Proposicao 27.2 sobre a funcao H definida por (27.29) sao precisamente aqueles requeridos
da funcao H no Teorema 27.4. Assim, as hipoteses sobre H usadas no Teorema 27.4 podem ser substitudos pelas
hipoteses sobre h usadas na Proposicao 27.2, com H agora sendo definida por (27.29). As construcoes das medidas
de Lebesgue e Hausdorff do Captulo 28, p
agina 1306, seguirao essas ideias.
4. Afirmamos acima que a funcao h tem, por vezes, um significado geometrico. Ilustramos isso com o que ocorre no
caso da medida de Lebesgue em Rn (vide Captulo 28). A colecao R e uma colecao de cubos n-dimensionais e,
para um tal n-cubo R, a funcao h(R) fornece o volume de R. Assim, H(R) fornece a soma de uma colecao cont
avel
aveis de n-cubos
R de n-cubos e (A) e o menor valor possvel (o nfimo) de H(R) dentre todas as colecoes cont
que recobrem A.
Captulo 27
Vers
ao de 4 de dezembro de 2013.
1299/2078
RCR (B)
Ai
iN
iN
e, portanto, pertencem a CR
Ai
iN
H(Rb )
(27.34)
b=1
Como J CR
Ai . Fora isso,
(27.31)
(27.34)
bN
!
iN
H(J)
.
2b
X
(Ab ) +
X
=
(Ab ) + .
b
2
(27.35)
bN
b=1
Ai , segue que
iN
iN
Ai
= inf
H(R) , R CR
!)
Ai
iN
H(J)
(27.35)
(Ab ) + .
bN
iN
Ai
(Ab ) .
bN
27.5
Medidas sobre An
eis e suas Extens
oes
Nesta secao faremos uso da nocao de anel conjuntos e de outros sistemas de conjuntos introduzidos na Secao 1.2, p
agina
57. Apresentaremos aqui mais uma conseq
uencia u
til da construcao de Caratheodory enunciada no Teorema 27.1,
p
agina 1288, a saber, apresentaremos um procedimento de construcao de medidas sobre -algebras a partir de medidas
construidas sobre aneis que a gerem e apresentaremos condicoes sob as quais essa construcao e u
nica. Esse tipo de
construcao e empregado, por exemplo, na construcao das chamadas medidas produto.
Nosso resultado principal e o Teorema 27.5, p
agina 1301. Antes, introduzamos algumas nocoes necessarias.
Vers
ao de 4 de dezembro de 2013.
Captulo 27
1300/2078
Medidas sobre an
eis
Seja X um conjunto n
ao-vazio e R um anel sobre X que contenha o conjunto vazio. Uma funcao : R R+ {+}
e dito ser uma medida sobre o anel R se satisfizer:
1. () = 0,
2. Se An , n N, e uma colecao de elementos de R disjuntos dois-a-dois (i.e., Aa Ab = se a 6= b) e se
ent
ao
!
X
[
(An ) .
An =
nN
nN
An R,
nN
Uma medida
avel de conjuntos {Bn A, n N}
S em A e dita ser -finita se para cada A A existir uma colecao cont
tal que A nN Bn e tal que (Bn ) < para todo n N, ou seja, se todo elemento de A for --finito.
Em palavras mais simples, e dita ser -finita se todo elemento de A puder ser recoberto por uma uniao cont
avel de
elementos de A que possuam medida finita.
No caso de A ser uma -algebra, para que uma medida sobre A seja -finita e suficiente que X seja um
S conjunto
--finito, ou seja, e suficiente que exista uma colecao cont
avel de conjuntos {Bn A, n N} tal que X = nN Bn e
tal que (Bn ) < para todo n N.
Como veremos, a medida de Lebesgue em Rn e -finita. Como exemplo de uma medida que n
ao e -finita, considerese X = R e a -algebra A = P(R) com a medida de contagem c . Um elemento A A e c --finito se e somente se for
finito ou cont
avel. Como R (e outros dos seus subconjuntos) n
ao e enumeravel, a medida de contagem c em R n
ao e
-finita.
A nocao de medida -finita captura uma propriedade de medidas que conduz a importantes conseq
uencias comuns.
Por exemplo, a existencia de medidas produto, o Teorema de Fubini e o Teorema de Radon-Nikodym tem por requesito
que as medidas envolvidas sejam -finitas.
O seguinte resultado sera usado logo adiante:
Proposi
c
ao 27.3 Seja X n
ao-vazio e R um anel em X de tal sorte que X seja monotonamente alcanc
avel por R.
Suponhamos tambem que R e que seja uma medida -finita sobre R. Ent
ao, existe uma colec
ao cont
avel {Ck
R, k S
N} de elementos de R que e crescente (i.e., Ck Cl se k l), sendo (Ck ) < para todo k N e tal que
2
X = kN Ck .
Vers
ao de 4 de dezembro de 2013.
Captulo 27
1301/2078
kN
provando que
kN
nN mN
nN
Ck = X
Extens
oes de medidas sobre an
eis
Uma vez munidos das nocoes acima, passemos `a parte mais importante da discuss
ao corrente.
Teorema 27.5 (Teorema de extens
ao de medidas sobre an
eis) Seja X n
ao-vazio e R um anel sobre X que contenha o conjunto vazio e tal que X seja monotonamente alcanc
avel por R. Seja uma medida sobre R.
Parte I. Ent
ao, existe uma medida sobre A [R] = R [R] (a sigma-
algebra gerada por R) que estende , ou seja,
que e identica a sobre os elementos de R A [R].
Parte II. Se for -finita, a extens
ao , cuja existencia foi garantida na parte I, e u
nica e tambem e -finita. 2
nN
aveis {An , n
Em palavras, (Y ) e o nfimo das quantidades nN (An ) tomado sobre todos os possveis conjuntos cont
N} compostos por elementos de R cuja uni
ao recobra Y . Ja comentamos que da hipotese de X ser monotonamente
alcancavel segue que todo Y X pode ser recoberto pela uniao de uma seq
uencia crescente de elementos de R. Na
ao requeremos que as colecoes {An , n N} sejam crescentes.
definicao de n
evidente da definicao que se Y R, ent
E
ao (Y ) = (Y ) (justifique!).
evidente que () = 0 e que (Y ) (Y ) se Y Y . Resta-nos
Afirmamos que e uma medida exterior em X. E
provar que se Yn X, n N, ent
ao
!
X
[
(Yn ) .
(27.36)
Yn
nN
nN
(Z
)
<
Z
e
com
tal
que
cada
Z
e
um
elemento
de
R,
com
Y
(Y
)
+
nm
n
n
mN
mN nm
2n . E claro disso que
S
S nm
Y
Z
e,
portanto,
nN n
n, mN nm
nN
Yn
n, mN
(Znm ) <
X
(Yn ) +
nN
X
(Yn ) + .
=
n
2
nN
nN
Yn
nN
Vers
ao de 4 de dezembro de 2013.
Captulo 27
1302/2078
Para A R teremos,
j
a que e uma medida em R, En = En A + En Ac para todo n, pois En =
En A (En Ac , uma uni
ao disjunta de elementos de R (para ver que En Ac e En A sao elementos de R, notar
c
que En A = En \ A e recordar a Proposicao 1.13, p
agina 59). Assim,
X
(E) +
En A + En Ac .
nN
A
e
uni
oes contem E A e E Ac , respectivamente. Logo,
n
nN
nN En A .
a demonstrada.
Com isso, estabelecemos que (E) + E A + E Ac . Como > 0 e arbitrario, (27.37) est
Como comentamos, isso estabelece a existencia de uma extensao da medida sobre a -algebra A [R], completando
a demonstracao da parta I. Vamos agora provar que se e -finita, ent
ao a extensao e u
nica e e tambem -finita.
Prova da Parte II. Se for -finita, ent
ao, pela Proposicao 27.3, p
agina 1300, existe uma colecao cont
avel {Ck R,
S k N}
de elementos de R que e crescente (i.e., Ck Cl se k l), sendo (Ck ) < para todo k N e tal que X = kN Ck .
Para cada k N, defina-se
Rk :=
Ck A, A R .
claro que para cada k N vale Rk R, que Rk (pois R) e e facil ver que cada Rk e igualmente um anel. De
E
fato, se A, A R, ent
ao Ck A Ck A = Ck A A Rk e Ck A Ck A = Ck A A Rk ,
pois A A e A A sao tambem elementos de R.
Como de costume, denotemos por A [Rk ] a -algebra gerada por Rk . Todos os elementos de Rk sao subconjuntos
de Ck e, portanto, o mesmo vale para A [Rk ]. Em verdade, Ck Rk e, portanto, Ck A [Rk ] e podemos dizer que
A [Rk ] e uma -algebra sobre Ck .
Denotemos tambem por R [Rk ] o -anel gerado por Rk . Analogamente, vale que Rk e um -anel sobre Ck e que
contem o mesmo. Logo, R [Rk ] e uma -algebra e vale A [Rk ] R [Rk ], pois A [Rk ] e, por definicao, a menor algebra a conter Rk . Como, por definicao, A [Rk ] e tambem um -anel, vale R [Rk ] A [Rk ], ja que, por definicao
(27.38)
Sejam 1 e 2 duas extensoes sobre A [Rk ] da medida em R (a existencia de ao menos uma e garantida pela parte
I). Como (Ck ) < , segue que 1 e 2 sao finitas, ou seja, 1 (Y ) < e 2 (Y ) < valem para todo Y A [Rk ].
Definamos,
Gk :=
n
o
B A [Rk ] 1 (B) = 2 (B) .
(27.39)
Note-se que, evidentemente, Rk Gk , pois 1 e 2 estendem , sendo, portanto, identicas em Rk . Afirmamos que
Gk e um sistema mon
otono14 . Se {Bn Gk , n N} e uma colecao cont
avel e crescente de elementos de Gk (e,
14 Para
a definica
o da noca
o de sistema mon
otono de conjuntos, vide Seca
o 1.2.6, p
agina 63).
Captulo 27
Vers
ao de 4 de dezembro de 2013.
1303/2078
portanto, da -algebra A
ao definidas), vale pela propriedade descrita no item 3, p
agina 1286,
1 e 2 est
S [Rk ] onde
limn i (Bn ) = i
B
,
para
i
=
1
e
2.
Como
(B
)
=
(B
)
para
cada
n
e
s
a
o
finitas
e limitadas
n
2
n
nN
S2 n
S
S
B
G
.
Para
uma
cole
c
a
o
cont
avel e
,
mostrando
que
B
=
B
por (Ck ), segue que 1
k
2
nN n
nN n
nN n
decrescente {Bn Gk , n N} elementos de Gk argumenta-se da de forma analoga, usando-se, porem, a propriedade
descrita no item 4, p
agina 1286.
(27.38)
R [Rk ]
(1.30)
M[Rk ] Gk ,
a u
ltima inclusao decorrendo do fato que, por definicao, M[Rk ] e o menor sistema mon
otono que contem Rk (para a
definicao de sistema mon
otono gerado por uma colecao de conjuntos, vide Secao 1.2.6, p
agina 63).
de se observar, porem, que pela propria definicao (27.39), Gk e composta por elementos de A [Rk ], isto e, Gk
E
A [Rk ]. Logo, provamos que
A [Rk ] = R [Rk ] = M[Rk ] = Gk .
Pela definicao de Gk , isso estabeleceu que 1 e 2 coincidem em toda a -algebra A [Rk ]. No entanto, como essa
igualdade e verdadeira para todo k N, e tambem verdadeira em todo A [R]. De
Sfato, vamos supor que 1 e 2 tambem
estendam sobre todo A [R]. Se A A [R] vale A = limk ACk , pois X = kN Ck . Logo, Como ACk A [Rk ],
teremos
1 (A) = 1 lim A Ck = lim 1 A Ck = lim 2 A Ck = 2 lim A Ck = 2 (A) ,
k
Captulo 27
Vers
ao de 4 de dezembro de 2013.
1304/2078
Ap
endices
27.A
Prova das F
ormulas de Inclus
ao-Exclus
ao
Para provar (27.4), observe-se que A B pode ser escrito como a uniao disjunta A B = A (B Ac ), sendo que
B Ac M. Logo, (A B) = (A) + (B Ac ). Ao mesmo tempo, B tambem pode ser escrito como a uniao
disjunta B = (B A) (B Ac ), sendo que, novamente, tanto B A quanto B Ac sao elementos de M. Logo,
(B) = (B A) + (B Ac ). Eliminando (B Ac ) de ambas as relacoes obtemos (27.4).
A prova de (27.5) pode ser feita por inducao. O caso n = 1 e trivial, o caso n = 2 corresponde a (27.4). Suporemos
Sn1
Sn
a igualdade valida para n 1 e provaremo-la para n. Tomando A = j=1 Aj e B = An , tem-se j=1 Aj = A B e por
(27.4) obtem-se
n1
n1
n
[
[
[
(Aj An ) .
Aj + (An )
Aj =
j=1
j=1
j=1
n1
n1
X
[
(1)k+1
Aj =
j=1
j=1
(Aj An ) =
Ai1 Aik
Ai1 Ail An ,
1i1 <<ik n1
k=1
n1
[
n1
X
l=1
(1)l+1
1i1 <<il n1
(27.A.1)
pois Ai1 An Ail An = Ai1 Ail An . Note que o lado direito de (27.A.1) pode ser escrito como
n1
X
(1)l+1
l=1
Logo,
n
[
j=1
Aj =
n1
X
k=1
(1)k+1
1i1 <<il+1 n
il+1 =n
1i1 <<ik n1
Ai1 Ail Ail+1
Ai1 Aik
+ (An )
n1
X
l=1
(1)l+1
1i1 <<il+1 n
il+1 =n
n
[
j=1
Aj
lk1
n1
X
k=1
(1)k+1
1i1 <<ik n1
Ai1 Ail Ail+1
Ai1 Aik
+ (An ) +
n
X
(1)k+1
k=2
1i1 <<ik n
ik =n
Ai1 Aik
Vers
ao de 4 de dezembro de 2013.
Captulo 27
1305/2078
n
n1
n
X
X
X
X
[
Ai1 Aik
(1)k+1
Ai1 Aik +
(1)k+1
Aj =
j=1
1i1 <<ik n1
k=1
n
X
(1)k+1
k=1
1i1 <<ik n
Ai1 Aik ,
k=1
1i1 <<ik n
ik =n