Medida e Integra
c
ao
Rodney Josu
e Biezuner
Departamento de Matematica
Instituto de Ciencias Exatas (ICEx)
Universidade Federal de Minas Gerais (UFMG)
27 de marco de 2012
Sum
ario
1 Medidas
1.1 Introduc
ao . . . . . . . . . . . . . . .
1.2 -Algebras
. . . . . . . . . . . . . . .
1.2.1 Denic
ao . . . . . . . . . . .
1.2.2 Exemplos . . . . . . . . . . .
1.2.3 A -algebra de Borel . . . . .
1.2.4 -
algebras produto . . . . . .
1.2.5 Exerccios . . . . . . . . . . .
1.3 Medidas . . . . . . . . . . . . . . . .
1.3.1 Denic
ao . . . . . . . . . . .
1.3.2 Propriedades . . . . . . . . .
1.3.3 Medidas Completas . . . . .
1.3.4 Exerccios . . . . . . . . . . .
1.4 Medidas Exteriores . . . . . . . . . .
1.4.1 O Teorema de Caratheodory
1.4.2 Pre-medidas . . . . . . . . . .
1.4.3 Exerccios . . . . . . . . . . .
1.5 Medidas de Borel na Reta . . . . . .
1.5.1 Famlias Elementares . . . . .
1.5.2 Medida de Lebesgue-Stieltjes
1.5.3 Propriedades de Regularidade
1.5.4 Medida de Lebesgue . . . . .
1.5.5 Exerccios . . . . . . . . . . .
1.5.6 O conjunto de Cantor . . . .
1.5.7 Exerccios . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
da Medida de Lebesgue-Stieltjes
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2
2
3
3
4
5
5
7
8
8
9
10
11
13
14
15
17
17
18
19
21
23
23
24
25
Captulo 1
Medidas
1.1
Introduc
ao
Idealmente, gostaramos de denir uma funcao medida no espaco euclidiano Rn que atribuisse a todo
subconjunto E Rn um n
umero (E) > 0 que satiszesse as seguintes propriedades:
(i) Se {Ei }iN e uma colec
ao nita ou enumeravel de subconjuntos disjuntos de Rn , entao
(
)
Ei =
(Ei ) .
iN
iN
(ii) Se E e congruente a F (ou seja, E pode ser transformado em F atraves de translacoes, rotacoes e/ou
reexoes), ent
ao (E) = (F ).
(iii) Se C = [0, 1)n e o cubo unitario de Rn , entao (C) = 1.
Infelizmente estas condic
oes sao mutuamente incompatveis, como o exemplo a seguir demonstra.
1.1 Contraexemplo. Dena a seguinte relacao de equivalencia em [0, 1): x y se e somente se x y Q.
Usando o axioma da escolha, seja A um subconjunto de [0, 1) que contem exatamente um elemento de
cada classe de equivalencia desta relacao. Seja Q = Q [0, 1), ou seja, Q e o conjunto dos n
umeros
racionais no intervalo [0, 1), e para cada q Q considere o conjunto
Aq = {x + q : x A [0, 1 q)} {x + q 1 : x A [1 q, 1)} .
Em outras palavras, para obter Aq faca uma translacao de A q unidades para a direita e entao mova
a parte que saiu fora de [0, 1) uma unidade para a esquerda. Observe que nao apenas os conjuntos
Aq sao disjuntos, mas cada elemento x [0, 1) pertence exatamente a um u
nico Aq . De fato, dado
x [0, 1), se y e o elemento da classe de equivalencia de x que esta em A, entao
{
xy
se x > y,
x Aq onde q =
xy+1
se x < y;
se tivessemos x Aq Ap ent
ao xq (ou xq +1) e xp (ou xp+1) seriam elementos distintos de A
pertencentes `a mesma classe de equivalencia, contradizendo a denicao de A. Assumindo a existencia
de uma func
ao medida : P (Rn ) [0, ] que satisfaz as tres condicoes acima, teramos por (iii) e
(i) que
(Aq ) .
Aq =
1 = ([0, 1)) =
qQ
Portanto, ou
Enfraquecer a condic
ao (i) permitindo apenas unioes nitas nao elimina a contradicao. De acordo com
o paradoxo de Banach-Tarski (que e tambem uma consequencia do axioma da escolha), se K1 e K2 sao
quaisquer subconjuntos compactos de Rn , n > 3, entao e possvel encontrar subdivisoes nitas disjuntas
k
k
j=1
Ej2 para cada j = 1, . . . , k. Em outras palavras, e possvel tomar qualquer subconjunto de Rn , n > 3, e
corta-lo em um n
umero nitos de partes de tal forma a faze-lo ter a medida de qualquer outro subconjunto
claro que estas partes devem ter formas altamente bizarras, impossveis de imaginar, ja que em
de Rn ! E
u
ltima analise elas sao construdas com o auxlio do axioma da escolha. De qualquer modo, o paradoxo
de Banach-Tarski mostra que o problema esta na ambicao de querer denir uma funcao medida que possa
medir qualquer subconjunto de Rn . Claramente, existem subconjuntos de Rn que desaam qualquer nocao
de medida, isto e, nao sao mensuraveis.
Assim sendo, devemos abandonar a possibilidade de se contruir uma funcao medida que esteja denida
em todos os subconjuntos de Rn e nos restringir a uma subclasse conveniente de subconjuntos de Rn , ou seja,
conjuntos que encontramos nas aplicac
oes praticas de Matematica (e nao casos patologicos, construdos especicamente para provar um ponto em Logica), que serao os nossos conjuntos mensuraveis, isto e, conjuntos
que podem ser medidos.
1.2
-Algebras
Nesta secao deniremos precisamente subclasses de P (X) (onde X e um conjunto qualquer) onde podemos
denir uma noc
ao de medida.
1.2.1
Definic
ao
(i) se E1 , . . . , En A, ent
ao
Ei A;
i=1
(ii) se E A, ent
ao E c = X A A.
1.2 Defini
c
ao. Seja X um conjunto nao vazio. Uma -
algebra
em X e uma algebra que e fechada tambem
sob unioes enumer
aveis, ou seja, se {Ei }iN A, entao
Ei A.
iN
1.3 Proposi
c
ao. -
algebras [
algebras] s
ao fechadas tambem sob intersec
oes enumer
aveis [finitas].
Prova. Lembrando a lei de deMorgan
)c
Ei
Eic
i
c
c
Ei =
Ei
.
i
1.4 Proposi
c
ao. Qualquer -
algebra [
algebra] em X contem e X.
Prova. Como uma -algebra [algebra] A por denicao nao e vazia, se E A, entao
= E Ec
e
X = E Ec.
1.5 Proposi
c
ao. Se A e uma
algebra, ent
ao A e uma -
algebra se ela e fechada sob uni
oes enumer
aveis
disjuntas.
Prova. Seja {Ei }iN A. Dena
F1 = E1 ,
F2 = E2 \E1 ,
F3 = E3 \ (E1 E2 ) ,
e, em geral,
Fj = Ej
\j1
Ei = Ej
(j1
i=1
)c
Ei
i=1
Segue que {Fj }jN A e uma famlia de conjuntos enumeraveis disjuntos de A tal que
iN
Ei =
Fj .
jN
A tecnica introduzida na demonstrac
ao da proposicao anterior de substituir uma sequencia de conjuntos por
uma sequencia de conjuntos disjuntos obtendo a mesma uniao e extremamente u
til no nosso contexto e sera
utilizada varias vezes.
1.2.2
Exemplos
1.2.3
A -
algebra de Borel
1.10 Exemplo. Se X e um espaco metrico ou, mais geralmente, um espaco topologico, entao a -algebra
gerada pela famlia de conjuntos abertos de X e chamada a -
algebra de Borel de X, denotada por
BX ; seus elementos sao chamados de conjuntos de Borel. Portanto, BX inclui conjuntos abertos,
conjuntos fechados (os complementares dos conjuntos abertos), intersecoes enumeraveis de conjuntos
abertos (lembrando que unioes enumeraveis de conjuntos abertos ja sao abertos), unioes enumeraveis
de conjuntos fechados (lembrando que intersecoes enumeraveis de conjuntos fechados ja sao fechados)
e assim por diante.
Em particular, a -algebra de Borel da reta R vai ser importante nas nossas discussoes. Ela pode ser
gerada de varias maneiras diferentes:
1.11 Proposi
c
ao. A -
algebra de Borel da reta BR e gerada por qualquer um dos conjuntos seguintes:
(a) o conjunto dos intervalos abertos E1 = {(a, b) : a < b} ;
(b) o conjunto dos intervalos fechados E2 = {[a, b] : a < b} ;
(c) o conjunto dos intervalos semiabertos E3 = {(a, b] : a < b} ou E4 = {[a, b) : a < b} ;
(d) o conjunto dos raios abertos E5 = {(a, +) : a R} ou E6 = {(, a) : a R} ;
(e) o conjunto dos raios fechados E7 = {[a, +) : a R} ou E8 = {(, a] : a R} .
Prova. Os elementos de Ej para j = 3, 4 sao
abertos
ou fechados;
os elementos de E3 e E4 sao intersecoes
(
)
a n1 , b ). Todos estes conjuntos sao conjuntos de Borel,
enumeraveis de abertos (por exemplo, [a, b) =
nN
1.2.4
-
algebras produto
X=
(
)
e : X X a aplicac
ao projecao, isto e, (x )A = x . Se M e uma -algebra em X
para cada , ent
ao denimos a -
algebra produto em X como sendo a -algebra gerada por
}
{ 1
(E ) : E M , A .
O signicado da -algebra produto cara mais claro no incio do proximo captulo. No caso de produtos
enumeraveis a -algebra produto tem uma caracterizacao mais simples e intuitiva:
{
}
Mi e a -
algebra gerada por
Ei : Ei Mi .
1.13 Proposi
c
ao.
iN
Prova. Se Ei Mi , ent
ao
iN
i1 (Ei ) =
jN
Ej ,
6
{
onde
Ej =
Ei
Xj
se j = i,
se j =
i.
{ 1
}
i (Ei ) : Ei Mi , i N
Ei : Ei Mi ,
iN
Mi M
Ei : Ei Mi
.
iN
Ei =
iN
logo,
i1 (Ei ) ,
iN
}
Ei : Ei Mi
(1.1)
iN
({
i1 (Ei ) : Ei Mi , i N
iN
})
Mi .
iN
M
Ei : Ei Mi
Mi .
iN
(1.2)
iN
({
Mi = M
})
Ei : Ei Mi
iN
iN
1.14 Lema. Seja M = M(E ). Ent
ao
No caso enumer
avel, temos
{
}
M = M( 1 (E ) : E E , A ).
({
Mi = M
iN
})
Ei : Ei Ei
.
iN
{
}
conjunto
{
{
}}
E X : 1 (E) M( 1 (E ) : E E , A
{ 1
}
1
e uma -algebra em X que contem E e portanto
M
.
Em
outras
palavras,
(E)
M(
(E
)
:
E
E
,
{
}
A segunda armac
ao segue da primeira como na demonstracao da proposicao anterior.
1.15 Teorema. Sejam X1 , . . . , Xn espacos metricos e X =
n
i=1
BXi BX .
i=1
Se X1 , . . . , Xn s
ao separ
aveis, ent
ao
i=1
BXi = BX .
{
}
BXi = M( i1 (Ui ) : Ui e aberto em Xi , i = 1, . . . , n ).
i=1
n
BXj = M(E j ).
Alem disso, o conjunto de pontos em X cujas coordenadas estao entre os xkj e um subconjunto enumeravel
denso de X e as bolas de raio r em X s
ao simplesmente produtos de bolas de raio r nos Xj , logo
BX = M
Ej : Ej Ej .
i=j
iN
1.16 Corol
ario. BRn =
1.2.5
i=1
M(E j ) =
BXj .
iN
BR .
Exerccios
1.2.1 Mostre que a famlia E das unioes disjuntas finitas de intervalos da forma [a, b) [0, 1) e uma algebra
em [0, 1), mas nao e uma -
algebra. (E e chamada a
algebra de conjuntos elementares em [0, 1).)
1.2.2 Seja f : X Y uma func
ao. Se A e uma -algebra em Y , mostre que o conjunto
{
}
f 1 (A) = f 1 (A) : A A
e uma -algebra em X.
1.2.3 Mostre que uma algebra A e uma -algebra se e somentese ela e fechada sob unioes enumeraveis
crescentes, ou seja, se {Ei }iN A e E1 E2 . . ., entao
Ei A.
iN
1.3
Medidas
1.3.1
Definic
ao
1.17 Defini
c
ao. Seja X um conjunto equipado com uma -algebra M. Uma medida em M e uma funcao
: M [0, ] que satisfaz
(i) () = 0;
(ii) se {Ei }iN M e uma colec
ao enumeravel disjunta, entao
( )
Ei =
(Ei ) .
i=1
i=1
Ei =
(Ei ) .
i=1
i=1
Uma funcao que satisfaz (i) mas satisfaz apenas a aditividade nita e chamada uma medida finitamente
aditiva.
1.18 Defini
c
ao. Seja (X, M, ) um espaco de medida. Se (X) < , entao dizemos que e uma medida
finita.
n
Se podemos escrever X como uma uniao enumeravel de conjuntos com medida nita, isto e, X =
Ei
i=1
(E) =
f (x) := sup
f (x) : F e nito .
xE
xF
se E e innito,
entao e uma medida nitamente aditiva mas nao e uma medida.
1.3.2
Propriedades
1.22 Proposi
c
ao. Seja (X, M, ) um espaco de medida. Valem as seguintes propriedades:
(a) (Monotonicidade) Se E, F M e E F , ent
ao (E) 6 (F ).
( )
i=1
i=1
)
Ei
= lim (Ei ).
i
(d)
por cima) Se {Ei }iN M, E1 E2 . . . e (En ) < para algum n, ent
ao
( (Continuidade
)
Ei = lim (Ei ).
i
i=1
Ei =
i=1
Fj e Fj Ej . Logo
j=1
)
Ei
i=1
Fj =
j=1
(Fj ) 6
j=1
i=1
)
Ei
)
(Ei \Ei1 )
i=1
Ei =
i=1
au
ltima igualdade decorrendo do fato de En =
(Ej ) .
j=1
i=1
i=1
logo
\j1
i=1
n
i=1
i=1
Fj = En
Ej .
j=n+1
j=n+1
10
Fj = (En )
Ej = (En )
Ej .
j=n+1
j=n+1
j=1
(En ) =
Ej +
Fj =
Ej + lim (Fj )
j=1
j=1
j=n+1
j=1
j=1
j=1
1.3.3
Medidas Completas
1.23 Defini
c
ao. Seja (X, M, ) um espaco de medida. Se (E) = 0, entao dizemos que E e um conjunto
de medida nula.
Uma armac
ao que e valida para todos os pontos x X com excecao de pontos pertencentes a um
conjunto de medida nula e chamada uma armacao verdadeira para quase todo ponto, abreviada
q.t.p.
Se (E) = 0 e F E, ent
ao a subaditividade garante que (F ) = 0 desde que F seja mensuravel. Mas em
geral subconjuntos de conjuntos de medida nula nao precisam ser mensuraveis (considere a medida nula na
-algebra {X, }).
1.24 Defini
c
ao. Uma medida que contem todos os subconjuntos de conjuntos de medida nula e chamada
uma medida completa.
Completude torna desnecessarios certos pontos tecnicos irritantes e pode sempre ser obtida aumentando o
domnio da medida:
1.25 Proposi
c
ao. Seja (X, M, ) um espaco de medida. Seja N = {N M : (N ) = 0} a colec
ao dos
conjuntos de medida nula de X e defina
M = {E F : E M e F N para algum N N } .
Ent
ao M e uma -
algebra e existe uma u
nica extens
ao de para uma medida completa em M.
Prova. M e uma -
algebra. Como M e N sao fechados sob unioes enumeraveis, M tambem e, pois
( ) ( )
(Ei Fi ) =
Ei
Fi .
i=1
i=1
i=1
Para provar que M e fechada sob a operacao de tomar complementares de conjuntos, observamos primeiro
que se E F M com E M e F N para algum N N , entao podemos assumir que E N = (caso
contrario, substituiramos F, N por F \E, N \E, respectivamente). Portanto, podemos escrever
E F = (E N ) (F N c )
11
(E F ) = (E N ) (F N c ) = (E N ) (N \F ) .
c
(Ei Fi ) =
Ei
Fi
Ei =
=
(Ei Fi ) ,
(Ei ) =
i=1
i=1
i=1
i=1
i=1
i=1
ja que todas as unioes acima disjuntas. Isso prova que e uma medida. Para vericar que e completa, seja
E F M com E M e F N para algum N N tal que (E F ) = 0. Isso signica que (E) = 0 e
portanto E N . Se V E F , ent
ao V = V com M e V E N N , logo V M.
Unicidade da extens
ao . Sejam 1 , 2 : M [0, ] duas medidas completas em M tais que 1 |M =
2 |M = . Observando que se E F M com E M e F N para algum N N , entao E, F M pois
E = E , F = F e M, N , segue que
1 (E F ) = 1 (E) + 1 (F \E) = (E) ,
onde usamos o fato que
0 6 1 (F \E) 6 1 (N ) = (N ) = 0
para concluir que 1 (F \E) = 0. Analogamente conclumos que 2 (E F ) = (E), portanto 1 (E F ) =
2 (E F ).
e chamada o completamento de e M o completamento de M com relacao a .
1.3.4
Exerccios
i=1
em (X, M).
1.3.2 Dena
lim inf En =
lim sup En =
k=1 n=k
k=1 n=k
En ,
En .
ai i e uma medida
12
(
(lim sup En ) > lim sup (En ) ,
desde que
)
En
< .
n=1
13
e (E) =
se E M,
caso contrario.
(E)
Entao
e e uma medida saturada, chamada a satura
c
ao de .
(d) Se e completa,
e tambem e.
f
(e) Suponha que e seminita. Dena em M
1.4
Medidas Exteriores
i=1
)
Ai
(Ai ) .
i=1
O nome se refere ao fato de que uma medida exterior e geralmente construda a partir de uma proto-medida
em uma famlia E P (X) e ent
ao denindo a medida exterior de subconjuntos arbitrarios de X a partir da
aproximacao destes por fora por unioes enumeraveis de elementos de E:
1.27 Proposi
c
ao. Sejam E P (X), contendo e X, e : E [0, ] satisfazendo () = 0. Para
qualquer A X defina
{
}
(A) = inf
(Ei ) : Ei E para todo i e A
Ei .
i=1
i=1
Ent
ao e uma medida exterior.
Prova. Como A X E, est
a bem denida. Obviamente () = 0 e pela denicao de nmo temos
(A) 6 (B) sempre que A B. Para provar (iii) da Denicao 1.26, seja {Ai }iN P (X) e denote
{ }
E tal que
A=
Ai . Por denic
ao de , dado > 0, para cada j existe uma famlia Eij
iN
i=1
( )
Eij 6 (Aj ) + j .
2
i=1
i,j=1
14
Eij e
( )
Eij 6
(Aj ) +
i,j=1
j=1
i=1
1.4.1
O Teorema de Carath
eodory
1.28 Defini
c
ao. Se e uma medida exterior em X, dizemos que um subconjunto A X e -mensur
avel
se
(E) = (E A) + (E Ac )
para todo E X.
Observe que para provar que um conjunto A e -mensuravel, basta provar que (E) > (E A) +
(E Ac ) para todo E X, ja que a recproca e obvia, e portanto basta considerar conjuntos E tais que
(E) < .
1.29 Teorema. (Teorema de Carath
eodory) Se e uma medida exterior em X, ent
ao a colec
ao M
(E (A B)) 6 (E A B) + (E Ac B) + (E A B c ) ,
c
e do fato que E (A B) = E Ac B c . Para provar que M e uma -algebra, lembramos que, como
ja sabemos que M e uma algebra, basta considerar unioes enumeraveis disjuntas (Proposicao 1.5). Seja
n
i=1
i=1
(E Bn ) = (E Bn An ) + (E Bn Acn ) = (E An ) + (E Bn1 ) ,
15
(E Ai ) .
i=1
Da,
(E Ai ) + (E B c ) .
i=1
(E) >
(E Ai ) + (E B ) >
i=1
))
Ai
i=1
logo
)
(E Ai )
+ (E B c )
i=1
)c )
Ai
i=1
Ai M.
i=1
Ai
Ai
(E) >
(E Ai ) + (E B ) > E
+ E
> (E)
i=1
i=1
i=1
(E Ai ) + (E B c )
i=1
Tomando E =
Ai , segue que
i=1
)
Ai
i=1
(Ai ) ,
i=1
portanto e uma medida. Para vericar que ela e completa, seja (A) = 0. Para qualquer E X temos
(E) 6 (E A) + (E Ac ) = (E Ac ) 6 (E)
de modo que A M.
1.4.2
Pr
e-medidas
Usando o teorema de Caratheodory poderemos estender medidas denidas em algebras a medidas denidas
em -algebras.
1.30 Defini
c
ao. Seja X um conjunto equipado com uma algebra A. Uma pr
e-medida em A e uma funcao
: A [0, ] que satisfaz
(i) () = 0;
(ii) se {Ei }iN A e uma colec
ao enumeravel disjunta tal que
i=1
)
Ei
i=1
i=1
(Ei ) .
Ei A, entao
16
Prova. (a) Se E A e E
i=1
(
Bn = E
An
\n1
)
Ai
i=1
Bn = E. Logo,
n=1
(E) =
(Bn ) 6
n=1
(An ) ,
n=1
Ai para A1 = E e Ai =
i=1
para i > 2.
(b) Sejam A A e E X. Dado > 0 existe uma sequencia {Bi }iN A tal que E
Bi e
i=1
(Bi ) 6 (E) + .
i=1
(Bi A) +
i=1
(Bi Ac ) > (E A) + (E Ac ) .
i=1
Se E M e E
Ai com {Ai }iN A, entao
i=1
(E) 6
(Ai ) =
i=1
Ai , temos que
i=1
n
i=1
Ai
(Ai ) ,
i=1
(
= lim
n
i=1
)
Ai
= (A)
17
de modo que, se (E) < , podemos escolher os Ai de tal maneira que (A) < (E) + , logo (A\E) <
e portanto
(E) 6 (A) = (A) = (E) + (A\E) 6 (E) + (A\E) 6 (E) + ;
como e arbitrario, conclumos que (E) = (E).
Ai com (Ai ) < para todo i, e como podemos assumir os Ai disjuntos, segue
Finalmente, se X =
i=1
(E Ai ) =
i=1
(E Ai ) = (E) ,
i=1
de modo que = .
1.4.3
Exerccios
1.4.1 Mostre que se e uma medida exterior e {Ai }iN e uma sequencia de conjuntos -mensuraveis
disjuntos, ent
ao
(
( ))
E
Ai
=
(E Ai )
i=1
i=1
para todo E X.
1.4.2 Sejam A P (X) uma algebra, A a colecao de unioes enumeraveis de conjuntos de A e A a colecao
de intersec
oes enumer
aveis de conjuntos de A . Sejam uma pre-medida em A e a medida exterior
induzida por . Prove as armativas a seguir.
(a) Para todo E X e para todo > 0 existe A A tal que E A e (A) 6 (E) + .
(b) Se (E) < , ent
ao E e -mensuravel se e somente se existe B A tal que E B e
(B\E) = 0.
(c) Se e -nita, entao a restric
ao (E) < em (b) e desnecessaria.
1.4.3 Seja uma medida exterior em X induzida por uma pre-medida satisfazendo (X) < . Se E X
dene a medida interior de E por
(E) = (X) (E c ) .
Mostre que E e -mensur
avel se e somente se (E) = (E).
1.4.4 Sejam uma medida exterior induzida por uma pre-medida e a restricao de aos conjuntos
-mensur
aveis. Prove que e saturada.
1.4.5 Sejam (X, M, ) um espaco de medida, a medida exterior induzida por , M a -algebra dos
conjuntos -mensur
aveis e
e = |M . Prove as armativas a seguir.
(a) Se e -nita, ent
ao
e e o completamento de .
(b) No caso geral,
e e a saturac
ao do completamento de .
1.5
1.5.1
18
Famlias Elementares
1.33 Defini
c
ao. Seja X um conjunto. Dizemos que uma colecao E de subconjuntos de X e uma famlia
elementar se
(i) E;
(ii) se E, F E, ent
ao E F E;
(iii) se E E, ent
ao E c pode ser escrito como uma uniao nita disjunta de elementos de E.
1.34 Exemplo. A colec
ao dos intervalos semiabertos da reta e uma famlia elementar. De fato, dados dois
intervalos semiabertos (a, b] e (c, d], onde supomos a 6 c para xar ideias, temos
se b 6 c,
(c, b]
se b > c e b 6 d,
(a, b] (c, d] =
(c, d]
se b > c e b > d.
Alem disso, (a, b]c = (, a] (b, +) e uma uniao disjunta de dois intervalos semiabertos.
ao a colec
ao J das uni
oes finitas disjuntas de ele1.35 Proposi
c
ao. Se E e uma famlia elementar, ent
mentos de E e uma
algebra.
Prova. Para simplicar a notac
ao e ja que este e o caso que nos interessa, vamos assumir que se E E,
entao E c pode ser escrito como uma uniao disjunta de dois elementos de E.
Primeiro provaremos que A e fechada sob unioes nitas. Ou seja, precisamos mostrar que uma uniao
nita de unioes nitas disjuntas de elementos de E (que nao e uma uniao necessariamente disjunta) pode ser
escrita como uma uniao nita disjunta de elementos de E, logo esta em A. No caso mais simples, quando
temos a uniao de duas unioes disjuntas e cada uma destas unioes e na verdade apenas um elemento de E,
isto e, tomando A, B E (pois A = A e B = B sao unioes disjuntas), escrevemos B c = E1 E2 com
E1 , E2 E e disjuntos, de modo que
A\B = (A E1 ) (A E2 ) E,
logo
A B = (A\B) B A
pois conseguimos escrever AB como a uniao de dois elementos disjuntos de E. Por inducao, se A1 , . . . , An
E, e por hipotese de induc
ao podemos assumir A1 , . . . , An1 disjuntos, pelo argumento acima segue que
Ai \An E para todo i < n, e portanto temos por hipotese de inducao
(n1
)
n
Ai =
(Ai \An ) An A.
i=1
i=1
Para provar que A e fechada sob complementos, sejam A1 , . . . , An E e escreva Aci = Bi1 Bi2 com
E disjuntos. Ent
ao,
( n
)c
n
(
)
( 1
)
Ai
=
Bi Bi2 =
B1j1 . . . Bnjk .
Bi1 , Bi2
i=1
i=1
j1 ,...,jk =1,2
ao A das uni
oes finitas disjuntas de intervalo semiabertos e uma
algebra em R.
1.36 Corol
ario. A colec
Alem disso, a -
algebra gerada por esta
algebra e exatamente a -
algebra de Borel BR .
Prova. A u
ltima armativa segue da Proposicao 1.11 (c).
1.5.2
19
Medida de Lebesgue-Stieltjes
Lembramos que se F : R R e uma funcao crescente, entao F tem limites laterais em todo ponto:
( )
F a+ = lim F (x) = inf F (x) ,
x>a
xa+
( )
F a = lim F (x) = sup F (x) ,
xa
F () =
x<a
inf F (x) ,
admitindo que podemos ter F () = e F (+) = +. Se F (a+ ) = F (a) para todo a R, dizemos
que F e contnua `
a direita.
1.37 Proposi
c
ao. Seja F : R R uma funca
o crescente, contnua `
a direita. Se (ai , bi ], i = 1, . . . , n, s
ao
intervalos semiabertos disjuntos, defina () = 0 e
( n
)
n
(ai , bi ] =
[F (bi ) F (ai )] .
i=1
i=1
Ent
ao e uma pre-medida na
algebra J .
Prova. Primeiro precisamos vericar que esta bem denida, pois os elementos de J podem ser representados como unioes disjuntas de intervalos semiabertos de varias maneiras. No caso especial em que
(ai , bi ], i = 1, . . . , n, sao intervalos semiabertos disjuntos tais que
n
i=1
e assumindo (apos um reindexamento, se necessario) a = a1 < b1 = a2 < b2 = . . . < bn = b, segue entao que
n
i=1
No caso geral, se {Ii }i=1,...,n e {Jj }j=1,...,m sao colecoes nitas de intervalos semiabertos disjuntos tais que
n
m
Ii =
Jj , ent
ao o mesmo argumento mostra que
i=1
j=1
n
(Ii ) =
i=1
n
m
(Ii Jj ) =
i=1 j=1
m
n
(Ii Jj ) =
j=1 i=1
(Jj ) .
j=1
Por denic
ao, e nitamente aditiva. Para provar que e -aditiva, seja {Ii }iN uma sequencia de
i=1
los semiabertos disjuntos, logo, invocando a aditividade nita, podemos assumir que
Ii e um intervalo
i=1
(I) =
Ii =
Ii + I
Ii >
Ii =
(Ii ) ,
i=1
i=1
i=1
i=1
i=1
20
(Ii ) .
i=1
Para provar a desigualdade reversa, denotemos Ii = (ai , bi ] e vamos supor primeiro que < a < b < +.
Fixe > 0. Como F e contnua `a direita, existe > 0 tal que
F (a + ) F (a) <
e para cada i existe i > 0 tal que
.
2i
Os intervalos abertos (ai , bi + i ) cobrem o intervalo compacto [a + , b], logo podemos extrair uma subcobertura nita. Podemos assumir (reindexando, se necessario, e descartando os intervalos (ai , bi + i ) que
estao contidos em intervalos maiores) que:
(i) os intervalos (a1 , b1 + 1 ) , . . . , (aN , bN + N ) cobrem [a + , b];
(ii) a1 < a2 < . . . < aN ;
(iii) bi + i (ai+1 , bi+1 + i+1 ) para i = 1, . . . , N 1.
Da,
F (bi + i ) F (bi ) <
N
1
[F (ai+1 ) F (ai )] +
i=1
6 F (bN + N ) F (aN ) +
N
1
[F (bi + i ) F (ai )] +
i=1
=
6
i=1
[F (bi + i ) F (ai )] + 6
[F (bi + i ) F (bi )] +
i=1
[F (bi ) F (ai )] +
i=1
(Ii ) + 2.
i=1
Como e arbitrario, isso termina o argumento nos casos em que a, b sao nitos. Se a = , o mesmo
argumento produz
F (b) F (M ) 6
(Ii ) + 2
i=1
(Ii ) + 2.
i=1
21
((0, x])
0
F (x) =
((x, 0])
ent
ao F e uma func
ao crescente, contnua `
a direita e = F .
Prova. Pela proposic
ao anterior, F induz uma pre-medida na algebra J . Claramente, F e G induzem a
+
As primeiras armativas do enunciado seguem do Teorema 1.32. Com relacao `a recproca, a monotonicidade
de implica a monotonicidade de F e a continuidade de acima e abaixo implica a continuidade `a direita
de F . Como = F em J , da unicidade do Teorema 1.32 segue que = F em BR .
1.39 Observa
c
ao. A teoria poderia ser desenvolvida da mesma forma usando intervalos semiabertos `a
direita e func
ao contnua `a esquerda.
1.40 Defini
c
ao. O completamento da medida F sera denotada por este mesmo smbolo (o seu domnio e
quase sempre maior que o domnio de F ). Esta medida completa e chamada a medida de LebesgueStieltjes associada a F .
1.5.3
|F (bi ) F (ai )| : E
(ai , bi ] = inf
((ai , bi ]) : E
(ai , bi ] .
(E) = inf
i=1
i=1
i=1
i=1
Primeiro mostraremos que podemos substituir intervalos semiabertos por intervalos abertos:
1.41 Lema. Para todo E M temos
(E) = inf
((ai , bi )) : E
i=1
}
(ai , bi ) .
i=1
Prova. Denotemos o n
umero `a direita por (E).
(E) > (E).
(
]
Li
Li
Se E
(ai , bi ), sejam Li = bi ai e Iik = bi k1 , bi k , de modo que (ai , bi ) =
Iik . Em
2
2
i=1
k=1
particular, E
Iik e
i,k=1
(ai , bi ) =
i=1
i,k=1
(E) 6 (E).
Dado > 0, por denic
ao existe uma cobertura {(ai , bi ]}iN de E com
i=1
((ai , bi )) 6 (E) +
22
((ai , bi + i )) =
i=1
i=1
. Entao E
(ai , bi + i ) e
k
2
i=1
((ai , bi ]) +
i=1
[F (bi + i ) F (bi )]
i=1
((ai , bi ]) + 6 (E) + 2.
i=1
1.42 Teorema. Para todo E M temos
(E) = inf { (U ) : E U e U e aberto} = sup { (K) : K E e K e compacto} .
Prova. Se U e aberto e U E, ent
ao (U ) > (E). Por outro lado, pela caracterizacao dos abertos da
reta, todo aberto U e uma uniao enumer
avel de intervalos abertos disjuntos, digamos
U=
(ai , bi ) ,
i=1
logo,
(U ) =
((ai , bi ))
i=1
e pelo lema anterior segue o resultado para abertos. No segundo caso, suponha E limitado. Se E = E, entao
E e compacto e o resultado e obvio. Caso contrario, dado > 0, existe um aberto U E\E tal que
(
)
(U ) 6 E\E + .
Seja K = E\U . Ent
ao K e compacto, K E e
(K) = (E) (E U )
= (E) [ (U ) (U \E)]
(
)
> (E) (U ) + E\E
> (E) .
Como e arbitrario, segue o resultado no caso em que E e limitado. Se E e nao limitado, seja Ej = E(i, i+1].
Pelo argumento anterior, para cada > 0 existe um compacto Ki Ei tal que
(Ki ) > (Ei )
.
2i
n
e n = Ki E. Temos
Para cada n, considere o compacto K
i=n
ei >
K
i=n
(
e como (E) = lim
n
i=n
)
Ei , segue o resultado.
)
Ei
23
Ui e H =
i=1
1
1
6 (E) 6 (Ki ) + i
2i
2
Ki . Ent
ao (V ) = (E) = (H) < , logo (V \E) = (E\H) = 0. O caso
i=1
1.5.4
Medida de Lebesgue
1.44 Defini
c
ao. A medida de Lebesgue-Stieltjes F associada `a funcao identidade F (x) = x sera denotada
por m. Ela e chamada a medida de Lebesgue. O domnio de m e chamado a classe dos conjuntos
Lebesgue-mensur
aveis e sera denotada por L.
1.45 Teorema. Se E R e t, r R, considere a translac
ao e a dilac
ao de E:
E + t = {x + t : s E} ,
rE = {rx : x E}
Se E L, ent
ao E + t L e rE L para todos t, r R. Alem disso,
m (E + t) = m (E) ,
m (rE) = |r| m (E) .
Prova. Como a colec
ao de intervalos abertos e invariante sob translacoes e dilacoes, o mesmo vale para BR .
Em BR , dena as medidas mt (E) = m (E + t) e mr (E) = m (rE). Como mt e mr coincidem respectivamente com m e |r| m em intervalos nitos, pelo Teorema 1.32 elas coincidem em BR . Em particular, se
E BR e tal que m (E) = 0 segue que m (E + t) = m (rE) = 0, logo segue o resultado para L.
1.5.5
Exerccios
24
1.5.6
O conjunto de Cantor
(
)
m {xn }nN =
m ({xn }) = 0.
n=1
Em particular, m (Q) = 0. No entanto, existem conjuntos nao enumeraveis com medida de Lebesgue igual a
0. O exemplo mais interessante e o conjunto de Cantor.
O conjunto de Cantor e construdo da seguinte forma. Todo ponto x [0, 1] possui uma representacao
decimal na base 3 da forma
an
x=
3n
n=1
p
com an = 0, 1 ou 2. Esta expansao e u
nica, a menos que x seja da forma q para alguns inteiros p, q; neste
3
caso, ha duas representac
oes possveis, uma com an = 0 para todo n > q e uma com an = 2 para todo n > q,
porque
2 1
2
1
1
2
=
= q+1
= q.
1
n
q+1
n
3
3
3
3
3
1 3
n=q+1
n=0
Por exemplo, o n
umero
49
1 33 + 2 32 + 1 31 + 1 30
1
2
1
1
=
= 2+ 3+ 3+ 5
5
243
3
3
3
3
3
tem as representac
oes
0.01211000 . . .
e
0.01210222 . . .
Convencionaremos usar sempre a segunda representacao. Desta forma, temos
a1 = 1 se e somente se
a2 = 1 se e somente se
1
2
<x< ,
3
3
2
7
8
1
< x < ou < x <
9
9
9
9
25
1
2
2
1
2
2
< x < 2 ou + 2 < x < + 2 e, em geral,
32
3
3 3
3 3
an = 1 se e somente se x est
a no intervalo medio entre cada tres subintervalos de comprimento
1
comecando de 0.
3n
an
com an = 1 para todo n
C = x [0, 1] : x =
3n
n=1
ou, em outras palavras, C e construdo indutivamente
da seguinte forma: no primeiro passo retira-se do
(
)
1 2
intervalo [0, 1] o seu terco medio aberto
,
; no segundo passo, retira-se os tercos medios abertos de
[
] 3 [3 ]
(
) (
)
2
1 2
7 8
1
e
, 1 , isto e, retira-se os intervalos abertos
,
e
,
,
cada um dos dois intervalos restantes 0,
9 9
9 9
[
] [3 ] 3[
] [
]
1
2 1
2 7
8
sobrando os intervalos fechados 0,
, ,
, ,
e
, 1 ; no terceiro passo, retira-se os tercos medios
9
9 3
3 9
9
de cada um destes quatro intervalos e assim por diante. Obtem-se um conjunto compacto, totalmente
desconexo e que n
ao tem pontos isolados.
1.46 Proposi
c
ao. O conjunto de Cantor e n
ao enumer
avel, mas tem medida nula.
Prova. Se x C, ent
ao x =
an
n
com an = 0 ou an = 2. Dena bn =
e f : C [0, 1] por
n
3
2
n=1
f (x) =
bn
,
2n
n=1
1 2
1 1
2n1
m (C) = 1
=1
=1
= 0.
n
2
3
3 n=0 3
3
n=1
1
3
1.5.7
Exerccios
26
1
1.5.11 Mostre que C, apesar de nao estar na extremidade de nenhum intervalo removido de [0, 1] na
4
construc
ao de C.
1.5.12 A fun
c
ao de Cantor : [0, 1] [0, 1] e denida a partir da funcao f na demonstracao da
facil ver que se x, y C e x < y entao f (x) < f (y), a menos que
Proposicao 1.46 da seguinte forma. E
p
x e y sejam extremos de um dos intervalos removidos de [0, 1] para obter C. Neste caso, x = q para
3
alguns inteiros p, q e f (x) = f (y) sao as expansoes na base 2 destes n
umeros (por que?). Podemos
estender f no intervalo entre x e y como sendo este n
umero e assim obtemos a funcao de Cantor.Prove
que
(a) (0) = 0 e (1) = 1.
(b) e crescente (mas nao estritamente crescente).
(c) e contnua, portanto uniformemente contnua.
Refer
encias Bibliogr
aficas
[Folland]
FOLLAND, Gerald. B., Real Analysis, John Wiley & Sons, 1984.
[Halmos]
[Richardson]
RICHARDSON, Leonard F., Measure and Integration, John Wiley & Sons, 2009.
[Vestrup]
VESTRUP, Eric M., The Theory of Measures and Integration, John Wiley & Sons,
2003.
27