NC Cap27

Captulo 27
Medidas
Conte
udo
27.1
27.2
27.3
O Problema da Teoria da Medida . . . . . . . . . . . . . . . . . . . . . . . .

Medidas de Conjuntos. Defini
c
ao, Exemplos e Propriedades B
asicas . . .
Construindo Medidas. A Medida Exterior e o Teorema de Carath
eodory
27.3.1 Medidas Exteriores Metricas e Conjuntos Borelianos . . . . . . . . . . . . .
27.4 Um Esquema de Constru
c
ao de Medidas Exteriores . . . . . . . . . . . . .
27.5 Medidas sobre An
eis e suas Extens
oes . . . . . . . . . . . . . . . . . . . . .
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
O Problema da Teoria da Medida
Em uma primeira instancia, o objetivo da

area da Analise conhecida como Teoria da Medida e dar fundamento às ideias
intuitivas de comprimento,
area, volume etc. de subconjuntos de Rn . Grandezas como comprimento, area, volume etc.
de subconjuntos de Rn sao referidas genericamente como medidas de tais conjuntos e à Teoria da Medida cabe n
ao so
apresentar definicoes precisas de tais conceitos mas tambem cabe determinar que classes de conjuntos sao mensur
aveis,
ou seja, a quais conjuntos tais conceitos sao aplic
aveis.
Talvez surpreenda ouvir pela primeira vez que conceitos como comprimento, area e volume n
ao possam ser aplicados
a qualquer conjunto e que a manipulacao dos mesmos, se feita sem o devido cuidado, possa levar a situacoes paradoxais.
Entretanto, como mostra o exemplo do conjunto de Vitali, tratado na proxima secao, existem, ja no simples caso da
reta real, conjuntos para os quais o conceito de comprimento n
ao pode ser definido. A dificuldade que temos de sequer
imaginar como devem ser tais conjuntos reside, talvez, no fato que os mesmos serem de construcao incomum (a construcao,
como veremos, faz uso explcito do Axioma da Escolha).
A Teoria da Medida n
ao se restringe, porem, a tratar de conceitos geometricos como comprimento, area etc., sendo
que o conceito formal de medida de um conjunto extrapola em muito esse campo de aplicacoes, como veremos. Fora isso,
a Teoria da Medida n
ao se limita apenas ao estudo do conceito de medida e de conjuntos mensuraveis, mas tem como seu
mais importante objetivo formalizacao da teoria da integracao. Que os conceitos de medida e de integral sao conectados
diz-nos ja a velha nocao de integral definida como sendo o
area sob o grafico de uma funcao. De fato, a teoria da
medida fornece material poderoso para um tratamento mais profundo do conceito de integral e de suas extensoes. Nestas
notas, o tratamento da Teoria da Integracao sera iniciado no Captulo 30, p
agina 1347.
Todos esses conceitos serao tratados de modo cuidadoso adiante, mas achamos por bem comecar mostrando ao
estudante a origem de toda a problem
atica: a existencia de conjuntos n
ao mensuraveis.
O exemplo de Vitali
Considere-se o conjunto R dos n
umeros reais e seus subconjuntos. Temos uma nocao intuitiva clara do que seja o
comprimento de intervalos da reta real como (a, b) ou [a, b] ou [a, b) ou (a, b]. Em todos esses casos o comprimento
1 Constantin
2 Henri
Carath
eodory (18731950).
L
eon Lebesgue (18751941).
1281
JCABarata. Curso de Fsica-Matem

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

atica
Captulo 27
Vers
1283/2078
Vamos denotar por Q1 o conjunto de todos os n

umeros racionais contidos no intervalo [1, 1]: Q1 = Q [1, 1].
Afirmamos que as seguintes relacoes de inclusao sao validas:
[
[0, 1]
Vr [1, 2] .
(27.1)
rQ1
Vamos provar isso. A relacao
Vr
[1, 2] e obvia pois V e um subconjunto do intervalo [0, 1] e, ao
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,
Pelo que vimos acima a uni

ao
1 m
rQ1
Vr 3 ,
Vr e uma uni
ao disjunta e cont
avel (pois os racionais sao cont
aveis). Logo, pelas
rQ1
nossas hipoteses sobre m, temos que
A desigualdade acima fica ent

ao
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
Agora, essa relacao e absurda pois n

ao pode ser nunca satisfeita para m(V ) 0. Se m(V ) = 0 a primeira desigualdade
e violada e se m(V ) > 0 (ou infinito) a segunda o e pois a soma e infinita.
O que est
a errado? O erro est
a em supor que se possa atribuir ao conjunto V um comprimento m(V ). O conjunto
V , que e chamado conjunto de Vitali, e um exemplo de um conjunto n
ao-mensur
avel. A ele n
ao e possvel atribuir um
comprimento, nem nulo, nem finito, nem infinito.
Para finalizar essa discuss
ao fazemos notar que fizemos uso de modo crucial do Axioma da Escolha na construcao do
conjunto V acima. Em outros esquemas axiom
aticos sobre a teoria dos conjuntos subjacente à Matem
atica o Axioma
da Escolha pode ser substitudo por um outro axioma que impeca a construcao de conjuntos como V . Tais esquemas
conduzem, entretanto, a Matem
aticas em um certo sentido empobrecidas, nas quais varios resultados de interesse n
ao
podem mais ser estabelecidos.
* *** *
Para a leitura do que segue neste Captulo e conveniente que o estudante esteja familiarizado com a nocao de -algebra
e suas propriedades b
asicas. Vide Captulo 26, p
agina 1256.

atica
27.2
Vers
Captulo 27
1284/2078
Medidas de Conjuntos. Definic

ao, Exemplos e Propriedades B
asicas
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
A propriedade 2 e por vezes denominada aditividade cont

avel, ou ainda -aditividade.
Uma palavra tem de ser dita aqui sobre o significado dessa definicao. Conforme vimos, h
a conjuntos em R aos quais
n
ao podemos atribuir uma nocao razoavel de comprimento. O problema consiste ent
ao em identificar classes de conjuntos
para os quais esta definicao pode fazer sentido sem que venhamos a cair em paradoxos como os envolvendo o conjunto
de Vitali. A experiencia mostrou que -algebras sao justamente o ambiente ideal para desenvolver a nocao de medida
de conjuntos, sem que se recaia em dificuldades logicas serias. Da restringirmos a definicao de medida à -algebras.
A propriedade (27.2) e de import
ancia crucial para o desenvolvimento da teoria de medida (e como tal, um achado
historico) e e chamada de propriedade de -aditividade.
Exemplos
Vamos a alguns exemplos b
asicos de medidas.
1. A medida de contagem. Seja X um conjunto n
ao-vazio e M = P(X). Para E M definimos
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.
2. A medida de Dirac4 . em x0 . Seja X um conjunto n

ao-vazio, seja M = P(X) e seja x0 um elemento de X. Para
E M definimos
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.
3. A medida de Dirac sobre um conjunto cont

avel C. Seja X um conjunto n
ao-vazio, seja M = P(X) e seja C um
subconjunto cont
avel de X. Para E M definimos
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
Adrien Maurice Dirac (19021984).

atica
Captulo 27
Vers
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 às 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.

M = , {}, {, }, {, , }
e uma -algebra em X = {, , }. Mostre que : M R+ , definida por

= 0, {} = 2, {, } = 1, {, , } = 3
e uma medida em M.

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
(Aj ) = (A1 ) + + (An ) ,

atica
Captulo 27
Vers
1286/2078
2. Se A e B sao elementos de M e A B ent

ao (A) (B).
Prova. Como A B, segue que B = A (Ac B), uma uniao disjunta de elementos de M (por que?). Logo, pelo
item anterior segue que (B) = (A) + (Ac B). Como (Ac B) 0, segue que (B) (A).
[
3. Se Aj , j N, sao elementos de M com Aj Aj+1 para todo j N, ent
ao lim (An ) = (A), onde A =
An .
n
nN
Prova. Defina-se B1 = A1 e Ba = Aa \ Aa1 para a 2. Ent

ao, pelas hipoteses,
[
An = B1 Bn
e
A =
Ba ,
aN
onde, em ambos os casos, as uni

oes sao disjuntas. Assim,
(An ) = (B1 ) + + (Bn )
(A) =
(Ba ) .
aN
Portanto, (A) = lim (An ), como queramos provar.

n
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
Prova. Seja Ca = A1 \ Aa . Ent

ao, pelas hip
oteses, Cj Cj+1 . Como vimos no item anterior, isso diz que
lim (Cn ) = (C) ,
onde C =
Ca = A1 \ A. Temos agora que A1 = An Cn e A1 = A C, duas unioes disjuntas. Portanto
aN
(An ) + (Cn ) = (A) + (C). Assim, lim (An ) + lim (Cn ) = (A) + (C) e, ent
ao,
n
lim (An ) + (C) = (A) + (C) .
Como (A1 ) e finito, ent

ao (C) e (A) tambem sao finitos (pois sao subconjuntos de A1 ). Logo, podemos cancelar
(C) da u
ltima igualdade e obtemos o desejado.
Os dois primeiros itens acima sao resultados desejados pela nocao intuitiva de medida. O pen
ultimo diz que a medida
de um conjunto mensuravel A pode ser aproximada por dentro pelas medidas de conjuntos mensuraveis que convergem
aAeou
ltimo item diz que se um conjunto mensuravel A tem medida finita e se h
a conjuntos An tambem com medida
finita que contem A e convergem a A ent
ao tambem podemos aproximar a medida de A pela dos aproximantes externos
An .
F
ormula de Inclus
ao-Exclus
ao
O seguinte exerccio apresenta mais algumas propriedades gerais elementares de medidas. As expressoes (27.4) e
(27.5), denominadas por vezes f
ormulas de inclus
ao-exclus
ao, ou princpio de inclus
ao-exclus
ao, sao usadas ami
ude, por
exemplo, na Teoria de Probabilidades e em Analise Combinatoria.
E. 27.5 Exerccio. Sejam X um conjunto nao-vazio, M uma -algebra em X e uma medida em M. Entao, se A e B
sao elementos de M tais que (A) < e (B) < , mostre que

A B = (A) + (B) A B .
(27.4)
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.

atica
Vers
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
{i1 , ..., i|I| }
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 à 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
Construindo Medidas. A Medida Exterior e o Teorema

de Carath
eodory
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

atica
Vers
Captulo 27
1288/2078
Antes de prosseguirmos, facamos alguns coment

arios.
Um exemplo elementar de medida exterior, e que ilustrara o Teorema de Caratheodory, abaixo, e encontrado no
Exerccio E. 27.8 da p
agina 1292.
Enfatizamos que medidas exteriores sao definidas sobre a totalidade dos subconjuntos de X ao contrario de medidas,
que sao definidas apenas sobre -algebras em X (e que podem ser menores que P(X)).
Uma outra distincao relevante entre medidas exteriores e medidas e a seguinte. Seja A um conjunto e sejam
A1 e A2 dois subconjuntos disjuntos proprios do conjunto A tais que A = A1 A2 . Ent
ao, h
a casos em que
(A) 6= (A1 ) + (A2 ). Esse fato e contr
ario à intuicao por tras da nocao de medida de um conjunto. Para uma
medida isso nunca pode ocorrer se A, A1 e A2 forem elementos da -algebra dos conjuntos mensuraveis por ,
pela propria definicao de medida dada acima.
Se A1 e A2 sao dois subconjuntos de X sempre temos que (A1 A2 ) (A1 ) + (A2 ).[
Isso e facil de se ver pela
definicao de medida exterior pois, tomando-se Aj = para j > 2 temos que A1 A2 =
Aj .
jN
Para um esquema de construcao de medidas exteriores, vide Secao 27.4, p

agina 1297.
A nocao de medida exterior foi introduzida por Caratheodory, que desenvolveu boa parte da sua teoria.
A seguinte proposicao sera relevante quando construirmos a medida de Hausdorff no Captulo 28, p
agina 1306.
ao := sup e tambem uma medida
Proposi
c
ao 27.1 Se , , for uma famlia de medidas exteriores em X, ent
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 -
Antes de provarmos esse teorema, facamos algumas observacoes sobre o mesmo.

No enunciado do Teorema 27.1 a condicao (27.9) pode ser substituida pela desigualdade

(E) E A + E Ac ,
(27.10)
10 Em sua forma original esse teorema

e devido ao matem
atico Constantin Carath
eodory (18731950) e por isso vamos denomin
a-lo assim,
ainda que tal nomenclatura n
ao seja universal.

atica
Vers
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).
Apesar de o teorema acima n

ao ser, admitidamente, muito intuitivo, o mesmo fornece um metodo importante de
construcao de medidas. A raz
ao e que, como veremos no caso da construcao da medida de Lebesgue, e em muitos casos
mais facil (um esquema de construcao de medidas exteriores e apresentado na Secao 27.4, p
agina 1297) construir-se
primeiro uma medida exterior sobre um conjunto X que uma medida, o que exigiria a identificacao previa de uma algebra conveniente. O teorema acima j
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
Prova. Tudo o que queremos provar e que

(E) = E (A B) + E (A B)c
para um subconjunto E X generico.
Seja E o conjunto E = (A B) E. Ent

ao, como A M , segue que

(E ) = E A + E Ac ,
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
Vamos fazer uso dessa u

ltima igualdade logo abaixo.

= A E + Ac E B .
Notemos agora que, como A e B sao elementos de M , temos que

(E) = A E + Ac E
=

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 ,
que e o que queramos demonstrar.
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 à prova do Teorema de Caratheodory.

atica
Captulo 27
Vers
1290/2078
Prova do teorema de Carath

eodory
Parte I. Vamos nesta parte I provar que o conjunto M e, de fato, uma -algebra.
Em primeiro lugar, note-se que se A M ent
ao Ac tambem e um elemento de M pois (Ac )c = A e portanto, para
todo E X,

E (Ac ) + E (Ac )c = E (Ac ) + E A = (E) ,
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
Seja E um subconjunto generico de X.

Claramentec temos que E = (E A) (E A ), o que, pelo que observamos
acima, significa
que
(E)
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.
Para provar esta desigualdade, observemos

primeiro

que, para qualquer conjunto E e qualquer elemento A de M
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 ,
pois, como A B = , tem-se que (A B) E A = A E e (A B) E Ac = B E.

E. 27.7 Exerccio. Verifique estas
ultimas afirmativas.
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 !
para todo E X. Agora

n
[
i=1
pois os Bi s sao disjuntos.

Por outro lado
E
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!) .

atica
Captulo 27
Vers
Logo, vimos que

(E)
n
X
(Bi E) + E
i=1
Bi
!c !
Bi
!c !
iN
1291/2078
Como essa desigualdade vale para qualquer n, segue que

(E)
(Bi E) + E
i=1
iN
Por fim, pela propria definicao de medida exterior, temos que
(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
Pelo que ja vimos na parte I, temos que

(E)
(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
Como isso vale para todo E X, tomemos, em particular, E =
Bi . A u
ltima formula fica
iN
iN
Bi
X
i=1
(Bi ) ,

atica
Vers
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)
Figura 27.1: A Estrela de Koch.
O Teorema de Caratheodory, Teorema 27.1, p

agina 1288, permite a construcao de uma medida em uma determinada
-algebra e seria u
til conhecer criterios que permitam obter mais informacoes sobre os elementos dessa -algebra. No caso
de espacos metricos uma informacao importante pode ser obtida para o caso das chamadas medidas exteriores metricas,
a saber, que todos os conjuntos Borelianos sao mensuraveis no sentido de Caratheodory, ou seja, satisfazem a condicao
(27.9), p
agina 1288. Disso trataremos na Secao 27.3.1, p
agina 1294.
Uma ilustra
c
ao elementar do Teorema de Carath
eodory
O seguinte exerccio-exemplo ilustra o Teorema de Caratheodory.
E. 27.8 Exerccio-exemplo.
Seja X = {, , } e seja
Sejam , e tres objetos distintos (por exemplo, tres letras distintas do alfabeto grego).

P(X) = , {}, {}, {}, {, }, {, }, {, }, {, , } .
Mostre que : P(X) R+ , definida por

=0,

{} = 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
Ferdinand Ludwig Philipp Cantor (18451918).

Fabian Helge von Koch (18701924).
(27.11)

atica
Vers
Captulo 27
1293/2078
possuem a propriedade (27.11). Mostre agora que

1. Para A = {} a propriedade (27.11) falha com E = {, , } e com E = {, }.
2. Para A = {} a propriedade (27.11) falha com E = {, , } e com E = {, }.
3. Para A = {, } a propriedade (27.11) falha com E = {, , } e com E = {, }.
4. Para A = {, } a propriedade (27.11) falha com E = {, , } e com E = {, }.
Assim, apenas os elementos de M, acima, possuem a propriedade de Caratheodory.
Os fatos, garantidos pelo Teorema de Caratheodory, que M e uma -algebra e que restrita a M, ou seja

= 0 , {} = 2 , {, } = 1 , {, , } = 3
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
Prova. Para provar a afirmativa note que, se E X e B A com A sendo -mensur

avel, ent
ao
(E B)

E Bc A
(E A)
(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 ).

atica
Captulo 27
Vers
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 à 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 à 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

atica
Captulo 27
Vers
1295/2078
O lema tecnico a seguir tem conseq

uencias importantes a respeito da mensurabilidade de conjuntos Borelianos, das
quais trataremos logo abaixo.
Lema 27.2 Sejam M um conjunto n
ao-vazio dotado de uma metrica d, d a topologia em M induzida por d e uma
medida exterior metrica em M . Seja {An , n N} uma seq
uencia crescente de subconjuntos de M com a propriedade
d(An , A \ An+1 ) > 0
para todo n N, onde A lim An =
n
(27.16)
Am . Ent
ao,
mN
lim An
= lim (An ) .
(27.17)
Prova. Defina-se uma nova seq

uencia {Bn , n N} de subconjuntos de M por B1 = A1 , Bk = Ak \ Ak1 , k 2. Pela
definicao vale, evidentemente, que
Bk Ak
(27.18)
para todo k, e que, para l k 2
Bl A \ Ak+1
(27.19)
pois Bl = Al \ Al1 A \ Al1 A \ Ak+1 a u

ltima relacao sendo devida a Al1 Ak+1 . Segue disso que
d(Bk , Bl ) > 0 para todos k e l com l k 2,
(27.20)
pois para l k 2 vale

d(Bk , Bl ) = inf d(x, y), x Bk , y Bl
(27.18)(27.19)

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
Logo, para todo m tem-se A2m1

(A2m1 )
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

atica
Captulo 27
Vers
1296/2078
No caso 2 procedemos da seguinte forma. Segue de (27.22) que

A =
Aa = Aj
a=1
Ba
a=j+1
para qualquer j. Logo,
(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
(A) lim (An ). Essas duas u

ltimas desigualdades implicam (27.17) para o caso 2.
n
Mensurabilidade de conjuntos Bolerianos para medidas exteriores m

etricas
Teorema 27.3 Sejam M um conjunto n
ao-vazio dotado de uma metrica d, d a topologia em M induzida por d e seja
uma medida exterior metrica em M . Ent
ao M[d ] M , ou seja, os conjuntos Borelianos de M (segundo a topologia
2
d ) s
ao mensur
aveis para a medida exterior metrica .
suficiente demonstrarmos que todo aberto A d satisfaz a condicao de mensurabilidade de Caratheodory
Prova. E
(27.9), p
agina 1288, para todo E M , pois isso garante que d M , o que implica que M[d ] M . Para tal, e
suficiente provarmos que (E) (E A) + (E Ac ) para todo A d e todo E M , pois a desigualdade oposta
(E) (E A) + (E Ac ) e sempre satisfeita para uma medida exterior .
Para cada m N, seja Em E A o conjunto
n
o

Em = x E A d(x, y) 1/m para todo y Ac .

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
estudante deve atentar para o fato que somente nessa passagem

e evocado que A
e d -aberto.

atica
Captulo 27
Vers
1297/2078
O segundo passo e observar que,

lim Em = E A ,
(27.27)
pois, como a seq

uencia de conjuntos Em e crescente, ou seja, Em Em para todos m m , segue que
Em =
mN
lim Em e, de (27.26), segue imediatamente (27.27).
No terceiro passo provamos que para todo m N vale

d Em , (E A) \ Em+1
> 0.
(27.28)
De fato, notemos que se z (E A) \ Em+1 ent

ao, pela definicao de Em+1 , existe pelo menos um ponto y Ac tal que
d(z, y) < 1/(m + 1). Logo, para qualquer x Em teremos pela definicao de Em que d(x, y) 1/m. Da desigualdade
triangular segue que d(x, y) d(x, z) + d(z, y) e, portanto, que
d(x, z) d(x, y) d(z, y) >
Assim,
d Em , (E A) \ Em+1
provando (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
Por (27.27), (27.28) e pelo Lema 27.2, p

agina 1295, vale

E A = lim Em .
m
Logo, de (27.25) segue que
(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

atica
Captulo 27
Vers
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).
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.
Teorema 27.4 Seja X um conjunto n

ao-vazio. Vamos supor que exista uma a colec
ao n
ao-vazia R P(X) de subconjuntos de X, com as seguintes propriedades:
1. R.
2. Se SR denota a colec
ao de todos os subconjuntos cont
aveis de R (ou seja, cada R SR e uma colec
ao cont
avel
{Bn R, n N} de elementos de R), ent
ao existe uma func
ao H : SR R+ {} com as seguintes propriedades:
(a) H({}) = 0.
(b) Se Rb SR para todo b N, ent
ao
H
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
3. Todo A X possui ao menos um recobrimento cont

avel por elementos de R. Para cada A X denotemos por
CR (A) SR a colec
ao (n
ao-vazia) de todos os recobrimentos cont
aveis de A por elementos de R.
Com isso, defina-se para cada A X,
n
o
(A) R (A) := inf H(R), R CR (A) .
Ent
ao, a aplicac
ao : P(X) R+ {}, definida em (27.32), e uma medida exterior em X.
(27.32)
2
Antes de apresentarmos a demonstracao do Teorema 27.4 facamos alguns coment

arios.
S
1. Cada R CR (A) e uma colecao cont
avel {Bn R, n N} de elementos de R tais que Rm R Rm A. Note
tambem que, como CR (A) SR , ent
ao CR (A) pertence ao domnio de definicao de H.
S
2. Note que se {Rb , b N} for uma colecao cont
avel de elementos de CR (A), ent
ao bN Rb e tambem elemento de
CR (A):
[
se Rb CR (A), b N ,
=
Rb CR (A) .
(27.33)
bN
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.

atica
Captulo 27
Vers
1299/2078
Prova do Teorema 27.4. Em primeiro lugar, como {} e um recobrimento cont

avel de , vale H({}) = 0. Assim, pela
definicao de , segue que () = 0.
Em segundo lugar, se A B, ent
ao CR (B) CR (A) pois se uma colecao R R recobre B, ent
ao tambem recobre
A. Logo,
inf {H(R)}
inf {H(R)} ,
RCR (A)
RCR (B)
provando que (A) (B).

[
Falta-nos apenas provar que
Ai
iN
(Ai ) onde Ai sao subconjuntos de X. Observemos primeiramente que
iN
se A e um subconjunto qualquer de X, ent

ao pela definicao de nfimo de um conjunto de n
umeros, podemos encontrar
para qualquer n
umero real positivo r dado pelo menos um R CR (A) tal que H(R) (A) + r.
Isto posto, fixando > 0 existe para cada b N um Rb CR (Ab ) tal que
H(Rb ) (Ab ) +
Pela hipotese (27.33), a colecao J =
[
e, portanto, pertencem a CR
Rb e tambem uma colecao cont

avel de conjuntos que cobrem o conjunto
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
Como isso vale para qualquer > 0, segue que
iN
Ai
(Ab ) .
bN
Isso completa a prova que e uma medida exterior.

A Proposicao 27.2 e o Teorema 27.4 ensinam-nos quais ingredientes devem ser reunidos para a construcao de uma
medida exterior em X: 1. uma colecao R de conjuntos de X; 2. uma funcao positiva h definida em R, ingredientes estes
que devem satisfazer as condicoes da Proposicao 27.2 e do Teorema 27.4. No Captulo 28, p
agina 1306, esse esquema
sera ilustrado em exemplos importantes.
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.

atica
Vers
Captulo 27
1300/2078
Medidas sobre an
eis
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
A segunda propriedade e denominada -aditividade.

Como discutiremos, sob hip
oteses adequadas medidas sobre aneis podem ser estendidas a -algebras.
Conjuntos monotonamente alcan
c
aveis por um anel.
Seja X n
ao-vazio e R um anel em X. Disemos que Y P(X) e monotonamente alcanc
avel por R se existir uma
colecaS
o cont
avel An , n N, de elementos de R que seja crescente (i.e., An Am sempre que n m) e tal que
avel por R se existir uma
Y nN An . Analogamente, dizemos que o proprio X e monotonamente alcanc
S colecao
cont
avel An , n N, de elementos de R que seja crescente (i.e., An Am sempre que n m) e tal que X = nN An .
Se X e monotonamente alcancavel por R ent
ao, evidentemente, todo Y X e monotonamente alcancavel por R.
Comentamos que se X e monotonamente alcancavel por um anel R em X, ent
ao R n
ao e necessariamente uma
lgebra, pois n
a
ao e necessariamente valido que X R. No entanto, se X e monotonamente alcancavel por R, ent
ao o
-anel R [R] gerado por R coincide com a -algebra A [R] gerada por R. De fato, nesse caso e evidente que X R [R]
o que faz de R [R] uma -algebra que contem R. Logo, R [R] A [R]. Como, naturalmente, toda -algebra e um
-anel, A [R] e um -anel que contem R e, portanto, temos tambem A [R] R [R]. Isso estabelece R [R] = A [R].
Medidas -finitas sobre an
eis
ao-vazio e seja A uma -algebra ou um anel contendo o conjunto vazio e seja uma medida
sobreSA. Um elemento A A e dito ser --finito se existir uma seq
uencia de conjuntos {Bn A, n N} tal que
A nN Bn e tal que (Bn ) < para todo n N.
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 .

atica
Vers
Captulo 27
1301/2078
Prova. Se X e monotonamente alcancavel por R, ent

ao existe
avel {An R, n N} de elementos de
S uma colecao cont
R que e crescente (i.e., An Am se n m) e tal que X = nM An . SeS e -finita, ent
ao existe para cada n N uma
colecao cont
avel {Bn, m R, m N} de elementos de R tal que An mN Bn, m e (Bn, m ) < .

Sk
Seja N a 7 n(a), m(a) N2 uma bijecao entre N e N2 . Seja tambem, para cada k N, Ck := a=1 Bn(a), m(a) .
evidente que para todo k tem-se Ck R e (Ck ) < (por Ck ser uma uniao finita de conjuntos de medida finita).
E
Alem disso, e tambem evidente que Ck Cl se k l. Por fim, observe-se que
[
[ [
[
[
Bn, m =
Ck =
Bn, m
An = X ,
(n, m)N2
kN
provando que
kN
nN mN
nN
Ck = X
Extens
oes de medidas sobre an
eis
Uma vez munidos das nocoes acima, passemos à 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
A demonstracao que apresentamos segue [101] e [19], com modificacoes.

Prova da Parte I. Apoiados na construcao de Caratheodory enunciada no Teorema 27.1, p
agina 1288, comecemos construindo uma medida exterior em X definindo, para todo Y X
(
)
X
[
(Y ) := inf
(An ), Y
An , com An R para todo n N .
nN
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
Se existir ao menos um Yn tal que (Yn ) = , ent

ao (27.36) vale trivialmente. Suponhamos, portanto, que (Yn ) <
para todo n N.
Pela definicao de e possvel encontrar, para cada
cada n, um conjunto cont
avel {Znm , m N}
S > 0 e para P
(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
Como essa desigualdade e valida para todo > 0, provamos que

estabelecendo que e uma medida exterior.
X

(Yn ) + .
=
n
2
nN
nN
Yn
nN
(Yn ), como desejavamos,

atica
Vers
Captulo 27
1302/2078
aveis (vide o Teorema de Caratheodory,

Agora passamos a demonstrar que a -algebra M dos conjuntos -mensur
Teorema 27.1, p
agina 1288) contem A [R]. Para tal, desejamos provar que cada A R satisfaz

E A E + Ac E
(27.37)
para todo E X. Segundo o coment

ario feito em torno de (27.10), isso implica que todo elemento de R e -mensur
avel,
ou seja, que R M , implicando que A [R] M . Como e uma medida quando restrito à -algebra M (novamente
pelo Teorema de Caratheodory, Teorema 27.1, p
agina 1288), conclumos disso que e tambem uma medida quando
restrito à -algebra A [R]. Essa restricao e a medida prometida no enunciado do Teorema 27.5.
suficiente tomarmos E X tal que (E) < , pois caso (E) = , ent
ao (27.37) e satisfeita automaticamente.
E
Nesse caso, tomemos um > 0, arbitrario, e tomemos um conjunto cont
avel {En , n N} de elementos de R cuja uniao
recobra E e tal que
X
(En ) (E) + .
nN

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
Observe-se, agora, que {En A, n N} e {En Ac , n N} sao cole

aveis de
elementosc de R

Pcoes cont
Pcujas respectivas
c
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
R [Rk ] e o menor -anel a conter Rk . Estabelecemos, assim, que

A [Rk ] = R [Rk ] .
(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).

atica
Captulo 27
Vers
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.
Como Gk e um sistema mon

otono e que contem Rk , conclumos que
A [Rk ]
(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
A segunda e a quarta igualdades acima decorrem da propriedade descrita no item 3, p

agina 1286, e do fato de {ACk , k
N} ser uma seq
uencia crescente de conjuntos, j
a que {Ck , k N} o e. Assim, provamos que 1 = 2 em toda A [R] e,
portanto, a medida tem uma extensao u
nica de R em A [R] caso seja -finita em R.
Resta-nos ainda provar que essa extensao, , e tambem -finita, mas isso e evidente: se e -finita em R existe
uma colecao {An R, n N} que recobre X sendo que cada An tem medida finita. Ora, cada An e tambem elemento
de A [R] e (An ) = (An ) < . Isso mostra que tem tambem a propriedade de ser -finita.

atica
Captulo 27
Vers
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
Agora, assumindo (27.5) verdadeira para n 1, segue que
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
Fazendo-se a mudanca de variaveis l k 1 na segunda somatoria, obtemos
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

atica
Vers
Captulo 27
1305/2078
O termo (An ) pode ser absorvido na u

ltima somatoria se a iniciarmos por k = 1 em lugar de k = 2. Portanto,
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
que e o que se desejava provar.
1i1 <<ik n

Ai1 Aik ,
k=1
1i1 <<ik n
ik =n

NC Cap27

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

NC Cap27

Enviado por

Direitos autorais:

Formatos disponíveis

Captulo 27

O Problema da Teoria da Medida . . . . . . . . . . . . . . . . . . . . . . . .

O Problema da Teoria da Medida

Em uma primeira instancia, o objetivo da

JCABarata. Curso de Fsica-Matem

JCABarata. Curso de Fsica-Matem

Vamos denotar por Q1 o conjunto de todos os n

Vamos provar isso. A relacao

[1, 2] e obvia pois V e um subconjunto do intervalo [0, 1] e, ao

Pelo que vimos acima a uni

nossas hipoteses sobre m, temos que

A desigualdade acima fica ent

Agora, essa relacao e absurda pois n

JCABarata. Curso de Fsica-Matem

Medidas de Conjuntos. Definic

A propriedade 2 e por vezes denominada aditividade cont

2. A medida de Dirac4 . em x0 . Seja X um conjunto n

3. A medida de Dirac sobre um conjunto cont

Adrien Maurice Dirac (19021984).

JCABarata. Curso de Fsica-Matem

(Aj ) = (A1 ) + + (An ) ,

JCABarata. Curso de Fsica-Matem

2. Se A e B sao elementos de M e A B ent

Prova. Defina-se B1 = A1 e Ba = Aa \ Aa1 para a 2. Ent

onde, em ambos os casos, as uni

Portanto, (A) = lim (An ), como queramos provar.

Prova. Seja Ca = A1 \ Aa . Ent

Ca = A1 \ A. Temos agora que A1 = An Cn e A1 = A C, duas unioes disjuntas. Portanto

lim (An ) + (C) = (A) + (C) .

Como (A1 ) e finito, ent

JCABarata. Curso de Fsica-Matem

{i1 , ..., i|I| }

Construindo Medidas. A Medida Exterior e o Teorema

JCABarata. Curso de Fsica-Matem

Antes de prosseguirmos, facamos alguns coment

Para um esquema de construcao de medidas exteriores, vide Secao 27.4, p

Antes de provarmos esse teorema, facamos algumas observacoes sobre o mesmo.

10 Em sua forma original esse teorema

JCABarata. Curso de Fsica-Matem

Apesar de o teorema acima n

Prova. Tudo o que queremos provar e que

para um subconjunto E X generico.

Seja E o conjunto E = (A B) E. Ent

Vamos fazer uso dessa u

Notemos agora que, como A e B sao elementos de M , temos que

que e o que queramos demonstrar.

JCABarata. Curso de Fsica-Matem

Prova do teorema de Carath

Seja E um subconjunto generico de X.

Para provar esta desigualdade, observemos

pois, como A B = , tem-se que (A B) E A = A E e (A B) E Ac = B E.

para todo E X. Agora

pois os Bi s sao disjuntos.

JCABarata. Curso de Fsica-Matem

Logo, vimos que

Como essa desigualdade vale para qualquer n, segue que

Por fim, pela propria definicao de medida exterior, temos que

Pelo que ja vimos na parte I, temos que

Como isso vale para todo E X, tomemos, em particular, E =

JCABarata. Curso de Fsica-Matem

Figura 27.1: A Estrela de Koch.

O Teorema de Caratheodory, Teorema 27.1, p

Mostre que : P(X) R+ , definida por